微分几何笔记01-预备知识

这个系列是北京大学陈维桓教授《微分几何(第二版)》的学习笔记，主要涉及古典微分几何中曲线曲面理论的相关知识。系统学习微分几何对于理解计算机图形学中的各种几何处理算法是十分有益的。本节主要介绍古典微分几何涉及的基础知识以及一些常用结论。

三维欧式空间中的标架

向量运算

古典微分几何主要研究三维欧式空间\(\mathbb{E}^3\)，其中的每一个元素称为点。空间中任意两个点\(A, B \in \mathbb{E}^3\)可以构造一条有向线段，记以\(A\)为起点\(B\)为终点的有向线段为\(\overrightarrow{AB}\)。设\(\overrightarrow{AB}\)和\(\overrightarrow{CD}\)为两条有向线段，如果\(ABCD\)构成一个平行四边形则称这两条线段是相等的，记为

\[\overrightarrow{AB} = \overrightarrow{CD}\]

而所有相等的有向线段构成的集合称为一个向量，通常使用斜黑体字母来表示如\(\boldsymbol{a}\)。

加法

向量相加只需要将它们的首尾相接：记\(\overrightarrow{AB}\)和\(\overrightarrow{BC}\)两个向量分别为\(\boldsymbol{a}\)和\(\boldsymbol{b}\)，则连接\(A\)和\(C\)的有向线段\(\overrightarrow{AC}\)就代表向量\(\boldsymbol{a}+\boldsymbol{b}\)。除此之外，我们把起点和终点相同的有向线段集合称为零向量，记作\(\boldsymbol{0}\)。显然任何向量与零向量之和等于其自身：

\[\boldsymbol{a}+\boldsymbol{0} = \boldsymbol{a}\]

若向量\(\boldsymbol{a}\)表示有向线段\(\overrightarrow{AB}\)对应的向量，则有向线段\(\overrightarrow{BA}\)代表的向量可以记作\(-\boldsymbol{a}\)，因此有

\[\boldsymbol{a}+(-\boldsymbol{a}) = \boldsymbol{0}\]

我们把向量\(-\boldsymbol{a}\)称作\(\boldsymbol{a}\)的反向量。容易验证向量加法满足交换律和结合律：

\[\boldsymbol{a}+\boldsymbol{b} = \boldsymbol{b}+\boldsymbol{a}\] \[\boldsymbol{a}+(\boldsymbol{b}+\boldsymbol{c}) = (\boldsymbol{a}+\boldsymbol{b})+\boldsymbol{c}\]

在\(\mathbb{E}^3\)中我们规定线段\(\overrightarrow{AB}\)的长度为点\(A\)到\(B\)的距离，记为\(\vert AB \vert\)。对于空间中的任意三点\(A\)，\(B\)，\(C\)，它们之间的距离需要满足三角不等式：

\[\vert AB \vert + \vert BC \vert \geq \vert AC \vert\]

当且仅当\(A\)，\(B\)，\(C\)三点共线时取等号。

数乘

向量\(\boldsymbol{a}\)的长度\(\vert \boldsymbol{a} \vert\)表示它对应有向线段的长度，在此基础上我们可以定义数乘运算。对于任意实数\(c\)，它与向量\(\boldsymbol{a}\)的乘积\(c \cdot \boldsymbol{a}\)定义为与\(\boldsymbol{a}\)平行的向量。当\(c \gt 0\)时\(c \cdot \boldsymbol{a}\)与\(\boldsymbol{a}\)同向且其长度\(\vert c \cdot \boldsymbol{a} \vert\)为\(\vert \boldsymbol{a} \vert\)的\(c\)倍；类似地，当\(c \lt 0\)时\(c \cdot \boldsymbol{a}\)与\(\boldsymbol{a}\)反向且长度为\(\vert \boldsymbol{a} \vert\)的\(\vert c \vert\)倍；而当\(c = 0\)时\(c \cdot \boldsymbol{a} = \boldsymbol{0}\)。容易验证向量数乘运算满足如下性质：

