微分几何（四）：内蕴几何 —— 惊人定理与测地线

前一章结束的时候我留下了一个剧透：高斯曲率 $K$ 虽然是用外在的形状算子定义的，但只依赖于第一基本形式——也就是说，曲面上的蚂蚁，仅凭它能感受到的距离和角度信息，就能算出 $K$ 。这是 Gauss 在 1827 年证明的 Theorema Egregium（拉丁语"绝妙定理"），是经典曲面理论的核心结果。这一章就是来把这个剧透变成证明的。

为什么这件事让人吃惊？回想圆柱卷纸的画面：把一张平的纸卷成圆筒，纸面上的距离、角度都没变。但从外面看，圆筒明显比平纸弯了——形状算子从零变成了非零的对角矩阵。这两件事看起来都对：内蕴几何完全没动（蚂蚁感觉不到），外在几何明显变了（人眼能看出来）。

那么 $K$ 应该归在哪一边呢？$K$ 是形状算子的行列式。圆柱：形状算子是 $\mathrm{diag}(0, 1/r)$ ，行列式 = 0。平面：形状算子是 $\mathrm{diag}(0, 0)$ ，行列式 = 0。结果一样！这不是巧合——Gauss 证明了这是个普遍现象：对任何等距形变，$K$ 都不变，尽管形状算子本身变了。换句话说，$K$ 落在内蕴这一边；它是个能从 $\mathrm{I}$ 单独算出来的量。

平均曲率 $H$ 则相反：它是形状算子的迹。圆柱：$H = 1/(2r)$ 。平面：$H = 0$ 。等距形变改变了 $H$ 。所以 $H$ 是外在的——蚂蚁感觉不到，必须用外面的眼睛看。

这种"乘积 vs 和"的不对称，看起来代数上很神秘——为什么行列式是内蕴的而迹不是？这一章就是来回答这个问题的。具体步骤分四步：(1) 引入 Christoffel 符号 $\Gamma^k_{ij}$ ，它编码了曲面坐标系的"扭曲"，并且只依赖于 $\mathrm{I}$ ；(2) 把曲面上"直线"的概念——测地线——用 Christoffel 符号写出来；(3) 把 $K$ 用 Christoffel 符号表达，从而证明它是内蕴的；(4) 顺带得到测地曲率 $\kappa_g$ 和局部 Gauss-Bonnet 公式，为下一章做准备。

读完这一章，你会带走两件东西。一件是理由：为什么 Gauss 称这个定理为"绝妙的"——它打开了一扇门，从此微分几何不需要"环境空间"也能讲。另一件是工具：Christoffel 符号、测地方程、平行移动。这些工具到了第十章会被推广到任意维度的 Riemann 流形上，但它们的几何直觉就是从 $\mathbb{R}^3$ 里的曲面来的。

Christoffel 符号：曲面上坐标如何扭曲#

在标准坐标下的 $\mathbb{R}^n$ 中，基向量 $\mathbf{e}_1, \ldots, \mathbf{e}_n$ 是常数——它们不会随点的变化而变化。但在由 $\mathbf{x}(u, v)$ 参数化的表面上，坐标基向量 $\mathbf{x}_u$ 和 $\mathbf{x}_v$ 会随着我们在表面上移动而变化。切平面在不同点上倾斜、拉伸和旋转。当我们对用这种基表示的向量场求导时，不能只对分量求导——还要考虑基本身的变化。这就是 Christoffel 符号的作用。

其中 $L_{ij}$ 是第二基本形式系数（外在的——测量加速度的法向分量），而 Christoffel 符号 $\Gamma^k_{ij}$ 是切向分量（内在的——测量基向量在表面内的扭曲）。

其中 $g_{ij}$ 是度量分量（$g_{11} = E$ , $g_{12} = F$ , $g_{22} = G$ ），$g^{kl}$ 是逆度量矩阵的元素。

这是整个章节的核心结论：Christoffel 符号仅依赖于第一基本形式及其一阶导数。尽管它们是通过嵌入 $\mathbf{x}$ 的二阶导数定义的，但可以通过度量系数单独计算。法向分量 $L_{ij}$ 携带外在信息；切向分量 $\Gamma^k_{ij}$ 完全是内在的。

