数学史60899.pptVIP

对第五公设的证明 历史上第一个宣称证明了第五公设的是古希腊天文学家托勒密（约公元150），后来普洛克鲁斯指出托勒密的“证明”无意中假定了过直线外一点只能作一条直线与已知直线平行。 替代公设：过直线外一点有且只有一条直线与已知直线平行。 有意义的进展 意大利数学家萨凯里（G.Saccheri）在《欧几里得无懈可击》（1733）一书中，从著名的“萨凯里四边形”出发来证明平行公设。 四边形ABCD中，AD=BC，∠A=∠B且为直角。不用平行公设易证∠C=∠D。 （1）直角假设：∠C和∠D是直角 （2）钝角假设： ∠C和∠D是钝角 （3）锐角假设： ∠C和∠D是锐角 萨凯里首先由钝角假设推出了矛盾，然后考虑锐角假设，在这一过程中获得了一系列新奇的结论：如三角形内角和小于两直角；过直线外一点有无数条直线与已知直线平行等。萨凯里认为它们太不合情理，便以为自己导出了矛盾而判断锐角假设是不真实的。而直角假设则是与平行公设等价的。 1763年，德国数学家克吕格尔（G.S.Klugel）在其博士论文中首先指出萨凯里的工作实际上并未导出矛盾，只是得到了似乎与经验不符的结论。克吕格尔是第一位对平行公设是否可以由其它公设加以证明表示怀疑的数学家。 高斯建立非欧几何 最先认识到非欧几何是一种逻辑上相容、而且可以用来描述物质空间的是高斯。他从1799年开始意识到平行公设不能从其它公设推导出来，并从1813年起建立了一种使第五公设在其中不成立的新几何学。他起先称之为“反欧几里得几何”，最后改称为“非欧几里得几何”。但高斯没有发表过任何有关非欧几何的文章，只在跟朋友的一些通信中提及，他在给一位朋友的信中说：“如果公布自己的这些发现，‘黄蜂就会围着耳朵飞’，并会‘引起波哀提亚人的叫嚣’”。 勇敢的罗巴切夫斯基 在非欧几何的三位发明人中，罗巴切夫斯基最早、最系统地发表了自己的研究成果，并且也最坚定地宣传和捍卫自己的新思想。他于1826年在喀山大学发表了演讲“简要论述平行线定理的一个严格证明”，而后又于1829年发表了《论几何原理》的论文，这是历史上第一篇公开发表的非欧几何文献，但由于是用俄文发表在《喀山通讯》上的而未引起数学界的重视。1840年用德文出版的《平行理论的几何研究》引起高斯的关注，这使他在1842年成为德国哥廷根科学协会会员。 非欧几何理论公开后，许多人群起攻之，说新几何是“荒唐的笑语”，是“对有学问的数学家的嘲讽”等。面对种种攻击，罗巴切夫斯基表现得比高斯更有勇气。一直到1855年，当他已是一位双目失明的老人时，还口述发表了著作《泛几何学》，坚信自己新几何学的正确性。 非欧几何的发展与确认 德国数学家黎曼（B.Riemann,1826-1866）于1854年发展了罗巴切夫斯基等人的思想而建立了一种更广泛的几何学----黎曼几何。 19世纪70年代以后，意大利数学家贝尔特拉米、德国数学家克莱因和法国数学家庞加莱等人先后在欧几里得空间中给出了非欧几何的直观模型，从而揭示出非欧几何的现实意义。至此，非欧几何才真正获得了广泛的理解。 * * * A B C D * *