微分几何（一）：空间中的曲线 —— 曲率、挠率和 Frenet 标架

我第一次在课本里看到"曲率"这个词，配的图是一条蜷成圈的螺旋线，旁边写着 $\kappa =$ 这个 $\tau =$ 那个，公式带一堆叉积。我当时的反应是：“为什么不是直接说这条线弯得有多厉害？“用尺子量行不行？为什么要这么多记号？

后来才明白，问题不在记号上，而在我自己对"弯"这个字想得太轻巧。如果只看一张静态图，“弯"是显而易见的——但要把它变成一个数，就得回答几个细节：在哪个点弯？沿着哪个方向看？换一种参数化（比如把曲线画快一点）这个数会不会变？三维曲线还有一个二维曲线没有的现象——它不仅会"弯”，还会"扭”，从一个平面跳到另一个平面里去。把"弯"和"扭"分开测量，就需要两个数，而不是一个。

这一章的目标就是把"弯"和"扭"这两件事说清楚，并且做到三件事：(1) 给出一对内蕴的标量 $\kappa$ （曲率）和 $\tau$ （挠率）——它们不依赖于参数化；(2) 在每个点上构造一个跟着曲线走的标架 $(\mathbf{T}, \mathbf{N}, \mathbf{B})$ ，让"弯"和"扭"有具体的方向感；(3) 证明 $(\kappa, \tau)$ 这两个函数，在差一个刚体运动的意义下，完全决定了曲线。最后这一条是这章最值得记的一句话——一根曲线，在我们关心的几何意义上，就是"每个点上两个数”。

这是高维微分几何的小型预演。后面会出现的所有大词——Gauss 映射、第二基本形式、联络、Riemann 曲率张量——本质都是把今天对"一维对象"做的事情升级到"高维对象"。如果觉得后面那些概念抽象，可以一直回到这一章看：“哦，原来当初对一根曲线就是这么干的。”

如果你想要一张在阅读时保持在脑海中的图片，请记住这张。

你看到的三支箭头——切向量、法向量、副法向量——像一个小陀螺仪一样沿着螺旋线滑动。曲率表示切向量转动的速度；挠率表示这个陀螺仪绕切向量扭转的速度。每个点两个数。这就是全部的故事。

在开始之前，关于语气的一点说明。这个系列将更倾向于计算而不是装饰。我会仔细推导，但也会进行数值计算，因为微分几何有一个悠久的传统，即美丽的定理在需要实际例子时会在读者手中变得模糊。直觉存在于数字中。因此，期待大量的螺旋线、抛物面和带有明确坐标的球面以及明确的答案。如果答案很复杂，我会说清楚。

空间中的曲线#

一个常见的初学者疑问：曲线和它的图像是同一回事吗？严格说不是。‘曲线’指的是参数化映射 $\alpha: I \to \mathbb{R}^3$ 这个函数本身；‘图像’指的是 $\alpha(I) \subset \mathbb{R}^3$ 这个点集。同一条图像可以有无数种参数化（走得快、走得慢、倒着走、停一下再走）。微分几何里我们关心的几乎所有量（弧长、曲率、挠率）都是图像的属性，而不是任何具体参数化的属性。这就是为什么后面要花一整节讨论弧长参数化——它是从一堆’平等的’参数化里挑出一个’内禀的代表’，让所有公式都简洁起来。

螺旋线上的 Frenet 标架：切向量 T（红）、法向量 N（绿）、副法向量 B（紫）

非正式地说，曲线是由移动点描绘出的路径。这里有一个需要注意的微妙之处：我们指的是图像（路径上的点集）还是参数化（描述运动的具体函数）？微分几何学家关心两者，并且事实上很多早期的基础工作是确保我们的定义区分了图像的性质和特定速度计读数的性质。

\alpha(t) = \bigl(x(t),\, y(t),\, z(t)\bigr),

每个分量都是 $C^\infty$ 的。

$$t$$ 处的速度是 $\alpha'(t) = (x'(t), y'(t), z'(t))$ ，速度大小是 $|\alpha'(t)|$ 。

如果对于每一个 $$t$$ 都有 $\alpha'(t) \neq 0$ ，则称 $\alpha$ 是正则的。

