第五公设与非欧几何.docVIP

第五公设与非欧几何 第五公设与非欧几何 　　第五公设指欧几里得几何《原本》中的第五公设，其内容为：在同一平面上，若一直线与两直线相交，且若同侧所交两内角之和小于两直角，则两直线无限延长后必交于该侧的一点． 图1 　　1、欧几里得第五公设的试证 　　古代数学家很早就注意到欧几里得几何《原本》有逻辑的缺点，他们经过两千年的努力来消除它．首先是针对公理系统，一方面是增加或改换公理，另一方面是试证第五公设． 　　第五公设的试证在几何史上占极重要的地位．因试证第五公设而发现了非欧几何，以致引起我们对几何学观点的根本改变． 　　欧几里得以后的两千年间，几乎所有的大数学家都曾试证过第五公设．原因是：它看起来较其他公设性质复杂，而且在《原本》中应用很迟，到第29个命题才第一次应用．因此人们怀疑它是否可做为定理来证明，即只根据其它公理和 者萨开里、伦倍特的工作，还有须外卡尔特（F.K.Schweikart，1780—1859年）研究他称为的星空几何，他外甥托里努斯（F.A.Taurinus，1794—1874年）继续研究星空几何，还有其他人，可称非欧几何的先驱者．至于说到非欧几何的创造者，那就要说到高斯（Carl Friedrich Gauss，1777—1855年，德国人），约翰·鲍耶（Johann Bolyai 1802－1860年，匈牙利人）和罗巴切夫斯基（nikolai Ivanovic