几何基础的五组二十条公理
第一组──接合公理
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. SAP RETAIL MM42维护商品采购信息记录数据的缺陷
  2. 需求文档可以不签字吗之三-一个实例
  3. 关于 java.toString() ,(String),String.valueOf的区别
  4. MFC中混合使用Duilib制作界面
  5. 创建单IP的***网络
  6. Fiddler无所不能——之测试开发攻城狮必备神器
  7. Centos7下yum安装GlusterFS方法
  8. 2个线程共同处理冒泡排序 Linux 双线程处理
  9. 分析Kvaser驱动安装到Linux系统——Kvaser安装到嵌入式Ubuntu系统的开发板IMX6Q不成功记录
  10. 什么是等级保护, 等保2.0详解
  11. 【爬虫Practice2】爬取豆瓣高分电影
  12. 合并excel单元格的两种方法
  13. 宿主机无法访问虚拟机web服务器,宿主机无法访问虚拟机中的docker容器怎么办_网站服务器运行维护,宿主机,虚拟机,docker...
  14. winedit 永久试用的办法
  15. seaborn调色板 color, hls, cubehelix, dark, diverging_palette
  16. 简易员工信息管理系统
  17. table标签中cellspacing和cellpadding,border的意思?
  18. CentOS 7.2 添加磁盘并创建新区
  19. 像素工厂如何显示服务器列表,萌新如何快速解锁像素工厂炮台科技
  20. oracle添加分区语句_oracle增加分区的方法

热门文章

  1. Hive的基本操作之库、表
  2. Python学习笔记:6.3.12 flask-dropzone插件
  3. 【小程序源码】多分类经典语录下载支持一键复制带壁纸,王者改名等功能
  4. Python以列表返回斐波那契数列
  5. 【pacing 2】Paced算法:PacingController
  6. 【计算机系统】死锁的四个必要条件
  7. 关于下载频道的一系列迷雾
  8. keyup与keydown(详解)
  9. 微信小程序数据类型,遍历,展示
  10. Windows Phone 7 开发 31 日谈——第12日:使手机震动