從向心力到測地線：廣義相對論的入口
你已經懂了向心加速度。這篇把同一個概念推進一層：協變導數、測地線、以及為什麼廣義相對論說『重力是幾何』。
這篇是「向心力幾何本質」的延伸，適合已經接受「$a_n = \kappa v^2$」這個框架之後，想往前再看一眼的讀者。
我們要看的不是廣義相對論的計算技術，而是它的核心概念——從向心力出發，只需要幾步邏輯，就能站在廣義相對論的門口。
一、你剛剛做的事，其實是微分幾何
先回顧一下推導 $a_n = \kappa v^2$ 時用到了什麼：
- 一條光滑軌跡 $\vb{r}(t)$（一維可微流形的嵌入）
- 弧長參數化 $s$（選擇自然參數）
- 單位切向量 $\mathbf{T} = \dv{\vb{r}}{s}$
- 曲率 $\kappa = \lvert\dv{\mathbf{T}}{s}\rvert$，以及 $\dv{\mathbf{T}}{s} = \kappa\mathbf{N}$（Frenet–Serret 公式，平面版）
這正是任何微分幾何教科書的第一章。微分幾何不是突然變難的學問——它是把「光滑曲線上的幾何量（方向、彎曲程度）」用微積分精確描述的語言。
你在算向心加速度時，已經在做微分幾何了。
二、從平直空間走向彎曲空間
目前推導都在「平直」的 $\mathbb{R}^2$ 裡進行。在平直空間，不同位置的向量可以直接比較：把 $\mathbf{T}(s)$ 和 $\mathbf{T}(s+\Delta s)$ 相減，理所當然。
但在彎曲空間（例如地球表面）裡，這件事出了問題。
想像你站在地球上，朝「北方」走一步；再想像你在赤道上，朝「北方」走一步。兩個「北方」向量，在地球這個彎曲曲面上，根本不在同一個空間裡，不能直接相減。
要在彎曲空間裡「正確地微分向量」，需要引入一個修正項，使得微分結果不依賴於坐標的選擇。這個修正後的導數叫做：
協變導數（covariant derivative），記作 $\nabla_{\mathbf{T}} \mathbf{T}$
在平直空間裡，協變導數就退化成普通導數。也就是說，你之前寫的 $\dv{\mathbf{T}}{s}$ 是協變導數在最簡單情況下的特例。
三、向心加速度，已經在偷渡協變導數
前面的 Frenet–Serret 公式：
\[\dv{\mathbf{T}}{s} = \kappa\,\mathbf{N}\]在廣義相對論的語言中，這句話會被寫成：
\[\nabla_{\mathbf{T}}\mathbf{T} = \kappa\,\mathbf{N}\]意思一模一樣：「沿著你正在走的方向，把你的方向拿去（協變）微分，得到法向分量 $\kappa\mathbf{N}$。」
如果 $\kappa \neq 0$，你的方向在改變，你需要向心加速度。
如果 $\kappa = 0$：
\[\boxed{\nabla_{\mathbf{T}}\mathbf{T} = 0}\]方向沒有改變，不需要向心加速度——你在走「最直的路」。
四、測地線：零向心加速度的路徑
在幾何裡，$\nabla_{\mathbf{T}}\mathbf{T} = 0$ 這條路徑有一個名字：
測地線（geodesic）
請注意測地線的定義：不是「最短距離」，而是「不需要向心加速度的路徑」。
在平面上，測地線就是直線——走直線不需要任何力量讓你轉向。
在球面上，測地線是大圓（經過球心的截面與球面的交線）。你在地球上「筆直往前走」（不感受到任何側向力），走的就是大圓。從外部看，路徑是彎的；但從內部（地球表面的居民）的感受來說，這就是「最直的路」。
這兩個說法不矛盾——「直線」不是由坐標決定的，而是由「需不需要向心加速度」決定的。
五、GR 的運動定律：就是這一句
廣義相對論把上面的想法推廣到四維時空（三維空間 + 一維時間的彎曲流形）。
運動定律：自由粒子走測地線。
\[\boxed{\nabla_{\mathbf{T}}\mathbf{T} = 0}\]翻譯成人話：
自由落體不是被重力「拉著走」，而是在走「不需要向心加速度的最直路」。
你在太空中感覺不到重力，不是因為「重力不存在」，而是因為你走的是時空中的測地線，沒有任何法向加速度。
六、那重力去哪了？
重力跑進了「空間的彎曲」裡。
在牛頓力學裡：
- 行星繞行太陽需要向心力
- 重力提供向心加速度
在廣義相對論裡：
- 行星在走「彎曲時空中的測地線」
- 它走的路徑，從平直坐標系看「像是在轉彎」
- 但從時空的角度，這是最直的路，不需要向心力
這兩種描述預測的行星軌道幾乎一模一樣（低速、弱重力場下完全等價），只是 GR 稍微更精確。
七、愛因斯坦場方程式：告訴時空如何彎
到這裡，你已經懂了「自由粒子走測地線」——這說明了粒子「如何在給定時空中運動」。但還剩一個問題：
時空本身是如何決定怎麼彎的？
這正是愛因斯坦場方程式回答的問題：
\[G_{\mu\nu} = \frac{8\pi G}{c^4}\,T_{\mu\nu}\]左邊 $G_{\mu\nu}$（愛因斯坦張量）描述時空的幾何彎曲；右邊 $T_{\mu\nu}$（能量–動量張量）描述物質與能量的分佈。
最精煉的一句話是：
物質告訴時空如何彎曲，時空告訴物質如何運動。
前半句是場方程式，後半句是測地線方程式。
八、整條線索
從向心力到廣義相對論，其實只有一條邏輯線：
\[a_n = \kappa v^2 \;\longrightarrow\; \dv{\mathbf{T}}{s} = \kappa\mathbf{N} \;\longrightarrow\; \nabla_{\mathbf{T}}\mathbf{T} = \kappa\mathbf{N} \;\longrightarrow\; \nabla_{\mathbf{T}}\mathbf{T} = 0 \;\text{（測地線）} \;\longrightarrow\; \text{重力是幾何}\]每一個箭頭都只是把同一個想法寫得「更嚴謹一點」：
- $\dv{\mathbf{T}}{s} = \kappa\mathbf{N}$ 是平直空間的 Frenet–Serret 公式
- $\nabla_{\mathbf{T}}\mathbf{T} = \kappa\mathbf{N}$ 是把它推廣到彎曲空間
- $\nabla_{\mathbf{T}}\mathbf{T} = 0$ 是「自由運動」的幾何定義
廣義相對論看起來難，是因為計算技術（張量指標、Christoffel symbol）很繁瑣。但概念本身——重力 = 時空彎曲，自由落體 = 測地線——根植於你已經理解的向心加速度裡。
→ 歡迎預約家教課，直接針對你的問題討論