45
不存在相似的多边形。
过不在同一直线上的三点，不一定能做一个圆。
从上面所列举得罗氏几何的一些命题可以看到，这些命题和我们所习惯的直观
形象有矛盾。所以罗氏几何中的一些几何事实没有象欧式几何那样容易被接受。但是，数学家们经过研究，提出可以用我们习惯的欧式几何中的事实作一个直观“模型”来解释罗氏几何是正确的。
1868年，意大利数学家贝特拉米发表了一篇著名论文《非欧几何解释的尝试》，
证明非欧几何可以在欧几里得空间的曲面（例如拟球曲面）上实现。这就是说，非欧几何命题可以“翻译”成相应的欧几里得几何命题，如果欧几里得几何没有矛盾，非欧几何也就自然没有矛盾。
人们既然承认欧几里得是没有矛盾的，所以也就自然承认非欧几何没有矛盾
了。直到这时，长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究，罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞美，他本人则被人们赞誉为“几何学中的哥白尼”。
4.3三种几何的关系
欧氏几何、罗氏几何、黎曼几何是三种各有区别的几何。这三中几何各自所有
的命题都构成了一个严密的公理体系，各公理之间满足和谐性、完备性和独立性。因此这三种几何都是正确的。
在我们这个不大不小、不远不近的空间里，也就是在我们的日常生活中，欧式
几何是适用的；在宇宙空间中或原子核世界，罗氏几何更符合客观实际；在地球表面研究航海、航空等实际问题中，黎曼几何更准确一些。
参考文献：
[1] 朱德祥编《高等几何》，北京，高等教育出版社，1996，154—159。
[2]王树禾著《数学百家》，北京，国防工业出版社 ，202—203.
[3] 兰纪正，朱恩宽译《几何原本》，西安， 陕西科学技术出版社 ， 1—16
45
46
[4] 王功琪 从平行公设的研究到非欧几何的创立 贵州教育学院学报 2008/12 [5] 张卓飞 非欧几何的发展史及其启示 湖南城市学院学报(自然科学版) 2007/03 [6] 许晓虹 第五公设的背景及其对数学发展的意义 河北职业技术学院学报 2005/02 [7] 张影 非欧几何中极限三角形面积有限性的简单证明 扬州大学学报(自然科学版)
2007/03
[8]徐天长 非欧几何与几何基础之间的联系 安庆师范学院学报(自然科学版)
2000/02
致 谢
在我毕业论文开题、调查、研究和撰写过程中，杨孝斌教授给予了我耐心、细致和全面的帮助??
46
40
欧几何的创立所产生的震荡至今余波未消． (2)打破人类的传统思维方式
分析和评价一种理论的首要依据应该是看其是否有“相容性”，即它是否有或会得出自相矛盾的结论，如果一个理论尚不能“自圆其说”。说明这一理论要么还只是人类经验的一种简单表述和列举，还没有进化到“理论”的高度；要么至少还需要进一步完善和改进．本来非欧几何与欧氏几何理论建立的前提是矛盾的，而欧氏几何已被普遍接受．是否接受非欧几何势必产生这样的问题，矛盾的前提是否一定能够导¨{矛盾的结果?传统的思维方式认为这是一定的，即矛盾的前提必然导致矛盾的结果．接受非欧几何就意味着要冲破这一传统思维方式的束缚．随着时间的推移，特别是非欧几何的成果的广泛应用，使人们认识到：我们在建立理论的过程中不能保证矛盾的前提一定能导矛盾的结果．因此，在理论的建立过程中，相容性是必须具备的?]，特别是在导出某个结论的过程中，我们必须清醒的认识到建立的理论体系是否具有无矛盾性、是否具有排中性．
3.2.4对数学科研者
(1)勇敢面对在科学探索路途上的暴风雨
在科学探索的征途上，一个人经得住一时的挫折和打击并不难，难的是勇于长
期甚至终生在逆境中奋斗．罗巴切夫斯基的新学说，违背了2000多年来的传统思想，动摇了欧氏几何“神圣不可侵犯”的权威基础，同时也违背了人们的“常识”．他的学说一发表，社会上的嘲弄、攻击，甚至侮辱、谩骂，暴雨般地袭来：科学院拒绝接受他的论文；大主教宣布他的学说是“邪说”；大多数的权威们称罗巴切夫斯基的学说是“伪科学”，是一场“笑话”；即使那些心肠比较好的人最多也只能抱着“对一个错误的怪人的宽容和惋惜态度”；连不少著名的文学家也起来反对这种新的几何，如德同诗人歌德，在他的名著(浮土德)中写下了这样的诗句：“有几何兮，名日：‘非欧’，自己嘲笑，莫名其妙”．面对种种攻击、嘲笑，罗巴切夫斯基毫不畏惧，寸步不让，他像屹立在大海中的灯塔，表现出一个科学家“追求科学需要的特殊勇敢”．罗巴切夫斯基坚信自己学说的正确性，为此奋斗一生．从l826年发表了非欧几何体系后，
40
41
又陆续?版了《关于几何原本》等8本著作．在他逝世前la，他的眼睛差不多瞎了，还口述，用俄、法2种文字写成他的名著《泛几何学》．罗巴切夫斯基就是在逆境中奋斗终生的勇士．同样，一名数学工作者，特别是声望较高的学术专家，正确识别出那些已经成熟的或具有明显现实意义的科技成果并不难，难的是及时识别；那些尚未成熟或现实意义尚未露川来的科学成果．数学的发展决不是一帆风顺的，在更多的情况下是充满犹豫、徘徊，要经历艰难曲折甚至会面临更多危机的．我们每一位科学T作者，既应当作一名勇于在逆境中顽强点头的科学探索者，义应当成为一个科学领域中新生事物的坚定支持者．
(2)正确对待数学领域里的成就
数学是一门历史性或者说积累性很强的学科．重大的数学理论总是在继承和发
展原有理论的基础上建立起来的，它们不仅不会推翻原有的理论，而且总是包含原先的理论．如非欧几何可以看成是欧氏几何的拓广．因此，有的数学史家认为“在大多数的学科里，一代人的建筑为下一代人所拆毁，一个人的创造被下一个人所破坏．惟独数学，每一代人都在古老的大厦上添加一层楼”[1]．克莱茵在考察第五公设研究的历史特别是从18～19世纪非欧几何由“潜”到“显”转变的100多a的历史过程时指：“任何较大的数学分支或较大的特殊成果，都不会只是个人的工作，充其量，某些决定性步骤或证明可以归功于个人．这种数学积累特别适用于非欧几何”．事实上，自从《几何原本》以后到l9世纪，第五公设问题就像一块磁石一样广泛地吸引和激励着各个时代有才华的数学家为之奋斗．这就形成了一个在科学史上时间跨度最长、成员最多，并以传播和研究第五公设为范式的数学共同体．在这个共同体中，数学家相互交流思想，交换研究成果，对研究成果进行评议，形成不断竞争和激励的体制．罗巴切夫斯基也是从前人和自己的失败得到启迪，使他大胆思索问题的相反提法：可能根本就不存在第五公设的证明．于是，他便调转思路，着手寻求第五公设不可证的解答．罗巴切夫斯基正是沿着这个途径，在试证第五公设不可证的过程中发现一个新的几何世界的．也可以说，罗氏几何的m现应归功与萨凯里、兰伯特等对第五公设的研究．在今天分支越来越细的数学领域里，精通多个领域的知识的数学家也越来越少．对此，
41
42
数学科研者应团结，相互进行交流；用平和的心态对待已取得的成绩，不骄不躁．
3.2.5对数学教师和数学学习者 (1)在质疑问难中培养创新思维
罗巴切夫斯基认为，作为一名优秀的数学教师，讲授数学必须叙述精确、严密，
所有概念都应当完全清晰．因为在他看来，数学课程是以概念为基础的，几何学尤其如此．所以他在备课中，通过对欧氏几何的逻辑结构的全面思考，发现了其逻辑体系的缺陷，使他感到非常困惑．他决心在自己的教学实践中消除那些缺陷．后来他确实编写了一本几何教科书《几何学教程》(1883)．他不仅在教材中形成并贯彻了他的非欧几何思想，而且他关于非欧几何的研究，始终是和教学活动相结合的．他关于非欧几何的许多定理都是在授课过程中推导m来的，在学生中交流、修改和完善的．我们可以肯定的说，他创立非欧几何的伟大成果是从几何教育改革的角度切入的，是一个数学教育家取得伟大突破的成功范例．正如数学史家鲍尔加斯指出的“罗巴切夫斯基希望建立起在教学法意义上无可指责的几何学”，“这是促使他改革新几何的重要原因”．“他对教学法的探讨，获得了色的、开创几何学发展新阶段的、作为人类研究和征服周世界嗣新方法的科学结论”．所以作为一名2l世纪的数学教师，在平时的教学过程中要不断的学习这个时代的新的知识，要勇于质疑你已经掌握的知识；教学中引导学生广开思路，重视发散思维；教师要精选一些典型问题，鼓励学生标新立异、大胆猜想、探索，培养学生的创新意识．
(2)在教学中训练学生的创新思维
罗巴切夫斯基刚开始是循着前人的思路，试图给Ⅲ第五公设的证明．在仅存下
来的他的学生听课笔记中，就记载着他在1816—1817学年度几何教学中给出的几个证明．但他很快就意识到证明是错误的．前人和自己的失败从反面启迪了他，使他大胆思索问题的相反提法：可能根本就不存在第五公设的证明．于是，他便调转思路，着手寻求第五公设不可证的解答．罗巴切夫斯基正是沿着这个途径，在试证第五公设不可证的过程中发现一个新的几何世界的．“学起于思，思源于疑”，我们在探索知识的思维过程总是从问题开始，又在解决问题中得到发展．教师不仅要善于设问，还要
42
43
激发学生质疑问难．教学中，要鼓励学生在学习过程中碰到的问题提出来并和同学讨论，让学生存在一个充分表现的机会．先对不同问题提供同一思路来解决，之后提出个别条件的变化，要求用新的思路解决，以打破原来的思维定势，使思维灵活而富有创造性．
(3)非欧几何的历史对高校学生学习数学的意义
高校学生可通过对数学文化的学习，了解人类社会发展与数学发展的相互作
用，认识数学发生、发展的必然规律；了解人类从数学的角度认识客观世界的过程；发展求知、求实、勇于探索的情感和态度；体会数学的系统性、严密性、应用的广泛性，了解数学真理的相对性；提高学习数学的兴趣．从欧氏第五公设到非欧几何的诞生和发展过程曲折而又艰辛，而数学家们也为之付出了巨大的努力．它对现今和以后的数学学习者有着深远而又积极的意义和影响．知识的学习和研究永无止境，只有通过不断的创新和探索，才有新的知识的创造和新知识领域的发现．
“读史使人明智”，非欧几何的诞生史对于揭示数学知识的现实来源和应用，
对于引导学生体会真正的数学思维过程，创造一种探索与研究的数学学习气氛，对于激发学生对数学的兴趣，培养探索精神，都有重要意义．
4.非欧几何的分支及发展
4.1罗氏几何学
罗氏几何学的公理系统和欧式几何学不同的地方仅仅是把欧式几何平行公理
用“从直线外一点，至少可以做两条直线和这条直线平行”来代替，其他公理基本相同。由于平行公理不同，经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。
我们知道，罗氏几何除了一个平行公理之外采用了欧式几何的一切公理。因此，
凡是不涉及到平行公理的几何命题，在欧式几何中如果是正确的，在罗氏几何中也同样是正确的。在欧式几何中，凡涉及到平行公理的命题，再罗氏几何中都不成立，他们都相应地含有新的意义。下面举几个例子加以说明：
43
44
4.2黎曼几何
欧氏几何与罗氏几何中关于结合公理、顺序公理、连续公理及合同公理都是相
同的，只是平行公理不一样。欧式几何讲“过直线外一点有且只有一条直线与已知直线平行”。罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。那么是否存在这样的几何“过直线外一点，不能做直线和已知直线平行”？黎曼几何就回答了这个问题。
黎曼几何是德国数学家黎曼创立的。他在1851年所作的一篇论文《论几何学
作为基础的假设》中明确的提出另一种几何学的存在，开创了几何学的一片新的广阔领域。
黎曼几何中的一条基本规定是：在同一平面内任何两条直线都有公共点(交
点)。在黎曼几何学中不承认平行线的存在，它的另一条公设讲：直线可以无限延长，但总的长度是有限的。黎曼几何的模型是一个经过适当“改进”的球面。
近代黎曼几何在广义相对论里得到了重要的应用。在物理学家爱因斯坦的广义
相对论中的空间几何就是黎曼几何。在广义相对论里，爱因斯坦放弃了关于时空均匀性的观念，他认为时空只是在充分小的空间里以一种近似性而均匀的，但是整个时空却是不均匀的。在物理学中的这种解释，恰恰是和黎曼几何的观念是相似的。
此外，黎曼几何在数学中也是一个重要的工具。它不仅是微分几何的基础，也
应用在微分方程、变分法和复变函数论等方面。
公设的不同
同一直线的垂线和斜线相交。 垂直于同一直线的两条直线互相平行。 存在相似的多边形。
过不在同一直线上的三点可以做且仅能做一个圆。 罗氏几何
同一直线的垂线和斜线不一定相交。
垂直于同一直线的两条直线，当两端延长的时候，离散到无穷。
44
30
附件十二（4）
一、公式、图、表格式示例
（一）公式示例：
f(x,y)??f(1,0)?f(0,0)?x??f(0,1)?f(0,0)?y(1.1) (1.2)
? ?f(1,1)?f(0,0)?f(0,1)?f(1,0)?xy?f(0,0) f?(1??Y)?[a00?(1??X)?a01??X]??Y??a10?(1??X)?a11??X?
（宋体、小四号）
（二）表格示例：
1、普通表示例：
表1.1□Altera 可提供的基本宏功能单元（宋体、小四号、加粗） 类 型 算术组件 门 I/O组件 存储器 存储组件 描 述 包括累加器、加法器、乘法器和LPM算术函数 包括多路复用器和LPM门函数 包括时钟数据恢复（CDR）、锁相环（PLL）、双数据速率（DDR）、千兆位收发器块（GXB）、LVDS收发器和发送器、PLL重新配置和远程更新宏功能模块 包括FIFO Partitioner、RAM和ROM宏功能模块 存储器、移位寄存器宏模块和LPM存储器函数 （表格内字体仿宋体、五号）
2、统计表示例：
表3.1□某地1980年不同年龄男性调查者HBsAg阳性率（宋体、小四号、加粗）
年龄组（岁）
0- 10- 20- 30- 40- 50- 60- 合计
调查数 726 1392 735 574 463 232 112 4234
（表格内字体仿宋体、五号）
阳性数 31 115 59 57 -- 10 4 303
阳性率 4.27% 8.26% 8.03% 9.93% 5.83% 4.31% 3.57% 7.16%
注：表中数据…。（表格内字体仿宋体、五号） 3、图文示例
(a)
30
31
图1.2□数据通道模块内部结构（宋体、五号）
(b)
图2.2□进入Symbol操作界面（宋体、五号）
二、附录示例
附录A：（宋体、五号、加粗）
国际单位制的基本单位（宋体、五号） ??
表A1 国际单位制的基本单位（宋体、五号、加粗） 量的名称 长度 质量 时间 电流 热力学温度 物质的量 发光强度 单位名称 米 千克（公斤） 秒 安[培] 开[尔文] 摩[尔] 坎[德拉] 单位符号 m kg s A K mol cd (宋体、五号、单倍行距，请严格按照《西华师范大学本科毕业论文（设计）》手册的要求进行编排)
31
32
目录
1. 2. 3. 4.
欧式第五公设的内容 欧氏第五公设的试证历史 非欧几何的诞生及方法论意义
非欧几何的分支及发展
插图索引
附表索引
非欧几何与第五公设
数学与信息学院数学与应用数学专业2008级 指导教师：杨孝斌
摘要：所谓平行公设也称为欧几里得第五公设，是《几何原本》五条公设的第五条而得名，它是欧几里得几何中一条与别的公理不同的公理，比前四条复杂且显得不令人满意。从古希腊时代开始到19世纪2000多年来数学家们对这条公设耿耿于怀，孜孜不倦的都试图解决这个问题，然而在试证的过程中发现并完善了非欧几何，对数学的发展产生了巨大的影响
关键词：非欧几何；第五公设；试证历史；诞生；方法论意义；非欧几何的分支及发展
Non-Euclidean geometry and the fifth postulate
Mathematics and Information Sciences Grade 2008 nstructor: Yang Xiaobin
Abstract：The parallel postulate is also known as Euclid's fifth postulate, is\geometrical\axioms fifth and named, it is a Euclidean geometry in a different with other axiom axiom, than the first four complex and is not satisfactory. From ancient Greek times until nineteenth Century,2000years of mathematics are the axioms to heart, diligently are trying to solve the problem, however trying to discover in the process and improve the non-Euclidean geometry, to the development of
32
33
mathematics exerted an enormous influence
Key words： Non Euclidean geometry; the fifth postulate; try to history; birth; methodology; spherical geometry ，branches and the development of non-Euclidean geometry
1.欧式第五公设的内容
1.1主要内容:
若两条直线都与第三条直线相交，并且在同一边的内角之和小于两个直角，则这两条直线在这一边必定相交
1.2知识背景：
公元前3世纪希腊哲学家aristotle总结了古代积累起来的逻辑知识，以演绎证明的科学为例把完全三段论式作为公理由此推出别的所有三段论法他提出了历史上第一个的公理系统。欧几里得把形式逻辑的公里演绎方法用于几何学。总结了前人在生活实践中得到的大量数学知识。用抽象分析方法提炼出一系列基本的概念和公理。他概括出了14个基本命题，其中有5个公设和9条公理。他的5个公设如下： （1） 任意两个点可以通过一条直线连接。 （2） 任意线段能无限延伸成一条直线。
（3）给定任意线段，可以以其一个端点作为圆心，该线段作为半径作一个圆。
（4）所有直角都全等。
（5）若两条直线都与第三条直线相交，并且在同一边的内角之和小于两个直角，则这两条直线在这一边必定相交。
所谓平行公设（英语：Parallel postulate），也称为欧几里得第五公设，因是《几何原本》五条公设的第五条而得名。这是欧几里得几何中一条与别的公理不同的公理，
33
34
比前四条复杂且显得不令人满意。第一，语言叙述冗长，与公设、公理应有的明显、直观性和不正自明的真理程度似乎有些差别；第二，在其叙述中还隐含着直线可以无限延长的含义，而古希腊人在数学中对无限基本采取了一种完全排斥的态度；第三，对其应用，欧几里得本人也有所犹豫，在《原本》中，只要可以不用第五共设，在相关的证明中欧几里德都避免使用，直到卷Ⅰ命题29才不得不用它。
因此，从古希腊时代时，人们一直希望对欧几里得的第五公设做出新的叙述或能对它进行证明而从共设中去掉。在公元前300年到公元1800年的两千多年的时间内，几乎所有有作为的数学家、神学家都在第五公设上投入了大量的精力：哲学家、神学家希望完善欧式几何的理想化地位，数学家希望使几何的逻辑演绎体系更加完美
2.欧氏第五公设的试证历史
欧氏第五公设引起了广泛的讨论，因为它不如其他的公理公设那样简明，欧几
里得本人也不满意这条公设，他在证完了所有不需要平行公社的的定理后才使用它，怀疑它可能不是一个独立的公设，或许能用其他的公理或公设代替。从古希腊时代开始到19世纪2000多年来数学家们对这条公设耿耿于怀，孜孜不倦的都试图解决这个我问题。数学家们主要沿2条途径进行研究：一条途径是寻找一条更自明的命题代替平行公设；一条途径是试图从其他9条公理、公设推出平行公设来。
沿第一条途径找到的第五公设最简单的表述是1795年苏格兰数学家普雷菲尔
(J,Playfair1748—1819)给出的：“过直线外一点，有且只有一条直线与原直线平行”也就是我们今天中学课本里使用的平行公理，但实际上古希腊数学家普罗克鲁斯在公元5世纪就陈述过它．然而问题是，所有这些替代公设并不比原来的第五公设更好接受，更“自然”．历史上第一个证明第五公设的重大尝试是古希腊天文学家托勒玫(Ptolemy，约公元150年)做出的，后来普罗克鲁斯指出托勒玫的“证明”无意中假定了过直线外一点只能作一条直线与已知直线平行，这就是上面提到的普雷菲尔公
沿第二条途径论证第五公设的工作在18世纪取得突破性进展．
首先是意大利人萨凯里(Sacchairn1667—1733)提出用归谬法证明第五公设： 萨凯里从四边形ABCD开始，如果角A和角是直角，且AC=BD，容易证明角C等
34
35
于角D．这样第五公设便等价于角C和角D是直角这个论断．萨凯里提出另2个假设：(1)钝角假设：角C和角D都是钝角；(2)锐角假设：角C和角D都是锐角．最后在锐角假设下，萨凯里导出了一系列结果，因为与经验认识违背，使他放弃了最后结论．但是从客观上为非欧几何的创立提供了极有价值的思想方法，开辟了一条不同于前人的新途径．
其后瑞士数学家兰伯特(Lambetr1728—1777)所做的工作与萨凯里相似． 他也考察了一类四边形，其中3个角为直角，而第5个角有3种可能性：直角、
钝角和锐角．他同样在锐角假设下得到“三角形的面积取决于其内角和；三角形的面积正比于平角与内角和的差．他认为只要一组假设相互没有矛盾，就提供了一种几何的可能．
著名的法国数学家勒让德(A．M、Legendar1752—1833)对平行公设问题也十分
关注，他得到的一个重要定理：“三角形内角之和不能大于两直角”，这预示着可能存在着一种新几何，
19世纪初，德国人萨外卡特(schweikart1780—1859)使这种思想更加明朗化，
他通过对“星形几何”的研究，指出：“存在两类几何：狭义的几何(欧氏几何)星形几何，在后一个里面，三角形有一个特点，就是三角形内角之和不等于两直角” 1.2.2非欧几何的诞生
前面提到的一些数学家尤其是兰伯特，都是非欧几何的先驱，但是他们都没有
正式提一种新几何并建立其系统的理论，而著名的数学家高斯(Gauss1777—1855)、波约(Bolyai1802—1860)、罗巴切夫斯基(Lobatchevsky1793—1856)就这样做了，成为非欧几何的创始人，高斯是最早指出欧几里得第五公设独立于其他公设的人，早在1792年他就已经有一种思想，去建立一种逻辑几何学，其中欧几里得第五公设不成立．1794年高斯发现在他的这种几何中，四边形的面积正比于2个平角与四边形内角和的差，并由此导出三角形的面积不超过一个常数，无论其顶点相距多远．后来他进一步发展了他的新几何，称之为非欧几何．他坚信这种几何在逻辑上是无矛盾的，并且是真实的，能够应用的，为此他还测量了3个山峰构成的三角形内角，他相信内角和的亏量
35
36
只有在很大的三角形中才能显露出．但他的测量因为仪器的误差而宣告失败．遗憾的是高斯在生前没有任何关于非欧几何的论著．人们是在他逝世后，从他与朋友的来往函件中得知了他关于非欧几何的研究结果和看法．
3.非欧几何的诞生及方法论意义
3.1非欧几何的诞生
到了十九世纪二十年代，俄国喀山大学教授罗巴切夫斯基在证明第五公设的
过程中，他走了另一条路子。他提出了一个和欧式平行公理相矛盾的命题,用它来代替第五公设，然后与欧式几何的前四个公设结合成一个公理系统，展开一系列的推理。他认为如果这个系统为基础的推理中出现矛盾，就等于证明了第五公设。我们知道，这其实就是数学中的反证法。
但是，在他极为细致深入的推理过程中，得出了一个又一个在直觉上匪夷所思，
但在逻辑上毫无矛盾的命题。最后，罗巴切夫斯基得出两个重要的结论：
第一，第五公设不能被证明。
第二，在新的公理体系中展开的一连串推理，得到了一系列在逻辑上无矛盾的
新的定理，并形成了新的理论。这个理论像欧式几何一样是完善的、严密的几何学。这种几何学被称为罗巴切夫斯基几何，简称罗氏几何。这是第一个被提出的非欧几何学。从罗巴切夫斯基创立的非欧几何学中，可以得出一个极为重要的、具有普遍意义的结论：逻辑上互不矛盾的一组假设都有可能提供一种几何学。
几乎在罗巴切夫斯基创立非欧几何学的同时，匈牙利数学家鲍耶·雅诺什也发
现了第五公设不可证明和非欧几何学的存在。鲍耶在研究非欧几何学的过程中也遭到了家庭、社会的冷漠对待。他的父亲——数学家鲍耶·法尔卡什认为研究第五公设是耗费精力劳而无功的蠢事，劝他放弃这种研究。但鲍耶·雅诺什坚持为发展新的几何学而辛勤工作。终于在1832年，在他的父亲的一本著作里，以附录的形式发表了研究结果。
那个时代被誉为“数学王子”的高斯也发现第五公设不能证明，并且研究了非
欧几何。但是高斯害怕这种理论会遭到当时教会力量的打击和迫害，不敢公开发表自
36
37
己的研究成果，只是在书信中向自己的朋友表示了自己的看法，也不敢站出来公开支持罗巴切夫斯基、鲍耶他们的新理论。
3.2非欧几何的方法论意义
非欧几何的诞生是自希腊时代以来数学中一个重大的革新步骤．在这里我们将
沿着事物的历史发展过程来叙述这一历史的重要意义．M．克莱茵(M．Klein)在评价这一段历史的时候说：“非欧几何的历史以惊人的形式说明数学家受其时代精神影响的程度是那么厉害．当时萨凯里曾拒绝过欧氏几何的奇异定理，并且断定欧氏几何是唯一正确的．但在一百年后，高斯、罗巴切夫斯基和波约满怀信心地接受了新几何”．由此可见非欧几何的诞生对数学的发展有着重要的启示及意义
3.2.1方面对数学学科本身而言 （1）数学发展的相对独立性
通过逻辑演绎法建立的非欧几何体系为数学的发展提供了一种模式，使人们清楚地看到数学可以有自己的逻辑体系存在，从而独立发展．数学发展的相对独立性突出表现为：数学理论的发展往往具有超前性，它可以独立于物理世界而进行，可以超前于社会实践，并反作用于社会实践，推动数学乃至于整个科学向前发展．19世纪前，数学始终与应用数学紧密结合在一起，即数学不能离开实用学科而独立发展，研究数学的最终目的是为了解决实际问题，但是非欧几何第一次使数学的发展领先于实用科学，超越人们的经验，非欧几何为数学创造了一个全新的世界：人类可以利用自己的思维，按照数学的逻辑要求自由自在的进行思考．于是数学被认为应当是那些并不是直接地或间接地由于研究自然界的需要而产生出来的任意结构．这种观点逐渐被人们了解，于是造成了今天的纯粹数学与应用数学的分裂LlJ． （2）数学的本质在于它的充分自由
非欧几何的创立，使一直为人们意识到但未曾清楚地认识的区别呈现出来了即
数学空间与物理空间的不同．数学家创造m几何理论，然后由此决定他们的空间观，这种建立在数学理论基础上的空间观、自然观，一般并不能否定客观世界的存在等内容，它仅仅强调这样一些事实：人们关于空间的判断所获得的一系列结论纯粹是自己
37
38
的创造．物质世界现实与这种现实的理论，永远是两回事．正因为如此，人类探索知识、建立理论的认识活动才永远没有尽头．非欧几何的创立使人们认识到数学是人的精神的创造物，而不是对客观现实的直接临摹，这样就使数学获得了极大的白南，同时也使数学丧失了对现实的确定性．数学从自然界和科学中解脱出来，继续着它自己的行程．对此，M．克莱茵说：“数学史的这一阶段，使数学摆脱了与现实的紧密联系，并使数学本身从科学中分离出来了，就如同科学从哲学中分离出来，哲学从宗教中分离出来，宗教从万物有灵论和迷信中分离出来一样．现在可以利用乔治．康托的话了：‘数学的本质在于它的充分自由”’．
（3）几何观念的更新
非欧几何的出现打破了欧氏几何一统天下的局面，使几何学的观念得到更
新．传统欧氏几何认为空间是唯一的，而非欧几何的出现打破了这种观念，促使人们对欧氏几何乃至整个几何学的基础问题作深人探讨．
3.2.2方面文化教育方面
（1）非欧几何是敢于向传统挑战、勇于为科学献身的人类精神的产物 高斯、波约、罗巴切夫斯基几乎同时发现了非欧几何，但3人对待新几何的态
度是不同的．高斯很早就意识到了新几何的存在，但他没有向世人公布他的新思想，他受康特(Kant)唯心思想的影响，不敢向传统几何学界达2000a之久的欧氏几何挑战，以致推迟了非欧几何的诞生．波约致力于平行公设的研究，终于发现了新几何．这其中还有一个故事，当高斯决定将自己的发现秘而不宣时，波约却急切的想通过高斯的评价将自己的研究公诸于世，然而高斯回信给他的父亲F波约中说：“夸奖他就等于称赞我自己．整篇文章的内容，你儿子采取的思路和获得的结果，与我在30至35年前的思考不谋而合”]，波约对高斯的回答深感失望。认为高斯想剽窃自己的成果，特别是在罗巴切夫斯基关于非欧几何的著作出版后，他更决定从此不再发表论文．
罗巴切夫斯基在1826年公开新几何思想后，并没有得到同代人的理解与赞扬，
反而遭到讽刺和攻击，“可是没有任何力量可以动摇罗巴切夫斯基的信心，他像屹立在大海中的灯塔，惊涛骇浪的冲击，十足显出他刚毅的意志，他一生始终为新思想而
38
39
斗争，在他双目失明时，还口授完成了《泛几何学》．发现新几何的过程启示我们：只有突破了对传统、对权威的迷信，才能充分发挥科学的创造性；只有不畏艰难困苦，勇于为科学献身，才能追求、捍卫超越时代的真理．一般认为高斯、波约、罗巴切夫斯基3人同时发现了新几何，这是人们对历史的公正，但人们更喜欢称新几何为罗氏几何，这正是人们对罗巴切夫斯基为科学献身精神的高度赞扬．
（2）非欧几何精神促使人们树立宽容、包容一切的产物
非欧几何的创立，解放了人类思想，新见解、新观点不断涌现，“数学显现为
人类思想的自由创造物”【5]．数学的发展使康托由衷的说道：“数学的本质在于其自由”．这种思想活跃而且民主的艺术气氛，使数学以前所未有的速度向前发展．非欧几何曲折的创建历程及其所带来的数学的发展，使人们意识到自由创造、百家争鸣对科学发展的重要性，促使人们树立宽容、包容一切的精神与美德[6】． 3.2.3在哲学思想方面 （1）认识论的变革
法国哲学家、数学家彭加莱(HenriPoincare)说过：非欧几何的发现，是认识
论一次革命的根源．简单讲，人们可以说，这一发现已经胜利的打破了那个为传统逻辑所要求的，束缚住任何理论的两难论题：即科学的原理要么是必然真理(先验综合的逻辑结论)；要么是断言的真理(感官观察的事实)．他指出：原理可能是简单的任意约定，但是这些约定决不是同我们的心灵和自然界无关的，它们只能靠着一切人的默契才能存在，它们并且紧密地依赖着我们所生活的环境中的实际外界条件．事实上正是由于这一点，对于探索未知或目前无法感知的事物，我们可以在哲学的领域里依靠我们对自然界的认识作某种“默契约定”，这是认识一切事物的开始和基础．另外，我们在理论评判中，放弃非彼即此的评判，爱因斯坦就说过：这种非彼即此的评判是不正确的．这些评判家、数学家的评判无疑是非欧几何创立后，其对思想、理论建立，特别是对认识论有最为直接的影响；更进一步的近代的理论和技术的进步均离不开它的内在影响，像“相对论”的产生、特别是对时空的进一步认识，集合论、现代分析基础、数理逻辑、量子力学等学科建立与发展均可以看成是非欧几何的直接结果．非
39