罗巴切夫斯基的解答.PPT

第五公设与“在平面内过已知直线外一点，只有一条直线与已知直线平行”相等价。 现在把后一命题叫做欧几里德平行公理。 19世纪，它导致了数学发展史上一些非常重要的结果，这就是非欧几何的诞生。 高斯从1799年开始意识到平行公设不能从其他的欧几里得公理推出来，并从1813年起发展了这种平行公设在其中不成立的新几何。他起先称之为“反欧几里得几何”，最后改称为“非欧几里得几何”，所以“非欧几何”这个名称正是来自高斯。 然而 和所有先知、先觉者一样，罗巴切夫斯基得到的是冷遇和嘲讽，甚至被人称之为疯子．然而他一直执著地进行研究和著述，1837年用法文写成《虚几何学》，1840年用德文写成《平行线理论的几何研究》．去世前他已双目失明了，但仍口述完成了《泛几何学》． 1854年，德国数学家黎曼(1826～1866)在《关于几何基础的假设》的演说中，又提出了一种既不是欧氏几何，又不是罗氏几何的非欧几例．这种几何采用公理“同一平面上任何两条直线一定相交”代替欧氏几何中的平行公理，对其余公理只是稍作改动，被称为“椭圆几何”．其中三角形的内角之和大于两直角．它和球面几何学相差无几，如果把球面的对顶点看成同一点，就得这种几何学。 8.4.1非欧几何的孕育时期 A B C D 从四边形出发来研究欧氏几何问题是非欧几何的开端,先固定两条底边,可以证明上面两个角一定相等,但是无法证明它们是直角.萨谢利分别假定上面两个角是钝角,锐角或直角,推出了一系列的结果.当假定上面两个角是直角时,平行公设定理被证明了。 1766年，瑞士的H.兰伯特写了《平行线理论》作了类似研究。 勒让德也对平行公设做出卓越贡献，他对一特定的三角形的内角和做出三个不同的假定：等于、大于、或小于两直角。 施韦卡特1816年写了备忘录，区分了两种几何：欧几里德与假设三角内角之和不是两直角的几何。他将后者称为星空几何。 陶里努斯得出结论：只有欧几里德几何对物质空间是正确的，而星空几何只是逻辑上相容。 8.4.1非欧几何的孕育时期 8.4.2非欧几里德几何的诞生： J.波尔约是预见非欧几何的第二人，他称他的非欧几何为绝对几何。 然而，真正发表此课题的有系统的著作的第一人是俄国数学家罗巴切夫斯基。 8.4.2非欧几里德几何的诞生： 他发展的非欧几何现今被称为罗巴切夫斯基几何。他赢得了“几何学上的哥白尼”的称号。 罗马切夫斯基在他的《新几何原本》中描述了他所给出的第五公设的解答要点： “大家知道，直至今天为止，几何学中的平行线理论还是不完全的。从欧几里德时代以来，两千年来的徒劳无益的努力，促使我怀疑在概念本身之中并未包括那样的真实情况，它是大家想要证明的，也是可以象别的物理规律一样单用实验（譬如天文观测）来检验的。最后，我肯定了我的推测的真实性，而且认为困难的问题完全解决了，我在1826年写出了关于这个问题的论证。” 8.4.3罗巴切夫斯基的解答： 欧几里德几何第五公设成立的充分必要条件： 命题1 第五公设成立的充分必要条件是过直线外一点存在唯一的与该直线平行的直线. 命题2 第五公设成立的充分必要条件是三角形内角和等于派. 命题3 第五公设成立的充分必要条件是同一直线的垂线与斜线相交. 命题4 第五公设成立的充分必要条件是存在两个相似但不全等的三角形. 8.4.4罗巴切夫斯基的想象几何学 欧几里德几何第五公设成立的充分必要条件： 命题5 第五公设成立的充分必要条件是任一三角形存在外接圆. 命题6 第五公设成立的充分必要条件是与一直线等距且在该直线同一侧的三个点在同一条直线上. 命题7 第五公设成立的充分必要条件是角度数在大于零小于派之间的任一角内部的任一点可以引一直线,使此直线与该角的两边相交. 命题8 第五公设成立的充分必要条件是圆内接六边形的边长等于该圆半径. 8.4.4罗巴切夫斯基的想象几何学 罗巴切夫斯基几何代替第五公设的公理： 设a 是一直线,A是a外一点,在A与a所决定的平面上,过A而不于a相交的直线至少有两条. 等价于:存在内角和小于派的三角形. l命题1在平面上任一直线a外一点A,过A点与a平行的直线至少有两条. l命题2 任一三角形内角和小于派. l命题3 平面上同一直线的垂线与斜线不一定相交. l命题4 不存在两个相似但不全等的三角形. 8.4.4罗巴切夫斯基的想象几何学 l命题5 存在无外接圆的三角形. l命题6 在平面上与一直线等距的点的轨迹是一曲线,它上面任意三个点都不在同一条直线上. l命题7 过每一锐角的一边存在不与另一边相交的直线. l命题8 圆内接六边形的边长大于该圆半径. 8.4.4罗巴切夫斯基的想象几何学 8.4.5黎曼的非欧几何： * * 开篇： 欧几里德的第五公设“也许是科学史上最重要的一句话” C.J.Keys