推导过程很有启发性。从 $\mathbf{x}_{ij}\cdot\mathbf{x}_l = \sum_k \Gamma^k_{ij} g_{kl}$ 开始（将分解式与 $\mathbf{x}_l$ 内积；$L_{ij}\mathbf{n}$ 项消失，因为 $\mathbf{n}\perp\mathbf{x}_l$ ）。现在使用乘积法则：$\partial_i g_{jl} = \partial_i(\mathbf{x}_j\cdot\mathbf{x}_l) = \mathbf{x}_{ij}\cdot\mathbf{x}_l + \mathbf{x}_j\cdot\mathbf{x}_{il}$ 。通过循环指标并结合三个这样的恒等式，可以分离出 $\mathbf{x}_{ij}\cdot\mathbf{x}_l = \frac{1}{2}(\partial_i g_{jl} + \partial_j g_{il} - \partial_l g_{ij})$ 。乘以 $g^{lk}$ （逆度量）并求和，得到上面的公式。第二基本形式从未出现在最终答案中——它在投影到切平面上时消失了。

物理上，想象在曲面上行走，同时携带一个画在表面上的坐标网格。当你移动时，网格线弯曲和扩散。Christoffel 符号量化了这种网格变形：$\Gamma^k_{ij}$ 告诉你在保持 $j$ 方向不变的情况下，在 $i$ 方向上移动时，第 $k$ 个基向量的变化量。在笛卡尔坐标下的平坦表面上，所有 $\Gamma^k_{ij} = 0$ ——网格不会变形。在球面极坐标下，$\Gamma$ 不为零，因为经线在极点处汇聚。

示例：单位球面在球坐标下的 Christoffel 符号：取 $(\theta, \varphi)$ ，$g_{11} = g_{\theta\theta} = \sin^2\varphi$ ，$g_{22} = g_{\varphi\varphi} = 1$ ，$g_{12} = 0$ 。唯一的非零度量导数是 $\partial_\varphi g_{\theta\theta} = 2\sin\varphi\cos\varphi = \sin 2\varphi$ 。计算 Christoffel 符号：

• $\Gamma^\theta_{\theta\varphi} = \frac{1}{2}g^{\theta\theta}(\partial_\varphi g_{\theta\theta}) = \frac{1}{2}\cdot\frac{1}{\sin^2\varphi}\cdot 2\sin\varphi\cos\varphi = \cot\varphi$ 。
• $\Gamma^\varphi_{\theta\theta} = -\frac{1}{2}g^{\varphi\varphi}(\partial_\varphi g_{\theta\theta}) = -\frac{1}{2}\cdot 1 \cdot 2\sin\varphi\cos\varphi = -\sin\varphi\cos\varphi$ 。
• 其他所有 $\Gamma$ 都为零（代入验证）。

$\cot\varphi$ 项在 $\varphi \to 0$ （北极点）时发散，反映了那里的坐标奇异性——不是几何奇异性。球面在极点处是完全光滑的；是球坐标系在那里退化了。不同的图（如立体投影）在其定义域内会有有界的 Christoffel 符号。

高斯绝妙定理：曲率是内蕴的#

有了 Christoffel 符号，我们可以陈述并理解经典微分几何的核心定理。

高斯在 1827 年证明了这个定理，称为“绝妙定理”。高斯曲率 $K$ 可以完全用度量系数 $g_{ij}$ 及其一阶和二阶偏导数来表示。特别地，$K$ 不依赖于第二基本形式 $\mathrm{II}$ 或任何关于曲面如何嵌入 $\mathbb{R}^3$ 的信息。

其中 $\Delta = \partial_u^2 + \partial_v^2$ 是平坦 Laplacian。这使得内蕴性质显而易见：$K$ 仅由 $\lambda$ 决定，而 $\lambda$ 就是度量。

