JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

弗瑞內標架與撓率

一條空間曲線帶著一套隨它而行的小小座標系——三支互相垂直的箭頭:切向、法向與副法向。觀察它們如何旋轉,便揭露出能道盡曲線形狀的兩個數:你已認識的曲率,以及量度曲線多用力扭離自身平面的撓率。

一條自帶座標軸的曲線

在本級的第一篇裡,你學會以單位速率沿曲線行走,用 弧長參數化,讓參數 s 量度實際走過的距離。第二篇你認識了 曲率 kappa,這個數說出曲線在每一點彎得多急。現在我們要做更有野心的事:不是站在曲線外看著它,而是騎著它走,並建立一套隨我們而行的小座標系。房間裡固定的 x、y、z 軸原地不動;我們的新軸卻一點一點地傾斜、轉動,緊貼著曲線。

這些移動軸中的第一支,你早已擁有。在每一點,單位切向量 T 沿曲線筆直指向前方,朝著你行走的方向。因為你以單位速率前進,T 自動是單位向量——它的長度恰為 1。它是曲線的「前方」。但單單一支前向箭頭,並不足以在三維空間中釘住一整套座標軸;你還需要一個「側向」與一個「上方」。那便是移動標架的另外兩位成員,而曲線本身會告訴我們它們該指向何處。

先法向、再副法向:補齊三人組

「側向」從何而來?來自 T 自己變化的方式。當你行走時,前向箭頭 T 會擺動——而它擺動的速率,正是你上次認識的曲率。導數 dT/ds(T 每單位距離的變化)指向 T 的箭尖前進的方向,也就是曲線正在彎 進去 的方向。把它正規化為長度 1,便得到 主法向量 N。它總是指向彎道的內側——指向在該處緊貼曲線的 密切圓 的圓心。

N 之所以垂直於 T,有一個乾淨的理由,並非要硬背的巧合。因為 T 的長度恆為 1,點積 T . T 永遠等於 1。把兩邊對 s 微分:左邊給出 2 (T . dT/ds),右邊給出 0。所以 T . dT/ds = 0,意思是 dT/ds——因而 N——確實垂直於 T。一個長度固定的向量只能靠轉動來改變、絕不能靠伸縮,而轉動永遠是側向的。「單位向量的導數垂直於它自己」這一個事實,正是貫穿整篇的安靜主力。

現在我們有了前向 T 與側向 N,兩者都是單位長度、彼此垂直。它們張成一個平面——密切平面,也就是曲線在該點瞬間所棲身的那張平坦薄片。要補齊標架,我們還需一支箭頭,同時垂直於兩者,是一個指出該平面的「上方」。外積 免費把它交給我們:定義 副法向量 B = T x N。依外積的本性,B 自動是同時垂直於 T 與 N 的單位向量;而三者按 T、N、B 的次序合在一起,構成一個右手系,正如標準的 x、y、z 軸。

撓率:曲線如何扭離自身平面

這裡才是本篇真正要談的新想法。曲率 kappa 量度的是 密切平面之內的彎曲。但空間中的曲線能做一件平面曲線永遠做不到的事:它能抬離那個平面,像螺絲的螺紋般扭轉。量度這扭轉的數就是 撓率,寫作 tau。把副法向量 B 想成垂直立於曲線瞬間所在平面的「旗桿」。若曲線一直保持平坦,B 便永遠不會傾斜——它會永遠指向同一方向。撓率,正是當你沿線前進時 B 傾斜的速率。

我們能精確說出 B 朝哪邊傾斜。施展和先前一樣的把戲:B 是單位向量,所以 dB/ds 垂直於 B。一個簡短的計算也顯示 dB/ds 垂直於 T。既同時垂直於 B 與 T,它就必落在唯一剩下的方向上——沿著 N。因此 dB/ds 是 N 的某個倍數,我們把這個倍數寫成 -tau:方程式 dB/ds = -tau N 就是撓率的 定義。那個負號是通用慣例,這樣選是為了讓右手螺旋(一支標準螺絲)算出正的撓率。