正则是最小的非退化条件。它保证了每一点都有明确定义的切方向，并防止坍缩到单个 $$t$$ 值上。去掉它，你可以轻易构造出尖点： $\alpha(t) = (t^2, t^3, 0)$ 在 $$t = 0$$ 处有 $\alpha'(0) = 0$ ，并且图像在原点处有一个尖角。曲线作为映射仍然存在，但在 $$t = 0$$ 处几何出现了中断。

$\alpha$ 的重新参数化是 $\beta = \alpha \circ \phi$ ，其中 $\phi: J \to I$ 是区间的微分同胚。重新参数化有两种类型：保定向的（ $\phi' > 0$ ）和反定向的（ $\phi' < 0$ ）。 $\beta$ 的图像是与 $\alpha$ 相同的；只是点的标记发生了变化。

在整个系列中，我将默认正则性并仅考虑保定向的重新参数化等价。每当看到没有进一步限定的“曲线”时，理解为“正则光滑曲线，直到保定向的重新参数化”。原因纯粹是操作性的：涉及 $\mathbf{T}$ 、 $\mathbf{N}$ 或 $\kappa$ 的每个公式都需要在某个阶段除以 $|\alpha'|$ 。

还有一个更深层次的原因。定义曲率的整个项目是为了提取依赖于图像而非速度的数。接下来具体看到这一点：在弧长参数化下， $\kappa$ 有一个简洁的公式（就是 $|\alpha''|$ ），但在任意参数化下的公式更复杂，涉及叉积来“消除”依赖于参数化的部分。

数值热身#

\alpha(t) = (\cos t,\, \sin t,\, 0.4\, t).

那么 $\alpha'(t) = (-\sin t, \cos t, 0.4)$ ，且 $|\alpha'(t)| = \sqrt{1 + 0.16} = \sqrt{1.16} \approx 1.0770$ 。速度是恒定的——这是这条特定螺旋线的一个令人愉快的巧合，使得其余计算变得干净。

如果我们重新参数化为 $\beta(s) = \alpha(s / \sqrt{1.16})$ ，那么 $|\beta'(s)| = 1$ 。我们没有改变图像（仍然是相同的螺旋线）；我们只是重新标记了点，使得以单位速度遍历曲线对应于 $$s$$ 增加一个单位。这就是弧长参数化，它将在稍后使生活变得更加容易。

关于螺旋线普遍性的附注。在所有具有常曲率和常挠率的曲线中，螺旋线是唯一的一个，直到刚体运动。接下来在本章末尾证明这一点（曲线的基本定理）。这是微分几何的一个小奇迹：从两个任意正常数可以积分出一条螺旋线，而这条螺旋线基本上是这两个常数所描述的唯一曲线。

弧长和重新参数化#

为什么要花一整节专门讲弧长参数化？因为它把’参数化的速度’和’曲线的形状’分开。同一条螺旋线，可以参数化得很慢（每秒走 0.1 单位），也可以很快（每秒 10 单位）。两种参数化下， $\alpha'$ 的大小不同，二阶导数 $\alpha''$ 的大小也不同——但两条曲线作为 $\mathbb{R}^3$ 里的图像完全一样。‘曲率 $\kappa$ ’ 应该是图像的属性，而不是某个特定参数化的产物。所以一个负责任的定义需要先把参数化的速度剥掉。弧长 $$s$$ 就是这个剥掉的结果——它是一种按曲线本身进度来测量的内禀坐标。一旦切到 $$s$$ ，所有公式立即简化： $|\alpha'(s)| = 1$ 恒成立，二阶导数直接就是 $\kappa$ 乘以法向量，没有任何额外项要消去。

L(\alpha; a, b) = \int_a^b |\alpha'(t)|\, dt.

\int_a^b |\beta'(s)|\,ds = \int_a^b |\alpha'(\phi(s))|\phi'(s)\,ds = \int_{\phi(a)}^{\phi(b)} |\alpha'(t)|\,dt.

因此，长度是图像的属性，而不是参数化的属性。

s(t) = \int_{t_0}^{t} |\alpha'(\tau)|\, d\tau.

\tilde\alpha(s) = \alpha\bigl(t(s)\bigr).

\tilde\alpha'(s) = \alpha'(t)\cdot \frac{dt}{ds} = \frac{\alpha'(t)}{|\alpha'(t)|},