\[\lambda (\boldsymbol{a} + \boldsymbol{b}) = \lambda \boldsymbol{a} + \lambda \boldsymbol{b}\] \[(\lambda + \mu) \boldsymbol{a} = \lambda \boldsymbol{a} + \mu \boldsymbol{a}\] \[(\lambda \mu) \boldsymbol{a} = \lambda (\mu \boldsymbol{a})\]

其中\(\lambda\)和\(\mu\)为任意实数。

内积

向量和向量之间的内积(点乘)定义为实数

\[\boldsymbol{a} \cdot \boldsymbol{b} = \vert \boldsymbol{a} \vert \cdot \vert \boldsymbol{b} \vert \cdot \cos{\angle(\boldsymbol{a}, \boldsymbol{b})}\]

容易验证内积运算满足如下性质：

\[\boldsymbol{a} \cdot \boldsymbol{b} = \boldsymbol{b} \cdot \boldsymbol{a}\] \[\boldsymbol{c} \cdot (\boldsymbol{a} + \boldsymbol{b}) = \boldsymbol{c} \cdot \boldsymbol{a} + \boldsymbol{c} \cdot \boldsymbol{b}\] \[(\lambda \boldsymbol{a}) \cdot \boldsymbol{b} = \lambda (\boldsymbol{a} \cdot \boldsymbol{b})\]

实际上向量的长度也是由内积来定义的：

\[\vert \boldsymbol{a} \vert^2 = \boldsymbol{a} \cdot \boldsymbol{a} \geq 0\]

当且仅当向量\(\boldsymbol{a}\)为零向量\(\boldsymbol{0}\)时取等号。另外向量\(\boldsymbol{a}\)和\(\boldsymbol{b}\)垂直的充要条件为它们的内积为0：

\[\boldsymbol{a} \cdot \boldsymbol{b} = 0 \Leftrightarrow \boldsymbol{a} \perp \boldsymbol{b}\]

叉乘

当向量\(\boldsymbol{a}\)和\(\boldsymbol{b}\)平行时规定它们的叉乘(向量积)为零向量；而当它们不平行时，规定叉乘\(\boldsymbol{a} \times \boldsymbol{b}\)为与向量\(\boldsymbol{a}\)和\(\boldsymbol{b}\)都垂直的一个向量，其长度为\(\boldsymbol{a}\)和\(\boldsymbol{b}\)所张成的平行四边形面积：

\[\vert \boldsymbol{a} \times \boldsymbol{b} \vert = \vert \boldsymbol{a} \vert \cdot \vert \boldsymbol{b} \vert \cdot \sin{\angle(\boldsymbol{a}, \boldsymbol{b})}\]

且它和\(\boldsymbol{a}\)与\(\boldsymbol{b}\)构成右手系。容易验证叉乘运算满足如下性质：

\[\boldsymbol{a} \times \boldsymbol{b} = -\boldsymbol{b} \times \boldsymbol{a}\] \[\boldsymbol{c} \times (\boldsymbol{a} + \boldsymbol{b}) = \boldsymbol{c} \times \boldsymbol{a} + \boldsymbol{c} \times \boldsymbol{b}\] \[(\lambda \boldsymbol{a}) \times \boldsymbol{b} = \lambda (\boldsymbol{a} \times \boldsymbol{b})\]

根据定义，向量\(\boldsymbol{a}\)和\(\boldsymbol{b}\)相互平行的充要条件为它们的叉乘为零向量：

\[\boldsymbol{a} \times \boldsymbol{b} = \boldsymbol{0} \Leftrightarrow \boldsymbol{a} \parallel \boldsymbol{b}\]

正交标架

