什么是四元数?
四元数是复数的四维扩展,由威廉·哈密顿爵士首次提出,用于建模三维旋转。四元数表示为
q=a+bi+cj+dk,
其中 a, b, c, 和 d 是实数,i, j, k 是基本的单位四元数。实部是 a,其余三个分量构成“向量”部分。当 c=d=0 时,表达式简化为普通复数,凸显了四元数如何推广熟悉的二维平面。
四元数的加法和减法
四元数的加法(和减法)与向量加法完全相同:只需将对应系数相加。
(a+bi+cj+dk)+(e+fi+gj+hk)=(a+e)+(b+f)i+(c+g)j+(d+h)k.
该运算满足结合律、交换律,且每个四元数都有加法逆元。减法遵循相同原则——加上每个系数的相反数。
四元数的乘法——哈密顿乘积
乘法更为复杂,因为它是不可交换的。规则依赖于单位四元数的乘积:
i2=j2=k2=−1,ij=k,jk=i,ki=j,ji=−k,kj=−i,ik=−j.
利用分配律,两个四元数
q1=a+bi+cj+dk 和 q2=e+fi+gj+hk
的乘积称为哈密顿乘积。结果的形式为:
q1q2=(ae−bf−cg−dh)+(af+be+ch−dg)i+(ag−bh+ce+df)j+(ah+bg−cf+de)k.
由于乘法不可交换,q1q2 通常不同于 q2q1。因此,当您执行四元数乘法操作时,计算器会返回两种顺序的结果。
模、共轭和逆
四元数的模(或长度)类似于四维向量的长度:
∥q∥=a2+b2+c2+d2.
共轭将向量部分的符号取反:
q=a−bi−cj−dk.
四元数与其共轭相乘得到模的平方:qq=∥q∥2。
非零四元数的逆由下式给出:
q−1=∥q∥2q.
由于乘法不可交换,除法解释为乘以逆,并且顺序重要。四元数逆计算器功能自动计算 q1q2−1 和 q2−1q1。
矩阵表示
一个四元数可以表示为 4×4 的实矩阵:
abcd−bad−c−c−dab−dc−ba.
另外,也存在 2×2 的复矩阵表示。模等于行列式的平方根,共轭对应于共轭转置。
使用四元数进行三维旋转
四元数的一个主要应用是三维空间中的四元数旋转。任何旋转都可以通过一个轴(单位向量 va)和一个角度 θ 来描述。旋转四元数为
q=cos2θ+sin2θ(xai+yaj+zak),
其中 va=(xa,ya,za) 是单位向量。要旋转点 v=(x,y,z),首先将其表示为纯四元数 qv=0+xi+yj+zk。然后计算
qv′=q⋅qv⋅q−1.
得到的四元数 qv′=0+x′i+y′j+z′k 直接给出旋转后的坐标 (x′,y′,z′)。通过将四元数转换为旋转矩阵也可以得到相同的结果。
本工具中的四元数旋转计算器处理所有中间步骤:将任意轴向量转换为单位向量,构建旋转四元数,并可选择输出等价的旋转矩阵。
计算器使用实例
假设您想计算
q1=2−i+3j+k 和 q2=5−4i+k 的哈密顿乘积。
使用计算器的“积”功能,输入系数即可立即获得两种可能的结果。
或者,要为轴 va=(1,0,−1) 和角度 60∘ 创建旋转四元数,选择“旋转四元数”,输入轴分量和角度,工具将返回四元数以及对应的旋转矩阵。免去您手动进行三角和代数运算。
计算器支持所有核心运算:四元数加法、四元数乘法、四元数模计算器、四元数共轭、四元数逆计算器以及旋转相关计算。每个运算都能提供精确结果,并且在顺序重要时显示两种可能的结果。