測地線：曲面上最直的路徑

什麼能取代一條直線？

在平坦的平面上，一條直線同時戴著兩頂帽子。它是兩點之間最短的路線，也是最直的——當你從不轉動方向盤時所走的那條路。在平面上，這兩種描述指的是完全相同的那些線，所以我們很少察覺它們其實是不同的念頭。但一旦走上一個彎曲的曲面，一顆球或一張馬鞍，裡頭就再也沒有貨真價實的直線活著了：每條路都在彎。本篇導引要問的是，在一個曲面上，究竟有什麼（如果有的話）配得上去繼承「直線」這個角色——而出人意料的是，那兩頂帽子可以分開拿起。

拿最熟悉的彎曲曲面——球面——來看。沿著盡可能短的航道從一座城市飛到另一座，你描出的是一段大圓——它所在的平面切過球心，就像赤道或任何一條經線。這正是為什麼長程航班的航線在平面地圖上看起來像朝極點拱起的曲線：地球上真正最短的路線只是看起來彎，因為地圖在距離上撒了謊。大圓就是球面對「直線」的回答，而看出其中緣由，正是第一步。

把彎折一分為二

為了把「最直」說精確，我們倚靠你在這座梯子低處早已認識的曲線曲率。以單位速率沿著畫在曲面上的一條曲線前進，每一瞬間你的加速度向量量度著路徑彎曲的程度。關鍵的一步在此：那個加速度活在空間裡，所以把它拆成兩個互相垂直的部分——一部分指向曲面的法向，直直地伸出曲面；另一部分平躺在切平面裡，正是那個會讓身為平面居民的你、在曲面上行走時向左或向右轉的部分。

法向的那部分，就是前幾篇導引裡的法曲率——它量度曲面本身僅僅因為彎著就逼使路徑彎曲的程度，這你逃不掉。即使在球面上走得再直，路徑在空間中依然彎曲，因為你腳下的球是圓的；那種彎是曲面造成的，不是你造成的。切平面內的那部分則不同。它是測地曲率，記作 kappa_g，而那才是你用方向盤操控的部分。它記錄你相對於曲面轉得多用力，正是一個平面居民會感覺到的、真正橫向的使力。

for a unit-speed curve on a surface, the
in-space bending splits perpendicularly:

  (total curvature)^2  =  kappa_n^2  +  kappa_g^2

  kappa_n  =  normal curvature  (the surface's doing,
              points along the surface normal)

  kappa_g  =  geodesic curvature  (your doing,
              lies in the tangent plane)

  GEODESIC  <=>  kappa_g = 0  everywhere
             (no sideways steering at all)

加速度拆成法向部分（曲面所迫）與切向部分（你的操控）。測地線恰好是那種操控 kappa_g 全程為零的曲線。

定義，以及大圓為何遵從它

現在定義自己就寫出來了。測地線是一條測地曲率處處為零的曲線：kappa_g = 0。白話說，它的加速度在切平面裡沒有分量——它彎曲的每一分都是曲面強加的、無可避免的法向那一種，沒有一分是在轉向。這就是「最直路徑」的誠實意涵：不是在空間中不彎（在彎曲曲面上這不可能），而是在曲面所容許的範圍內不彎。那輛鎖死方向盤的小車，描出的正是這樣一條曲線，因為鎖死的車輪不施加任何橫向的轉。

讓我們拿大圓來檢驗這定義，看著它過關。以單位速率沿單位球的赤道行走。你在每一點的加速度都直指球心——而在球面上，通往球心的那條線正是你腳下的曲面法向。所以加速度全是法向的；切平面裡什麼也沒剩下，kappa_g = 0，赤道是一條測地線。憑對稱性，同樣的論證對每一條大圓都成立。另一方面，遠離赤道的一條緯圈——比方靠近北極的一個小環——明顯地朝極點彎；那股拉力在切平面內是橫向的，所以它的 kappa_g 不為零，無論它看起來多麼「圓」，它都不是測地線。

