四元数乘法顺序解析：从局部坐标系到全局坐标系的旋转传递-CSDN博客

1. 为什么乘法顺序如此重要？一个旋转引发的“血案”

大家好，我是老张，在游戏和机器人行业摸爬滚打了十几年。今天想和大家聊聊一个看似枯燥，但实际开发中几乎每天都会遇到的“坑”——四元数的乘法顺序。我记得刚入行那会儿，在Unity里写一个机械臂的旋转动画，明明每个关节的旋转角度都算对了，可最后手爪的位置就是不对，要么飞到天上，要么钻进地里。折腾了两天，最后发现罪魁祸首就是四元数乘法的左右顺序搞反了。这就像你组装宜家家具，说明书上写的“先A后B”，你偏要“先B后A”，最后出来的肯定不是那个柜子。

四元数，这个由数学家哈密顿在1843年灵光一现发明的数学工具，如今是3D图形学和机器人学的基石。它用四个数 (x, y, z, w) 就能优雅地表示一个三维旋转，避免了欧拉角的万向节死锁，又比旋转矩阵更高效。但它的“反直觉”特性也很多，其中最让人头疼的就是它的乘法不满足交换律。也就是说，q1 * q2 的结果和 q2 * q1 完全不同。这可不是简单的顺序调换，而是意味着完全不同的旋转效果。

我们可以打个比方。想象一下拧魔方：你先绕竖直轴（Y轴）转90度，再绕向右的轴（X轴）转90度。得到的是一个状态。现在反过来，先绕X轴转90度，再绕Y轴转90度。你试试看，这两个最终状态一样吗？完全不一样！四元数的乘法顺序，决定的正是这种“动作叠加”的次序。

在3D系统中，这种顺序问题会具体表现为两种截然不同的视角：

全局坐标系（世界坐标系）旋转：每次旋转都相对于一个固定不变的、最初的世界坐标轴进行。就像站在地面不动，指挥一个物体“先绕世界的Y轴转，再绕世界的X轴转”。
局部坐标系（物体坐标系）旋转：每次旋转后，物体的自身坐标轴也跟着变了，下一次旋转是相对于这个新的、变动过的自身轴进行的。就像你自己原地转身（改变了面向），然后下一个指令“向左转”，这个“左”是相对于你新的面向而言的。

这两种理解方式，直接对应了四元数乘法中“左乘”和“右乘”的不同含义。搞不清这个，你的角色动画可能会扭成麻花，你的机械臂可能会打结。接下来，我们就彻底掰开揉碎，看看这左右顺序到底是怎么影响从局部到全局的旋转传递的。

2. 左乘与右乘：两种视角，两个世界

要理解乘法顺序，我们得先回到四元数旋转一个向量的标准公式。对于一个表示旋转的单位四元数 q 和一个表示点的纯四元数 p（实部为0，虚部对应坐标），旋转后的点 p' 是： p' = q * p * q^{-1}

这个公式像三明治一样，把被旋转的点 p 夹在中间。这里就隐含了“左乘”和“右乘”：先左乘 q，再右乘 q 的逆 q^{-1}。这个完整的操作保证了结果仍然是一个纯四元数（实部为0），即一个有效的三维点。

那么，如果我们单独看“左乘” q * p 是什么意思呢？从几何上看，它可以被理解为在全局坐标系下施加了一个旋转，但这个旋转可能不那么“纯粹”，会产生一些我们不需要的“扭曲”（数学上表现为结果四元数的实部可能不为零）。而后面再右乘 q^{-1}，可以看作是对坐标系本身进行了一个反向的补偿和修正，最终把结果“拉回”纯粹的三维旋转效果。这是理解乘法顺序的第一个层次：一个完整的旋转操作，内部就包含了左右两种乘法，它们协同工作。

但在级联旋转，也就是连续进行多个旋转时，左乘和右乘的选择就上升到了系统设计的层面，决定了你是在用哪种视角看待旋转链。假设我们有两个旋转要按顺序施加：先旋转 q1，再旋转 q2。

视角一：局部坐标系旋转（后发生的旋转乘在左边） 这是最符合直觉、也是Unity等引擎默认采用的方式。它的计算顺序是：q_total = q2 * q1。 几何意义：先执行 q1（比如肩膀旋转），此时上臂的局部坐标系发生了变化。然后，q2（比如肘部旋转）是相对于这个新的、旋转后的上臂坐标系来执行的。在代码里，我们通常这样累加旋转：
```
// Unity/C# 示例：局部坐标系视角的级联旋转
Quaternion totalRotation = Quaternion.identity; // 初始无旋转
foreach (Quaternion rot in rotationSequence) {
    // 新的旋转总是左乘到累积结果上
    totalRotation = rot * totalRotation; // 注意：rot 在左边
}
// 最终应用这
```