微分几何：Brioschi formula

这个公式被称为布里奥斯基公式Brioschi formula：

\[K = \frac{\begin{vmatrix} -\frac{1}{2}g_{11,22} + g_{12,12} - \frac{1}{2}g_{22,11} & \frac{1}{2}g_{11,1} & g_{12,1} - \frac{1}{2}g_{11,2} \\ g_{12,2} - \frac{1}{2}g_{22,1} & g_{11} & g_{12} \\ \frac{1}{2}g_{22,2} & g_{12} & g_{22} \end {vmatrix} - \begin{vmatrix} 0 & \frac{1}{2}g_{11,2} & \frac{1}{2}g_{22,1} \\ \frac{1}{2}g_{11,2} & g_{11} & g_{12} \\ \frac{1}{2}g_{22,1} & g_{12} & g_{22} \end{vmatrix}}{(g_{11}g_{22} - g_{12}^2)^2} \]

别被它吓到了。

逗号后面的下标，比如 \(g_{11,22}\)，表示 \(g_{11}\) 的二阶导数。这正是我们预期的：曲率就存在于度量张量的二阶导数中。

而分母，\((g_{11}g_{22} - g_{12}^2)^2\)，这看起来是否很眼熟？

这是个行列式determinant。\(g_{11}g_{22} - g_{12}^2\) 恰好是度规张量矩阵的行列式：

\[\begin{vmatrix} g_{11} & g_{12} \\ g_{12} & g_{22} \end{vmatrix} \]

而且度规张量的行列式具有优美的几何含义。它衡量了坐标系对面积的拉伸或压缩程度。如果你用坐标方向画一个微小的平行四边形，行列式就能告诉你它的面积。

至于平方，这并非仅仅是为了避免负值。它关乎单位和尺度。\(K\) 的单位是 \(\frac{1}{\text{长度}^2}\)，分子累积了二阶导数，而分母将面积元素平方，以此正确地平衡整体。该公式必须与坐标系无关，而将行列式平方正是实现这一目标的手段之一。

当行列式为零时，平行四边形会坍缩，原本相互独立的两个方向变成了同一个方向。空间因此失去了一维。

而在极点附近，坐标平行四边形会收缩。经线变得密集。相同的坐标步长所覆盖的实际面积越来越小。度量行列式变小，反映了这种压缩。

这就是为什么在曲面积分中会出现 \(\sqrt{g_{11}g_{22} - g_{12}^2}\)，当你想要测量实际面积，而不仅仅是坐标面积时，就要乘以这个因子。它恰好纠正了你所描述的极点附近的畸变。

至于平行四边形，它小得微乎其微，因此曲率尚未有空间发挥作用。在这个尺度下，即便是曲面看起来也是平的，平行这一概念也成立。这就是微分几何的全部逻辑。放大到足够细微的程度，一切在局部都是平的。

分子中的两个大行列式，其右下角都包含度量分量 \(g_{11}, g_{12}, g_{22}\) ，这与分母中出现的那个 \(2\times2\) 块完全相同。变化的是左上角及其周围的边。那里正是二阶导数的所在，承载曲率信息的部分。

因此，这个公式具有一种特定的形态：度量本身构成了基础结构，而曲率信息则位于角落，对其进行修饰。随后，行列式机制从这一切中提取出一个与坐标无关的数值。

行列式不仅仅是一个从矩阵中得出的数字。它是同时编码方向之间关系的手段。矩阵中的每个位置都承载着事物之间关系的含义，而行列式将所有这些关系整合为一个量，从而捕捉到某种几何意义，比如面积、体积，或者在本例中，曲率。

因此，当你看到度规行列式 \(g_{11}g_{22} - g_{12}^2\) 作为子矩阵出现在更大的 \(3\times3\) 行列式中时，这绝非偶然。