第四章：欧拉角

三维旋转的矩阵分析引出了一个降维思路：既然 $SO(3)$ 的矩阵在正交与取向条件的约束下仅保留三个局部自由方向，使用三个角度参数来记录空间姿态成为一种几何构造。这种做法具有工程背景，例如相机、飞行器以及头部姿态的定位，通常依赖于将整体位移分解为三个相互正交方向上的偏转。由此引出的欧拉角方法，旨在将一次三维空间姿态解构为三次基础旋转的复合，从而为 $SO(3)$ 建立一套具备可读性的局部坐标体系。前面关于局部三维特性的讨论已经表明，常规姿态附近存在三个独立的演化方向，欧拉角体系正是通过三个具体角度将这些方向加以参数化。这种参数化策略在局部区域内有效，接下来需要评估该坐标体系的全局覆盖能力，并分析其接近特定位形时的坐标退化。

旋转组合

指定一套欧拉角需要依赖特定的附加规则。仅写出形式如

(\phi,\theta,\psi)

的坐标序列，还需要确定每个角度对应的旋转轴面以及变换的先后次序。为便于讨论，我们固定一种主动旋转视角，即观测坐标系保持静止，而对物体上的矢量进行实际转动。若按动作发生的先后次序选定固定轴 $x\to y\to z$ ，在列向量表示法下，矩阵乘法体现为由右向左的左乘作用，总的旋转操作记为 $R_zR_yR_x$ 。这一常见的固定轴顺序约定为：首先绕固定的 $x$ 轴旋转 $\phi$ ，随后绕固定的 $y$ 轴旋转 $\theta$ ，最后绕固定的 $z$ 轴旋转 $\psi$ 。该约定体系给出的总变换矩阵表示为

R=R_z(\psi)R_y(\theta)R_x(\phi)

这种绕三根不同固定轴依次旋转的约定，在工程语境中也常称为 Tait—Bryan 角或 Cardan 角。经典欧拉角一词有时特指 $ZXZ$ 等首尾轴重复的约定。本文沿用上式所示的固定轴 $XYZ$ 约定，后续所有公式均以此为准。

其中各基础旋转矩阵的具体形式为

R_x(\phi)= \begin{bmatrix} 1&0&0\\ 0&\cos\phi&-\sin\phi\\ 0&\sin\phi&\cos\phi \end{bmatrix}

R_y(\theta)= \begin{bmatrix} \cos\theta&0&\sin\theta\\ 0&1&0\\ -\sin\theta&0&\cos\theta \end{bmatrix}

R_z(\psi)= \begin{bmatrix} \cos\psi&-\sin\psi&0\\ \sin\psi&\cos\psi&0\\ 0&0&1 \end{bmatrix}

由于 $SO(3)$ 群具备对矩阵乘法的封闭性，这三个分别属于 $SO(3)$ 的矩阵的乘积仍给出一个三维旋转。这揭示了欧拉角参数化的基本特征：角度数值的几何意义建立在整套约定之上。轴的选取顺序、旋转正方向、主被动视角的确定以及向量排布方式共同构成这套表达的语法系统。欧拉角的坐标数值需要与这些规则结合，才能对应到确定的空间姿态。

顺序非对易性

三维旋转复合的不可交换性影响参数映射形式。在一般情形下，矩阵连乘表达式

R_z(\psi)R_y(\theta)R_x(\phi)

与

R_x(\phi)R_y(\theta)R_z(\psi)

通常对应不同的空间姿态。这一代数性质对欧拉角体系具有重要影响。对于同一组角度数值，排列次序的改变将生成另一种参数到旋转群的映射关系。例如，映射规则

(\phi,\theta,\psi) \longmapsto R_z(\psi)R_y(\theta)R_x(\phi)

构成一种特定的局部坐标覆盖，而

(\phi,\theta,\psi) \longmapsto R_x(\phi)R_y(\theta)R_z(\psi)

则构建出另一套几何映射。这种差异代表着三维空间中的不同位形关系。相比二维平面中单一旋转面带来的角度恒定释义，三维空间的多个正交平面要求角度参数需要与具体运算顺序绑定，才能提供确定的姿态描述。

内旋与外旋

欧拉角体系需要区分基准轴系的选择模式。这涉及后续旋转是基于空间中固定的参考系（即外旋模式），还是基于随物体同步转动的局部参考系（即内旋模式）。前述的矩阵表达式

R=R_z(\psi)R_y(\theta)R_x(\phi)

对应着外旋解释：首先绕固定的 $x$ 轴旋转 $\phi$ ，接着绕固定的 $y$ 轴旋转 $\theta$ ，最后绕固定的 $z$ 轴旋转 $\psi$ 。相对应地，内旋操作要求后续的旋转轴随前序旋转发生改变。例如，在绕固定 $x$ 轴完成 $90^\circ$ 旋转后，物体自身的第二根材料轴将由初始的

\mathbf e_2

转至

\mathbf e_3

方向。此时若执行后续的内旋动作，参考轴将取用空间中处于 $\mathbf e_3$ 方位的随动轴；而在外旋语境下，参考轴将继续维持初始确定的 $\mathbf e_2$ 方向。这两种选择通常导致不同的结果姿态。内旋与外旋作为两种等效的生成路径，都可用于表示 $SO(3)$ 元素，两者间的等价转换伴随着矩阵连乘顺序的调整。由此可见，角度参数的几何意义依赖于完整的操作约定。为了确保位形描述的唯一性，一套明确的欧拉角系统需要显式地确立以下规范：轴的选取顺序、固定轴与随动轴的选择标准、角度的正向测度规则、代数向量的行列排布形式，以及主被动几何视角。这些规范构成了欧拉角参数化方法的基本规则，共同规定三个角度的代数语义。

