第六节 曲面上的测地线 平面上的直线（1）任一点的切向量平行；（2）曲率为0； （3）直线段是连接点与点之间的最短线段 曲面上的测地线相当于平面上的直线6.1 曲面上曲线的测地曲率 一、测地曲率的定义 给定曲面S： （c）是曲面上的一曲线： 在曲线上一点 P 有： 令 ，则 是两两正交的单位向量且成右手系， 都在 P 点的法面上 定义：曲线（c）在 P 点的曲率向量 上的投影（即在S上P点的切平面上的投影）称为曲线在 P 点的测地曲率 二、性质 命题1： 证明：注意： 都在 P 点的法面上 推论：曲面上的直线的测地曲率为0 这是因为曲面上的直线在任一点的切平面上的投影还是直线，所以曲率为0 习题3 三、测地曲率的计算公式 特别地，当曲面上的坐标网为正交网时，F=0，代入上式并整理得 这就是测地曲率的一般计算公式 下面给出一个简单一点的形式设曲线的切方向与u-线所成的角为 ，则同理代入前面的 kg 的计算公式可得 这个公式称为刘维尔(liouville)公式也可写为其中 分别为 u 线和 v 线的测地曲率事实上，对于u线和 v 线来说，分别有 ，代入测地曲率的计算公式有6、2 曲面上的测地线 一、定义：曲面上的一条曲线，如果它的每一点处的测地曲率 为 0，则称为测地线。
二、性质1）如果曲面上有直线，则必为测地线 2）命题3：曲面上非直线的曲线是测地线的充要条件是，除 了曲率为 0 的点外，曲线的主法线重合于曲面的法线 证明：设曲线（c）为测地线（不是直线），则 但 即 ，所以主法线重合于法线 反之，若主法线重合于法线，则 ，得 所以曲线是测地线 推论：如果两曲面沿一曲线相切，并且此曲线是其中一个曲面的测地线，则它也是另一个曲面的测地线证明：因为这两个曲面沿曲线相切，所以曲面沿曲线的法线 重合，又此曲线的主法线只有一条，所以此曲线的主法 线同时与两个曲面沿此曲线的法线重合，由命题知推论成立例：球面上的大园一定是测地线，因为大园的主法线 重合于 法线三、测地线的方程 设（C）为测地线，则它的主法线重合于法线，即但 又 g = det(gkl) 不为0，于是得到测地线方程为 特别地，当坐标曲线正交时，由刘维尔公式也得到曲面上测地线的微分方程为 若给出了初始条件： 则有唯一解例题1，2四、定理：过曲面上任一点，给定曲面上一个切方向，则存在唯一一条测地线切于此方向证明：设测地线方程为 满足上述方程的曲线都是测地线，给出了初始条件：s=s0 ，即一个点 和一个切方向由常微分方程理论，方程组有唯一解，即存在唯一一条测地线 （C）：过已知点并切于定方向。
6.3 曲面上的半测地坐网一、定义：曲面上的一个坐标网，其中一族是测地线，另一族是 这族测地线的正交轨线，则这个坐标网称为半测地坐标网 极坐标网是它的特例二、命题4：给出曲面上的一条曲线，则总存在一个半测地坐标 网，它的非测地坐标曲线族中包含给定的一条曲线证明：由定理1，过曲面上给定的曲线（C）上的每一点，沿着（C），在切平面上对应于垂直于（C）的方向，存在唯一条测地线 ，然后再作这一族曲面的正交轨线，则这族测地线和它的正交轨线组成了曲面上的一个半测地坐标网，并且 的正交轨线族中包含了（C）三、在前一节习题6（5）中提到，对于曲面上的半测地坐标网， 有 ，我们现在证明这个结论首先，由于半测地坐标网是正交的，所以 F=0 ，半测地坐标网中有一簇坐标曲线是测地线，不妨设为 u 线，dv =0,即 ， 它满足测地线微分方程但由P165，当坐标曲线正交时，即 E 与 v 无关，只与 u 有关，可设在曲面上引进新参数 从而第一基本形式变为6.4 曲面上测地线的短程性 定理2：若给出曲面上充分小的邻域内的两点 P 、Q 则过这两点 在小邻域内的测地线是连结这两点的曲面上的曲线中弧长最短的曲线 证明：设（C）是曲面上连结 P，Q 的一条测地线，在曲面上选 取半测地坐标网，使曲面上包含（C）在内的一测地线族为u-线， 它的正交轨线为v-线，于是曲面的第一基本形式为 不妨设曲线（C）的方程为 v=0 ，P和Q的坐标分别为(u1,0).(u2,0)(u1u2) ，于是沿测地线（C）由P到Q的弧长为又在这个小邻域内连结P和Q的任意曲线 的方程为 v = v(u) ，于是沿 ，从 P到Q的弧长为 只有当 时，上式等号才成立，但此时 v 为常数，即为u-线，而且是过P，Q 的u-线，即（C），表示此时 重合，所以（C）是连结 P，Q的最短线。
C） 由这个定理，我们又称测地线为短程线注意：定理若不是限制在一个小邻域内则不一定成立如球面上的大园是测地线，所以球面上不是直径两端的两点，连结它们的大园弧有两段，显然长的不是连结它们两点的最短线，而短的是6.5 高斯-崩涅 (Gauss-Bonnet)公式 在平面上，三角形的内角和等于180度，但在曲面上的情形可能不大一样，如图：这一节就是把平面上的结果推广到曲面上去 在曲面S上给出了一个由k条光滑曲线段所围成的曲线多边形，它围成了一个单连通的曲面域G多边形的边缘记为 设曲面的高斯曲率和测地曲第分别为 K,kg ，曲面的面积元素和弧长元素为 ，则的下面的高斯-崩涅公式成立其中 是 的第 i 个内角的角度， 是外角的角度 引理：若在曲面上引进半测地坐标网，有 则证明：由于坐标网正交，F=0，由刘维尔公式定理证明： 在曲面上引进半测地坐网并由引理得两边沿边缘积分对第二个积分用格林公式令又面积元素并由第五节习题6（5）（P144）知因此第二个积分为 对于（*）式中的第三个积分，可设 的切向量 和u-线所成的角为 ，且由于 ，所以为单位向量， 其中正负号的产生是由沿边界积分时有两种不同的方向，如果我们采用逆时针方向时，可只取正号，即 这时第三个积分变为（*）式变为 当 绕转一周后， 的增量是 ，即边界曲线的切向量转过了 ，它等于 （即分段曲线所转过的角之和）加上所有外角。
即于是（*）式变成了 推论1：如果 为一条光滑的曲线，则外角为0，有其中 表示三角形的内角和故当 特别地，当曲面为平面，K=0 ，多边形的边界为直线（平面上的测地线）所组成时，得到平面上的多边形的外角和公式为推论2：如果 是一个测地三角形，即三条边由三条测地线组成 的三角形，则有 对于平面上的三角形有即三角形内角和为6.6 曲面上向量的平行移动 在前面我们看到曲面上的测地线相当于平面上的直线，这里简单对比一下： 平面直线1）曲率为0；2）两点间最短距离是直线段；3）给定一个方向和一点决定一条直线； 曲面上的测地线1）测地曲率为0；2）两点间（小范围）最短距离是测地线； 3）给定一个方向和一点决定一条测地线； 但直线还有一个性质就是直线上任一点处的切向量都是平行的，这个性质是否也可以推广到测地线上去呢？另一个问题是，欧氏空间中的平移具有两条基本的性质：保持线性关系和保持内积，我们希望曲面上的平移至少保持两个性质这一节就讨论这个问题一、曲面上的向量及平行移动1 、曲面上的向量：曲面上给定点处切于该曲面的向量，也就 是给定点的切平面上的向量2 、绝对微分及勒维-基维塔平移 设曲面上一曲线（C）：沿它上面的点M，给出一向量它在点 M 处切于曲面，且沿此曲线给出一向量场。
微分 ，从点 M 引 ，一般来说，这个向量不在点 M 的切平面上，因此它不再是曲面在M点的切向量，现在分解它为切平面和沿曲面的法向量 方向上的两个分量当 从M 点按通常意义下的移动到邻近点 时，得一增量，其主要部分等到于 沿法线方向的分量为 ，则 为 在 方向上的射影，且为单位向量，所以它就是它们的内积，即设切线分量为 这实际上就是 到点 M 的切平面上的投影向量 我们称点 M 处的向量 和向量 的差为向量 从点 M 沿曲线（C）移动到 的绝对微分，记为 ，即： 当向量从点 M 沿曲线移动到 时， 等到于把它的通常微分 投影到点M 处的切平面上的部分，因此还是曲面上的向量 当 时，表示向量 从点 M 沿（C）的方向移动到点 时，微分 沿法线 的方向，换言之，把向量投影到点M 的切平面时，我们得到向量 ，这时称向量是向量 从 M 点沿（C）的方向到邻近点 经过平行移动而得到的向量 这样定义的平移概念与所取的曲线 有关，因此与 称为沿曲线在勒维基维塔意义下的平行向量，即称向量 与 沿曲线 是勒维基维塔平行移动 特别地，在平面上向量的勒维基维塔平行移动和通常意义下的平移一致，这是由于在平面上 ，所以勒维基维塔平行移动是平面上通常平移在曲面上的推广。
3、绝对微分及平行移动的分析表达式 沿曲线（C）上的每个点，由于 为切向量，在这个切平面上，以 为基向量建立坐标系，并设 的坐标为由于从式中可看出，只要在上面的式子中去掉法线分量就得到 ，如果它的坐标用 来表示，则 这就是绝对微分的表达式 特别地，若向量 作平行移动，则 ，即从而得到向量 由点 M 沿方向 作平行移动到邻近一点 的分析表达式：即在平移下， 的坐标微分 可用坐标微分 来表达4、绝对微分的运算性质 设 是沿曲线（C）的向量场，f 是定义在（C）上的数量函数，则有证明：（1）（2）直接验证二、平行移动的性质 对于欧氏平面上的平行移动，它(1)保持向量的长度和角度不变，(2)直线上的切向量都是平行的下面说明曲面上的平移也具有这两个性质1、levi-civita平移保持两个向量的内积不变，因而保持向量的长度和夹角不变证明：设 是由曲面S上沿曲线（C）的平行的向量场，则 有 这说明levi-civita平移保持内积不变由于向量的长度与夹角都是由内积所定义的，故也保持向量的长度和夹角不变2、曲线（C）为测地线的充要条件是它的切向量在levi-civita平行移动的意义下沿（C）是相互平行的。
证明：设（C）： ，s为自然参数，现设它 的切向量沿（C）作平行移动，以 代入平移表达式除以ds 得到 这是测地线方程即充分性成立反之逆推可知必要性成立定理：向量沿一条已知曲面曲线作平行移动的充要条件是沿此曲线所作的切平面的包络所得可展曲面展开在平面上时，所得的向量在平面上为平行移动 由这个定理可得沿曲线平行移动的向量的作图法，这个作图法在理论上成立P1656、7 极小曲面。