高斯-博内定理

命题陈述

对任意具有分段光滑边界 $\partial M$ 的紧致二维黎曼流形 $M$，设其高斯曲率为 $K$，沿 $\partial M$ 的测地曲率为 $k_g$，各顶点处的外转角为 $\theta_i$，欧拉示性数为 $\chi(M)$，则有 $\int_M K\,dA + \int_{\partial M} k_g\,ds + \sum_i \theta_i = 2\pi\chi(M)$。特别地，若 $M$ 是无边界的闭曲面（$\partial M = \varnothing$），则 $\int_M K\,dA = 2\pi\chi(M)$。

为什么成立?

在弯曲曲面 $M$ 上，测地三角形 $\triangle$ 的内角和与 $\pi$ 的差恰好等于其内部高斯曲率的积分 $\int_\triangle K\,dA$：正曲率（如球面上的 $K > 0$）使三角形鼓起，内角和大于 $\pi$；负曲率（$K < 0$）则使三角形内缩，内角和小于 $\pi$。对整个闭曲面 $M$ 进行三角剖分并将所有三角形的角盈相加时，每个顶点周围的角度之和都是 $2\pi$，局部度量细节完全抵消，只剩下 $2\pi(V - E + F) = 2\pi\chi(M)$——因此无论怎样挤压或拉伸曲面，总曲率 $\int_M K\,dA$ 都牢牢锁定在拓扑不变量欧拉示性数 $\chi(M)$ 上。

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。