数学史几何学的变革上解析.pptVIP

罗巴切夫斯基 罗巴切夫斯基 1792 年生于俄国下诺伏哥罗德 （今高尔基城）， 1807 年进入喀山大学， 1811 年毕 业并获硕士学位。 罗巴切夫斯基毕业后留校任职，历任教授助理 、非常任教授、常任教授、物理数学系主任， 35 岁 被任命为校长。 1846 年以后任喀山学区副督学，直 至逝世。 如果没有罗氏几何学，罗巴切夫斯基只能算 一个优秀的科学与教育管理者。 罗巴切夫斯基后来为发展、阐释这种新几何 学而付出了毕生心血． 他生前发表了许多论著，其中 1835--1838 年 间的系列论文《具有完备的平行线理论的新几何 学原理》较好地表述了他的思想，而 1840 年用德 文出版的《平行理论的几何研究》则引起高斯的 关注，这使他在 1842 年成为 德国哥廷根科学协会 会员． 罗巴切夫斯基非欧几何的基本思想与高斯、 波约是一致的，即 用与欧几里得第五公设相反 的断言 ： 通过直线外一点，可以引不止一条而 至少是两条直线平行于已知直线 ，作为替代公 设，由此出发进行逻辑推导而得出一连串新几 何学的定理． 罗巴切夫斯基明确指出，这些定理并不包 含矛盾，因而它的总体就形成了一个逻辑上可 能的、无矛盾的理论，这个理论就是一种新的 几何学 —— 非欧几里得几何学． 设给定了直线 和直线外一 点 ，从 引 的垂直 线 ．按照罗巴切夫斯基的基 本 假 设 ， 至 少 存 在 两 条 直 线 ，通过点 且不与直线 相交 ( 注意图形在这里只起辅助 理解的作用，罗氏论证的并不是 我们普通平面上所作的图． a A A a AB , b b A a 罗巴切夫斯基考虑所有过 不与 相交的直 线 的 极 限 情 形 ， 指 出 这 样 的 极 限 直 线 有 两 条 ( 与 ) ，并证明了它们也不与 相交．因此， 与 ，便构成了所有不与 相交的直线的边界， 在这两条边界直线所成夹角 内的所有直线都不与 相交． A a c c a c c a a ? 罗巴切基称 与 为 的 “平行线”， 而落在角 口内的所有直线叫 不相交直线 ．如果按不相交即 平行的意义理解，那么罗巴切夫斯基的几何里， 过直线外一点就可以引无穷多条直线与给定的直 线平行． c c a 若把平行角记作 ，则 时，就得到欧 氏平行公设．若 ，则 单调增加且趋于 ； 而 时， 单调减少且趋于 0 ．换句话说，如果 在离直线 很远处作与此直线垂线很小夹角的直线， 那么 我们可以沿着这条“倾斜”的直线前进而永远不 与直线 相遇 ! ) ( d ? 2 ) ( ? ? ? d 0 ? d ) ( d ? 2 ? ? ? d ) ( d ? a a 罗巴切夫斯基还将夹角 的一半称为 “平行 角” ，因 小于两直角，故平行角小于直角．罗 巴切夫斯基发现， 平行角 是点 到直线 的距离 的函数． ? ? a A d 用欧氏几何的眼光来看，罗巴切夫斯基几 何还有许多令人惊奇的结果，我们只能举一些 例子，如： 1 ．三角形三内角之和小于两直角，假如三角形变大，使 它所有三条高都无限增长，则它的三个内角全部趋向于零； 2 ．不存在面积任意大的三角形； 3 ．如果两个三角形的三个角相等，它们就全等； 4 ．圆周长 不与半径 成正比，而是更迅速地增长，并符合 下面的公式 p r ), ( k r k r e e k p ? ? ? ? 其中 是依赖于长度单位的常数．利用 的级 数展开又可以得到 k k r e . 6 1 1 2 2 2 ? ? ? ? ? ? ? ? ? ? ? ? k r r p ? 因此，常数 越大， 就越小，上述公式就越接近 于普通欧氏几何中的圆周长公式 ．这只 是一个例子，说明罗巴切夫斯基几何在极限情形下 就变成欧几里得几何． k k r r p ? 2 ? 罗巴切夫斯基还发展了非欧三角学，得出一 系列三角公式，主要有 ). ( sin ) ( sin ) ( sin ), ( sin cos sin , sin ) ( cot ) ( cot b a c b B A A c a ? ? ? ? ? ? ? ? ? 9.3 非欧几何的发展与确认 德 国 数 学 家 黎 曼 (B.Riemann ， 1826 — 1866) 在 1854 年发展了罗巴切夫斯基等人的思想而建立了一 种更广泛的几何，即现在所称的 黎曼几何 ．罗巴切 夫斯基几何以及欧氏几何都只不过是这种几何的特 例． 黎曼非欧几何 ? 黎曼 (1826-1866 ）德国 著名数学家。 1846 年， 进入哥廷根大学学神学， 后在数学家的影响下， 放弃神学改学数学，有 幸成为高斯晚年的学生。 获博士后留校。 黎曼（ 1826-1866 ） 黎曼的研究是 以高斯关于曲面的内蕴微分几何 为基础的 ．内蕴微分几何也是 19