弗瑞內–塞雷公式:整個標架如何旋轉

我們現在握有三支箭頭中兩支的導數。由第二篇,前向箭頭以曲率設定的速率轉向彎道內側:dT/ds = kappa N。由本篇,旗桿以撓率設定的速率朝 N 傾斜:dB/ds = -tau N。恰好還剩一塊——側向箭頭 N 如何變化?因為 N = B x T,你可用另外兩個結果把它微分,塵埃落定後你會得到 dN/ds = -kappa T + tau B。這三條方程式合起來,就是著名的 弗瑞內–塞雷公式

The Frenet-Serret formulas (curve at unit speed, parameter s):

  dT/ds  =          kappa N
  dN/ds  = -kappa T          + tau B
  dB/ds  =         -tau  N

Notice the antisymmetric pattern: kappa couples T and N,
tau couples N and B, and the matrix of coefficients is
skew-symmetric (the diagonal is all zeros).
三個導數全都用移動標架自己表達。這個反對稱的樣式不是裝飾——它是「一組單位正交向量的標架只能旋轉、絕不能伸縮」這件事在代數上投下的影子。

把這些公式讀成一段純旋轉的描述。在每一瞬間,整個標架 T、N、B 都在剛性地旋轉,而 kappa 與 tau 這兩個數,不過是它旋轉多快的分量。曲率把 T 耦合到 N——那是你在密切平面裡看見的彎曲。撓率把 N 耦合到 B——那是把標架抬離該平面的扭轉。沒有第三個數藏在任何地方:彎與扭,kappa 與 tau,就是空間曲線完整的局部故事,而弗瑞內–塞雷公式正是把這兩個數重新化回曲線運動的機器。

一個算例與一個誠實的提醒

感受這一切最乾淨的曲線是 圓柱螺旋線——一個點沿著圓柱盤旋而上,像彈簧線圈或旋轉樓梯的扶手。沿它行走,你以穩定的速率彎曲(你一直繞著圓柱轉),也以穩定的速率扭轉(你一直在往上爬)。所以螺旋線具有 常曲率與常撓率,兩者皆非零,而它本質上是唯一具此性質的曲線。把螺旋線壓扁,攀升消失、tau 落為 0,剩下的就是一個普通的圓——純彎曲、無扭轉。把它拉得又高又瘦,彎曲淡去,扭轉則主宰一切。

  1. 從單位速率參數化出發,使參數是真正的弧長 s;若你的曲線是以別的速率給出的,先做重新參數化(前面幾篇已示範過怎麼做)。
  2. 把位置微分得到 T,即單位切向——拜單位速率之賜,它本就長度為 1。
  3. 把 T 微分;它的長度就是曲率 kappa,而它方向上的單位向量就是主法向量 N。
  4. 造出副法向量 B = T x N,再由 dB/ds = -tau N(或等價地 tau = -dB/ds . N)讀出撓率。

有一個誠實的提醒讓弗瑞內標架保持可信,而它很容易被遺忘。整套構造需要 N 存在,而 N 是把 dT/ds 正規化後定義的——所以它 在 kappa = 0 之處就垮掉。在曲線完全不彎的點(一個反曲點,或一段完全筆直的部分),dT/ds 是零向量,它沒有方向,也就沒有主法向量可指向側邊。標架在那裡是真正未定義的,不只是彆扭而已。這是一個真實的限制,不是可以揮手帶過的細枝末節;帶有孤立筆直段的曲線需要更小心的工具,例如一個不依賴彎曲、平滑選定的標架。記住這個提醒後,回報是巨大的:kappa 與 tau 這兩個弧長的函數,捕捉了一條空間曲線完整的形狀——而下一篇就把這個承諾化為一條精確的定理。