对非欧几何的认识.doc

非欧几何的诞生及其给我们的启示 摘 要： 非欧几何的创立是数学史上最光辉的篇章 ，也是人类历史上一次伟大的思想解放的典范 ，它不仅带来了数学思想的深刻变革 ，也使人们 的思想发生了极大的变化，使人们对真理、时空等一系列重大的哲学问题有了新 的认识 ，对人类文化的发展产生了非同寻常的影响。数学史上，非欧几何占有特殊的地位．以非欧几何的发明过程为基本线索，探讨了其对数学学科本身、人类文化、哲学思想的影响；对数学科研者、数学教育工作者及高校学生的启示． 关键词： 非欧几何；罗巴切夫斯基几何；黎曼几何；几何原本； 1 非欧几何的发展史 1.1 问题的提出 非欧几何的发展源于2 000 多年前的古希腊数学家的欧几里得的《几何原本》．其中公设五是欧几里得自己提出的，它的内容是“ 若一条直线与两直线相交，且若同侧所交两内角之和小于两直角，则两直线无限延长后必相交于该侧的一点” ．这一公设引起了广泛的讨论，因为它不如其他公理、公设那样简明，欧几里得本人也不满意这条公设，他在证完了所有不需要平行公设的定理后才使用它，怀疑它可能不是一个独立的公设，或许能用其它公设或公理代替．从古希腊时代开始到19 世纪的2000 多年来数学家们始终对这条公设耿耿于怀，孜孜不倦的试图解决这个问题．数学家们主要沿2 条研究途径前进：一条途径是寻找一条更为自明的命题代替平行公设；另一条途径是试图从其他9 条公理、公设推导出平行公设来．沿第一条途径找到的第五公设最简单的表述是1795 年苏格兰数学家普雷菲尔（J.Playfair 1748-1819）给出的：“ 过直线外一点，有且只有一条直线与原直线平行” 也就是我们今天中学课本里使用的平行公理．但实际上古希腊数学家普罗克鲁斯在公元5 世纪就陈述过它．然而问题是，所有这些替代公设并不比原来的第五公设更好接受，更“ 自然” ．历史上第一个证明第五公设的重大尝试是古希腊天文学家托勒玫（Ptolemy，约公元150 年）做出的，后来普罗克鲁斯指出托勒玫的“ 证明” 无意中假定了过直线外一点只能作一条直线与已知直线平行，这就是上面提到的普雷菲尔公设． 1.2 问题的解决 1.2.1 非欧几何的萌芽 沿第二条途径论证第五公设的工作在18 世纪取得突破性进展．首先是意大利人萨凯里（Saccharin 1667-1733）提出用归谬法证明第五公设，萨凯里从四边形ABCD 开始，如果角A 和角B 是直角，且AC=BD，容易证明角C等于角D．这样第五公设便等价于角C 和角D 是直角这个论断．萨凯里提出另2 个假设：(1)钝角假设：角C 和角D 都是钝角；(2)锐角假设：角C 和角D 都是锐角．最后在锐角假设下，萨凯里导出了一系列结果，因为与经验认识违背，使他放弃了最后结论．但是从客观上为非欧几何的创立提供了极有价值的思想方法，开辟了一条不同于前人的新途径．其后瑞士数学家兰伯特（Lambert1728-1777）所做的工作与萨凯里相似．他也考察了一类四边形，其中3 个角为直角，而第5 个角有3 种可能性：直角、钝角和锐角．他同样在锐角假设下得到“ 三角形的面积取决于其内角和；三角形的面积正比于平角与内角和的差．他认为只要一组假设相互没有矛盾，就提供了一种几何的可能．著名的法国数学家勒让德（A.M.Legendar1752-1833）对平行公设问题也十分关注，他得到的一个重要定理：“ 三角形内角之和不能大于两直角” ．这预示着可能存在着一种新几何．19 世纪初，德国人萨外卡特（schweikart 1780-1859）使这种思想更加明朗化．他通过对“ 星形几何” 的研究，指出：“ 存在两类几何：狭义的几何（欧氏几何）星形几何．在后一个里面，三角形有一个特点，就是三角形内角之和不等于两直角” ． 1.2.2 非欧几何的诞生 前面提到的一些数学家尤其是兰伯特，都是非欧几何的先驱，但是他们都没有正式提出一种新几何并建立其系统的理论．而著名的数学家高斯（Gauss 1777-1855）、波约（Bolyai 1802-1860）、罗巴切夫斯基（Lobatchevsky1793-1856）就这样做了，成为非欧几何的创始人．高斯是最早指出欧几里得第五公设独立于其他公设的人．早在1792 年他就已经有一种思想，去建立一种逻辑几何学，其中欧几里得第五公设不成立．1794 年高斯发现在他的这种几何中，四边形的面积正比于2 个平角与四边形内角和的差，并由此导出三角形的面积不超过一个常数，无论其顶点相距多远．后来他进一步发展了他的新几何，称之为非欧几何．他坚信这种几何在逻辑上是无矛盾的，并且是真实的，能够应用的，为此他还测量了3个山峰构成的三角形内角，他相信内角和的亏量只有在很大的三角形中才能显露出．但他的测量因为仪器的误差而宣告失败．遗憾的是高斯在生前没有任何关于