绝妙定理的证明通过比较两个表达式来进行：$\partial_i\Gamma^k_{jl} - \partial_j\Gamma^k_{il} + \text{Christoffel 符号的二次项}$ 。混合三阶偏导数 $\mathbf{x}_{ijk} = \mathbf{x}_{jik}$ （应用于切向和法向部分的分解）产生两组方程：切向部分给出 Gauss 方程（将 $K$ 与 Christoffel 符号联系起来），法向部分给出 Codazzi-Mainardi 方程（将 $L, M, N$ 的导数与 Christoffel 符号联系起来）。Gauss 方程就是公式形式的绝妙定理。

定理的关键在于为什么它成立：定义 $K$ 的组合 $LN - M^2$ （在 $K = (LN - M^2)/(EG - F^2)$ 的分子中）正是出现在曲面存在性相容条件中的组合。相容条件纯粹是关于内蕴度量的（因为它涉及嵌入方程的一致性），所以它产生的组合也必须是内蕴的。这不是巧合——这是几何强迫代数的结果。

直接得出的结论：

1. 等距变换保持 $K$ 。如果两个曲面是等距的（具有相同的第一基本形式），它们在对应点上的高斯曲率相同。圆柱和平面都有 $K = 0$ —— 这与它们是等距的一致。球面（$K = 1/r^2$ ）和平面（$K = 0$ ）不是等距的——不存在保持距离的映射。这就是为什么每张地球平面地图都会失真的数学原因。

2. 弯曲保持 $K$ 。弯曲一个曲面（不拉伸地变形）是一种等距变换。因此弯曲不会改变 $K$ 。把一张平纸卷成圆柱：$K$ 仍然为零。尝试把纸弯成球面：不可能不拉伸，因为球面有 $K > 0$ 。

3. 平均曲率 $H$ 是外蕴的。平面有 $H = 0$ ；圆柱有 $H = 1/(2r) \neq 0$ 。它们是等距的，但 $H$ 不同。平均曲率检测嵌入；高斯曲率则不。

据说高斯本人对这个结果感到惊讶。$K$ 的定义涉及 Gauss 映射和形状算子——显然是外蕴的对象——但其值仅取决于内蕴度量。他称之为“绝妙的”，这个名字一直沿用至今。在数学中，很少有定理的名字能保留发现者的兴奋之情。

历史注记：高斯在 1821-1825 年间为汉诺威王国进行测量工作时证明了这一点。实际问题是：能否制作出一块地球表面的准确平面地图？绝妙定理给出了明确答案：不能，因为地球（近似为 $K > 0$ 的球体）无法展平（到 $K = 0$ 的表面）而不扭曲某些地方的距离。每个地图投影——墨卡托、兰伯特等——都会引入失真，绝妙定理解释了这是不可避免的。

这对导航和制图有可量化的影响。墨卡托投影保持角度但扭曲面积（在墨卡托地图上，格陵兰岛看起来和非洲一样大，尽管非洲实际上大 14 倍）。等面积投影保持面积但扭曲角度。没有投影同时保持角度和面积——这直接来自绝妙定理，因为同时保持角度和面积将是等距变换，而从球面到平面的等距变换不存在。高斯的测量工作（产生了汉诺威的三角测量）是这些理论见解的实际背景。最深刻的古典微分几何定理源于制作准确地图这一平凡问题。

对于大地测量学的一个相关后果：地球的形状由其表面的高斯曲率局部决定。如果你在每个点测量 $K$ （通过测量三角形的角度，根据 Gauss-Bonnet 局部定理），你就完全知道了内蕴几何。两个具有相同曲率分布的行星具有相同的内蕴几何——即使一个是圆形，另一个是皱褶的——因为绝妙定理使形状算子在内蕴问题中无关紧要。