取\(\mathbb{E}^3\)空间中不共面的四个点，把其中一点记为\(O\)，其它三点分别记为\(A\)，\(B\)，\(C\)，于是得到一个由一点\(O\)和3个不共面向量\(\overrightarrow{OA}\)，\(\overrightarrow{OB}\)，\(\overrightarrow{OC}\)构成的图形\(\{O; \overrightarrow{OA}, \overrightarrow{OB}, \overrightarrow{OC} \}\)。这样的一个图形称为空间中的一个标架，点\(O\)称为该标架的原点。在给定标架\(\{O; \overrightarrow{OA}, \overrightarrow{OB}, \overrightarrow{OC} \}\)后，由原点指向空间中任意一点\(p\)的向量可以根据平行四边形法则唯一地表示为三个有序实数\((x, y, z)\)：

\[\overrightarrow{Op} = x \ \overrightarrow{OA} + y \ \overrightarrow{OB} + z \ \overrightarrow{OC}\]

数组\((x, y, z)\)称为点\(p\)关于标架\(\{O; \overrightarrow{OA}, \overrightarrow{OB}, \overrightarrow{OC} \}\)的坐标。

设\(\{O; \boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k} \}\)是\(\mathbb{E}^3\)中的一个标架，且\(\boldsymbol{i}\)，\(\boldsymbol{j}\)，\(\boldsymbol{k}\)为彼此垂直并构成右手系的三个向量，则有

\[\boldsymbol{i} \cdot \boldsymbol{i} = \boldsymbol{j} \cdot \boldsymbol{j} = \boldsymbol{k} \cdot \boldsymbol{k} = 1\] \[\boldsymbol{i} \cdot \boldsymbol{j} = \boldsymbol{i} \cdot \boldsymbol{k} = \boldsymbol{j} \cdot \boldsymbol{k} = 0\] \[\boldsymbol{i} \times \boldsymbol{j} = \boldsymbol{k}, \ \boldsymbol{j} \times \boldsymbol{k} = \boldsymbol{i}, \ \boldsymbol{k} \times \boldsymbol{i} = \boldsymbol{j}\]

这样的标架称为右手正交标架，简称正交标架，而由正交标架给出的坐标系则称为笛卡尔直角坐标系。在笛卡尔直角坐标系下，设向量\(\boldsymbol{a}\)和\(\boldsymbol{b}\)的分量分别为\((x_1, y_1, z_1)\)和\((x_2, y_2, z_2)\)，则它们的内积和叉积可以表示为分量运算：

\[\boldsymbol{a} \cdot \boldsymbol{b} = x_1 x_2 + y_1 y_2 + z_1 z_2\] \[\boldsymbol{a} \times \boldsymbol{b} = \begin{vmatrix} \boldsymbol{i} & \boldsymbol{j} & \boldsymbol{k} \\ x_1 & y_1 & z_1 \\ x_2 & y_2 & z_2 \\ \end{vmatrix}\]

设点\(A\)和\(B\)的坐标分别为\((x_1, y_1, z_1)\)和\((x_2, y_2, z_2)\)，则线段\(AB\)的长度可以表示为：

\[\vert AB \vert = \sqrt{\overrightarrow{AB} \cdot \overrightarrow{AB}} = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2 + (z_2 - z_1)^2}\]

对于空间中已知的固定标架\(\{O; \boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k} \}\)，空间中任意正交标架\(\{p; \boldsymbol{e}_1, \boldsymbol{e}_2, \boldsymbol{e}_3 \}\)可以利用下式来进行确定：

\[\begin{cases} \begin{aligned} \overrightarrow{Op} &= a_1 \ \boldsymbol{i} + a_2 \ \boldsymbol{j} + a_3 \ \boldsymbol{k} \\ \boldsymbol{e}_1 &= a_{11} \ \boldsymbol{i} + a_{12} \ \boldsymbol{j} + a_{13} \ \boldsymbol{k} \\ \boldsymbol{e}_2 &= a_{21} \ \boldsymbol{i} + a_{22} \ \boldsymbol{j} + a_{23} \ \boldsymbol{k} \\ \boldsymbol{e}_3 &= a_{31} \ \boldsymbol{i} + a_{32} \ \boldsymbol{j} + a_{33} \ \boldsymbol{k} \\ \end{aligned} \end{cases}\]

