点的旋转（3）：为什么没有三元数?

前言

虚数使得实数有旋转的余地，那么为什么复数之后直接跳到了四元数?为什么没有三元数？现在让我们来探究一下

自由度

我们知道一个三维物体，有着三个自由度x，y，z
该物体可以绕每个轴旋转
那么三元数呢？我们首先给出一个三元数
$$(a+bi+cj)$$
我们知道复数代表一个旋转
这个操作很简单，我们将x轴坐标乘上一个复数，便能使x轴在该复平面的旋转
(1) x 轴绕 j 轴旋转：$$x\ast (a+bj)$$
(2) x 轴绕 i 轴旋转： $$x\ast (a+bj)$$
(3) i 轴绕 x 轴旋转： $$i\ast (a+bj)$$
按照分配率，(1)，(2)不难计算
但是(3) ：
$$(ai+bij)$$
出现了一个怪物 —— ij
实际上是向量积，应该被写作
$$i\times j$$
我们虽然定义了i，j，但是ij并不知道

x轴上的点可以在 xoi 或者 xoj 平面内转动
前者表达为 (a+bi)，后者为 (a+bj)
那么i轴上的点要如何转动到j轴?

注意！我们并没有定义i×j

在xoi平面内，任何没有落在x轴上的点都没有获得j轴分量的余地，他们活动的空间只有这个小小的平面内部。
同样的xoj上的点活动范围也只是一个平面。
偌大的三维空间点的活动范围竟然只有两个平面?
为了使得点能逃离这两个平面的束缚，于是
$$i\times j$$横空出世，并将其记为 k
有这个运算定义之后，处在xoi，xoj平面内的点就可以逃逸出该平面，达到三个自由度。

	我才不会告诉你，这是我闲的没事拍大腿想出来的。。。。