验证等温公式时，对于单位球面的立体投影坐标，$\lambda = 4/(1 + u^2 + v^2)^2$ 。那么 $\log\lambda = \log 4 - 2\log(1 + r^2)$ ，其中 $r^2 = u^2 + v^2$ 。计算 $\Delta\log(1 + r^2)$ ：在极坐标下，$\Delta f(r) = f'' + f'/r$ 。令 $f = \log(1+r^2)$ ：$f' = 2r/(1+r^2)$ ，$f'' = (2(1+r^2) - 4r^2)/(1+r^2)^2 = (2 - 2r^2)/(1+r^2)^2$ 。因此 $\Delta f = (2-2r^2)/(1+r^2)^2 + 2/(1+r^2) = 4/(1+r^2)^2$ 。然后 $\Delta\log\lambda = -8/(1+r^2)^2 = -2\lambda$ 。根据等温公式：$K = -\frac{1}{2\lambda}(-2\lambda) = 1$ 。球面上的常数单位曲率，完全从度量计算得出。没有使用形状算子、法向量或嵌入信息。

测地线：内蕴几何中的“直线”#

测地线在曲面上扮演什么角色？它是欧氏空间里’直线’的自然推广。直线在 $\mathbb{R}^n$ 里有两个等价定义：(1) 加速度为零的曲线；(2) 两点之间最短的路径。在弯曲的曲面上，这两个定义在局部上仍然等价（短测地线是局部最短路径，且二阶导数的切向分量为零），但在全局上可能不同。例如球面上从北极到赤道附近某点的测地线是一段大圆弧——本地最短，但如果绕远的话还有另一段大圆弧从相反方向到达同一点，那段就不是最短的。这是测地线局部最短和全局最短差别的来源。

有了 Christoffel 符号，就可以定义在曲面上扮演“直线”角色的曲线。在平直空间中，直线的加速度为零。在曲面上，类似的概念是切向加速度为零的曲线——它在曲面上不转向，任何加速度都是由保持在曲面上的约束引起的。

这是一个二阶常微分方程组。根据 Picard-Lindelof 定理，给定曲面上任意一点 $p$ 和任意一个切向量 $\mathbf{v} \in T_pS$ ，存在一条唯一的通过 $p$ 点且初始速度为 $\mathbf{v}$ 的测地线（至少在短时间内）。测地线由初始点和方向决定，就像欧几里得空间中的直线一样。

测地线有三种等价的描述，每种都有不同的直观含义：

1. 切向加速度为零。曲线在曲面上不转向。所有加速度都来自保持在曲面上的约束（法向加速度）。想象一个无摩擦表面上滑动的滚珠轴承，没有重力作用时，它会沿着测地线运动。
2. 局部长度最小化。连接两个邻近点的所有附近曲线中，测地线是最短的。（注意：这只是局部性质，测地线可能不是全局最短路径，比如大圆上的“长路”。）
3. 测地曲率为零。测地曲率 $\kappa_g$ —— 平面内的转向率 —— 恒为零。曲线在曲面上“直行”，即使从 $\mathbb{R}^3$ 视角看它可能是弯曲的。

单位球面上的测地线是大圆 —— 半径最大的曲线。圆柱面上的测地线是螺旋线（包括沿轴线的直线和绕圆柱的圆）。Poincaré 圆盘模型中的双曲平面测地线是垂直于边界圆的圆弧（加上直径）。

第一个方程可以写成 $\frac{d}{dt}(\sin^2\varphi\,\dot\theta) = 0$ ，给出守恒律 $\sin^2\varphi\,\dot\theta = c$ （常数）。这是 Clairaut 关系：在旋转对称曲面上的测地线上，$\rho\sin\psi = $ 常数，其中 $\rho$ 是到旋转轴的距离，$\psi$ 是测地线与纬线（平行圈）之间的夹角。这反映了角动量守恒，体现了旋转对称性。

Clairaut 关系立即告诉我们关于球面上测地线的一些定性事实：从低纬度（$\rho$ 较大）开始向东（$\psi$ 接近 $\pi/2$ ）的测地线会保持 $\rho\sin\psi$ 的乘积不变。当它向极点移动（$\rho \to 0$ ）时，必须有 $\sin\psi \to \infty$ ……这是不可能的，因此测地线会在到达极点之前折返。唯一能到达极点的测地线是子午线（$\psi = 0$ ，此时 $c = 0$ ）。确实，大圆就是测地线。