搬一支不扭轉的箭頭：平行移動

還有第二種、更深的方式去看「最直」，而它解鎖了一樣真正新的東西。在平坦的平面上，你可以滑動一支箭頭並保持它指向不變——平移一個向量而不旋轉它。在彎曲的曲面上，沒有一個全域的「同一方向」可供訴求，因為切平面會隨你移動而傾斜。補救的辦法是平行移動：沿一條路徑搬運一個切向量，同時讓它轉得盡可能少——只允許那個讓它與曲面貼齊的、無可避免的傾斜，不額外加上任何你自己的旋轉。

有了這個念頭，測地線得到一個格外乾淨的重述：測地線就是把自己的速度向量平行移動的曲線。當你沿著它走時，你的行進方向正被曲面自身那個「不額外旋轉」的規則搬運著——你並沒有在轉，你是讓曲面替你把朝向「筆直地向前」帶著走。這連上了流形那一階形式化為列維-奇維塔聯絡的機制：平行移動、測地線與「無橫向加速度」是同一個結構的三張面孔，也就是曲面內建的、對「保持朝同一方向前進」的理解。

測地線是內在的——而這正是重點所在

撇開記帳不談，這一切為何要緊？因為——這正是把整一階串起來的回報——測地線是內在的。條件 kappa_g = 0 可以完全用第一基本形式來書寫，也就是曲面內部所攜帶的那個度量 ds^2 = E du^2 + 2F du dv + G dv^2。一條測地線的配方由所謂的克氏符號所編碼，而它們純粹由 E、F、G 及其導數建成——任何地方都不需要偷看曲面是怎麼擺在空間裡的。

這又是絕妙定理的精神，化為實用。回想那篇導引的妙語：一隻被困在曲面上的螞蟻，只知道在曲面內部量得的距離與角度，仍能發現曲面的高斯曲率，從不必離開家門。測地線就是這樣一隻螞蟻如何四處走動的方式——那是它盡力走直、只憑自己內在的方向感所找到的路線。把一張紙不拉伸地彎成一個圓柱，它上頭的直線變成了螺旋線與圓，可它們依然是測地線：內在的度量從未改變，所以最直的路徑也沒變。

有一句誠實的提醒，能防止那兩頂帽子被草率地黏回一起。測地線是局部最短的——在夠短的一段上，它確實是極小化的路徑——但它未必是全域最短的。在球面上，從一座城市到鄰城的那段短赤道弧，與繞過另一側的那條長路，兩者都是測地線；只有一條是最短的旅程。所以「最直」（kappa_g = 0）是那個乾淨、局部、永遠成立的定義；「最短」則是一條測地線或贏或輸的全域獎賞。尊重這道縫隙，正是這門學問所獎勵、而非含糊帶過的那種審慎。

你現在能做什麼，以及它通向何方

對曲面上一條給定的曲線，把它的加速度拆成法向部分與切向部分；讀出法曲率 kappa_n 與測地曲率 kappa_g。
當且僅當 kappa_g 處處為零時，宣告這條曲線是測地線——沒有橫向的轉向，一切彎曲皆由曲面所迫。
把測地線認作那條平行移動自己速度的曲線；在球面上，把測地線認作那些大圓。
相信測地線是內在的——僅由第一基本形式所決定——所以不拉伸地彎折一個曲面，它的測地線原封不動。

這篇導引悄悄地把整一階一直在朝向的兩樣材料湊齊了。從曲率那幾篇導引，我們有了活在曲面裡的曲率；從這篇導引，我們有了測地線與平行移動，也就是曲面自己對「筆直向前」的理解。本階下一篇、也是最後一篇導引，講高斯-博內定理，把這兩者結合在一條令人驚嘆的方程式裡，把一塊區域的總高斯曲率繫於它邊界的轉動，甚至繫於你在拓樸裡遇過的歐拉示性數 chi = V − E + F。測地線正是把局部曲率縫向整體形狀的那些針線；你方才已學會循著它們走。