几何基础的五组二十条公理
第一组──接合公理
I1 通过任意给定的两点有一直线。
I2 通过任意给定的两点至多有一直线。
I3 每一直线上至少有两点;至少有三点不同在直线上。
I4 通过任意给定的不共线三点有一平面;每一平面上至少有一点。
I5 至多有一平面通过任意给定的不共线三点。
I6 若直线a的两点A,B在平面α上,则a上所有点都在α上,这时直线a称为在平面α上,或平面α通过或含有a。
I7 若两平面有一公共点,则至少还有一公共点。
I8 至少有四点不同在一平面上。

第二组──顺序公理
II1 若点B介於两点A,C之间,则A,B,C是一直线上的互异点,且B也介於C,A之间。
II2 对於任意两点A,B,直线AB上至少有一点C存在,使B介於A,C之间。
II3 在共线三点中,一点介於其它两点间的情况不多於一次。
II4 设A,B,C是不共线的三点,a是平面ABC上不通过A,B,C中任一点的一直线,则若a有一点介於A,B之间那末它必还有一点介於A,C之间或介於B,C之间。

第三组──合同公理
III1 设A,B为一直线a上两点,A'为同一或另一直线a'上的点,则在a'上点A'的给定一测有一且只一点B'使线段AB合同於或等於线段A'B':AB=A'B',並且对於每一线段,要求AB=BA。
III2
设线段A'B'=AB,A''B''=AB,则也有A'B'=A''B''。
 
III3 设AB和BC是直线a上没有公共內点的两线段,而A'B'和B'C'是同一或另一直线a'上的两线段,也没有公共內点,如果这时有AB=A'B',BC=B'C',则也有AC=A'C'。
III4 在平面α上给定∠(h,k),在同一或另一平面α'上给定直线a',而且在平面α'的一侧。设h'是直线a'上以一点O'为原点的射线。那末在平面α'上直线a'的指定一侧,有一条且只有一条以O'为原点的射线k'使∠(h,k)=∠(h',k')。每个角都要求与自身合同,即∠(h,k)=∠(h,k)以及∠(h,k)=∠(h,k)。即是说:每个角可以唯一地放在给定平面上给定射线的给定一侧。
III5 设A,B,C是不共线三点,而A',B',C'也是不共线三点,如果AB=A'B',AC=A'C',∠BAC=∠B'A'C',那末也就有∠ABC=∠A'B'C',∠ACB=∠A'C'B'。

第四组──连续公理
IV1 (阿基米德公理)设AB和CD是任三线段,那末在直线AB上存在著有限个点A1,A2,…,An,排成这样:A1介於A和A2之间,A2介於A2和A3之间,以下类推,並且线段AA1,A1A2,…,An-1An都合同於线段CD,而且B介於A和An之间。
IV2 (康托公理)设在一直线a上有由线段组成的一个无穷序列A1B1,A2B2,…,其中在后的每一线段都被包含在前一个內部,並且任意给定一线段,总有一足码n使线段AnBn比它小。那末在直线a上存在一点X落在每个线段A1B1,A2B2,…的內部。

第五组──平行公理
V 通过直线外一点至多可引一直线平行於该直线。