更多实例：在半径为 $r$ 的圆柱上（度规为 $ds^2 = r^2\,d\theta^2 + dz^2$ ），Christoffel 符号全部为零（度规系数是常数）。测地线方程简化为 $\ddot\theta = 0$ 和 $\ddot z = 0$ ，所以测地线是 $\theta(t) = at + b$ 和 $z(t) = ct + d$ 形式的曲线 —— 螺旋线，螺距取决于 $c/a$ 的比值。特殊情况：$a = 0$ 给出沿轴线的竖直线；$c = 0$ 给出绕圆柱的圆。如果将圆柱展开成平面，每条螺旋线都会变成直线 —— 这具体展示了测地线在等距变换下保持“内在直线”的性质。

在一个半角为 $\alpha$ 的圆锥上，参数化为 $\mathbf{x}(u, v) = (v\sin\alpha\cos u, v\sin\alpha\sin u, v\cos\alpha)$ ，度规为 $ds^2 = v^2\sin^2\alpha\,du^2 + dv^2$ 。Clairaut 关系给出 $v\sin\alpha\sin\psi = $ 常数。可以通过将圆锥展开成一个角度为 $2\pi\sin\alpha$ 的扇形来理解测地线：圆锥上的测地线对应于扇形中的直线。当把扇形重新卷成圆锥时，这些直线变成通常不会闭合的曲线 —— 它们在圆锥上螺旋上升并远离顶点。只有特定的初始条件才能产生闭合的测地线。

变分视角将测地线与物理学联系起来。测地线方程是能量泛函 $E(\gamma) = \frac{1}{2}\int_0^1 |\gamma'|^2\,dt = \frac{1}{2}\int_0^1 \sum_{ij} g_{ij}\dot u_i\dot u_j\,dt$ 的 Euler-Lagrange 方程。固定端点条件下最小化能量得到的曲线与最小化长度的曲线相同，但具有参数化与弧长成比例的额外性质。这种变分形式 —— 测地线作为作用积分的极值 —— 正是力学中的最小作用原理。曲面上的自由粒子沿测地线运动，因为它最小化了动能积分。几何（最短路径）与物理（最小作用）之间的联系深刻且贯穿现代数学物理。

平行移动与曲率整体性质的几何#

测地线是内在的“直线”。但还有一个更微妙的内在概念：在曲面上沿着曲线携带一个向量，而不让它在曲面内“旋转”。这就是平行移动。

这是一个关于 $V^k(t)$ 的一阶线性常微分方程组，因此对于任何初始 $\mathbf{v}_0$ 都有唯一解。从 $\gamma(0)$ 到 $\gamma(1)$ 的平行移动是一个线性同构 $P_\gamma: T_{\gamma(0)}S \to T_{\gamma(1)}S$ ，它保持内积（因为 Christoffel 符号来自度量相容的联络）。

测地线正是其切向量沿自身平行移动的曲线：$D\gamma'/dt = 0$ 。测地线“走直线”，因为它携带自己的方向而不旋转。

现在介绍一个使弯曲几何从根本上不同于平坦几何的现象：绕闭合回路的平行移动不会使向量回到初始方向。在平坦表面上，将向量沿任何闭合路径携带一圈后，它会不变。在弯曲表面上，向量回来时会发生旋转。旋转的角度称为该回路的整体性质。

经典的演示：在直角球面三角形（单位球的八分之一）的边界上平行移动一个切向量。从北极开始，向量指向子午线（例如，朝向 $(1,0,0)$ ）。沿着子午线向南走到赤道：沿测地线的平行移动保持与测地线的角度，所以向量一直指向南方。在赤道上，向东走四分之一圈：向量保持与赤道的角度（赤道也是测地线），所以它仍然指向南方。到达点 $(0,1,0)$ 后，向北返回北极：再次沿测地线平行移动。向量到达北极时……但它现在指向 $(0,1,0)$ ，这比初始方向 $(1,0,0)$ 旋转了 $90°$ 。

