球面几何其应用(II).docVIP

PAGE PAGE 7 SKIPIF 1 0 球面几何及其应用（II） 430062　湖北大学数学与计算机科学学院　李光汉 ４　球面几何和欧拉定理 由于同半径的球面都是相似的，在不影响研究的具体问题时，我们通常取单位球面作为研究平台。本节我们介绍球面几何定理在欧拉定理中的应用，而且所涉及的球面都是单位球面。 SKIPIF 1 0 4.1 球面多边形的内角和 在第一讲中我们已经知道，单位球面上，任意二点 SKIPIF 1 0 、 SKIPIF 1 0 的距离是连接这两点的不超过 SKIPIF 1 0 的大圆弧 SKIPIF 1 0 的长。因此我们可以定义球面凸 SKIPIF 1 0 边形 SKIPIF 1 0 是指 SKIPIF 1 0 ( SKIPIF 1 0 )和 SKIPIF 1 0 均由长度不超过 SKIPIF 1 0 的大圆弧连接而成的图形。特别地，球面三角形 SKIPIF 1 0 是指 SKIPIF 1 0 、 SKIPIF 1 0 、 SKIPIF 1 0 分别由长度不超过 SKIPIF 1 0 的大圆弧 SKIPIF 1 0 、 SKIPIF 1 0 和 SKIPIF 1 0 连接而成的图形。球面三角形的内角是指构成该角的两条大圆弧的切线的夹角。由第一讲命题2.2我们知道，球面三角形的内角和大于 SKIPIF 1 0 ，即 引理4.1　在单位球面上任给球面三角形 SKIPIF 1 0 ，其面积为 SKIPIF 1 0 ，则三角形的三内角和为 SKIPIF 1 0 ，即 SKIPIF 1 0 。 球面三角形的内角和公式可以推广到球面凸多边形上去。 推论4.２　在单位球面上任给球面凸 SKIPIF 1 0 边形 SKIPIF 1 0 ，其面积为 SKIPIF 1 0 ，则该 SKIPIF 1 0 边形的 SKIPIF 1 0 个内角和为 SKIPIF 1 0 ，即 SKIPIF 1 0 。 (#) 证明(用归纳法)　当 SKIPIF 1 0 时，它就是引理1.1，球面三角形的内角和定理。假设推论４.2对于单位球面上的球面凸 SKIPIF 1 0 边形成立，现在考虑单位球面上的球面凸 SKIPIF 1 0 边形，设之为 SKIPIF 1 0 ，其面积为 SKIPIF 1 0 。用大圆弧把 SKIPIF 1 0 、 SKIPIF 1 0 连接起来，并使得 SKIPIF 1 0 的弧长不超过 SKIPIF 1 0 。由于多边形是凸的，这时大圆弧 SKIPIF 1 0 一定位于凸多边形的内部。于是原来的球面凸 SKIPIF 1 0 边形 SKIPIF 1 0 被分成球面三角形 SKIPIF 1 0 和球面凸 SKIPIF 1 0 边形 SKIPIF 1 0 。设球面三角形 SKIPIF 1 0 的顶点 SKIPIF 1 0 所对应的三角形内角记为 SKIPIF 1 0 ,顶点 SKIPIF 1 0 所对应的内角记为 SKIPIF 1 0 ，而球面凸 SKIPIF 1 0 边形 SKIPIF 1 0 的顶点 SKIPIF 1 0 所对应的球面多边形的内角记为 SKIPIF 1 0 ，顶点 SKIPIF 1 0 所对应的球面多边形的内角记为 SKIPIF 1 0 。由前面的做法显然有 SKIPIF 1 0 ， SKIPIF 1 0 ， 其面积有下列关系 SKIPIF 1 0 。 故由归纳假设知 SKIPIF 1 0 此即我们证明了推论4.2成立。 4.2 欧拉定理的证明 首先我们来定义空间中的凸(胞)腔. 定义4.1 空间中的一个凸二维(胞)腔是指平面上的一个凸集, 它的边界含有有限多条线段,称为棱, 这些线段相会于点，称为顶点。一个凸三维（胞）腔是指空间中的一个凸集，它的边界是有限多