高斯引理（Gauss lemma）
/ GOWSS /
想像從一點 p 朝所有方向射出測地線，並在每條上標記走固定距離 r 後到達的位置——這描出半徑 r 的「測地球面」。高斯引理是這個優雅的事實：這些測地線與測地球面垂直相交，恰如歐氏球的半徑與其同心球面垂直相交。曲率扭曲了整幅圖像，但這個正交性卻原封不動地保留下來。
精確地說：在指數映射 exp_p 下，從 p 出發的測地線（T_p M 中從 0 出發的徑向射線的像）與測地球面 exp_p({ |v| = r }) 正交。用微分的語言，對徑向向量 v 與任何切於半徑 |v| 球面的向量 w，推前滿足 g( d(exp_p)_v (v), d(exp_p)_v (w) ) = g(v, w)（適當限制）——徑向方向保持長度真實且垂直於角向方向。一個直接後果：在測地極座標下，度量分裂為 ds^2 = dr^2 + h(r, 角度)，沒有交叉項 dr·d(角度)；徑向距離就字面上是參數 r。
為何重要：高斯引理是使徑向測地線「局部」最小化的技術核心。因為徑向部分貢獻 dr^2 而無交叉項，任何從 p 到鄰近點的競爭曲線都至少和徑向測地線一樣長，僅當它是徑向時才相等——這就是標準的局部最小化證明。它是局部的：此引理在測地線開始重新聚焦之前控制測地球內的幾何，一旦越過截點或共軛點便無話可說，那是整體比較幾何的領域。
在曲面的測地極座標下，高斯引理給出 ds^2 = dr^2 + f(r, theta)^2 dtheta^2，且當 r -> 0 時 f(r,theta) -> r、df/dr -> 1。f 偏離平坦值 r 的方式編碼了高斯曲率：f(r) = r - (K/6) r^3 + ...，所以在正曲率曲面上，測地半徑 r 的圓周長略小於 2 pi r。
無交叉項的分裂 ds^2 = dr^2 + f^2 dtheta^2 就是高斯引理；f 偏離 r 即量度曲率。
高斯引理只證明徑向測地線的「局部」最小化，在法球內有效。越過截跡後，徑向測地線可能不再是最短，儘管引理的正交性在無窮小意義下仍成立。