其长度为单位。曲线已被重新标记为“单位速度”。

弧长是曲线作为 $\mathbb{R}^3$ 子集的唯一内蕴参数——它不依赖于我们碰巧追踪它的速度。下面内在定义的曲率和挠率最自然地在弧长参数化下计算。当然，在我们必须对特定曲线进行计算时，通常不想显式地求解积分 $$s(t)$$ （而且往往不能——椭圆的被积函数已经涉及椭圆积分，这些特殊函数的名字来源）。因此，将推导出适用于任意参数化的实用公式，并使用它们进行实际计算，而在理论推理时使用弧长。

工作示例：螺旋线的弧长#

L = \int_0^{2\pi}\sqrt{1.16}\,dt = 2\pi\sqrt{1.16} \approx 6.7298.

\tilde\alpha(s) = \bigl(\cos(s/\sqrt{1.16}),\, \sin(s/\sqrt{1.16}),\, 0.4\, s/\sqrt{1.16}\bigr).

工作示例：椭圆和椭圆积分#

L = 4 a \int_0^{\pi/2}\sqrt{1 - e^2\cos^2 t}\,dt = 4 a\, E(e),

这是第二类完全椭圆积分。这是最简单的无法用初等函数表达弧长的曲线之一，也是“椭圆积分”得名的历史原因。因此当说“尽可能使用弧长参数化”时，意思是“在你能的地方”；实际上，几乎没有任何解析曲线有封闭形式的 $s^{-1}$ 。

教训：弧长是一个美丽的理论参数，但在计算上却令人沮丧。从事几何工作的数学家们在证明和公式中会用到它；而在实际例子中，他们会用参数友好的叉积公式。

切向量和曲率#

为什么单位切向量是合理的研究起点？因为我们想分离’曲线弯多少’和’曲线参数化得多快’这两件事。如果不归一化，速度向量 $\alpha'(t)$ 既包含了形状信息也包含了参数化信息。把它除以模长， $\mathbf{T} = \alpha'/|\alpha'|$ 只剩’指向哪’，把’走得多快’扔掉。然后看 $\mathbf{T}$ 怎么变——它的变化率（除以弧长，不除以参数 $$t$$ ）才是纯几何的，独立于我们怎么遍历这条曲线。这就是为什么所有曲率公式都从单位切向量开始：归一化是把’参数化的污染’清掉的第一步。

2\mathbf{T}\cdot \mathbf{T}' = 0,

因此 $\mathbf{T}'(s)$ 与 $\mathbf{T}(s)$ 正交。 $\mathbf{T}'$ 的大小衡量了当我们沿曲线行走时单位切向量旋转的速度。

$\kappa(s) = |\mathbf{T}'(s)| = |\alpha''(s)|$ 。

直线的 $\mathbf{T}' = 0$ ，因此 $\kappa = 0$ 恒成立。半径为 $$r$$ 的圆的曲率为 $\kappa = 1/r$ ——锐曲线（小 $$r$$ ）给出大的 $\kappa$ 。“急转弯”的直觉是正确的，但钉在一个精确的数量上：切方向相对于弧长的变化率。