其中系数\(a_n\)为向量\(\overrightarrow{Op}\)在固定标架下的第\(n\)个坐标，而\(a_{mn}\)为新标架下第\(m\)个基向量在固定标架第\(n\)个基向量下的投影。利用基向量\(\boldsymbol{e}_i\)的正交性可以得到：

\[\boldsymbol{e}_i \cdot \boldsymbol{e}_j = \sum_{k=1}^3 a_{ik} a_{jk} = \delta_{ij} = \begin{cases} 1, & i = j \\ 0, & i \neq j \\ \end{cases}\]

再根据\(\{ \boldsymbol{e}_1, \boldsymbol{e}_2, \boldsymbol{e}_3 \}\)构成右手系，可以得到

\[\boldsymbol{e}_1 \times \boldsymbol{e}_2 = \boldsymbol{e}_3\]

这样我们可以计算\(\{ \boldsymbol{e}_1, \boldsymbol{e}_2, \boldsymbol{e}_3 \}\)的混合积为

\[\begin{aligned} (\boldsymbol{e}_1, \boldsymbol{e}_2, \boldsymbol{e}_3) &= (\boldsymbol{e}_1 \times \boldsymbol{e}_2) \cdot \boldsymbol{e}_3 = \boldsymbol{e}_3 \cdot \boldsymbol{e}_3 \\ &= \begin{vmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \\ \end{vmatrix} = 1 \end{aligned}\]

令

\[\begin{aligned} \boldsymbol{a} &= (a_1, a_2, a_3) \\ \\ A &= \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \\ \end{pmatrix} \end{aligned}\]

则矩阵\(A\)为行列式等于1的正交矩阵，即\(A \in \text{SO(3)}\)。前面的推导说明\(\mathbb{E}^3\)中的任意标架\(\{p; \boldsymbol{e}_1, \boldsymbol{e}_2, \boldsymbol{e}_3 \}\)都对应一个向量和正交阵\((\boldsymbol{a}, A)\)，因此\(\mathbb{E}^3\)中的全体标架集合等同于\(\mathbb{E}^3 \times \text{SO(3)}\)，这是一个具有6个自由度的空间。

坐标变换

对于空间中已知的两个正交标架\(\{O; \boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k} \}\)和\(\{p; \boldsymbol{e}_1, \boldsymbol{e}_2, \boldsymbol{e}_3 \}\)，记点\(q\)在两个标架下的坐标分别为\((x, y, z)\)和\((\tilde{x}, \tilde{y}, \tilde{z})\)，则有

\[\overrightarrow{Oq} = x \ \boldsymbol{i} + y \ \boldsymbol{j} + z \ \boldsymbol{k} = (x, y, z) \cdot \begin{pmatrix} \boldsymbol{i} \\ \boldsymbol{j} \\ \boldsymbol{k} \end{pmatrix}\]

另一方面，

\[\begin{aligned} \overrightarrow{Oq} &= \overrightarrow{Op} + \overrightarrow{pq} \\ &= (a_1, a_2, a_3) \cdot \begin{pmatrix} \boldsymbol{i} \\ \boldsymbol{j} \\ \boldsymbol{k} \end{pmatrix} + (\tilde{x}, \tilde{y}, \tilde{z}) \cdot \begin{pmatrix} \boldsymbol{e}_1 \\ \boldsymbol{e}_2 \\ \boldsymbol{e}_3 \\ \end{pmatrix} \\ &= (\boldsymbol{a} + (\tilde{x}, \tilde{y}, \tilde{z}) \cdot A) \begin{pmatrix} \boldsymbol{i} \\ \boldsymbol{j} \\ \boldsymbol{k} \end{pmatrix} \end{aligned}\]

