旋转公式的深度推导与几何直觉：从线性代数到计算机图形学
在计算机图形学、机器人学以及物理学中，旋转（Rotation） 是最基础也最核心的变换之一。无论是让3D模型在屏幕上转动，还是计算机械臂的末端位姿，都离不开旋转矩阵。
虽然很多的工程师能够熟练调用现成的旋转矩阵，但深入理解其推导过程不仅能帮助我们避免“黑盒”使用带来的陷阱，还能让我们在面对复杂变换（如欧拉角、四元数）时拥有更坚实的几何直觉。这篇文章将通过二维平面到三维空间的逻辑递进，详细推导旋转公式，并辅以数据表格说明不同旋转顺序的效应。
二维平面旋转：基石的构建
推导三维旋转前，我们必须先彻底掌握二维旋转。假设我们在笛卡尔坐标系中有一个点 ，其极坐标显示为 ，直角坐标显示为 ：
现在，我们将点 绕原点逆时针旋转角度 ，得到新点 ，其坐标为 ，角度变为 。根据三角恒等式展开：
将 和 代入上式，我们得到线性变换关系：
将其写成矩阵形式，即得到二维旋转矩阵 （因为在XY平面旋转，等效于绕Z轴旋转）：
关键点：注意负号的位置。在标准右手坐标系中，逆时针旋转为正， 的表达式中 项为负，这是由余弦的和角公式决定的。
三维空间旋转：绕坐标轴的变换
在三维空间中，绕任意轴的旋转可以分解为绕三个基本坐标轴（X、Y、Z）旋转的组合。我们分别推导绕 X、Y、Z 轴的旋转矩阵。
绕 Z 轴旋转
绕 Z 轴旋转时，Z 坐标不变，XY 平面内的变换与二维情况完全一致：
绕 X 轴旋转
绕 X 轴旋转时，X 坐标不变，YZ 平面内的点 发生旋转。想象从 X 轴正向看向原点，Y 轴转向 Z 轴为逆时针方向：
绕 Y 轴旋转
绕 Y 轴旋转时，Y 坐标不变。注意：由于右手定则，从 Y 轴正向看，Z 轴转向 X 轴的方向与常规直觉相反。为了保持行列式为 1（纯旋转，无反射），Y 轴旋转矩阵中的符号与其他两个轴不同：
复合旋转与顺序
在实际应用中，物体不会只绕一个轴旋转。复合旋转通过矩阵乘法实现。不过，矩阵乘法不满足交换律，即 。旋转的顺序。
，复合旋转分为两类：
1. 固定轴旋转（Fixed-Axis Rotation）：每次旋转都相对于世界坐标系（全局坐标系）。矩阵左乘：。
2. 动轴旋转（Moving-Axis Rotation / Euler Angles）：每次旋转都相对于物体当前的局部坐标系。矩阵右乘：。
数据说明：不同旋转顺序对结果的作用
为了直观展示顺序的影响，我们设定两个旋转角度：（绕X轴），（绕Y轴）。初始点 。
| 旋转顺序 | 变换矩阵计算逻辑 | 坐标 | 几何解释 |
|---|---|---|---|
| 先 X 后 Y |
1. 绕 X 转 90°: 2. 绕 Y 转 90°: |
先沿 X 轴自转（点不动），再绕 Y 轴公转，点落在负 Z 轴。 | |
| 先 Y 后 X |
1. 绕 Y 转 90°: 2. 绕 X 转 90°: |
先绕 Y 轴公转至 Z 轴正向，再沿 X 轴自转，点落在负 Y 轴。 |
结论：即使角度相同，旋转顺序不同会导致朝向完全不同。在计算机图形学中，必须严格约定旋转顺序（如 ZYX 欧拉角）。
从欧拉角到万向节死锁（Gimbal Lock）
虽然欧拉角（Euler Angles）直观易懂，但它存在一个致命缺陷：万向节死锁。
当中间轴的旋转角度达到 时，轴和轴的旋转轴会重合，导致系统丢失一个自由度。，在常见的 ZYX 欧拉角中，当绕 Y 轴旋转 时， 矩阵变为：
此时，再绕 Z 轴和 X 轴旋转的效果在数学上是等效的，我们无法独立控制两个自由度。这就是为什么在高端动画和航空航天领域，四元数（Quaternions） 逐渐取代了欧拉角，因为它没有奇异性，且插值平滑。
总结与应用建议
1. 基础推导：二维旋转是三维旋转，核心在于三角恒等式和右手定则。
2. 矩阵特性：
旋转矩阵是正交矩阵，其逆矩阵等于转置矩阵（）。
行列式恒为 1。
3. 顺序敏感：在实际编程（如 Unity, OpenGL, ROS）中，务必明确使用的是“固定轴”还是“动轴”乘法顺序。
4. 避免死锁：对于需连续旋转或插值的场景，优先使用四元数，仅在需直观角度输入时运用欧拉角。
理解旋转公式的推导，不仅是掌握数学工具，更是建立空间几何思维一步。希望这篇文章能为您的学习或开发提供清晰的指引。
