数学文化12.pdf

非欧几何 非欧几何的提出 非欧几何的确认和发展 数学中心的迁移 数学奖励 中国现代数学研究的兴起 1826年2月23 日是一个值得纪念的日子，在俄罗斯喀山 大学发生了一件事，使大家认为这一天是非欧几何诞生的 日子，这一天，俄罗斯的数学家罗巴切夫斯基在喀山大学 物理系宣读了他的论文《简要叙述平行线定理的一个严格 证明》，这标志着几何学的根本变革，而且也标志着近代 数学的开始。 若一直线落在两直线上所构成的同旁内角都小于两直角， 那么把两直线无限延长，它们将在同旁内角和小于直角的一 侧相交。 D C 萨凯里四边形是一个等腰双 直角四边形，A C BD , ∠A π =∠B 2 π ∠ ∠ 直角假设： C D 2 A B π ∠ ∠ 钝角假设： C D 2 π ∠ ∠ 锐角假设： C D 2 在锐角假设中推出一系列新奇有趣的结果：三角形三内角之和 小于两直角；过直线外一点有无穷多条直线不与该给定的直线 相交 罗巴切夫斯基1792年出生于高尔基城的一个贫穷的公务员 家庭，1856年卒于喀山，1807年进入喀山大学学习，并且在 数学方面表现出不凡的才能，但是他本人富于幻想、倔强并且 自命不凡，以致于学校的行政管理人员认为他是“令人愤怒的” 在欣赏他的教授的庇护下，于1811年获得物理数学硕士学位， 1827年任喀山大学校长。数年后喀山成为俄罗斯的一流的学府 几何学上的哥白尼 首先对第五公设加以否定，然后用这个否定命题和其它公理 公设组成新的公理系统，并由此展开逻辑推演。假设第五公设 是可证的，即第五公设可由其它公理公设推演出来，那么，在 新公理系统的推演过程中一定能出现逻辑矛盾，至少第五公设 和它的否定命题就是一对逻辑矛盾；反之，如果推演不出矛盾， 就反驳了“第五公设可证”这一假设，从而也就间接证得“第五 公设不可证”。 过平面直线外一点，至少可以引两条直线与已知直线不相交 1799年高斯意识到平行公设不能从其他的欧几里得公理 推出，并在1813年发展了这种平行公设在其中不成立的新几 何，称为“反欧几里得几何”—非欧几何 黄蜂就会围着耳朵飞 匈牙利青年波约将自己的文章《绝对空间的科学》 寄给高斯：称赞他就等于称赞我自己，整篇文章的内容， 所采取的思路和获得的结果，与我在30至35年前的思考不 谋而和 春天的紫罗兰在各处盛开 b A 过直线外一点 做两条平行 A a 直线 不与直线 相交，所有 b,b b A a 过 且不与 相交的直线的极限 a B