《第五公设与非欧几何.doc》由会员分享，可在线阅读，更多相关《第五公设与非欧几何.doc（33页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、Four short words sum up what has lifted most successful individuals above the crowd: a little bit more.-author-date第五公设与非欧几何第五公设与非欧几何第五公设与非欧几何第五公设指欧几里得几何原本中的第五公设，其内容为：在同一平面上，若一直线与两直线相交，且若同侧所交两内角之和小于两直角，则两直线无限延长后必交于该侧的一点 图11、欧几里得第五公设的试证古代数学家很早就注意到欧几里得几何原本有逻辑的缺点，他们经过两千年的努力来消除它首先是针对公理系统，一方面是增加或改换公理，另一方
2、面是试证第五公设第五公设的试证在几何史上占极重要的地位因试证第五公设而发现了非欧几何，以致引起我们对几何学观点的根本改变欧几里得以后的两千年间，几乎所有的大数学家都曾试证过第五公设原因是：它看起来较其他公设性质复杂，而且在原本中应用很迟，到第29个命题才第一次应用因此人们怀疑它是否可做为定理来证明，即只根据其它公理和原本中前28个命题来证明谈到某一命题的数学证明，就是说要根据采用的公理系统纯逻辑地导出它，只能用公理或用由公理已证明的定理做根据但如前所述，欧几里得没有完善的公理系统，因此这些试证者不能充分明显地提出问题实际上，第五公设的试证就是要使它成为绝对几何的逻辑推论本文后面将证明：这是不可
3、能的因此两千年对第五公设的试证都失败了，这些证明都或明或暗地引用了和第五公设等价的命题，即导入新的假设（公理）以替换第五公设，这类议论不能称为第五公设的证明直到十九世纪末才有几何学近代公理法的出现，在这以前，如何辨别几何学中证明的合理性，并无清楚的准绳因此在一定程度上，第五公设的每个试证者会自以为他的假设是合理的，后来才知道所有这些证明都是站不住脚的这使许多数学家怀疑：（从绝对几何）证明第五公设是可能的吗？这怀疑引导到积极的结果非欧几何的发现 2、非欧几何的产生任何较大的数学分支甚或较大的特殊成果，都不会只是个人的工作这种数学积累的发展特别适用于非欧几何我们已介绍非欧几何的先驱者萨开里、伦倍特
4、的工作，还有须外卡尔特（F.K.Schweikart，17801859年）研究他称为的星空几何，他外甥托里努斯（F.A.Taurinus，17941874年）继续研究星空几何，还有其他人，可称非欧几何的先驱者至于说到非欧几何的创造者，那就要说到高斯（Carl Friedrich Gauss，17771855年，德国人），约翰鲍耶（Johann Bolyai 18021860年，匈牙利人）和罗巴切夫斯基（nikolai Ivanovich Lobatchevsky，17931856年，俄国人）了被同时代人称为“数学家之王”的高斯，一生中从未出版过非欧几何的著作在他死后，人们从他和一些数学家的通信
5、以及他的遗稿中，才知道他由试证第五公设到发现新几何他最初称为反欧几何，后称星空几何，最后称非欧几何1824年他给托里努斯的信上说：“三角形的三角之和小于180，这假定导引到特殊的、与我们的几何完全相异的几何这几何是完全一贯的，并且我发现它本身，结果完全令人满意除了某一常数的值不能先天地予以表示定义而外，在这几何里我能解决任何课题我们给予这常数值愈大，则愈接近于欧几里得几何，而且它的无穷大值会使双方系统合而为一”为了检验这两种几何应用的可能性，高斯测量了三个山峰构成的三角形（三边为69，85与197公里）的内角之和由于实验误差相对太大，这实验没有证明任何结论高斯为了“害怕引起愚人的喊声”而终生未
6、出版他的非欧几何研究著作约翰鲍耶是数学家伏尔夫刚鲍耶（Wolfgang Farkas Bolyai 17751856年，匈牙利人）之子他没有听从他父亲阻止他试证第五公设的劝告，因而发现了新几何1823年（当时他21岁）他写信给父亲说：“我坚决地决定出版自己的关于平行线的著作，我已经从乌有创造了整个世界”1832年出版了约翰鲍耶的著作，以附录形式附在他父亲的一本书后发表“附录”的拉丁文是appendix；所以约翰鲍耶的工作在数学文献上获得了“亚编原克斯”的称呼，它的真名很长：叙述着关于一个和欧几里得第十一公理（注：即第五公设）的真伪无关的空间的绝对真实性的学说 伏尔夫刚鲍耶把这附录送给知友高斯评
7、阅高斯回信说：他不能称赞约翰的工作，“称赞他等于称赞我自己，因为这研究的一切内容，你儿子所采用的方法和他所达到的一些结果几乎全部和我的一部分在3035年前已开始的个人沉思相符合的缘故我真是被这些所恐骇到顶点了关于我自己的著作，虽只有一小部分已经写好，但我的目标本来是一生里不愿发表的大多数人对于那里所讨论的问题都抱着不正确的态度；我仅发觉少数人听了我和他们谈这件事，觉得有兴趣我的目标在于把它统写下来，免得和我一同湮没使我快乐地感到惊奇的是现在可以免去这劳力的耗费，并且特别高兴的，在我的前面有这样惊异的姿态的人正是老友的儿子”约翰对这评语感到沉重他不相信别人比他更早达到同一结果，认定了高斯在这个发
8、现上要夺优先权高斯从来没有公开表扬过约翰的工作约翰由于没有获得任何人的理解、同情和精神上的支援而陷入失望，并且抛弃了一切数学研究 俄罗斯数学家罗巴切夫斯基最初也企图用归谬法来证明第五公设他企图由否定“同一直线的垂线和斜线必相交”这个命题引出矛盾，但推论一个接着一个，形成了一个新的几何系统，逻辑上并无任何矛盾于是他开始相信第五公设问题不能只用逻辑的方法来彻底解决，而必须依靠实验他于1835年写道：“从欧几里得时起二千年来枉费心机的努力，不得不使我怀疑在这概念本身中并不曾含有那种真理，就是我们想要证明的，并且象其他物理定律那样只能用实验（譬如说天文观察）来证实的真理终于深信我的揣度是正确的，而且认
9、为困难的问题已经完全得到解决，我乃在1826年就此问题写成了论文”（见他的全集，卷二，1949年俄文版第147页）1826年2月11日罗巴切夫斯基在喀山大学数理系宣读了他的关于这种新几何学的报告关于几何原理的议论这一天被认为是非欧几何的诞生日其后，他陆续出版了许多叙述这种新几何的著作：关于几何原本（1829年），想像中的几何（1835年），想像中的几何在某些积分上的应用（1836年），具有完全平行线论的几何原本（18351838年），关于平行线论的几何研究及其他直到逝世前一年（1855年），他几乎失明了，还通过口授写了俄文和法文的著作汎几何罗巴切夫基在科学的世界观里的唯物主义倾向，对于他创立这
10、种新几何起了重要的作用为了验证两种几何谁能更正确地反映现实空间的属性，他进行了天文观察但是，限于仪器的精确度，他没有得到确定的答案虽然如此，他用实践来检验理论的作法是正确的他曾强调说：“打算不依靠宇宙物质而仅从理智本身之中产生出来的一切数学原理，对于数学是毫无用处的”（H.II.罗巴切斯基传记的材料，苏联科学出版社1948年版，204页）可见，形式主义者把罗巴切夫斯基的发现看作“逻辑演习”和“理智游戏”的结果，这种看法是完全错误的 罗巴切夫斯基几何（以后简称罗氏几何）将在后面“附”中系统地介绍但为了说明为什么这发现不被他同时代的绝大多数数学家所理解，以及说明这发现的意义，我们此处简单介绍部分内
11、容 从欧几里得第五公设立刻推得定理：通过直线AB外的一点C，在平面ABC上可引一条且仅一条直线，使其与直线AB不相交罗巴切夫斯基首先导入相反的新假设（以代替第五公设），即：通过直线AB外的一点C，在平面ABC上可引无数直线CG，使其和直线AB都不相交（如下图2）同AB不交的这些直线与同AB相交的那些直线CM是由两条界限直线CE与CF所分隔开的，而CE和CF也都不和AB相交两界限直线与AB的垂线CD构成同一角度罗巴切夫斯基称这两界限直线为AB的平行线CE沿A到B的方向平行于AB，而CF沿B到A方向平行于BADCEDCF称为对应于线段DC的平行角显然90我们立刻可见：欧几里得第五公设不成立（因为B
12、DC90，它与的和小于180）于是那些和第五公设等价的命题都不成立于是后面可以证明：三角形内角和小于180；矩形不存在；相似而不合同的图形不存在；两条不相交的直线间的距离不是常数且可以无限增大 图2罗巴切夫斯基发现了平行角和线段xCD之间的关系cot 其中为常数，称为罗巴切夫斯基空间的曲率半径由这方程知：当x从0单调增加到ln2时，则从90单调减少到0罗巴切夫斯基的假设和它的推论从直觉来看是不合理的，这就引起了他同时代的人对他的几何的不信任，甚至讽刺、嘲笑罗巴切夫斯基不顾别人嘲讽而勇敢为新几何奋斗但是，在他生前，新几何未得世人承认他死后，十九世纪六十年代高斯通信录出版了，其中对罗巴切夫斯基的著
13、作给予高度评价，引起了人们的注意1868年（即罗氏死后十三年），意大利数学家柏尔特拉米（Beltrami，18351900年），发表了论文非欧几何的实际解释，证明了罗氏平面几何的片段可实现于欧氏空间，即拟球面上的内在几何的片段1870年，德国数学家克莱因（F.Klein18491925年）解决了罗氏几何全平面或全空间的实现问题，罗氏几何和欧氏几何一样没有矛盾的事实已证明了，罗氏几何最后获得了应得的承认同时这也确定了：第五公设是不可能证明的3、非欧几何与现代数学十九世纪数学有许多积极的发展在几何方面，几何基础、微分几何和射影几何三支的发展道路起初相隔很远，但到十九世纪末却非常接近了，某些部分甚至
14、会合在一起了，这使一些古老的几何问题放出光芒，还揭露了许多新问题罗氏几何的创立不仅解决了第五公设的独立性问题，更重要的是：它扩大了对几何本身意义的认识自从第一种非欧几何罗氏几何的思想获得承认以后，几何学的发展便开始了繁荣的新时期，几何对象的推广，即抽象空间概念的形成，在数学的近代阶段中起了巨大的作用开始的一个重要结果是由德国数学家黎曼（B.Riemann，18261866年）得到的他1854年在哥丁根大学的讲演关于作为几何学基础的假设中提出了另一种非欧几何黎曼几何这种理论的形式演算叙述在他的应用于热传导问题的另一著作中所以黎曼几何的产生与数学物理密切相关这种几何在黎曼生前也未得到应有的估价它有
15、着比罗氏几何更加奇特的性质：共面任二直线都相交，三角形的内角和大于180，等等1872年克莱因在他的讲演最新几何研究的比较评论中（这演讲包含在爱尔兰根纲领里），给出了欧氏几何、罗氏几何和黎曼几何在射影几何基础上的新的解释到十九世纪末，黎曼几何已有很大的发展及应用，其他非欧几何也相继出现了特别是二十世纪初期，非欧几何的研究对于那时发生的空间和时间的物理观念的改革起了重大作用1915年爱因斯坦开始建立的广义相对论中假设：万有引力场显露在“弯曲”的时空流形中这个四度空间的度量和欧氏空间的度量有差别，万有引力场由某个流形的黎曼几何来表示因为有了黎曼几何这件工具才克服了建立广义相对论时所遇到的数学上的困
16、难有的学者（特别是B.A.福克）的研究表明：罗氏几何概念在天体物理、原子物理中都有应用，非欧几何可以直接用到物理学上去这个事实，促成了几何学理论进一步的发展 非欧几何在分析和代数方面的应用也胜过了欧氏几何，罗巴切夫斯基曾写道：“新的几何学在几何学与分析学的互相应用上，开拓了新的、广大的园地”（见他的关于几何原本一书）他求出在罗氏空间表示弧长、曲面的面积、体积的积分，得出许多积分运算的新公式这些公式若用直接运算来证实是很费力的，更不用说直接得到它们了其后，法国数学家潘加来（H.Poincare 18541912年）用罗氏几何研究一种解析函数自守（automorphic）函数，使它的基本区域变得简
17、单而易于观察 对各种非欧几何的探讨扩大了几何在一般数学上的应用又反过来对几何的发展起了促进作用此外，罗氏几何产生的最重要的结果之一，是促进了对几何学基础的研究后来又引起了对别的数学分支的基础的研究公理方法已经成为现代数学的主要方法之一，它开始是由几何学基础的研究而发展起来的数学发展的现代阶段的开端，特别是现代几何学的开端，通常以罗氏几何的发现作为其标志之一附： 罗氏几何一、罗氏平行公理及其推论 由于罗巴切夫斯基保留了欧几里德几何公理体系中除了平行公理以外的全部公理，因此欧几里得几何（以下简称欧氏几何）中不牵涉平行公理的全部内容对罗氏几何也适用不过，从平行线的定义开始，由于平行公理被罗氏平行公理
18、所替代，罗氏几何的内容就与欧氏几何大不相同了从此，我们将进入一个陌生的新世界 下面先说明罗氏几何中平行线的概念罗氏平行公理 过已知直线外一点至少可以作两条直线与已知直线不相交 设A是直线a外一点，根据罗氏公理，过A至少有两条直线BAB和CAC与a不相交根据罗氏公理，可证明任何通过A并且介于直线BB和CC之间的直线b都与a不相交，因此得到： 推论 过已知直线外一点可以作无数条直线与已知直线不相交（如下图3） 图3根据以上分析，过已知直线a外一点A的所有直线可以分成两类：（1）与已知直线a不相交的直线（2）与已知直线a相交的直线 根据连续公理，这两类直线必存在分界线，例如下图中的直线MAM和NAN
19、 我们就把它们定义为：过A点平行于直线a的直线设ADa，垂足是D，沿AD把左半平面折叠到右半平面上，则平行于a的直线AM 图4（即分界线）必须重合于平行于a的直线AN因此，过A并且平行于a的两条直线MAM和NAN对于a的垂线AD是对称的，它们与AD的夹角相等，即 MADNAD罗巴切夫斯基把这两个角叫做平行角，记成（p），其中p是垂线AD之长，（p）可以看成一个函数，自变量是A点，到直线a的距离p，函数值是过A平行a的直线的平行角 罗氏几何和我们所熟悉的欧氏几何有哪些不同呢？下面列表来对比一下它们主要的区别： 欧氏几何罗氏几何三角形的内角和等于180三角形的内角和小于180并且不同的三角形有不同
20、的内角和凸四边形的内角和等于360凸四边形的内角和小于360存在矩形不存在矩形存在相似形不存在相似形两三角形的三对角相等，则相似两三角形的三对角相等，则合同两平行线之间的距离处处相等两平行线之间的距离沿平行线的方向越来越小垂直锐角的一条边的直线总与角的另一边相交垂直锐角的一条边的直线不一定与角的另一边相交二、罗氏平面的模型 为了证明罗氏几何的公理体系是相容的，在这一节中，我们特给出罗氏平面的两种模型（1）罗氏平面的庞加莱（Poincare）模型 我们把坐标平面的上半部叫做罗氏平面，圆心在x轴上的半圆或垂直于x轴的射线叫做罗氏直线（图5）下面再给出罗氏“平行”的概念如果两条罗氏直线相切，而且切点
21、在x轴上，则我们认为这两条罗氏直线是平行的从这个意义上来说，我们可以把x轴看成罗氏平面上的无穷远线（图6） 图5图6给出一条罗氏直线a和线外一点A，显然过A点只能作两条罗氏直线b和c与a平行（图7）因此在这个模型上，罗氏平行公理成立 图7（2）罗氏平面的克莱因（Klein）模型把一个给定的圆的内部看成罗氏平面，把圆周看成罗氏平面的无穷远线，所谓罗氏直线就是这个圆的弦，如果两条罗氏直线（即两条弦）交于圆周（即无穷远线）上，则认为它们是平行的（图8） 图8显然在上述模型中，罗氏公理是成立的，因为给定一条罗氏直线a和线外一点A，很清楚过A点可以且只可以作两条罗氏直线（即两条弦）交于圆周（即无穷远线上），我们认为它们与a是平行的现在，再来指出勒让德尔的错误，考虑BAC中一点D（见图8的右图），我们不可能过D作一条直线既与AB边相交又与AC边相交-