局部坐标卡

这些约定使欧拉角在常规姿态区域具有有效性。以固定轴 $x\to y\to z$ 的操作序列为例：

R=R_z(\psi)R_y(\theta)R_x(\phi)

考察其在初始零姿态附近的性质。当参数取为

\phi=\theta=\psi=0

时，总体变换矩阵为恒等矩阵 $I$ 。此时对 $\phi$ 施加微小增量将产生绕固定 $x$ 轴的无穷小旋转；对 $\theta$ 或 $\psi$ 施加增量则分别产生绕固定 $y$ 轴或 $z$ 轴的无穷小旋转。由于这三个基准轴彼此正交，这三类微小动作在参数空间中对应三种相互独立的姿态变化方向。在此基准点之外，只要局部扰动在投射到 $SO(3)$ 流形时继续保持满秩映射，欧拉角系统即可作为局部坐标卡。保持满秩映射的位置构成了这套坐标系的常规工作域。这一特征与群流形的局部三维自由度契合，表明欧拉角在较大的参数区域内为这些独立方向提供了具体的量化指标。基于将偏航、俯仰与横滚拆分解读的工程习惯，这种坐标系具有几何直观性。这表明欧拉角是一种局部坐标图，其效用集中体现在常规姿态附近的平滑区域。由此引出关于欧拉角全局拓扑性质的考量：这种局部参数化结构在向整个 $SO(3)$ 空间延展时，会遇到其表达边界。

万向节锁

通过机械万向节的物理模型可以帮助理解上述边界现象。考察一套由外、中、内三层圆环构成的嵌套机构，各环依次控制一个独立的旋转轴。在一般构型下，三环轴线指向不同的空间方位，由此提供的三个角度参数能够驱动三种相互独立的姿态偏转。当中间环转动至 $90^\circ$ 特定位置，外环与内环的轴线将发生共线对齐。这一几何重合导致两个独立的驱动变量作用于同一旋转方向，使得系统能够生成的独立姿态变化维度降为二维，此类现象在工程上统称为万向节锁。万向节锁反映的是数学表达体系的奇异性，对应坐标映射在特定位置发生了降秩，此时欧拉角系统将参数空间的两个独立维度映射到群流形中的同一方向上。这种维度压缩在代数公式中展现得较为明显。继续采用先前的操作矩阵

R=R_z(\psi)R_y(\theta)R_x(\phi)

当中间参数取定临界值

\theta=\frac{\pi}{2}

时，总变换矩阵化简为

R= \begin{bmatrix} 0&\sin(\phi-\psi)&\cos(\phi-\psi)\\ 0&\cos(\phi-\psi)&-\sin(\phi-\psi)\\ -1&0&0 \end{bmatrix}

在该矩阵表达式中，自变量 $\phi$ 与 $\psi$ 融合为一种共同的依赖形式，它们通过差值组合

\phi-\psi

参与变换。这表示若对 $\phi$ 和 $\psi$ 同步施加相等的微小增量 $\delta$ ：

\phi\mapsto \phi+\delta,\quad \psi\mapsto \psi+\delta

该差值 $\phi-\psi$ 将维持恒定，使得复合旋转矩阵保持不变。参数空间内的二维位移在此处投射后呈现为单一的姿态演化结果，标志着局部坐标系损失一个独立自由度。

坐标退化

在此阶段，需要区分作为代数实体的旋转操作与其参数化坐标体系。作为流形 $SO(3)$ 元素的旋转矩阵保持完整，物体在三维空间中仍具有三维物理自由度。产生奇异性的是从三维参量空间到群流形的映射过程：

(\phi,\theta,\psi) \longmapsto R_z(\psi)R_y(\theta)R_x(\phi)

在诸如 $\theta=\frac{\pi}{2}$ 的临界位置，参数空间中原本正交的移动方向在映射至 $SO(3)$ 时发生共线重叠，使得三维参量系统在该处退化为二维表达形式。此处的解析计算反映了坐标覆盖方式的拓扑属性。我们可以借用球面地理坐标来理解这种流形参数化的普遍特征。在地球北极，二维球面的流形结构依然平滑连续，发生退化的是经纬度网格的参数化形式。由于所有经线交汇于极点，经度参数在该区域出现坐标冗余。通过调整极轴位置可以改善某一特定区域的坐标分布，但新的坐标图谱会在其他位置产生类似奇点。欧拉角参数化遵循着同类拓扑约束。调整各轴的旋转顺序能够改变退化点的具体位置，但这种退化点会在 $SO(3)$ 流形的其他区域重现。试图依靠单一的三参数坐标卡实现对群流形的全局平滑覆盖，会面临由于流形内禀拓扑带来的障碍。这种代数现象体现了局部流形切空间与全局参数化映射之间的差异。欧拉角系统利用三个参数形成了普通区域的局部三维活动空间，但在逼近特定临界区域时，显示其全局坐标化局限。

轴角引入

欧拉角的分析给出一个几何启示：将整体姿态解构为三次基础转动可以生成直观的参数体系，同时这种解构机制也伴随着较多的代数约定与拓扑退化。由此引出一种整体几何表述：改从单次旋转本身入手，寻求对单次三维旋转自身的刻画。若对任意三维旋转，空间中存在一条维持方向不变的轴线，该不变方向即可定义为系统的旋转主轴。此时，平行于主轴的向量分量保持不变，而垂直于主轴的截面内则发生标准的二维平面旋转。循着这一逻辑，任意三维旋转均可利用一组“轴向矢量”与“转动角度”加以表示。这构成了另一套参数化思路的起点，同时向代数理论提出了一个进一步的探究方向：任意三维旋转矩阵是否具有这样一个特征值为 1 的不变轴方向？