几何基础的五组二十条公理相关推荐

  1. 现代几何学的二十条公理

    学习微积分需要利用几何学的知识,这些理论知识可以从20条几何公理推导出来. 也许,当今大型计算机系统能够"理解"这些公理,变得与人类一样聪明. 在人类历史上,这二十条几何公理是希尔 ...

  2. OpenCV学习笔记(五十一)——imge stitching图像拼接stitching OpenCV学习笔记(五十二)——号外:OpenCV 2.4.1 又出来了。。。。。 OpenCV学习笔记(五

    OpenCV学习笔记(五十一)--imge stitching图像拼接stitching stitching是OpenCV2.4.0一个新模块,功能是实现图像拼接,所有的相关函数都被封装在Stitch ...

  3. 动画骨骼【Visual C++】游戏开发五十二 浅墨DirectX教程二十 骨骼动画来袭(一)...

    间时紧张,先记一笔,后续优化与完善. 本系列文章由zhmxy555(毛星云)编写,载转请注明出处. 文章链接: http://blog.csdn.net/zhmxy555/article/detail ...

  4. 【Visual C++】游戏开发五十二 浅墨DirectX教程二十 骨骼动画来袭(一)

    这是答应大家的讲解骨骼动画的文章的N部曲的第二篇.这篇文章里,我们对现行的三种模型动画技术进行了概述,然后对X文件构成进行了详细的剖析,最后放出了骨骼动画的第一个示例程序,载入了<诛仙>中 ...

  5. 【Visual C++】游戏开发五十二 浅墨DirectX教程二十 骨骼动画来袭(一)

    本系列文章由zhmxy555(毛星云)编写,转载请注明出处. 文章链接: http://blog.csdn.net/zhmxy555/article/details/8832812 作者:毛星云(浅墨 ...

  6. 分享二十条机械设计小知识

    分享二十条机械设计小知识 一.螺纹联接的防松原因和措施是什么? 原因:螺纹联接在冲击,振动和变载的作用下,预紧力可能在某一瞬间消失,联接有可能松脱,高温的螺纹联接,由于温度变形差异等原因,也可能发生松 ...

  7. JavaWeb学习总结(五十二)——使用JavaMail创建邮件和发送邮件

    JavaWeb学习总结(五十二)--使用JavaMail创建邮件和发送邮件 一.RFC882文档简单说明 RFC882文档规定了如何编写一封简单的邮件(纯文本邮件),一封简单的邮件包含邮件头和邮件体两 ...

  8. Python编程基础:第十五节 二维列表2D Lists

    第十五节 二维列表2D Lists 前言 实践 前言 列表中的元素可以是任何形式,整型.浮点型.字符串型,甚至是一个列表.当列表的元素也是列表时,我们将其称为二维列表. 实践 我们先来创建多个一维列表 ...

  9. 《当程序员的那些狗日日子》(五十二)同学情与差距

    (五十二)同学情与差距 临近春节放假前,我收到了高中一同学志的结婚请柬.想想也快到春节放假了,于是我干脆请了几天假,跟春节假期连在一起,这样就可以提先回家过一个春节长假了. 说起来很巧,志是我到广州后 ...

最新文章

  1. 10kv电压互感器型号_35kV、10kV母线电压异常处理
  2. 国产 YI Tunnel 收银机器人如何秒杀日本自助收银方案
  3. 一种简单定义FourCC常量的方法 (C/C++)
  4. 引用wx.getclipboarddata中的内容_教材、图书在引用时要注意哪些方面
  5. frm考试可以用计算机,FRM考试,考生自己可以携带计算器吗?
  6. 盘点 Greenplum 数据库的十大特点
  7. mosquitto鉴权插件的开发与说明(一)
  8. 高调复出却无人买单!预售6小时,仅几百人预约
  9. spark学习-50-Spark的stage的划分
  10. TrustedInstaller.exe in Windows Vista consumes 100% CPU
  11. 2021 年 RISC-V 会有什么大变化?
  12. 基于深度学习的目标检测(object detection)—— rcnn、fast-rcnn、faster-rcnn、SSD、YOLO
  13. 直接请求接口_【分享】接口是什么?实现原理的是什么?
  14. 华为STP相关功能配置
  15. C++中list的各种使用
  16. 基于大数据的软件智能化开发方法与环境
  17. 电脑连接安卓手机摄像头的方法(含DroidCam安装包及简明使用教程)
  18. 小 Mil 来了!Milvus 智能问答机器人上线
  19. [SAP ABAP开发技术总结]搜索帮助Search Help (F4)
  20. CSP 202006-2 稀疏向量

热门文章

  1. 纸牌游戏设计制作《摸鱼2》(C语言)
  2. hive查看数据库里库的信息_Hive学习之路 (三)Hive元数据信息对应MySQL数据库表...
  3. 【Android】category的粗浅理解
  4. 呕心沥血之react中使用vue组件 -- vuera
  5. 隐藏div的四种方式
  6. 整理分享安徽省2022年技术先进型服务企业认定申报详细范围条件材料汇总
  7. kotlin 子线程睡3秒_Kotlin中线程和协程之间的区别
  8. 【从零开始vnpy量化投资】十五. 投资组合策略模板介绍
  9. 仿网易严选网页版html代码,flutter 仿网易严选(四)
  10. 本土自动驾驶Tier 1们的“农村包围城市”:先从商用车切入,再向乘用车拓展...