非欧几何简介.docVIP

非欧几何简介 欧氏几何与球面几何的区别与联系 ??? 比较球面上的几何图形与平面上的几何图形的性质，我们可以总结出以下显著的差别，见表6-1： 表6-1 球面上的几何图形与平面上的几何图形的性质差异 ? 欧氏几何 球面几何 直线 过两点有唯一一条直线 过两个非对径点有唯一一条直线（大圆） 直线可以无限延伸 大圆是封闭的、有限的 角的含义 两直线的交角 两个大圆在交点处切线的交角（即两个大圆所在平面的二面角的平面角） 两点间距离含义 连结它们的直线段长度 过两点的大圆中的劣弧弧长 三角形内角和 等于180° 大于180° 三角形面积 底边长乘高线长的一半 ，其中A、B、C为单位球面上三角形的三个内角（弧度制） 三角形全等条件 SSS，SAS，ASA SSS，SAS，ASA，AAA 相似性 存在不全等的相似三角形 同球面或等球面上没有相似三角形，不存在相似概念 平行性 过直线外一点有且只有一条直线与之平行 任意两条直线必相交于两点；没有平行的概念 勾股定理 余弦定理 正弦定理 ??? 通过上面的比较，我们看到，球面上的几何是与平面几何不同的一种几何理论。平面几何最早由希腊数学家欧几里德（Euclid，公元前300年左右）整理成系统的理论。他的不朽之作《几何原本》不仅包含了平面几何，也包含了立体几何。为了纪念他对人类做出的伟大贡献，后来就把这种几何称为欧氏几何。球面上的几何是与欧氏几何不同的几何，所以叫做非欧几何。球面上的几何与欧氏几何有不相同之处，但他们之间也有一些共同特征，见表6-2。 表6-2 球面上的几何与欧氏几何的共同特征 ? 欧氏几何 球面上的几何 直线 都是两点间距离最短的道路 三角形的性质 大边对大角，大角对大边； 两边之和大于第三边，两边之差小于第三边。 三角形全等的条件 SSS，SAS，ASA 两种几何的这些相同之处，说明它们之间应该有某种内在的联系。??? 首先分析一下球面三角形的面积公式把这个公式改写成??? 这个等式的左端称为球面三角形的角超，它反映出球面上的几何与平面几何的差距。 在平面几何中三角形三内角之和等于，角超等于零。 在球面上的几何中角超大于零。??? 不难看出当球面半径R无限增大时，球面逐渐趋向于平面，越来越小，即三角形的角超越来越小，球面三角形逐渐趋向于平面三角形，球面几何的性质逐渐接近于平面几何的性质。所以我们可以说：当球面半径趋向于无穷大时，球面上的几何以平面几何为极限。??? 因为地球的半径非常大，当我们研究的范围相对于地球半径很小时，三角形的角超就一定很小。因此，可以用平面几何的知识来代替球面几何知识，所产生的误差很小。另一种非欧几何 ??? 通过前一小节的分析，我们发现三角形的三个内角之和的大小，在很大程度上反映了平面欧氏几何与球面几何的差别。当三角形的三个内角之和等于时，就是欧氏几何，当三角形的三个内角之和大于时，就反映出球面几何的主要特征。有没有三角形三个内角之和小于的几何呢？??? 我们简单回顾一段几何发展史。在十七世纪以前，人们认为只有一种几何，就是欧氏几何，它是一切科学的基础。但是到了十七、十八世纪，数学家在对几何理论的基础进行深入研究时，首先把注意力集中在“平行公理”上。 ???????? 图6-1 平行公理是这样叙述的：在平面上，过直线外一点，有且只有一条直线与已知直线不相交(如图6-1)。??? 人们没有怀疑这条公理的真伪，而是感到这条公理涉及到无穷的概念，不够直观，人们希望能够证明它，或者用一条更简单、更直观的公理代替它。??? 在探索过程中，人们证明了平行公理与“三角形内角和等于”是等价的。即可以用“三角形内角和等于”来代替平行公理。当然，这没有什么实质意义，因为它并不比平行公理简单多少。??? 在经过漫长的研究历程和许多数学家的失败与挫折之后，俄国数学家罗巴切夫斯基（Lobatchevsky,1793-1856）认识到“平行公理”是不可能证明的。如果用一条与“平行公理”对立的命题来替换“平行公理”，将会得到一种新的几何理论。这个命题最后被称为“罗氏平行公理”。  罗氏平行公理是这样叙述的：在平面上，过直线AB外一点C，可以做无穷多条直线与AB不相交（如图6-2）。??? 罗巴切夫斯基用这条罗氏平行公理代替了原来的欧氏平行公理，同时，保留欧氏几何中其他所有公理，在此基础上，推导出了一套几何理论。虽然这种几何理论中有许多看似荒谬的不符合人类实际经验的结论，但是在逻辑上这套理论却是无矛盾的。后人就把这种几何理论称为罗氏几何。这也是人们最早发现的非欧几何。??? 在罗氏平面几何中，过已知直线AB外一点C有无穷多条直线与已知直线AB不相交。当然还有无穷多条直线与已知直线AB相交。因此存在两条界限直线b和，界于交与不