《几何学的“哥白尼”》课件1.pptxVIP

7.3 几何学的“哥白尼”;几何学中的“哥白尼”; 不过，这一重要的数学发现在罗巴切夫斯基提出后相当长的一段时间内，不但没能赢得社会的承认和赞美，反而遭到种种歪曲、非难和攻击，使非欧几何这一新理论迟迟得不到学术界的公认。 ??? 罗巴切夫斯基是在尝试解决欧氏第五公设问题的过程中，从失败走上他的发现之路的。欧氏第五公设问题是数学史上最古老的著名难题之一，它是由古希腊学者最先提出来的 ; 罗巴切夫斯基是在尝试解决欧氏第五公设问题的过程中，从失败走上他的发现之路的。 ??? 罗巴切夫斯基是从1815年着手研究平行线理论的。开始他也是循着前人的思路，试图给出第五公设的证明。在保存下来的他的学生听课笔记中，就记有他在1816～1817学年度在几何教学中给出的一些证明。可是，很快他便意识到自己的证明是错误的。 ;??? 前人和自己的失败从反面启迪了他，使他大胆思索问题的相反提法：可能根本就不存在第五公设的证明。于是，他便调转思路，着手寻求第五公设不可证的解答。这是一个全新的，也是与传统思路完全相反的探索途径。罗巴切夫斯基正是沿着这个途径，在试证第五公设不可证的过程中发现了一个崭新的几何世界。;??? 那么，罗巴切夫斯基是怎样证得第五公设不可证的呢？又是怎样从中发现新几何世界的呢？原来他创造性地运用了处理复杂数学问题常用的一种逻辑方法——反证法。 ??? 这种反证法的基本思想是，为证“第五公设不可证”，首先对第五公设加以否定，然后用这个否定命题和其它公理公设组成新的公理系统，并由此展开逻辑推演。;??? 首先假设第五公设是可证的，即第五公设可由其它公理公设推演出来。那么，在新公理系统的推演过程中一定会出现逻辑矛盾，至少第五公设和它的否定命题就是一对逻辑矛盾；反之，如果推演不出矛盾，就反驳了“第五公设可证”这一假设，从而也就间接证得“第五公设不可证”。;??? 依照这个逻辑思路，罗巴切夫斯基对第五公设的等价命题——普列菲尔公理“过平面上直线外一点，只能引一条直线与已知直线不相交”作以否定，得到否定命题“过平面上直线外一点，至少可引两条直线与已知直线不相交”，并用这个否定命题和其它公理公设组成新的公理系统展开逻辑推演。;??? 在推演过程中，他得到一连串古怪、非常不合乎常理的命题。但是，经过仔细审查，却没有发现它们之间存在任何罗辑矛盾。于是，远见卓识的罗巴切夫斯基大胆断言，这个“在结果中并不存在任何矛盾”的新公理系统可构成一种新的几何，它的罗辑完整性和严密性可以和欧几里得几何相媲美。而这个无矛盾的新几何的存在，就是对第五公设可证性的反驳，也就是对第五公设不可证性的逻辑证明。由于尚未找到新几何在现实界的原型和类比物，罗巴切夫斯基慎重地把这个新几何称之为“想象几何”。;在冷漠中宣告新几何诞生;??? 参加2月23日学术公议的全是数学造诣较深的专家，其中有著名的数学家、天文学家西蒙诺夫，有后来成为科学院院士的古普费尔，以及后来在数学界颇有声望的博拉斯曼。在这些人的心目中，罗巴切夫斯基是一位很有才华的青年数学家。 ??? 可是，出乎他们的意料，这位年轻的教授在简短的开场白之后，接着说的全是一些令人莫明其妙的话， ; 诸如三角形的内角和小于两直角，而且随着边长增大而无限变小，直至趋于零；锐角一边的垂线可以和另一边不相交，等等。 ??? 这些命题不仅离奇古怪，与欧几里得几何相冲突，而且还与人们的日常经验相背离。然而，报告者却认真地、充满信心地指出，它们属于一种逻辑严谨的新几何，和欧几里得几何有着同等的存在权利。这些古怪的语言，竟然出自一个头脑清楚、治学严谨的数家教授之口，不能不使与会者们感到意外。他们先是表现现一种疑惑和惊呆，不多一会儿，便流露出各种否定的表情。;??? 宣讲论文后，罗巴切夫斯基诚恳地请与会者讨论，提出修改意见。可是，谁也不肯作任何公开评论，会场上一片冷漠。一个具有独创性的重大发现作出了，那些最先聆听到发现者本人讲述发现内容的同行专家，却因思想上的守旧，不仅没能理解这一发现的重要意义，反而采取了冷谈和轻慢的态度，这实在是一件令人遗憾的事情。;??? 会后，系学术委员会委托西蒙诺夫、古普费尔和博拉斯曼组成三人鉴定小组，对罗巴切夫斯基的论文作出书面鉴定。他们的态度无疑是否定的，但又迟迟不肯写出书面意见，以致最后连文稿也给弄丢了。;权威的讥讽与匿名者的攻击;??? 1832年，根据罗巴切夫斯基的请求，喀山大学学术委员会把这篇论文呈送彼得堡科学院审评。科学院委托著名数学家奥斯特罗格拉茨基院士作评定。奥斯特罗格拉茨基是新推选的院士，曾在数学物理、数学分析、力学和天体力学等方面有过卓越的成就，在当时学术界有很高的声望。可惜的是，就是这样一位杰出的数学家，也没能理解罗巴切夫斯基的新几何思想，甚至比喀山大学的教授们更加保守。;