向量在经过一个包围面积为 $\pi/2$ 的回路后旋转了 $\pi/2$ 。在单位球上，$K = 1$ ，整体性质等于 $K \cdot \text{Area} = 1 \cdot \pi/2 = \pi/2$ 。这不是巧合。对于任何曲面，在一个小回路包围的区域中，如果 $K$ 大致恒定，整体性质角度大约为 $K \cdot \Delta A$ 。这是高斯曲率的一个精确内在特征：$K$ 是每单位面积的整体性质。

傅科摆提供了一个物理实现。在纬度 $\varphi$ 处的地球上的摆，其振荡平面沿每日旋转路径（纬度圆）平行移动。包围的球冠面积为 $2\pi(1 - \cos\varphi)$ ，对于半径为 $R$ 的球体，$K = 1/R^2$ ，每天的整体性质为 $2\pi(1 - \cos\varphi) \cdot K \cdot R^2 = 2\pi(1 - \cos\varphi)$ ……实际上，更准确地说，摆平面每天的旋转角度为 $2\pi\sin\varphi$ （如傅科所观察到的），这是纬度圆所张开的立体角。重点是：摆的进动是整体性质的物理表现，而整体性质是曲率在面积上的积分。

整体性质现象对物理学的影响远不止傅科摆。在量子力学中，当量子态在参数空间中绕一个回路平行移动时，会出现 Berry 几何相位：态获得一个由参数空间连接的“曲率”决定的相因子。在规范理论中，Wilson 回路——规范连接沿闭合路径的整体性质——是一个基本可观测量，编码了场强。这些都是我们刚刚描述的表面现象的直接推广：曲率表现为整体性质，即平行移动不能回到初始值。

现在，与 Theorema Egregium 的联系已经完整。我们有三种等价的高斯曲率内在特征：

1. 在等温坐标中的公式 $K = -\frac{1}{2\lambda}\Delta\log\lambda$ （由度量计算得出）。
2. 每单位面积的整体性质（通过小回路的平行移动测量）。
3. 测地三角形每单位面积的角度过剩（通过测地三角形测量）。

这三种方法都给出相同的数 $K$ ，都可以仅从 $\mathrm{I}$ 计算出来，并且都使 Theorema Egregium 在几何上显而易见，只要你接受平行移动和测地线是内在操作。令人惊讶的是，这个相同的 $K$ 也等于涉及形状算子的外在公式 $\det(S) = (LN - M^2)/(EG - F^2)$ 。Theorema Egregium 表明：这些是同一个数。内在特征和外在公式一致——总是如此。

等距变换、常曲率和三种模型几何#

杰出定理开启了一个分类程序：由于等距变换保持 $K$ ，不同 $K$ 的曲面永远不会是等距的。那么，常曲率的曲面有哪些？

核心结论是：任何两个具有相同常高斯曲率的曲面在局部上是等距的。也就是说，一个曲面上的小块可以等距地映射到另一个曲面上的小块。

这意味着常曲率曲面的局部几何完全由 $K$ 的值决定。具体有三种情况：

$K > 0$ （球面几何）：模型空间是半径为 $1/\sqrt{K}$ 的球面。测地线是大圆。任意两条测地线都会相交（没有“平行线”）。测地三角形的内角和超过 $\pi$ ，超出的部分等于面积乘以 $K$ 。球面的总面积是 $4\pi/K$ 。每个点看起来都和其他点一样（均匀性）。

$K = 0$ （欧几里得几何）：模型空间是平面。测地线是直线。平行公设成立。任何三角形的内角和恰好是 $\pi$ 。平坦、无限、熟悉。

$K < 0$ （双曲几何）：模型空间是双曲平面 $\mathbb{H}^2$ 。测地线指数发散。通过不在给定测地线上的任一点，有无数条测地线永远不与给定测地线相交（违反欧几里得的平行公设）。测地三角形的内角和小于 $\pi$ ，差额等于面积乘以 $|K|$ 。在给定“半径”下，双曲空间的面积比欧几里得几何中的面积更大——双曲空间比平坦空间“更宽敞”。

