以單位速率走過曲線：弧長
在彎曲曲面上動用張量之前，先把最簡單的彎曲之物拿下：一條穿行於空間的單一曲線。把它寫成向量值函數 r(t) = (x(t), y(t), z(t))。參數 t 可以是任何東西——鐘錶時間、你擰的一個旋鈕——而這份自由恰恰是麻煩所在。同一條曲線可以走快也可以走慢，而任何配得上「幾何量」之名的東西，都不該在乎你走的是哪種。所以第一步，是把參數化剝到曲線本身偏愛的那唯一一種選擇。
速度是 r'(t)，就是你在第一卷裡熟悉的導數逐分量地作用，它的長度 |r'(t)| 就是速率。弧長是真正走過的距離的累計：s(t) = integral from t0 to t of |r'(u)| du。這不過是你早已信得過的第一卷定積分，把一小段一小段直線步 |r'| du 加起來，再讓它們縮小。注意被積式 |r'(u)| du 就是線元 ds——沿曲線的無窮小尺長，正是那個 ds，日後會在彎曲曲面上化作度規的線元。
切向量，以及它轉得多快：曲率
在每一點上，單位切向量 T = dr/ds 指向你前進的方向——局部的「前方」。因為 T 的長度恆為 1，它永遠無法變長或變短；它唯一能做的就是轉動。於是曲線的全部形狀，都鎖在 T 隨你推進而擺動的方式裡。再求一次導：dT/ds 量度每走一米曲線、朝向轉動的速率。這個向量的大小就是曲率，記作 kappa = |dT/ds|。kappa 大，意味著一個又急又緊的彎；kappa = 0，意味著筆直。
這裡有一幅美麗而具體的圖景。在某一給定點，去找那個最貼著曲線的圓——不只匹配位置和切線方向，連彎曲也匹配上。那便是密切圓（osculating 在拉丁文裡就是「親吻」）。它的半徑是 R = 1/kappa，即曲率半徑，圓心落在曲線彎向那一側、距離為 R 處。一段平緩的高速路彎道是一個巨大的親吻之圓、極小的 kappa；一個髮夾彎則是一個小圓、很大的 kappa。直線是無窮大圓的極限情形，R = infinity，kappa = 0。這與第一卷裡的二階泰勒逼近是同一個想法——只是把一個圓去匹配曲線，而非把一條拋物線去匹配圖像。
dT/ds 指向哪裡？把恆等式 T dot T = 1 對 s 求導：乘積法則給出 2 (T dot dT/ds) = 0，於是 dT/ds 永遠垂直於 T。這不是一條要背的巧合——它是被「T 長度恆定」這一點逼出來的，而且是一個反覆出現的招數最乾淨的例子：對一個「單位長」或「正交規範」約束求導，會產出一個垂直關係。沿 dT/ds 方向的單位向量就是主法向量 N = (dT/ds)/kappa。它筆直地指向密切圓的圓心——曲線正落向的那個方向。
一套隨你而行的標架，以及它獨力捕不住的扭轉
現在你身上帶著兩個相互垂直的單位向量：前方的 T 與朝內的 N。在三維空間裡，要補全一套右手座標軸，恰好只剩一個方向可走，你用叉積把它造出來：副法向量 B = T cross N。三者合在一起——T、N、B，兩兩垂直，各為單位長——構成[[frenet-serret-frame|Frenet-Serret 標架]]，一套你沿曲線隨身攜帶的微型座標系，就像一個座標軸的背包，每走一步都自行重新瞄準。T 與 N 張成密切平面（親吻之圓所在的平面）；B 是那平面的法向，是曲線此刻正繞之旋轉的軸。
單憑曲率講不完整個故事。設想兩條曲線都彎成同樣平緩的弧，但一條始終平躺在一個平面裡，另一條卻像旋轉樓梯、像一股 DNA 一樣抬出平面之外。它們可以在每一點共有同一個 kappa，卻是截然不同的曲線。區分它們的，是密切平面本身是否隨你前進而傾側——曲線是否正扭出它當下所在的平面。這種出平面的扭轉，靠觀察副法向量 B 如何轉動來量度，由第二個數捕捉：撓率，記作 tau。
對 B 施以同樣的「長度恆定」招數。由 |B| = 1 得 dB/ds 垂直於 B；由 B dot T = 0（求導，並用上 dT/ds 沿著 N 這一點）得 dB/ds 也垂直於 T。既垂直於 B 又垂直於 T 的方向，就只剩 N，所以 dB/ds 必是 N 的純倍數。我們給這個倍數命名：dB/ds = -tau N。負號是約定，而 tau 可正可負——它的符號告訴你扭轉的手性，是右旋螺絲還是左旋螺絲。一條純平面曲線永不傾側它的密切平面，所以對它處處 tau = 0；這正是「平」的精確表述。
Frenet-Serret 方程：整套標架如何翻滾
我們已經有了 T 如何轉（朝向 N，速率 kappa）與 B 如何轉（朝向 N，速率 tau）。還剩一個導數：法向量 N 如何變化？最後一次動用「長度恆定」招數，這回作用在那個正交規範三元組上。標架向量的每個導數都必須是其餘標架向量的組合，而轉動係數的反對稱性（仍由對點積 T dot N = 0、N dot B = 0 求導逼出）把 dN/ds 完全釘死：dN/ds = -kappa T + tau B。沒有新常數冒出來——N 的運動完全由同樣的 kappa 與 tau 支配。兩個數主宰全局。
THE FRENET-SERRET EQUATIONS (derivatives taken with respect to arc length s)
dT/ds = kappa N
dN/ds = -kappa T + tau B
dB/ds = - tau N
As a single matrix equation, d/ds [T; N; B] = M [T; N; B] with
M = [ 0, kappa, 0 ;
-kappa, 0, tau ;
0, -tau, 0 ]
Note M is ANTISYMMETRIC (M transpose = -M). That is no accident:
an antisymmetric matrix generates a rotation, so the frame can only
ROTATE rigidly as it slides along -- it never stretches or shears.
kappa is the turning rate in the T-N plane; tau the turning rate in the N-B plane.高潮在此，空間曲線基本定理。給我任意兩個弧長的函數 kappa(s) > 0 與 tau(s)，就存在一條曲線，恰以那個曲率與撓率為其曲率與撓率——而且它在「擺放於何處、在空間中如何旋轉」的差異之外是唯一的。換句話說，kappa 與 tau 是一套完整的內稟指令：「每一步，彎這麼狠、扭這麼狠」，曲線便被定下。形狀完全寄居在那兩個純量函數裡；位置與朝向不過是擺放。有彎無扭（tau = 0）描出一條平面曲線；常 kappa 與常的非零 tau 描出一條完美的螺旋線。
誠實的限度，以及通往彎曲空間的橋
有一個微妙卻要命的區分：這裡的曲率 kappa 是外蘊的。它量度的是曲線在周遭空間裡如何彎——畫在一張平紙上的圓有 kappa = 1/R，可是一隻被困在這一維圓周上、只能前後爬行的螞蟻，根本無從感知任何彎曲。從內稟看，曲線無聊地平直；它一切的彎，都是從「它如何嵌坐在周遭世界裡」借來的。把這個念頭記住，因為這正是本級餘下篇幅要為曲面和時空回答的問題：哪種曲率從內部就能感到，哪種只能從外部看見？
你方才學到的一切，都是為更大舞台所作的預演。弧長 s 直接來自線元 ds，而它在彎曲曲面上化為 ds^2 = g_ij dx^i dx^j，帶著度規張量 g——一旦平直不再，長度與角度便是這樣量度的。Frenet 那個「對隨曲線而行的向量求導、並要求它保持自洽」的想法，成熟為協變導數，即當座標軸本身都在轉動時、對向量求導的正確方式。而一條「在幾何允許範圍內轉得最少」的曲線——可能的最直之路，從內部感到的側向彎曲為零——就是測地線，彎曲空間裡直線的替身，也是廣義相對論中光與自由粒子所走的路。T、N、B 是你的第一套動標架；本級餘下篇幅，要把一整套交到整個空間手裡。