这说明两个正交标架下的坐标变换满足关系式

\[(x, y, z) = \boldsymbol{a} + (\tilde{x}, \tilde{y}, \tilde{z}) \cdot A\]

其展开形式为

\[\begin{cases} \begin{aligned} x &= a_1 + a_{11} \ \tilde{x} + a_{21} \ \tilde{y} + a_{31} \ \tilde{z} \\ y &= a_2 + a_{12} \ \tilde{x} + a_{22} \ \tilde{y} + a_{32} \ \tilde{z} \\ z &= a_3 + a_{13} \ \tilde{x} + a_{23} \ \tilde{y} + a_{33} \ \tilde{z} \\ \end{aligned} \end{cases}\]

刚体运动

正交标架的另一个重要应用是用来描述\(\mathbb{E}^3\)中的刚体运动。假设刚体上的正交标架为\(\{p; \boldsymbol{e}_1, \boldsymbol{e}_2, \boldsymbol{e}_3 \}\)，在初始时刻它与固定标架\(\{O; \boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k} \}\)重合。刚体经过运动\(\sigma\)后到达了新的位置，此时刚体上的点\(q\)在刚体运动\(\sigma\)的作用下变成了像点

\[\tilde{q} = \sigma(q)\]

由于\(q\)点的相对位置在变换前后是一致的，我们有

\[\begin{aligned} \overrightarrow{Oq} &= (x, y, z) \cdot \begin{pmatrix} \boldsymbol{i} \\ \boldsymbol{j} \\ \boldsymbol{k} \end{pmatrix} \\ \\ \overrightarrow{p\tilde{q}} &= (x, y, z) \cdot \begin{pmatrix} \boldsymbol{e}_1 \\ \boldsymbol{e}_2 \\ \boldsymbol{e}_3 \\ \end{pmatrix} \end{aligned}\]

因此

\[\begin{aligned} \overrightarrow{O \tilde{q}} &= \overrightarrow{Op} + \overrightarrow{p\tilde{q}} \\ &= (\boldsymbol{a} + (x, y, z) \cdot A) \begin{pmatrix} \boldsymbol{i} \\ \boldsymbol{j} \\ \boldsymbol{k} \end{pmatrix} \end{aligned}\]

这表示\(\tilde{q} = \sigma(q)\)关于\(\{O; \boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k} \}\)的坐标为

\[(\tilde{x}, \tilde{y}, \tilde{z}) = \boldsymbol{a} + (x, y, z) \cdot A\]

其展开形式为

\[\begin{cases} \begin{aligned} \tilde{x} &= a_1 + a_{11} \ x + a_{21} \ y + a_{31} \ z \\ \tilde{y} &= a_2 + a_{12} \ x + a_{22} \ y + a_{32} \ z \\ \tilde{z} &= a_3 + a_{13} \ x + a_{23} \ y + a_{33} \ z \\ \end{aligned} \end{cases}\]

上式说明刚体运动可以看作是一种坐标变换。总结一下可以得到如下定理：

定理1.1

\(\mathbb{E}^3\)中的刚体运动把一个正交标架映射为另一个正交标架；反过来，\(\mathbb{E}^3\)中的任意两个正交标架，必有一个\(\mathbb{E}^3\)中的刚体运动把其中一个正交标架映射为另一个正交标架。

实际上刚体运动可以看作是\(\mathbb{E}^3\)到其自身的一种变换，它的特点是可以保持任意两点之间的距离保持不变，这样的变换称为等距变换。可以证明刚体运动是保持右手系不变的等距变换，而等距变换或者是一个刚体运动，或者是刚体运动关于某个平面反射的合成。

向量函数

