曲面的主曲率与平均曲率、高斯曲率的几何关系（续）
我将详细讲解曲面的主曲率、平均曲率与高斯曲率三者之间的核心关系，这是在您已掌握这三个概念各自定义的基础上，深入理解其内在联系的关键一步。
第一步：从定义出发，回顾三个基本量
- 主曲率：在曲面上一点 \(P\)，过该点有无数条法截线，其曲率称为法曲率。其中有两个相互垂直的主方向，对应的法曲率达到最大值 \(k_1\) 和最小值 \(k_2\)，这两个值就是主曲率。它们是描述曲面在该点弯曲程度的内禀（主方向）和外在（曲率值）的根基。
- 高斯曲率：定义为两个主曲率的乘积：
\[ K = k_1 \cdot k_2 \]
它反映了曲面的内在几何性质（由高斯绝妙定理保证，在局部等距变换下不变）。
- 平均曲率：定义为两个主曲率的算术平均值：
\[ H = \frac{k_1 + k_2}{2} \]
它描述了曲面在该点的平均弯曲程度，与曲面的外在形状（如是否为极小曲面）密切相关。
第二步：从曲率椭圆到几何图像
为了直观理解三者关系，可以借助曲率椭圆（Dupin标形）：
- 想象在 \(P\) 点的切平面上，沿各个方向取长度等于该方向法曲率平方根的倒数的线段。这些线段端点通常构成一个椭圆（当 \(k_1\) 和 \(k_2\) 同号）或一对共轭双曲线（当 \(k_1\) 和 \(k_2\) 异号）。
- 这个椭圆的两个半轴长度分别为 \(1/\sqrt{|k_1|}\) 和 \(1/\sqrt{|k_2|}\)（忽略符号，取绝对值理解形状）。
- 此时：
- 高斯曲率 \(K\) 与椭圆面积的平方成反比关系（因为面积 \(A \propto 1/\sqrt{|k_1 k_2|} = 1/\sqrt{|K|}\)），它描述了标形的“扩展程度”。
- 平均曲率 \(H\) 与椭圆的形状（即半轴长度的调和关系）有关，但更直接地，\(H\) 控制着曲面沿法向的平均“膨胀”或“收缩”趋势。
第三步：建立代数关系与几何分类
我们可以从主曲率 \(k_1, k_2\) 出发，推导出 \(H\) 和 \(K\) 如何共同确定主曲率的值。解方程组：
\[\begin{cases} k_1 + k_2 = 2H \\ k_1 \cdot k_2 = K \end{cases} \]
这可以视为关于 \(k\) 的二次方程：
\[k^2 - 2H k + K = 0 \]
其判别式为：
\[\Delta = 4H^2 - 4K = 4(H^2 - K) \]
由此，主曲率完全由 \(H\) 和 \(K\) 决定（符号需结合方向确定）：
\[k_{1,2} = H \pm \sqrt{H^2 - K} \]
这个关系是理解三者联系的核心代数纽带。
第四步：几何解释与曲面点分类
基于 \(H\) 和 \(K\)，可以对曲面点进行精细分类，这比单独使用任何一个量更全面：
-
椭圆点 (\(K > 0\))：
- 此时 \(H^2 - K\) 可正可负，但 \(k_1\) 和 \(k_2\) 同号。
- 若 \(H > 0\)，则 \(k_1, k_2 > 0\)（曲面局部如碗状，朝法向量一侧弯曲）。
- 若 \(H < 0\)，则 \(k_1, k_2 < 0\)（曲面局部如碗倒扣，朝法向量反侧弯曲）。
- \(|H|\) 的大小表示弯曲的平均强度，而 \(K\) 的大小表示弯曲的“集中度”（越接近球面，\(H^2\) 与 \(K\) 越接近）。
-
双曲点 (\(K < 0\))：
- 此时必有 \(H^2 - K > H^2 \ge 0\)，所以 \(H^2 - K > 0\)，主曲率一正一负。
- \(H\) 的大小和符号表示两个主曲率不对称的程度。当 \(H = 0\) 时，为极小曲面点，此时 \(k_1 = -k_2\)，曲面呈马鞍形且两个方向的弯曲“平均”为零。
- \(|K|\) 的大小表示马鞍形的“尖锐”程度（主曲率乘积的绝对值大，则弯曲反差大）。
-
抛物点 (\(K = 0\))：
- 此时至少一个主曲率为零。方程变为 \(k^2 - 2Hk = 0\)，解为 \(k_1 = 2H, k_2 = 0\)（或交换）。
- 若 \(H = 0\)，则为平面点（两个主曲率均为零）。
- 若 \(H \neq 0\)，则为柱面点（一个方向弯曲，另一个方向笔直）。此时平均曲率 \(H\) 恰好等于非零主曲率的一半，直接反映了非零弯曲的大小。
第五步：几何不变量的角色总结
- 高斯曲率 \(K\) 是内蕴不变量，决定了曲面局部的度量性质（如三角形内角和、测地线偏离等），但不能单独决定形状（如平面与圆柱局部等距，\(K=0\)，但形状不同）。
- 平均曲率 \(H\) 是外蕴不变量，与曲面在空间中的嵌入方式紧密相关。\(H=0\) 是极小曲面的特征，描述了一种“平均”的平坦。
- 主曲率 \(k_1, k_2\) 是最详细的局部弯曲信息，但依赖于坐标选取（主方向）。而 \(H\) 和 \(K\) 是其对称函数，因此是与方向选择无关的标量不变量，浓缩了主曲率的信息。
第六步：一个经典例子：旋转曲面
考虑一个由平面曲线 \((f(v), 0, g(v))\) 绕 z 轴旋转生成的曲面，参数化为 \((f(v)\cos u, f(v)\sin u, g(v))\)，其中 \(f(v) > 0\)，且 \(f'(v)^2 + g'(v)^2 = 1\)（弧长参数）。
计算可得：
- 主曲率分别为沿经线方向（子午线）的曲率 \(k_1 = \frac{f' g'' - f'' g'}{f}\) 和沿纬线方向（平行圆）的曲率 \(k_2 = \frac{g'}{f}\)。
- 则：
\[ K = k_1 k_2 = -\frac{f''}{f}, \quad H = \frac{k_1 + k_2}{2} = \frac{1}{2}\left( \frac{f' g'' - f'' g'}{f} + \frac{g'}{f} \right) \]
这个具体表达式清晰地展示了 \(K\) 和 \(H\) 如何从几何生成方式中产生，并且 \(K\) 仅与 \(f\) 有关（体现内蕴性），而 \(H\) 同时依赖于 \(f\) 和 \(g\)（体现外蕴性）。
通过以上六个步骤，您应该能清晰地理解：平均曲率 \(H\) 和高斯曲率 \(K\) 并非独立，它们共同“编码”了主曲率的所有信息。\(H\) 描述了曲面弯曲的“平均强度”，\(K\) 描述了弯曲的“内在类型”（椭圆/双曲/抛物）。任何关于曲面局部形状的完整分析，通常需要同时考虑这两个不变量。