從曲線到數字,再走回來
本梯級至今,箭頭一直只指一個方向。你從一條曲線出發,將它參數化,以單位速率沿著它走,再從中萃取出數字:曲率 kappa 告訴你它彎得多急,撓率 tau 告訴你它多快地扭出當前的平面。幾何從曲線流向數字。曲線基本定理膽敢把這股流向倒轉。它主張數字才是先來的:給我以弧長為自變數的 kappa 與 tau,我就把它們所描述的那條曲線交還給你。
謹慎地陳述:設 kappa(s) > 0 與 tau(s) 是定義在某段弧長 s 區間上的任意光滑函數。那麼存在一條以弧長參數化的曲線,其曲率恰為那個 kappa(s)、其撓率恰為那個 tau(s)。而且這條曲線唯一到只差一個剛體運動——任兩條有相同 kappa 與 tau 的曲線,僅相差一個平移與一個旋轉。你可以把答案滑過空間、把它轉個方向,但它的內蘊形狀是鎖死的。「只差一個剛體運動」這句話正是定理的全部核心,請牢牢抓住它。
為什麼有用:弗瑞涅方程式就是一份食譜
前一篇導讀交給你弗瑞涅—塞瑞特公式,而它們正是讓這個定理運轉的引擎。回想它們說的:當你沿著曲線走,三個標架向量——切向量 T、法向量 N、副法向量 B——不停地轉,而那些公式精準地告訴你它們的轉動速率如何取決於 kappa 與 tau。換個正確的角度來讀,那些方程式不只是描述。它們是一套一步步建造標架的指令。
T' = kappa N N' = -kappa T + tau B B' = -tau N then recover the curve: r(s) = integral of T(s) ds
把邏輯剝到見骨。三條公式把導數 T'、N'、B' 純粹用當前的 T、N、B 與已知的數 kappa(s)、tau(s) 表達出來。這恰是一組線性微分方程組的形式。關於這類系統的一個基礎事實——常微分方程的存在唯一性定理——保證了一旦你在單一起始點固定住標架,整個標架對所有後續的 s 就被決定了,而且唯一地被決定。於是 kappa 與 tau 釘住標架;標架的切向量 T 指路;對 T 積分便描出位置。曲線再無處可躲。
那兩種自由意味著什麼
當定理說「唯一到只差一個剛體運動」,它精準地指的恰是兩種自由,而它們對應到你開始積分時所做的兩個選擇。第一種自由是你從哪裡開始:你得把起點 r(0) 放在空間中某處,而換個起點只是把整條曲線滑過去,不改變它的形狀——那是一個平移。第二種自由是起始標架朝哪個方向:你得把初始的 T、N、B 瞄向某些方向,而換個瞄法會把整條曲線繞那個點轉起來——那是一個旋轉。
一個平移加上一個旋轉,正是我們所謂的剛體運動:它把物件搬來搬去,卻不彎曲、不拉伸、不翻面。所以定理裡殘留的那點不確定性並非含糊——它是幾何唯一可能允許的不確定性。兩條有相同 kappa 與 tau 的螺旋線,真的就是同一條螺旋線,只是從不同位置、用不同角度握著相機拍下而已。它們的 kappa 與 tau 既是彎曲與扭轉的速率,便從不在意曲線坐在哪、面朝哪邊。
直接從 kappa 與 tau 讀出形狀
這個定理真正的樂趣在於,你常常可以完全跳過積分,直接從兩個函數讀出曲線的性格。kappa 為常數而 tau 為零?一條以固定速率彎曲、永不離開所在平面的曲線——那是一個圓,半徑為 1/kappa。kappa 與 tau 都是非零常數?穩定的彎曲加上穩定的扭轉給出圓柱螺旋線,那條彈簧形狀的曲線,而它的半徑與螺距由那兩個常數固定。最簡單的情形,到處 kappa = 0,意味著完全不彎——一條筆直的直線。
- kappa = 0(此時 tau 無關緊要):不彎——一條直線。
- kappa = 正常數且 tau = 0:穩定彎曲、保持平面——半徑 1/kappa 的圓。
- kappa = 正常數且 tau = 非零常數:穩定地彎且扭——一條圓柱螺旋線,其旋向由 tau 的正負號決定。
- 到處 tau = 0(但 kappa 可變):曲線從不扭出某一個平面——一條平面曲線。
第四行值得標星:到處 tau = 0 正是一條曲線為平面曲線的精確判準,意思是它整個住在單一個平面內。一旦你記得撓率量度的是什麼——曲線扭出當前密切平面的速率——這就再合理不過了。若那個速率永遠為零,密切平面便從不改變,整條曲線就被困在其中。這正是基本定理所提供的那種乾淨等價:一個幾何性質(為平面曲線)化成了對單一函數的一行條件(tau = 0)。
誠實的提醒,以及通往何方
幾則誠實的細則,因為這定理乾淨卻非魔法。第一,它要求 kappa(s) > 0——嚴格為正。在曲率掉到零之處,法向量 N 沒有良好定義(沒有偏好的彎曲方向),於是標準的弗瑞涅標架會卡頓,乾淨的陳述在那些點需要修補。第二,「唯一到只差一個剛體運動」確實把那點不確定性留在原地:定理永不告訴你曲線坐落何處,只告訴你它是什麼形狀。第三,存在性那一半倚靠微分方程的存在定理,其完整證明屬於日後的分析課程——我們在此誠實地、且刻意地,對那台引擎以信任相待。
退一步,感受這個想法有多宏大。我們有了曲線在剛體運動意義下的完整分類,編碼在兩個簡單的函數裡——而當你抵達曲面時,同樣的精神會以遠為強大的姿態回返。在那裡,每個點一個數將不夠用;曲面的彎曲需要更豐富的記帳,而「哪些資料能在剛體運動意義下決定一個曲面」這個問題,會成為深刻的曲面基本定理。你方才遇見的曲線情形,正是那個更壯闊故事乾淨、被徹底理解的彩排。
還有最後一個值得預告的特例,正是本梯級下一篇、也是最後一篇導讀的主題。落到平坦的平面上,那裡 tau 恆為零,唯一倖存的描述者是帶號曲率——記得你是向左還是向右轉的曲率。於是單一個帶號函數便在平面剛體運動意義下決定一條平面曲線,而把那個轉動沿著一條封閉迴路積起來,會得出一個整數,即轉動數,並附帶一個漂亮的定理。曲線基本定理正是讓這一切成為可能的東西。