双曲平面是19世纪的伟大几何发现。Bolyai 和 Lobachevsky（大约在1830年独立地）意识到否定平行公设会导致一种一致的几何。杰出定理和 Minding 定理表明这不仅仅是一个逻辑上的好奇，而是一种真正的几何空间——具有常负曲率的曲面的几何。伪球面（曳物线旋转体）提供了这种几何的一个具体实例，嵌入在 $\mathbb{R}^3$ 中，尽管 Hilbert 在1901年证明了不存在完整的光滑嵌入。

Poincaré 圆盘模型将 $\mathbb{H}^2$ 表示为单位圆盘，度量为 $ds^2 = 4(du^2 + dv^2)/(1 - u^2 - v^2)^2$ 。等温公式给出 $K = -1$ 。测地线是垂直于边界圆的圆弧，边界本身代表“无穷远”（在双曲度量中无限远，但在欧几里得图像中是有限的）。M.C. Escher 的“圆极限”系列中的惊人图像就是 Poincaré 圆盘中由全等双曲多边形铺成的镶嵌。

一个具体的例子说明杰出定理：螺旋面和悬链面。两者都是具有负高斯曲率的极小曲面，并且存在一族参数化的等距变形。可以通过连续运动将一个物理弯曲成另一个（无需拉伸）。它们在对应点上的 $K$ 函数相同——正如杰出定理所保证的那样——即使一个是螺旋状斜坡，另一个是颈状旋转曲面。它们在外部看起来完全不同，但内在是相同的曲面。

一个更微妙的例子：两个非等距曲面可以有相同的 $K$ 函数而不等距。螺旋面-悬链面对之所以特殊，不仅因为它们有相同的 $K$ ，还因为它们之间存在全局等距（一个显式的映射，保持 $\mathrm{I}$ ）。具有相同的 $K$ 是等距的必要条件（根据杰出定理），但不是充分条件——必须匹配整个第一基本形式，而不仅仅是其导出量 $K$ 。

三种模型空间也允许对其测地线进行美丽的显式描述。对于半径为 $R$ 的球面：每条测地线都是周长为 $2\pi R$ 的大圆；任意两条测地线都会相交（没有平行线）；对跖点之间的测地距离是 $\pi R$ （球面上两点间最远的距离）。对于欧几里得平面：测地线是无限长的直线；两条测地线要么相交一次，要么平行；没有最大距离。对于曲率为 $-1$ 的双曲平面：测地线是无限的并且指数发散；通过不在给定测地线上的任一点，有无数条测地线永远不与给定测地线相交。测地线的指数发散通过附近测地线分离的速度来测量：在常曲率 $K$ 的表面上，初始平行的两条测地线在距离 $d$ 处随时间 $t$ 发散为 $d(t) \sim d(0)\cosh(t\sqrt{|K|})$ （当 $K < 0$ 时），保持不变（当 $K = 0$ 时），重新收敛为 $d(t) \sim d(0)\cos(t\sqrt{K})$ （当 $K > 0$ 时）。这是 Jacobi 方程的作用，它解释了为什么负曲率使空间感觉“更大”（测地线分开），而正曲率使空间感觉“更小”（测地线重新收敛）。

测地曲率与通往 Gauss-Bonnet 定理的桥梁#

这衡量了当我们沿着 $\gamma$ 移动时，切向量 $\gamma'$ 在切平面内旋转的速度。

测地线的 $\kappa_g \equiv 0$ ：它的切向量在平面上不旋转。球面上的纬度圈（除了赤道，赤道是一条测地线）有非零的 $\kappa_g$ ——它在表面内不断转向以保持纬度。赤道的 $\kappa_g = 0$ ，因为它是一个大圆；其他纬度圈的 $\kappa_g = \cot\varphi$ （其中 $\varphi$ 是余纬度），测量它们偏离测地线的程度。

$\gamma$ 作为空间曲线的总曲率满足 $\kappa^2 = \kappa_n^2 + \kappa_g^2$ ，分成外在和内在两部分。关键在于，$\kappa_g$ 只依赖于第一基本形式 $\mathrm{I}$ ——它是内在的。这使得它在没有背景空间的抽象流形上也可以计算。