\mathbf{N}(s) = \frac{\mathbf{T}'(s)}{|\mathbf{T}'(s)|} = \frac{\mathbf{T}'(s)}{\kappa(s)},

\mathbf{T}'(s) = \kappa(s)\mathbf{N}(s).

$\mathbf{N}$ 指向曲率中心的方向：它是曲线“试图弯曲”的方向。对于平面上的圆， $\mathbf{N}$ 总是指向圆心。对于螺旋线， $\mathbf{N}$ 水平指向内侧，朝向螺旋线的轴。

任意参数化下的曲率计算#

\alpha'' = s''\mathbf{T} + (s')^2 \kappa \mathbf{N}.

\alpha'\times\alpha'' = (s')^3\kappa\,(\mathbf{T}\times\mathbf{N}),

\boxed{\kappa = \frac{|\alpha'\times\alpha''|}{|\alpha'|^3}}.

叉积优雅地消除了依赖于参数化的成分 $s''\mathbf{T}$ （因为 $\mathbf{T}\times\mathbf{T} = 0$ ），只留下参数化不变的几何信息。值得停下来思考一下：这是经典微分几何中的一个经典“技巧”，并且一次又一次地出现。

\kappa = \frac{\sqrt{1.16}}{1.16^{3/2}} = \frac{1}{1.16} \approx 0.8621.

如预期的那样，曲率是常数，因为均匀倾斜的螺旋运动。与单位半径的圆比较： $\kappa = 1$ 。螺旋线稍微弯曲一些，因为向上的漂移“消耗”了一些原本用于弯曲的运动。物理上：如果你将螺旋线投影到 $$xy$$ 平面上，你会得到一个单位圆（ $\kappa = 1$ ）；将其提升到 3D 会稀释曲率。

第二个工作示例：抛物线#

\kappa(t) = \frac{2}{(1+4t^2)^{3/2}}.

在 $$t = 0$$ （顶点）处， $\kappa = 2$ 。当 $|t|\to\infty$ 时， $\kappa\to 0$ ——抛物线逐渐变直。顶点处的曲率半径是 $$1/2$$ ；如果你放置一个半径为 $$1/2$$ 的圆与抛物线在原点相切，它将与抛物线在二阶上匹配。这就是密切圆——拉丁文中的“亲吻圆”。它是曲率的几何内容。

当参数沿曲线扫过时，密切圆的圆心轨迹画出一条新曲线，称为渐屈线。渐屈线编码了所有曲率中心的轨迹，本身也是一个几何丰富的对象——椭圆的渐屈线是一个四尖点的星形线，抛物线的渐屈线是半立方抛物线。

曲率是曲线的第一个几何不变量。它独立于保定向的重新参数化和刚体运动。两条具有相同 $\kappa(s)$ 的曲线“几乎”相同——它们可能仍因如何扭曲出任何平面而不同。这种残余扭曲是我们接下来要捕捉的。

副法向量和挠率#

曲率 $\kappa$ 已经描述了曲线在某个平面里弯多少，但它没有捕捉这个平面本身在三维空间里转不转。一个简单的对比：把一条曲线整个画在一张纸上，然后把这张纸卷起来；曲线变成了三维曲线，但它没有真正离开它原本的二维平面——只不过这个平面随着曲线弯了。这种情况下，挠率 $\tau = 0$ 。挠率非零意味着曲线确实从它的密切平面里钻出去了——比如螺旋线沿垂直方向的分量让它每走一段就跳出当前的密切平面进入下一个。这就是’挠’这个字的来源：它测量的是曲线扭转出当前平面的速度。

\mathbf{B}(s) = \mathbf{T}(s) \times \mathbf{N}(s).

由 $\mathbf{T}$ 和 $\mathbf{N}$ 张成的平面（密切平面）在评估点处包含曲线的二阶近似。几何上，它是该点处“最佳拟合”曲线的平面。

由 $\mathbf{N}$ 和 $\mathbf{B}$ 张成的平面称为法平面（垂直于运动方向）；由 $\mathbf{T}$ 和 $\mathbf{B}$ 张成的平面是整直平面（当曲线投影到该平面上时，在投影点处的曲率为零）。这三个平面——密切平面、法平面、整直平面——有时被画成一个小正交“十字”沿着曲线滑动。

对于平面曲线，密切平面就是曲线所在的平面， $\mathbf{B}$ 是常数。对于真正的三维曲线， $\mathbf{B}$ 会旋转——这种旋转正是挠率所测量的。

\mathbf{B}'(s) = -\tau(s)\,\mathbf{N}(s).

负号是标准约定；在这种情况下，右旋上升的螺旋线将有 $\tau > 0$ 。

\boxed{\tau = \frac{(\alpha'\times\alpha'')\cdot\alpha'''}{|\alpha'\times\alpha''|^2}}.

推导类似于曲率公式的推导。将 $\alpha'''$ 表达在 Frenet 基下并与 $\alpha'\times\alpha'' = (s')^3\kappa\mathbf{B}$ 点积；唯一存活的分量是 $\alpha'''$ 的 $\mathbf{B}$ 分量，它涉及 $\tau$ 。

\tau = \frac{0.4}{1.16} \approx 0.3448.

常数。螺旋线具有常曲率和常挠率。事实上，这几乎是特征化的（见下面的基本定理）。

挠率的符号：一个小但有用的合理性检查#

右旋螺旋线（上面的标准螺旋线，垂直漂移为正）有 $\tau > 0$ 。将螺旋线替换为其镜像——例如，在第三分量中交换 $t\mapsto -t$ ， $\alpha(t) = (\cos t, \sin t, -0.4 t)$ ——翻转 $\tau$ 的符号但 $\kappa$ 不变。因此，挠率是一个带符号的量，对 $\mathbb{R}^3$ 的定向敏感，而曲率是无符号的。这种不对称性直接源于使用叉积，而叉积又依赖于右手规则。

挠率是第二个几何不变量。平面曲线有 $\tau \equiv 0$ ；反之，如果 $\tau \equiv 0$ 则曲线位于固定平面内（证明： $\mathbf{B}$ 是常数，因此函数 $f(s) = (\alpha(s) - \alpha(s_0))\cdot \mathbf{B}$ 导数为零，故恒为零——曲线保持在通过 $\alpha(s_0)$ 且垂直于 $\mathbf{B}$ 的平面内）。曲率和挠率一起区分了平面摆动和真正的三维扭曲。用不变量的语言来说： $\kappa$ 是 $$SO(3)$$ -不变量， $\tau$ 是 $$O(3)$$ -伪不变量（它在定向反转时会带上符号）。

Frenet-Serret 公式#

Frenet-Serret 矩阵为什么斜对称？因为标架 $(\mathbf{T}, \mathbf{N}, \mathbf{B})$ 在每一点都是正交的——这是一个 $\mathrm{SO}(3)$ 矩阵的连续族。 $\mathrm{SO}(3)$ 在单位元处的切空间（也就是李代数 $\mathfrak{so}(3)$ ）就是斜对称矩阵的空间。所以一个连续变化的正交标架，它的’瞬时角速度’必须落在斜对称矩阵里。这一段话是 Frenet-Serret 公式不显眼但很关键的几何来源——也是后面所有’移动标架’方法（曲面上的 Cartan 标架、流形上的活动标架）的共同模板。

\mathbf{N}' = (\mathbf{B}\times\mathbf{T})' = \mathbf{B}'\times\mathbf{T} + \mathbf{B}\times\mathbf{T}' = -\tau\mathbf{N}\times\mathbf{T} + \kappa\mathbf{B}\times\mathbf{N} = -\kappa\mathbf{T} + \tau\mathbf{B},

得到：

\frac{d}{ds}\begin{pmatrix}\mathbf{T}\\ \mathbf{N}\\ \mathbf{B}\end{pmatrix} = \begin{pmatrix}0 & \kappa & 0 \\ -\kappa & 0 & \tau \\ 0 & -\tau & 0\end{pmatrix}\begin{pmatrix}\mathbf{T}\\ \mathbf{N}\\ \mathbf{B}\end{pmatrix}.

这些是Frenet-Serret 公式。系数矩阵是斜对称的，正好满足正交标架随时间演化的需要。

\Omega = \begin{pmatrix}0 & \kappa & 0 \\ -\kappa & 0 & \tau \\ 0 & -\tau & 0\end{pmatrix}

有特征值 $$0$$ 和 $\pm i\sqrt{\kappa^2 + \tau^2}$ ，其中零特征值对应于Darboux 向量 $\boldsymbol{\omega} = \tau\mathbf{T} + \kappa\mathbf{B}$ 。几何上， $\boldsymbol{\omega}$ 是 Frenet 标架的瞬时旋转轴。时间 $$s + ds$$ 处的标架可以通过时间 $$s$$ 处的标架绕 $\boldsymbol{\omega}$ 旋转一个角度 $|\boldsymbol{\omega}|\,ds = \sqrt{\kappa^2+\tau^2}\,ds$ 得到。因此，标架的总角速度是 $\sqrt{\kappa^2+\tau^2}$ ，分解为“扭转”部分（ $\tau\mathbf{T}$ ，绕切向量）和“弯曲”部分（ $\kappa\mathbf{B}$ ，绕副法向量）。

Frenet-Serret 系统是标架的封闭 ODE。给定 $\kappa(s)$ 、 $\tau(s)$ 和初始标架 $$s = 0$$ ，可以向前积分并恢复整个移动标架，然后通过积分 $\mathbf{T}$ 恢复 $\alpha$ 本身。这是下一个定理背后的引擎。

曲线的基本定理#

下面这个结论是核心：设 $\kappa: I \to \mathbb{R}_{>0}$ 和 $\tau: I \to \mathbb{R}$ 是光滑的。存在一条正则曲线 $\alpha: I \to \mathbb{R}^3$ ，按弧长参数化，其曲率为 $\kappa$ 且挠率为 $\tau$ 。此外，这条曲线在 $\mathbb{R}^3$ 的刚体运动下是唯一的。

F'(s) = \Omega(s)F(s),\qquad F(0) = I_3,

其中 $$F$$ 是一个 $3\times 3$ 矩阵，其行分别是 $\mathbf{T}$ 、 $\mathbf{N}$ 、 $\mathbf{B}$ ， $\Omega(s)$ 由 $\kappa(s), \tau(s)$ 构建。 $\Omega$ 的斜对称性迫使 $$F(s)$$ 保持正交： $(FF^T)' = F'F^T + F (F')^T = F\Omega^T F^T + F\Omega F^T = F(\Omega + \Omega^T)F^T = 0$ ，因此 $$F(s)F(s)^T = F(0)F(0)^T = I$$ 。然后 $\alpha(s) = \int_0^s \mathbf{T}(u)\,du$ 是所需的曲线。

唯一性的草图证明： 如果 $\beta$ 是另一条具有相同 $\kappa, \tau$ 的曲线，应用刚体运动使 $\beta(0)$ 与 $\alpha(0)$ 对齐，并使 $\beta$ 在 $$0$$ 处的 Frenet 标架与 $\alpha$ 的 Frenet 标架对齐。现在两个标架都满足相同的 ODE 且具有相同的初始条件；它们重合。积分后， $\alpha = \beta$ 。 $\square$

这是 $(\kappa, \tau)$ “确定”曲线的确切含义。它们是一维对象的度量的类似物：知道它们就等于知道了曲线。

工作推论：从 $(\kappa, \tau)$ 得到螺旋线#

\alpha(s) = \biggl(\frac{\kappa}{\kappa^2+\tau^2}\cos(\omega s),\, \frac{\kappa}{\kappa^2+\tau^2}\sin(\omega s),\, \frac{\tau}{\kappa^2+\tau^2}\,\omega s\biggr)

其中 $\omega = \sqrt{\kappa^2+\tau^2}$ 。这是一个半径为 $r = \kappa/(\kappa^2+\tau^2)$ 且螺距（每圈垂直前进）为 $h = 2\pi\tau/(\kappa^2+\tau^2)$ 的螺旋线。检查： $\kappa^2+\tau^2 = \kappa^2 + \tau^2$ ，且 $r^2 + (h/2\pi)^2 = (\kappa^2+\tau^2)/(\kappa^2+\tau^2)^2 = 1/(\kappa^2+\tau^2) = 1/\omega^2$ ，因此 $$r$$ 和 $h/2\pi$ 生活在 $(r, h/2\pi)$ 平面上半径为 $1/\omega$ 的圆上。当 $\tau\to 0$ 时，螺旋线扁平化为一个圆（半径 $1/\kappa$ ，无螺距）；当 $\kappa\to 0$ 时，它变成一条直线。

设 $\kappa = 1/1.16$ ， $\tau = 0.4/1.16$ ，你将恢复（经过刚体运动）原来的 $\alpha = (\cos t, \sin t, 0.4 t)$ 。

换句话说：螺旋线在刚体运动下是唯一具有常曲率和常挠率的曲线。这是微分几何的原因，每一根螺丝、每一根弹簧、每一条 DNA 双链在近距离看起来都是一样的。

经典曲线之旅#

为什么花一整节算各种经典曲线的 $\kappa$ 和 $\tau$ ？一是把抽象公式落到具体计算上——读者亲手算一遍才能真的相信公式是对的；二是这些经典曲线（圆、抛物线、椭圆、心脏线、对数螺线、Viviani 曲线）是后续微分几何里反复出现的’标准测试场’。每当一个新理论被提出，第一件事都是问：它在球面、环面、悬链面这些经典对象上预测什么？如果连这些都对不上，那这个理论就有问题。所以这一节的计算不是装饰，而是把曲线理论的’词汇表’植入读者脑子里——以后听到’对数螺线’，能立刻想到’ $\kappa$ 指数衰减、与位置向量夹角恒定’。

数值示例巩固了这一装置。我将花时间计算一些标准曲线上的 $\kappa$ 和 $\tau$ 。

考虑平面圆： $\alpha(t) = (r\cos t, r\sin t, 0)$ 。那么 $|\alpha'| = r$ ， $\alpha'\times\alpha'' = (0,0,r^2)$ ， $|\alpha'\times\alpha''| = r^2$ ，因此 $\kappa = r^2/r^3 = 1/r$ 。且 $\alpha''' = (r\sin t, -r\cos t, 0)$ 与 $\alpha'\times\alpha''$ 的点积为零（它位于 $$xy$$ 平面上），因此 $\tau = 0$ 。正如预期的那样。

心脏线： $\alpha(t) = (a(2\cos t - \cos 2t), a(2\sin t - \sin 2t), 0)$ 描绘了一个心形图案，在 $$t = 0$$ 处有一个尖点。曲线在尖点外是正则的；远离那里， $\kappa$ 可以计算出来，结果是 $\kappa(t) = 3/(8 a |\sin(t/2)|)$ 。注意：当 $t\to 0$ 时， $\kappa\to\infty$ 。尖点是曲率爆炸的地方——一种礼貌的说法是曲线“剧烈改变方向”。

伯努利双纽线： $\alpha(t) = \bigl(\cos t/(1+\sin^2 t), \sin t \cos t/(1+\sin^2 t), 0\bigr)$ 是一个八字形。它是平面的（ $\tau = 0$ ）但在原点处自交。曲线作为参数化曲线是正则的，但图像不是一个嵌入子流形。

对数螺线： $\alpha(t) = (e^{kt}\cos t, e^{kt}\sin t, 0)$ 对于 $$k > 0$$ 。计算得到 $\kappa(t) = e^{-kt}/\sqrt{1+k^2}$ 。因此曲率呈指数衰减：随着螺线展开，它变得“更直”。这解释了为什么对数螺线出现在鹦鹉螺壳、松果和罗马花椰菜中——几何增长模式具有恒定的对数导数，这正是 $e^{kt}$ 的性质。

对数螺线还有另一个值得注意的性质：切向量 $\mathbf{T}$ 与位置向量 $\alpha$ 之间的夹角是常数。（计算 $\alpha\cdot\alpha'/|\alpha||\alpha'|$ 。）这是等角性质，它在所有平面曲线中表征了对数螺线。

Viviani 曲线： $\alpha(t) = (1+\cos t, \sin t, 2\sin(t/2))$ 是圆柱 $$(x-1)^2+y^2 = 1$$ 与球 $$x^2+y^2+z^2 = 4$$ 的交线。 $\kappa$ 和 $\tau$ 在这里都是非平凡的；你自己计算比我在纸上写出来更有收获。形状是在球面上的八字形，有时称为“球面双纽线”。

星形线： $\alpha(t) = (\cos^3 t, \sin^3 t, 0)$ 在 $t = 0, \pi/2, \pi, 3\pi/2$ 处有尖点。尖点之间曲率有限，但在尖点处曲率爆炸。星形线是平面的但充满了角落；它是小圆在大圆内滚动时一个点的轨迹（次摆线）。

环面结： $\alpha(t) = ((R + r\cos pt)\cos qt, (R + r\cos pt)\sin qt, r\sin pt)$ 且互质的 $$p, q$$ 追踪一个闭合曲线，该曲线缠绕在环面上，小圈缠绕 $$p$$ 次，大圈缠绕 $$q$$ 次。 $$(2,3)$$ 结是三叶结； $$(3,2)$$ 也是三叶结（镜像）。曲率和挠率振荡但保持有界。结是拓扑学的入口，几何和拓扑之间的联系将在我们的 Gauss-Bonnet 章节中变得明确。

极限、推广和下一步#

关于局部理论的一些诚实的注意事项。

当 $\kappa = 0$ 时，Frenet 标架失效。在拐点处，主法向量 $\mathbf{N}$ 未定义。这不是曲线的缺陷而是标架的缺陷。Bishop 标架（一个“相对平行”的替代品）用两个平行传输的法向量代替 $\mathbf{N}$ 和 $\mathbf{B}$ ，并且处处存在。它是计算机图形学和管状/挤压算法的标准工具，因为 Frenet 标架在拐点附近旋转的趋势会导致纹理和扭曲截面闪烁。Bishop 标架在初始旋转选择上是唯一的，因此它有一个连续的自由度；Frenet 标架在 $\kappa > 0$ 处是规范的。

在高维空间中，比如 $\mathbb{R}^n$ 中，曲线在每一点都有广义 Frenet 标架 $(\mathbf{e}_1, \ldots, \mathbf{e}_n)$ 和 $$n - 1$$ 个曲率函数 $\kappa_1, \ldots, \kappa_{n-1}$ ，由一个 $n\times n$ 斜对称导数矩阵相关联。基本定理可以扩展。我们在系列中不需要这个，但要知道这个装置可以干净地推广是好的。

关于光滑性，我到处都假设了 $C^\infty$ 。对于基本定理，我们只需要 $$C^3$$ （这样 $\alpha'''$ 存在且连续）。对于大多数工程应用， $$C^2$$ 足够讨论 $\kappa$ 但不足以讨论 $\tau$ 。样条，CAD 中常见的分段多项式曲线，通常在节点处只有 $$C^2$$ ，即使曲率连续，挠率也可能在那里跳跃。在这种节点上画一个动画化的 Frenet 标架，你会看到 $\mathbf{B}$ 抖一下；那不是数值误差，那是曲线本身在那个点把"如何弯曲"和"如何扭转"两件事衔接得不够光滑。

关于全局曲线。我整篇都在讲局部理论：在一个点附近 $\kappa, \tau$ 决定了曲线长什么样。全局问题是另一回事，而且要难得多。比如：闭合凸平面曲线的全曲率 $\oint \kappa\,ds$ 等于 $2\pi$ （Hopf 的旋转角定理）；空间中的闭合曲线的全曲率至少是 $2\pi$ ，等号成立当且仅当曲线是平面凸的（Fenchel 定理）；如果曲线还是打结的，全曲率至少是 $4\pi$ （Fary–Milnor 定理）。这些都是"积起来"的命题——把局部的 $\kappa$ 沿着曲线积分得到拓扑信息。这种局部到全局的过渡是微分几何里反复出现的主题，到 Gauss–Bonnet 那一章会变成主旋律。

关于"曲线只是 1 维流形"的视角。从更高的角度看，这一章的全部内容只是一个事实：一维黎曼流形的内蕴几何是平凡的（任何两条等长曲线都内蕴等距），所以所有几何都来自嵌入。 $\kappa$ 和 $\tau$ 度量的不是曲线本身，而是它坐在 $\mathbb{R}^3$ 里的方式。这跟二维曲面的故事截然相反——曲面有内蕴曲率（Gauss 曲率），它不依赖于嵌入。所以读完这一章，可以把"曲线"放到一边，下一章我们要研究的是真正有几何的对象：曲面。

下一步#

我先把工具箱合上。这一章里我们攒下的东西是：弧长参数化把"任意曲线"压成"按速度 1 行进的曲线"，于是切向量、法向量、副法向量构成一个内禀的标架； $\kappa, \tau$ 是这个标架旋转的速率；Frenet–Serret 公式把它们打包成一个一阶 ODE 系统；基本定理说这两个标量函数完全决定了曲线（差一个刚体运动）。

下一章要把维度提一档。把曲线换成曲面之后，“切向量"变成"切平面”，“切线方向上的运动"变成"两参数的局部坐标图”。我们会先问最朴素的问题：曲面上两点之间走多远？两条切方向夹角多少？一小块面元有多大？这些都不需要任何"曲面在 $\mathbb{R}^3$ 里怎么弯"的信息——只需要第一基本形式，一个 $2\times 2$ 的对称正定矩阵 $\mathrm{I} = \begin{pmatrix} E & F \\ F & G \end{pmatrix}$ 。

第一基本形式是从曲线那里继承下来的弧长概念在 2D 的复活。它告诉我们曲面的内蕴几何，也就是一只完全活在曲面上、不知道外面还有 $\mathbb{R}^3$ 的小蚂蚁能感受到的全部几何。等到把内蕴这件事讲清楚之后，我们再回头处理"曲面如何嵌入"——那就是第二基本形式和高斯曲率的领域，也是这门课真正开始变得有趣的地方。