数学文化8-非欧几何与数学真理性.pptVIP

上一页 下一页 返 回 上一页 下一页 返 回 第8讲 非欧几何与数学真理性 欧氏几何的5条公设 （1）连接任何两点可以作一直线段。 （2）一直线段可以沿两个方向无限延长而成为直线。 （3）以任意一点为中心，通过任意给定的另一点可以作一圆。 （4）凡直角都相等。 （5）如果同一平面内任一条直线与另两条直线相交，同一侧的两内角之和小于两直角，则这两直线经适当延长后在这一侧相交。（其等价命题是：在一个平面中，过已知直线外一点做直线的平行线能做一条且仅能做一条。） 8.1 第五公设及其研究 由于第五公设与《原本》中的其它公设、公理应有的明显、直观性和不证自明的真理程度相比，似乎有些差别，特别是在其叙述中还隐含有直线可以无限延长的涵义，由于它涉及到整个无限平面的非经验特征，而古希腊人对无限基本上采取了一种完全排斥的态度，因此就引起了人们的关注和不安。即使对于欧几里得本人，好像对第五公设也有些底气不足。因为在《原本》中，凡可以不用第五公设证明的问题，欧氏都尽量避免使用它。 从公元前300年到公元1800年的两千多年时间里，几乎所有有作为的数学家、神学家都在第五公设上投入大量的精力：哲学家、神学家希望进一步完善欧氏几何的理想化地位，数学家则希望使几何的逻辑演绎体系更加完美。 总的说来，对第五公设的研究可以归为两类，一是试图找到更为自明的公设或命题来代替第五公设，一是试图用其他公理、公设等证明它，从而使它成为一个定理。 总之，在长达两千多年的时间中，尽管不同的数学家使用了不同的方法，却都没有获得成功。但是通过这些失败的努力，人们获得了一些极有价值的与第五公设等价的命题。如： （1）每一个三角形的内角和都相等； （2）通过一角内的任一点可以做与此角两边相交的直线； （3）四边形的四内角之和等于四个直角 （4）纯直于锐角的一条边的直线，必与此锐角的另一条边相 交； （5）存在一对同平面直线彼此处处等距离； （6）过平面内已知直线外的一个已知点只能做一条直线平行于 已知直线； （7）过任何三个不在同一直线上的点可作一圆； ……，等等。 两千多年的失败历史无疑会促使一些数学家开始反面的努力，即是希望能从相反的规定引出矛盾而用归谬法证明第五公设。 从历史的角度看，在后一方向上试图证明第五公设的当首推数学家萨开里（Saccheri，1667~1733，又译萨谢利）。他经过复杂和艰苦的论证，发表了《排除任何谬误的欧几里得》一书。 萨开里以其娴熟的几何技巧和卓越的逻辑洞察力证明了许多定理。现将其中较重要者列举如下： 1.直角假定 :三角形内角和等于两直角。 (1)给定一条直线和线外一点，过该点有一条直线与该直线不相交。 (2)立于固定直线上的定长垂线的定点轨迹是一条直线。 2.钝角假定: 三角形内角和大于两直角。 (1)没有平行线。 (2)立于固定直线上的定长垂线的定点轨迹是凸曲线。 3.锐角假定 :三角形内角和小于两直角 (1) 给定一条直线和线外一点，过该点有无穷多条直线与该直线不相交。 (2)立于固定直线上的定长垂线的定点轨迹是凹曲线。 1766年，瑞士的J.H.兰伯特（Lambert,1728~1777）写了一本标题为《平行线理论》的著作，作了类似的研究。和萨开里一样，兰伯特按照三直角四边形的第四个角是直角、钝角或锐叫做了三个不同的假定。然而，兰伯特走得更远。 用归缪法证明欧几里得平行公设的第三个卓越贡献者是法国著名数学家勒让德（A.M.Legendre，1752~1833）。他对一特殊的三角形的内角和做出了三个不同的假定：等于、大于或小于两直角。他隐含地承认直线的无限性，因而取消第二假定；但是，尽管他作了种种尝试，还是没法排除第三个假定。 在兰伯特以后，德国法学家、业余数学家施外卡特（Schweikart，1780~1859）也对第五公设进行了研究，并把他的研究成果送给“数学王子”高斯征求意见。他把几何分为欧氏几何和假设三角形内角和不等于两直角的几何，并把后者称为“星空几何”。从历史的角度看，施外卡特已经认识到了第五公设事实上是一种经验