以单位速率走过曲线：弧长
在弯曲曲面上动用张量之前，先把最简单的弯曲之物拿下：一条穿行于空间的单一曲线。把它写成向量值函数 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 是你的第一套动标架；本级余下篇幅，要把一整套交到整个空间手里。