关于单位四元数诱导向量组正交规范性的深层证明思路咨询

嘿，太懂你这种“硬算全靠抵消，肯定有更深层原因”的感觉了！其实这个结论本质上和单位四元数对应三维空间正交变换的性质直接相关，完全不用拆成实部虚部硬推：

首先先回忆个核心背景：单位四元数的共轭作用对应三维空间的旋转（正交变换）。我们把纯虚四元数（也就是实部为0的四元数，比如i,j,k）和$\mathbb{R}^3$的向量一一对应，记这个纯虚四元数的空间为$V = { q \in \mathbb{H} \mid \mathrm{Re}(q)=0 }$。对于单位四元数$A$，定义映射$R_A: V \to V$为$R_A(q) = A q \bar{A}$，这个映射有两个关键性质：

• 它是线性的：四元数乘法和共轭都是线性运算，所以$R_A$满足线性映射的所有条件；
• 它是正交变换：对于任意纯虚四元数$q,r$，三维空间的标准内积可以用四元数表示为$\langle q, r \rangle = \mathrm{Re}(\bar{q} r)$，而$R_A$会保持这个内积：
  $$
  \langle R_A(q), R_A(r) \rangle = \mathrm{Re}(\overline{R_A(q)} R_A(r)) = \mathrm{Re}(\overline{A q \bar{A}} A r \bar{A}) = \mathrm{Re}(\bar{A} \bar{q} A A r \bar{A})
  $$
  因为$A\bar{A}=1$（单位四元数的性质），上式化简为$\mathrm{Re}(\bar{A} \bar{q} r \bar{A})$，而四元数的实部在共轭作用下是不变的（$\mathrm{Re}(\bar{A} s \bar{A}) = \mathrm{Re}(s)$对任意四元数$s$成立），所以最终等于$\mathrm{Re}(\bar{q} r) = \langle q, r \rangle$。

接下来看你定义的$\vec{n}(x)$（x取i,j,k）：它的第y分量（y取i,j,k）是$\mathrm{Re}(\bar{x} A y \bar{A}) = \mathrm{Re}(\bar{x} R_A(y))$，而这正好就是标准内积$\langle x, R_A(y) \rangle$。换句话说，$\vec{n}(i), \vec{n}(j), \vec{n}(k)$这三个向量，其实就是正交变换$R_A$在标准基${i,j,k}$下对应的矩阵的行向量。

而正交变换对应的矩阵是正交矩阵，正交矩阵的核心性质就是行向量组（和列向量组）都是$\mathbb{R}^3$中的标准正交组——这就直接解释了为啥你硬算时会出现那些“魔法抵消”，本质是正交变换的内积保持性带来的必然结果，根本不需要逐分量展开计算！

备注：内容来源于stack exchange，提问作者shamwowexcitante