由三维欧式空间中全体向量组成的空间称为三维欧式向量空间。当给定了正交标架\(\{O; \boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k} \}\)后，该空间等价于由有序的三个实数构成的空间\(\mathbb{R}^3\)。在此基础上我们定义向量函数为其定义域到\(\mathbb{R}^3\)的映射，即三个有序实函数。

设有定义在区间\([a, b]\)上的向量函数

\[\boldsymbol{r} (t) = (x(t), y(t), z(t)), \ \ t \in [a, b]\]

如果其三个分量\(x(t)\)，\(y(t)\)，\(z(t)\)都是关于\(t\)的连续函数，则称向量函数\(\boldsymbol{r} (t)\)是连续的；如果\(x(t)\)，\(y(t)\)，\(z(t)\)都是关于\(t\)的连续可微函数，则称向量函数\(\boldsymbol{r} (t)\)是连续可微的。向量函数\(\boldsymbol{r} (t)\)的导数和积分定义与数值函数的导数和积分的定义是相同的，即

\[\begin{aligned} \frac{\mathrm{d} \boldsymbol{r}}{\mathrm{d} t} \bigg|_{t = t_0} &= \lim_{\Delta t \to 0} \frac{\boldsymbol{r}(t_0 + \Delta t) - \boldsymbol{r}(t_0)}{\Delta t} \\ &= \lim_{\Delta t \to 0} \bigg( \frac{x(t_0 + \Delta t) - x(t_0)}{\Delta t}, \frac{y(t_0 + \Delta t) - y(t_0)}{\Delta t}, \frac{z(t_0 + \Delta t) - z(t_0)}{\Delta t} \bigg) \\ &= (x'(t_0), y'(t_0), z'(t_0)) \\ \\ \int_a^b \boldsymbol{r}(t) \ \mathrm{d} t &= \bigg( \int_a^b x(t) \ \mathrm{d} t, \int_a^b y(t) \ \mathrm{d} t, \int_a^b z(t) \ \mathrm{d} t \bigg) \end{aligned}\]

因此向量函数的求导和积分归结于它的分量函数的求导和积分，向量函数的可微性和可积性归结于它它的分量函数的可微性和可积性。

定理1.2

假定\(\boldsymbol{a}(t)\)，\(\boldsymbol{b}(t)\)，\(\boldsymbol{c}(t)\)是三个可微的向量函数，则它们的内积、向量积和混合积的导数有下面的公式：
(1) \((\boldsymbol{a}(t) \cdot \boldsymbol{b}(t))' = \boldsymbol{a}'(t) \cdot \boldsymbol{b}(t) + \boldsymbol{a}(t) \cdot \boldsymbol{b}'(t)\)
(2) \((\boldsymbol{a}(t) \times \boldsymbol{b}(t))' = \boldsymbol{a}'(t) \times \boldsymbol{b}(t) + \boldsymbol{a}(t) \times \boldsymbol{b}'(t)\)
(3) \((\boldsymbol{a}(t), \boldsymbol{b}(t), \boldsymbol{c}(t))' = (\boldsymbol{a}'(t), \boldsymbol{b}(t), \boldsymbol{c}(t)) + (\boldsymbol{a}(t), \boldsymbol{b}'(t), \boldsymbol{c}(t)) + (\boldsymbol{a}(t), \boldsymbol{b}(t), \boldsymbol{c}'(t))\)

除此之外，下面定理给出了具有特殊性质的向量函数所满足的条件，以后会经常用到：

定理1.3

设\(\boldsymbol{a}(t)\)是一个处处非零的连续可微向量函数，则
(1) 向量函数\(\boldsymbol{a}(t)\)的长度是常数当且仅当\(\boldsymbol{a}'(t) \cdot \boldsymbol{a}(t) \equiv 0\)
(2) 向量函数\(\boldsymbol{a}(t)\)的方向不变当且仅当\(\boldsymbol{a}'(t) \times \boldsymbol{a}(t) \equiv \boldsymbol{0}\)
(3) 如果向量函数\(\boldsymbol{a}(t)\)与某个固定方向垂直，那么\((\boldsymbol{a}(t), \boldsymbol{a}'(t), \boldsymbol{a}''(t)) \equiv 0\)
反过来，如果上式成立且处处有\(\boldsymbol{a}'(t) \times \boldsymbol{a}(t) \neq \boldsymbol{0}\)，那么向量函数\(\boldsymbol{a}(t)\)必与某个固定方向垂直

证明

(1)

\[\begin{aligned} \frac{\mathrm{d}}{\mathrm{d} t} \vert \boldsymbol{a}(t) \vert^2 &= \frac{\mathrm{d} (\boldsymbol{a}(t) \cdot \boldsymbol{a}(t))}{\mathrm{d} t} \\ &= \boldsymbol{a}'(t) \cdot \boldsymbol{a}(t) + \boldsymbol{a}(t) \cdot \boldsymbol{a}'(t) \\ &= 2 \boldsymbol{a}'(t) \cdot \boldsymbol{a}(t) \end{aligned}\]

因此\(\vert \boldsymbol{a}(t) \vert^2\)为常数当且仅当\(\boldsymbol{a}'(t) \cdot \boldsymbol{a}(t) \equiv 0\)。

(2) 如果向量函数\(\boldsymbol{a}(t)\)的方向不变，则存在一个单位向量\(\boldsymbol{b}\)使得向量函数\(\boldsymbol{a}(t)\)能够写成

\[\boldsymbol{a}(t) = f(t) \cdot \boldsymbol{b}\]

其中\(f(t) = \boldsymbol{a}(t) \cdot \boldsymbol{b}\)是处处非零的连续可微函数，因此

\[\begin{aligned} \boldsymbol{a}'(t) &= f'(t) \cdot \boldsymbol{b} \\ \\ \boldsymbol{a}'(t) \times \boldsymbol{a}(t) &= (f'(t) \cdot \boldsymbol{b}) \times (f(t) \cdot \boldsymbol{b}) \\ &\equiv \boldsymbol{0} \end{aligned}\]

反过来，如果\(\boldsymbol{a}'(t) \times \boldsymbol{a}(t) \equiv \boldsymbol{0}\)，令\(\boldsymbol{b}(t) = \frac{\boldsymbol{a}(t)}{\vert \boldsymbol{a}(t) \vert}\)，\(\vert \boldsymbol{b}(t) \vert = 1\)。我们需要证明\(\boldsymbol{b}(t)\)是常向量函数。

由于\(\boldsymbol{b}(t)\)的长度为1，根据(1)可知

\[\boldsymbol{b}'(t) \cdot \boldsymbol{b}(t) \equiv 0\]

即

\[\boldsymbol{b}'(t) \cdot \boldsymbol{a}(t) \equiv 0\]

由\(\boldsymbol{b}(t)\)的定义可知

\[\boldsymbol{a}(t) = f(t) \cdot \boldsymbol{b} (t)\]

其中\(f(t) = \vert \boldsymbol{a}(t) \vert\)处处不为零，因此

\[\boldsymbol{a}'(t) = f'(t) \cdot \boldsymbol{b}(t) + f(t) \cdot \boldsymbol{b}'(t)\] \[\boldsymbol{a}'(t) \times \boldsymbol{a}(t) = f(t) \boldsymbol{b}'(t) \times \boldsymbol{a}(t) = \boldsymbol{0}\]

因此有\(\boldsymbol{b}'(t) \times \boldsymbol{a}(t) = \boldsymbol{0}\)，即\(\boldsymbol{b}'(t)\)与\(\boldsymbol{a}(t)\)共线

\[\boldsymbol{b}'(t) = \lambda(t) \cdot \boldsymbol{a}(t)\]

由于\(\boldsymbol{b}'(t) \cdot \boldsymbol{a}(t) \equiv 0\)，有

\[\begin{aligned} \boldsymbol{b}'(t) \cdot \boldsymbol{a}(t) &= \lambda(t) \boldsymbol{a}(t) \cdot \boldsymbol{a} (t) \\ &= \lambda(t) f^2(t) \\ &\equiv 0 \end{aligned}\]

因此\(\lambda(t) \equiv 0\)，即

\[\boldsymbol{b}'(t) \equiv \boldsymbol{0}\]

故\(\boldsymbol{b}(t)\)是常向量，向量函数\(\boldsymbol{a}(t)\)的方向不变。

(3) 设有单位常向量\(\boldsymbol{b}\)使得\(\boldsymbol{a}(t) \cdot \boldsymbol{b} \equiv 0\)，对该式进行求导可以得到

\[\boldsymbol{a}'(t) \cdot \boldsymbol{b} \equiv 0\] \[\boldsymbol{a}''(t) \cdot \boldsymbol{b} \equiv 0\]

这说明\(\boldsymbol{a}(t)\)，\(\boldsymbol{a}'(t)\)，\(\boldsymbol{a}''(t)\)都垂直于\(\boldsymbol{b}\)，即都位于\(\boldsymbol{b}\)的正交补空间内。因此向量\(\boldsymbol{a}(t)\)，\(\boldsymbol{a}'(t)\)，\(\boldsymbol{a}''(t)\)共面，其混合积满足

\[(\boldsymbol{a}(t), \boldsymbol{a}'(t), \boldsymbol{a}''(t)) \equiv 0\]

反过来，假定上面的式子成立，则有

\[(\boldsymbol{a}(t) \times \boldsymbol{a}'(t)) \cdot \boldsymbol{a}''(t) \equiv 0\]

由于\(\boldsymbol{a}'(t) \times \boldsymbol{a}(t) \neq \boldsymbol{0}\)，我们令

\[\boldsymbol{b}(t) = \boldsymbol{a}'(t) \times \boldsymbol{a}(t)\]

则

\[\boldsymbol{b}'(t) = \boldsymbol{a}''(t) \times \boldsymbol{a}(t)\]

进而

\[\begin{aligned} \boldsymbol{b}(t) \times \boldsymbol{b}'(t) &= \boldsymbol{b}(t) \times (\boldsymbol{a}''(t) \times \boldsymbol{a}(t)) \\ &= (\boldsymbol{b}(t) \cdot \boldsymbol{a}(t)) \boldsymbol{a}''(t) - (\boldsymbol{b}(t) \cdot \boldsymbol{a}''(t)) \boldsymbol{a}(t) \\ &= (\boldsymbol{a}(t), \boldsymbol{a}'(t), \boldsymbol{a}''(t)) \boldsymbol{a}(t) \equiv 0 \end{aligned}\]

注意这里使用了向量三重积公式

\[\boldsymbol{a} \times (\boldsymbol{b} \times \boldsymbol{c}) = (\boldsymbol{a} \cdot \boldsymbol{c}) \boldsymbol{b} - (\boldsymbol{a} \cdot \boldsymbol{b}) \boldsymbol{c}\]

根据(2)，\(\boldsymbol{b}(t)\)有固定的方向。令\(\boldsymbol{b}_0(t) = \frac{\boldsymbol{b}(t)}{\vert \boldsymbol{b}(t) \vert}\)，则\(\boldsymbol{b}_0(t)\)即为单位常向量且满足

\[\boldsymbol{a}(t) \cdot \boldsymbol{b}_0(t) = \frac{\boldsymbol{a}(t) \cdot \boldsymbol{b}(t)}{\vert \boldsymbol{b}(t) \vert} \equiv \boldsymbol{0}\]

即\(\boldsymbol{a}(t)\)与固定方向\(\boldsymbol{b}_0(t)\)垂直。证毕∎