你小学二年级就背过乘法交换律：3×4=4×3，交换两个数的位置，结果不变。 这东西太自然了，自然到你甚至觉得它不需要被证明，左手数3排苹果每排4个，右手数4排苹果每排3个，总数当然一样。 你要是在课堂上举手问老师"为什么"，老师大概会看你一眼，觉得这孩子是不是睡着了。 但今天我要告诉你，还真有一类"数"，乘法不满足交换律。 也就是说，A×B 和 B×A，结果不一样。 你可能会说：扯什么呢？数还能不满足交换律？那还叫数吗？ 别急，这事儿得从一个疯疯癫癫的数学家说起。 1843年10月16日，爱尔兰都柏林，布鲁厄姆桥。 一个中年男人跟妻子散步走到桥上，突然像被雷劈了一样站住了。他盯着桥面发呆，然后掏出一把小刀，在桥的石头护栏上刻下了一个公式： i² = j² = k² = ijk = -1 这个人叫哈密顿。 他后来跟朋友写信说，他在桥上顿悟的那一刻，感觉自己找了13年的东西，终于找到了。 13年。 一个人花13年，就为了在桥上刻一个很多人看不懂的公式，这画面多少有点离谱。你想想，你老婆跟你散步，走着走着你突然蹲下来在桥上刻字，她会怎么想？ 但更离谱的是，他刻下的这套东西，后来被证明是19世纪最重要的数学突破之一。 今天你手机里的陀螺仪、3D游戏里的角色转头、无人机的姿态控制、机械臂的关节转动，背后跑的都是他当年在桥上刻下的那套东西。 这套东西，叫四元数。 要理解哈密顿为什么激动成这样，我们得先弄明白：他到底在找什么？ 答案很简单：他想给三维空间找一个"乘法"。 听起来有点怪。三维空间跟乘法有什么关系？ 关系大了。 这得从复数说起。 你高中应该见过复数：Z = a + bi，a是实部，b是虚部，i是那个"虚数单位"，i² = -1。 当时老师跟你说i² = -1的时候，你是不是心里咯噔了一下？ 一个数的平方怎么会是负数？正数平方是正的，负数平方也是正的，0的平方是0，哪来的数平方等于-1？ 说实话，当年的数学家也这么想。 但没办法，16世纪的时候，一帮数学家凑在一起比赛解三次方程，解着解着就遇到了麻烦：中间过程里会出现"负数开平方"这种东西。 按当时的规矩，这玩意应该叫"无解"。 但奇怪的是，你把这玩意硬着头皮算下去，最后居然能得到正确的实数解。 就好像你走迷宫，非得穿过一堵"不存在的墙"才能出去。 于是他们干脆认了：好吧，就当有这么个东西，i² = -1，先算着再说。 一开始大家都觉得这就是个数学技巧，没什么实际意义。但后来有人发现，这玩意太好用了。 好用在哪？ 它能表示平面上的旋转。 你想象一下，复平面上有个点 z = 3 + 4i，它离原点的距离是5，跟x轴的夹角是53度左右。 现在你想让这个点绕原点逆时针转45度，怎么办？ 老办法：用三角函数算坐标，算半天。 复数办法：直接乘一个数，cos45° + i·sin45°。 乘完之后，模长还是5（长度没变），角度变成了原来的角度加45度。 旋转完成。 就这么简单。 一次乘法，搞定一次旋转。 哈密顿看到这个的时候眼睛都亮了。 他想：复数在二维平面上这么好用，那三维空间是不是也能搞一套类似的？ 这个念头，折磨了他13年。 哈密顿一开始的思路特别直接：二维用两个分量（a + bi），三维我就用三个分量呗？ a + bi + cj。 两个虚数单位i和j，照着复数的规矩来，i² = -1，j² = -1，完美。 但他很快发现，怎么算都不对。 乘法一展开，就会冒出来一堆莫名其妙的交叉项：i乘j等于什么？j乘i等于什么？ 他一开始理所当然地认为，ij = ji，跟普通乘法一样。 但不管他怎么定义ij，最后算出来的结果总是哪里不对劲，要么模长对不上，要么旋转不成立，总之就是用不了。 他试了各种办法，折腾了一年又一年。他儿子每天早上都问他："爸爸，三维乘法你会算了吗？"他只能苦笑："还不会。" 13年。 直到1843年那个散步的下午，他脑子里突然闪过一个念头： 为什么非得是三个分量？为什么乘法一定要交换？ 他放弃了两个执念。 第一，分量加到四个：a + bi + cj + dk，多了第三个虚数单位k。 第二，乘法不满足交换律。ij ≠ ji，而是 ij = k，反过来 ji = -k。 就这一下，全通了。 这就是他在桥上刻下的那串东西：i² = j² = k² = ijk = -1。 你可能会问：凭什么？凭什么乘法就不能交换？数不都该满足交换律吗？ 这就是四元数最反直觉的地方。 但你换个角度想，其实也合理。 你拿一本书，先绕x轴转90度，再绕y轴转90度。记住最后书的朝向。 现在把书摆回原样，先绕y轴转90度，再绕x轴转90度。 结果一样吗？ 完全不一样。 三维空间里，旋转的顺序是有影响的。 先转这个再转那个，跟先转那个再转这个，结果不同。 既然旋转本身就不满足交换律，那描述旋转的"乘法"凭什么要