欧氏几何公理

欧氏几何公理数学术语01历史影响建立过程建立动机公理内容欧氏生平目录03050204基本信息欧氏几何公理是欧几里得建立的几个几何公理，也称欧式几何，它的建立，采用了分析与综合的方法，不止是单独一个命题的前提与结论之间的连结，而是所有几何命题的连结成逻辑路。历史影响历史影响‎古希腊大数学家欧几里德是与他的巨著——《‎‎几何原本‎‎》一起名垂千古的。这本书是世界上最著名、最完整而且流传最广的数学著作，也是欧几里德最有价值的一部著作。在《原本》里，欧几里德系统地总结了古代劳动人民和学者们在实践和思考中获得的几何知识，欧几里德把人们公认的一些事实列成定义和公理，以形式逻辑的方法，用这些定义和公理来研究各种‎‎几何‎‎图形的性质，从而建立了一套从公理、定义出发，论证命题得到定理得‎‎几何学‎‎论证方法，形成了一个严密的逻辑体系——几何学。而这本书，也就成了欧式几何的奠基之作。‎‎两千多年来，《几何原本》一直是学习几何的主要教材。‎‎哥白尼‎‎、‎‎伽利略‎‎、‎‎笛卡尔‎‎、‎‎牛顿‎‎等许多伟大的学者都曾学习过《‎‎几何原本‎‎》，从中吸取了丰富的营养，从而作出了许多伟大的成就。‎公理内容五条几何公理六个定义五条一般公理公理内容五条几何公理1.过相异两点，能作且只能作一直线（直线公理）。2.线段(有限直线)可以任意地延长。3.以任一点为圆心、任意长为半径，可作一圆(圆公理)。4.凡是直角都相等(角公理)。5.两直线被第三条直线所截，如果同侧两内角和小于两个直角，则两直线则会在该侧相交。‎上述前三条公理是‎‎尺规作图‎‎公理，用来定直线与圆。在纸面上用尺规划出的任何直线与圆，按定义而言，都不是「真正」数学上的直线与圆。然而，欧氏似乎是说：我们可以用尺规作出近似的图形，以帮助我们想像真正的图形，再配合正确的推理就够了。‎‎第四条公理比较不一样，它好像是一个未证明的定理。事实上，它宣称著：直角的不变性或空间的齐性(thehomogeneityofspace)。它规范了直角，为第五公理铺路。‎第五公理又叫做平行公理(theparallelaxiom)，因为它等价于：过直线外一点，可作且只可作一直线跟此直线平行。五条一般公理（a,b,c,d皆为正数）1.跟同一个量相等的两个量相等；即若a=c且b=c，则a=b（等量代换公理）。2.等量加等量，其和相等；即若a=b且c=d，则a+c=b+d（等量加法公理）。3.等量减等量，其差相等；即若a=b且c=d，则a-c=b-d（等量减法公理）。4.完全叠合的两个图形是全等的（移形叠合公理）。5.全量大于分量，即a+b>a（全量大于分量公理）。六个定义事实上，欧氏《几何原本》开宗明义是由23个定义出发，接‎着‎‎才是十条几何公理与一般公理。在23个定义中，首六个特别值得提出来讨论：‎1.点是没有部分的(Apointisthatwhichhasnopart.)。‎换言之，点只占有位置而没有大小，即点的长度d=0。这是修正毕氏学派“d>c”的失败而得到的。然而，在谈论线段的长度时，欧氏直接诉诸常识，根本不用这个定义，避开了“由没有长度的点累积成有长度的线段”之困局。许多人抱怨“点是没有部分的”这句话难‎于‎理解，这是因为对毕氏学派的研究纲领缺乏了解的缘故。‎2.线段只有长度而没有宽度(Alineisbreadlesslength.)。3.线的极端是点(Theextremitiesofalinearepoints.)这表示线段是由点组成的并且线段只有长度而没有面积。4.直线是其组成点，均匀地直放‎着‎的线(Astraightlineisalinewhichliesevenlywiththepointsonitself.)5.面只有长度与宽度(Asufaceisthatwhichhaslengthandbreathonly.建立过程建立过程‎总之，欧氏吸取毕氏学派失败的经验，重新「分析」与「整理」既有的几何知识，另辟路径，改几何本身来建立几何（不用毕式经验式的原子论，即使优多诸斯已补全了毕氏学派的漏洞）并且采用公理化的手法，逐本探源，最后终於找到五条几何公理与五条一般公理是欧氏的创造与发现过程。接着是「综合」，利用10条公理配合优多诸斯检定法则、反证法（归谬法）与‎‎尺规作图‎‎，推导出所有的‎‎几何定理‎‎，这是逻辑的证明过程。‎‎因此，欧氏几何的建立，采用了‎‎分析与综合‎‎的方法。这不止是单独一个命题的前提与结论之间的连结，而是所有几何命题的连结成逻辑路，即整个几何领域的全面之分析与综合。‎‎欧氏视10条公理为「显明」的真理，从而所有几何定理也都是真理。换言之，由源头输入真值(truthvalues)，那么沿着逻辑路，真值就流布于整个欧氏演绎系统。欧氏以「‎‎朝生暮死‎‎」之躯，竟然能作出永恒之事！美国女诗人米雷（E.ay,1892～1950）说：‎只有欧氏见过赤裸之美(Euclidalonehaslookedatbeautybare.)。欧氏生平欧氏生平‎欧氏的生平不详，只知他是‎‎亚历山大‎(Alexandria)大学（世界上第一所大学）的数学教授，约纪元前300年编辑完成《‎‎几何原本‎‎》。另外，欧氏流传有两个故事，其一是，有一位学生跟欧氏学习几何，问道：「学习几何可以得到什么利益？」欧氏立刻令仆人拿三个钱币打发这位学生离开，因为他想从追求真理中得到利益，其二是，‎‎托勒密‎‎(Ptolemy)国王觉得几何很难，于是问欧氏：「学习几何有没有皇家大道（即捷径）？」欧氏回答说：「通往几何并没有皇家大道。」(Thereisnoroyalroadtogeometry.)‎建立动机建立动机‎古希腊人对于经验几何知识的锤练，首由‎‎泰利斯‎‎发端，接着是毕氏学派提出「直观性常识的几何‎‎原子论‎‎」，假设点的长度大于0，从而任何两线段皆可共度。由此尝试给几何建立基础：后来，终因不可共度线段的发现而破产。这让‎‎古希腊哲学家‎‎坚决地走向「知识必须再经过逻辑论证」的道路。数学史家Szabo（详见参考资料3）因而主张：不可共度线段的发现，是促使希腊几何走上演绎形式的关键，其中归谬法扮演着催生的作用，终于导致欧氏几何的诞生。‎此外，千百年来对欧氏建立几何的动机，作了许多猜测：(I)对毕氏学派失败的回应。‎(II)为了堵住怀疑派(Sceptics)与诡辩派(Sophists)哲学家之口，因为他们利用「无穷回溯法」(theinfiniteregressmethod)而论证说：「为何知道甲？因为乙；为何知道乙？因为丙；……没完没了，所以我们无法知道甲。」结论是：「我们一无所知，或至少我们无法确定