这个公式连接了三件事：区域内部的曲率 $K$ 、光滑边界的转动 $\kappa_g$ 和角点处的角度跳跃 $\theta_i$ 。这三者都是内在的。它们必须共同作用给出 $2\pi$ ——一个完整旋转的角度。当 $K = 0$ 且没有角点时，边界必须恰好转动 $2\pi$ ：这是平坦空间中的定理，即简单闭合曲线的绕数为 $\pm 1$ 。非零的 $K$ 在内部“消耗”了一部分转动预算，因此边界可以转得更少（在正曲率表面上）或必须转得更多（在负曲率表面上）来补偿。

一个具体的例子可以让这一切生动起来。考虑单位球面上半径为 $r$ 的测地圆盘（所有距离北极点测地距离不超过 $r$ 的点集——这是一个由纬度圈界定的球冠）。边界是余纬度为 $\varphi = r$ 的纬度圈。其测地曲率为 $\kappa_g = \cot r$ （指向内部）。积分后的测地曲率为 $\int\kappa_g\,ds = \cot r \cdot 2\pi\sin r = 2\pi\cos r$ 。球冠的面积是 $2\pi(1 - \cos r)$ ，所以 $\iint K\,dA = 2\pi(1-\cos r)$ （其中 $K = 1$ ）。检查一下：$2\pi(1-\cos r) + 2\pi\cos r = 2\pi$ 。局部 Gauss-Bonnet 公式得到满足。当 $r \to 0$ 时，曲率项缩小，边界转动接近 $2\pi$ （小圆几乎完全转一圈，就像在平坦空间中一样）。当 $r \to \pi/2$ （半个球面）时，曲率项给出 $2\pi(1 - 0) = 2\pi$ ，边界转动为 $2\pi\cos(\pi/2) = 0$ ——赤道是测地线（$\kappa_g = 0$ ），所有的“转动”都来自内部曲率。当 $r \to \pi$ （整个球面减去一点）时，曲率给出近似 $4\pi$ ，边界缩小到一个点，贡献微不足道的转动。

这就是 Gauss-Bonnet 定理的局部形式，它概括了局部曲率与全局转动之间的关系。全局形式——对封闭曲面进行积分——将是经典理论的高潮。

接下来#

我们已经把 Theorema Egregium 这件事彻底消化掉了：$K$ 这个表面上从形状算子（外在数据）定义出来的量，其实只依赖第一基本形式 $\mathrm{I}$ 及其导数。这件事的几何意义是：曲面上的小蚂蚁能算出 $K$ ；它的代数证明走了三个等价路径——等温坐标里的 Brioschi 公式、绕环路平行移动的整体性质、测地三角形的角度过剩。三条路殊途同归，都把 $K$ 锁在内蕴这一边。

下一章把局部的 Theorema Egregium 升级成全局的 Gauss-Bonnet 定理：在整个闭合曲面上把 $K$ 积分起来，结果等于 $2\pi\chi(S)$ ，其中 $\chi$ 是 Euler 示性数——一个纯粹的拓扑不变量。换句话说，无论怎么把球面捏成胖瘦不一、坑坑洼洼，曲率的总积分始终是 $4\pi$ ；任何环面（一个洞）的总曲率始终是 $0$ ；任何双环面（两个洞）的总曲率始终是 $-4\pi$ 。一个分析量（曲率的积分）等于一个组合量（顶点数减边数加面数），这是经典微分几何里最美的结果，也是后续所有"指标定理"的概念原型。

证明的关键工具就是这一章准备的：测地三角形的角度过剩 = 三角形内部的 $K$ 积分。Gauss-Bonnet 把整个闭合曲面三角剖分，把每个三角形的角度过剩加起来，再用 Euler 示性数的组合定义 $V - E + F$ 把所有项整合，就能得到全局公式。下一章我们会把这件事一步步走完，并且看到它怎么把分析（曲率积分）和拓扑（Euler 数）这两个看似无关的世界缝在一起。

这是《微分几何》系列（共 12 篇文章）的第 4 部分。