几何学的变革培训课程.pptxVIP

9 几何学的变革欧几里得平行公设非欧几何的诞生非欧几何的发展与确认射影几何的繁荣几何学的统一9 几何学的变革 欧氏几何在公元前300年就已产生，其特征是建立了公理化方法：即从几个概念和几个命题，演绎出本学科其它所有概念和命题，从而构成这一学科的全貌。运用这种方法的学科被认为是严谨的和成熟的科学。 欧氏几何的公理体系出现在欧几里得的《原本》中，在其之后的2200后，希尔伯特在《几何基础》加以完善。其间，许多数学家作了许多公理体系的完备性工作。9 几何学的变革 然而，令人放心不下的是该公理体系中的第五公设，即平行公设的问题。因为人们发现即使欧几里得本人也尽量避免使用它。9 几何学的变革9.1 欧几里得平行公设第五公设（即平行公设）寻求第五公设的证明非欧几何的孕育9 几何学的变革9.1 欧几里得平行公设一 第五公设（即平行公设） 《原本》中五个公设：1 由任意一点到另外任意一点可以画直线2 一条有限直线可以继续延长3 以任意点为心及任意的距离可以画圆4 凡直角都彼此相等5 同平面内一条直线和另外两条直线相交，若在某一侧的两个内角的和小于二直角的和，则这二直线经无限延长后在这一侧相交9.1 欧几里得的平行公设 从古希腊时代开始，人们一直对第五公设有疑问，二千年来，数学家们一直在想消除这个疑问，其途径有二：一是用更为自明的命题代替第五公设；二是证明它，使其成为一个定理。 两千年来提出众多的替代公设有：9.1 欧几里得的平行公设存在一对同平面的直线彼些处处等距离过己知直线外一点能且只能作一条直线与己知直线平行存在一对相似但不全等的三角形如果一个四边形有一对对边相等，并且它们与第三边构成的角均为直角，则余下的两个角也是直角9.1 欧几里得的平行公设如果四边形有三个角是直角，则第四个角也是直角至少存在一个三角形，其三角和等于二直角过任何三个不在同一直线上的点可作一圆三角形的面积无上限 但所有这些替代公设，也不自明。9.1 欧几里得的平行公设二 寻求第五公设的证明 多少世纪以来，试图证明第五公设的人是如此之多，差不多够一个军团，但所有这些尝试均告失败。9.1 欧几里得的平行公设三 非欧几何的孕育 1 萨凯里（Saccheri） 著《欧几里得无懈可击》（1733） 从著名的“萨凯里四边形”出发证明平行公设 2 克吕格尔 1763年，克吕格尔指出萨凯里的工作并未导出矛盾，他怀疑能否证明平行公设9.1 欧几里得的平行公设 3 兰伯特 著《平行线的理论》（1766） 他认识到一组假设如果不引起矛盾的话，就提供了一种可能的几何。 兰伯特最先指出通过替换平行公设而展开新的无矛盾的几何学的道路。 萨凯里、克吕格尔、兰伯特是非欧几何的先行者。非欧几何的孕育欧几里得普莱菲尔(苏格兰, 1748-1819)　勒让德(法, 1752-1833)A+B+C=2π 若一直线落在两直线上所构成的同旁内角和小于两直角, 那么把两直线无限延长, 它们都在同旁内角和小于两直角的一侧相交.平行公理的研究(公元前3世纪至1800年)非欧几何的孕育 勒让德(法, 1752-1833) 《几何学原理》：这条关于三角形的三个内角和的定理应该认为是那些基本真理之一。这些真理是不容争论的，它们是数学永恒真理的不朽的例子。(1832) 1733年萨凯里(意, 1667-1733)《欧几里得无懈可击》非欧几何的孕育 1763年，克吕格尔(德, 1739-1812)第一位对平行线公设是否能由其它公理加以证明表示怀疑的数学家 1766年兰伯特(法, 1728-1777)《平行线理论》不认为锐角假设矛盾, 认识到如果一组假设不引起矛盾, 就提供了一种可能的几何 1820年F?鲍约(匈, 1775-1856): “我经过了这个长夜的渺无希望的黑暗, 在这里埋没了我一生的一切亮光和一切快乐,……或许这个无底洞的黑暗将吞食掉一千个犹如灯塔般的牛顿, 而使大地永无光明。”9.2 非欧几何的诞生高斯波约罗巴切夫斯基9.2 非欧几何的诞生一 高斯（Gauss，1777—1855） 1799年，高斯意识到平行公设不能由其它欧氏公理推出来，并从1813年起发展了这种平行公设在其中不成立的新几何学，称之为反欧几里得几何学，但高斯生前未发表。9.2 非欧几何的诞生二 波约（1802—1860） 1823年，波约开始理解平行公设问题的实质，称“我要白手起家创造一个奇怪的新世界”。波约称他的非欧几何为“绝对几何”。 著《绝对空间的科学》9.2 非欧几何的诞生三 罗巴切夫斯基（1792—1856）1826 《简要论述平行线定理的一个严格证明》1829 《论几何原理》1835—1838 系列论文《具有完备的平行线理论的新几何学原理》1840 《平行理论的几何研究》9.2 非欧