从第五公设的怀疑到罗氏几何的创建.docx

从第五公设的研究到罗氏几何的创建From the study of the parallel postulate to the establishment of the non-Euclideamgeomtry王小燕摘 要：本文简述了历史上人们对第五公设的怀疑和研究，介绍了罗氏几何的诞生和发展，以及在重重阻碍下，几何模型的提出。简单介绍了非欧几何诞生对数学发展的重要意义。【注】非欧几何包含罗氏几何以及黎曼几何，本文提到的非欧几何仅指罗氏几何。 关键词：欧氏几何；第五公设；罗氏几何；克莱因模型；庞加莱模型Key words:Eustachian geometry;fifthpostulate;theLuosgeometry;the Klein model;the Poincare model 欧几里得的《几何原本》从公元前三百年建立起，就以其概念清晰、定义明确、公理直观可靠且普遍成立，公设清楚可信且易于想象、公里条目少等等多条优势一统几何天下。无可非议，这部无与伦比的著作总结了前人的结晶，其中确立的科学思维对数学发展贡献是重大的。然而，欧几里得几何并非完美到无懈可击，在公元前3世纪到18世纪，人们在公认其完美的同时也一直对原本中的第五公设的正确性耿耿于怀。在人们的不断探究，失败的证明中，积累了很多的经验，为开启对第五公设的有意义研究，对新几何的建立有重大意义。第五公设的研究： 对于几何原本第五公设（若一直线与两直线相交，且同侧两相交内角之和小于两直角，则两直线延长后比相交于同侧的一角）的正确性一直受到人们的质疑，长期以来数学家们从两方面对其进行研究。一类尝试是试图寻找一个比较容易接受、更加自然的等价公社来替代它。对于这一类尝试，很多数学家，例如Joseph Fenn 和Legendre等试图寻求不证自明的代替公理，然而往往当数学家们以为他们已经达到了目标，在进一步的检查中看出这些替代公理不是真正让人满意的。普莱菲儿无意中发现的一条替代公设（过直线外一点能且只能做一条直线与已知直线平行）也即是所谓的平行公设，因为其最为简单，因此受到普遍采用，现在中学数学教科书在欧式几何学习部分，也常用这一叙述形式替代第五公设。但是这些替代公设和第五公设一样不好接受、不自然。对于第二类尝试，人们试图从其他九条公理使用直接或间接的办法推导出来。但在18世纪之前并未出现有意义的进展，直到18世纪中叶，萨凯里、兰伯特等的研究才取得进步性的成果。萨凯里在他的《Euclidesab Omni NaevoVindicatus》书中，从著名的萨凯里四边形出发，来证明平行公设。其证明如下，有一个等腰双直角四边形ABCD中，如图1，A,B是直角，且AB=CD，容易证明∠B=∠C，∠B和∠C的关系可能有三种情况：[2]直角假设：∠B和∠C均为直角；钝角假设：∠B和∠C均为钝角；锐角假设：∠B和∠C均为锐角；可以证明直角假设相当于平行公设的成立，在钝角假设下可以证明有矛盾，因为这时四边形四内角之和大于360°，他分成的两个三角形中至少有一个内角和大于180°。但在绝对几何中已经证明了一切三角形内角和不大于180°，故导出矛盾。 图1 图2萨凯里其次考虑了第三个假设，并证明了许多有趣的定理，他继续进行直到得出如下定理：已知任一点A与一条直线b（图2），在锐角假设下，在过A的直线族中，有两直线p、q，把直线族分成两部分，第一部分包含在b相交的那些直线，第二部分包含的那些直线（在α角里面）将在直线b上某处和b有公垂线，直线p与q本身都渐进于b。如果我们把过A任意延长后也不会相交的直线都称为平行线，则过A可以作无穷条与b平行的直线。虽然萨凯里的证明没有得到任何矛盾，但他却发现这个结论与其他结论不大合情理，于是他花大量的篇幅论证锐角假设绝对不真。但在今天看来，锐角假设是成立，它就是罗巴切夫斯基几何的基础之一。将第五公设研究推进一步的是兰伯特，他在对平行公理的研究上和萨凯里一样，考虑一个四边形，他的三个角是直角，并研究第四个角是直角、钝角和锐角的可能性。直角假设仍然给出欧几里得几何，钝角假设会给出矛盾（此处不给证明，可参考齐民友《数学与文化》第一版134页证明过程）。锐角假设下得到的结论和萨凯里的差不多，但是和萨凯里不同的是，他不认为锐角假设导出的结论是错误的，他曾断定，锐角假设将对虚球面（即半径为虚数的球面）成立