第一部分:RodriguesRodriguesRodrigues(罗德里格斯)公式描述的是:空间内的任意一个向量v\textbf{v}v,绕指定的旋转轴k\textbf{k}k旋转θ\thetaθ角度,得到空间向量vθ\textbf{v}^{\theta}vθ的过程。RodriguesRodriguesRodrigues公式利用v\textbf{v}v,k\textbf{k}k和θ\thetaθ来描述vθ\textbf{v}^{\theta}vθ。
如图所示,空间内的向量v\textbf{v}v,绕着zzz轴旋转θ\thetaθ,得到vθ\textbf{v}^{\theta}vθ。已知xxx轴,yyy轴和zzz轴的方向向量分别是i\textbf{i}i,j\textbf{j}j和k\textbf{k}k。约定<a,b><\textbf{a},\textbf{b}><a,b>表示向量a\textbf{a}a到向量b\textbf{b}b的夹角。
对于空间向量v\textbf{v}v可以分解为三个坐标轴上的投影向量的矢量和:v=vx+vy+vz\textbf{v} = \textbf{v}_x + \textbf{v}_y + \textbf{v}_zv=vx+vy+vz
其中:
vy=0\textbf{v}_y = \textbf{0}vy=0
vz=∣∣v∣∣⋅cos<k,v>⋅k=∣∣v∣∣⋅∣∣k∣∣⋅cos<k,v>⋅k=(k⋅v)⋅k\textbf{v}_z = ||\textbf{v}|| \cdot \cos{<\textbf{k}, \textbf{v}>} \cdot \textbf{k} = ||\textbf{v}|| \cdot ||\textbf{k}|| \cdot \cos<\textbf{k}, \textbf{v}> \cdot \textbf{k} = (\textbf{k} \cdot \textbf{v}) \cdot \textbf{k}vz=∣∣v∣∣⋅cos<k,v>⋅k=∣∣v∣∣⋅∣∣k∣∣⋅cos<k,v>⋅k=(k⋅v)⋅k
vx=∣∣v∣∣⋅sin<k,v>⋅i\textbf{v}_x = ||\textbf{v}|| \cdot \sin<\textbf{k}, \textbf{v}> \cdot \textbf{i}vx=∣∣v∣∣⋅sin<k,v>⋅i
对于vx\textbf{v}_xvx来说,可以得到以下变换:
∣∣v∣∣⋅sin<k,v>=∣∣v∣∣⋅∣∣k∣∣⋅sin<k,v>=∣∣k×v∣∣||\textbf{v}|| \cdot \sin<\textbf{k}, \textbf{v}> = ||\textbf{v}|| \cdot ||\textbf{k}|| \cdot \sin<\textbf{k}, \textbf{v}> = ||\textbf{k} \times \textbf{v}||∣∣v∣∣⋅sin<k,v>=∣∣v∣∣⋅∣∣k∣∣⋅sin<k,v>=∣∣k×v∣∣
i=j×k\textbf{i} = \textbf{j} \times \textbf{k}i=j×k,又有j=k×v∣∣k×v∣∣\textbf{j} = \frac{\textbf{k} \times \textbf{v}}{||\textbf{k} \times \textbf{v}||}j=∣∣k×v∣∣k×v,则i=1∣∣k×v∣∣⋅k×v×k\textbf{i} = \frac{1}{||\textbf{k} \times \textbf{v}||} \cdot \textbf{k} \times \textbf{v} \times \textbf{k}i=∣∣k×v∣∣1⋅k×v×k
因此,可以得到:vx=∣∣k×v∣∣⋅1∣∣k×v∣∣⋅k×v×k=k×v×k\textbf{v}_x = ||\textbf{k} \times \textbf{v}|| \cdot \frac{1}{||\textbf{k} \times \textbf{v}||} \cdot \textbf{k} \times \textbf{v} \times \textbf{k} = \textbf{k} \times \textbf{v} \times \textbf{k}vx=∣∣k×v∣∣⋅∣∣k×v∣∣1⋅k×v×k=k×v×k
同理,对于vθ\textbf{v}^{\theta}vθ也可以分解为vθ=vxθ+vyθ+vzθ\textbf{v}^{\theta} = \textbf{v}_x^{\theta} + \textbf{v}_y^{\theta} + \textbf{v}_z^{\theta}vθ=vxθ+vyθ+vzθ
其中:
vzθ=vz\textbf{v}_z^{\theta} = \textbf{v}_zvzθ=vz
vxθ=∣∣vx∣∣⋅cosθ⋅i=vx⋅cosθ=k×v×k⋅cosθ\textbf{v}_x^{\theta} = ||\textbf{v}_x|| \cdot \cos{\theta} \cdot \textbf{i} = \textbf{v}_x \cdot \cos{\theta} = \textbf{k} \times \textbf{v} \times \textbf{k} \cdot \cos{\theta}vxθ=∣∣vx∣∣⋅cosθ⋅i=vx⋅cosθ=k×v×k⋅cosθ
vyθ=∣∣vx∣∣⋅sinθ⋅j=∣∣v∣∣⋅sin<k,v>⋅k×v∣∣k×v∣∣⋅sinθ=k×v⋅sinθ\textbf{v}_y^{\theta} = ||\textbf{v}_x|| \cdot \sin{\theta} \cdot \textbf{j} = ||\textbf{v}|| \cdot \sin<\textbf{k}, \textbf{v}> \cdot \frac{\textbf{k} \times \textbf{v}}{||\textbf{k} \times \textbf{v}||} \cdot \sin{\theta} = \textbf{k} \times \textbf{v} \cdot \sin{\theta}vyθ=∣∣vx∣∣⋅sinθ⋅j=∣∣v∣∣⋅sin<k,v>⋅∣∣k×v∣∣k×v⋅sinθ=k×v⋅sinθ
因此,vθ=k×v×k⋅cosθ+k×v⋅sinθ+(k⋅v)⋅k\textbf{v}^{\theta} = \textbf{k} \times \textbf{v} \times \textbf{k} \cdot \cos{\theta} + \textbf{k} \times \textbf{v} \cdot \sin{\theta} + (\textbf{k} \cdot \textbf{v}) \cdot \textbf{k}vθ=k×v×k⋅cosθ+k×v⋅sinθ+(k⋅v)⋅k
另,由公式(⋆\star⋆)a×b×c=b(a⋅c)−c(a⋅b)\textbf{a} \times \textbf{b} \times \textbf{c} = \textbf{b}(\textbf{a}\cdot\textbf{c})-\textbf{c}(\textbf{a}\cdot\textbf{b})a×b×c=b(a⋅c)−c(a⋅b)可以得到:
vθ=v(k⋅k)cosθ−k(k⋅v)cosθ+k×v⋅sinθ+(k⋅v)⋅k=v⋅cosθ+k(k⋅v)(1−cosθ)+k×v⋅sinθ\textbf{v}^{\theta} = \textbf{v}(\textbf{k}\cdot\textbf{k})\cos\theta-\textbf{k}(\textbf{k}\cdot\textbf{v})\cos\theta + \textbf{k} \times \textbf{v} \cdot \sin{\theta} + (\textbf{k} \cdot \textbf{v}) \cdot \textbf{k} \newline
\hspace{0.45cm} = \textbf{v}\cdot\cos\theta + \textbf{k}( \textbf{k}\cdot \textbf{v})(1-\cos\theta)+ \textbf{k}\times \textbf{v}\cdot\sin\thetavθ=v(k⋅k)cosθ−k(k⋅v)cosθ+k×v⋅sinθ+(k⋅v)⋅k=v⋅cosθ+k(k⋅v)(1−cosθ)+k×v⋅sinθ
由此可以得到RodriguesRodriguesRodrigues公式的结论。
\newline
\newline
第二部分:RodriguesRodriguesRodrigues(罗德里格斯)公式的矩阵描述形式。
上述第一部分主要从原理上证明了,RodriguesRodriguesRodrigues(罗德里格斯)公式的向量表述形式,在实际使用的时候,常用到的是矩阵形式的表述。事实上,矩阵形式的表述也是由向量形式经过展开和推导得来的,下面简单描述一下其中的过程。
首先将上述公式变形如下:
vθ=v⋅cosθ+k(k⋅v)(1−cosθ)+k×v⋅sinθ=v−v+v⋅cosθ+k(k⋅v)(1−cosθ)+k×v⋅sinθ=v−(1−cosθ)v+(1−cosθ)(k⋅v)k+sinθ⋅k×v=v+(1−cosθ)((k⋅v)k−v)+sinθ⋅k×v=v+(1−cosθ)((k⋅v)k−v(k⋅k))+sinθ⋅k×v\textbf{v}^{\theta} = \textbf{v}\cdot\cos\theta + \textbf{k}( \textbf{k}\cdot \textbf{v})(1-\cos\theta)+ \textbf{k}\times \textbf{v}\cdot\sin\theta \newline
\hspace{0.45cm} = \textbf{v}-\textbf{v}+\textbf{v}\cdot\cos\theta + \textbf{k}( \textbf{k}\cdot \textbf{v})(1-\cos\theta)+ \textbf{k}\times \textbf{v}\cdot\sin\theta \newline
\hspace{0.45cm} = \textbf{v} - (1-\cos\theta)\textbf{v} + (1-\cos\theta)(\textbf{k}\cdot \textbf{v})\textbf{k} + \sin\theta\cdot\textbf{k}\times\textbf{v} \newline
\hspace{0.45cm} = \textbf{v} + (1-\cos\theta)((\textbf{k}\cdot\textbf{v})\textbf{k} - \textbf{v}) + \sin\theta\cdot\textbf{k}\times\textbf{v} \newline
\hspace{0.45cm} = \textbf{v} + (1-\cos\theta)((\textbf{k}\cdot\textbf{v})\textbf{k} - \textbf{v}(\textbf{k}\cdot\textbf{k})) + \sin\theta\cdot\textbf{k}\times\textbf{v} \newlinevθ=v⋅cosθ+k(k⋅v)(1−cosθ)+k×v⋅sinθ=v−v+v⋅cosθ+k(k⋅v)(1−cosθ)+k×v⋅sinθ=v−(1−cosθ)v+(1−cosθ)(k⋅v)k+sinθ⋅k×v=v+(1−cosθ)((k⋅v)k−v)+sinθ⋅k×v=v+(1−cosθ)((k⋅v)k−v(k⋅k))+sinθ⋅k×v
由公式(⋆\star⋆)a×b×c=b(a⋅c)−c(a⋅b)\textbf{a} \times \textbf{b} \times \textbf{c} = \textbf{b}(\textbf{a}\cdot\textbf{c})-\textbf{c}(\textbf{a}\cdot\textbf{b})a×b×c=b(a⋅c)−c(a⋅b)可以得到:
vθ=v+(1−cosθ)(k×k×v)+sinθ⋅k×v\textbf{v}^{\theta} = \textbf{v} + (1-\cos\theta)(\textbf{k}\times\textbf{k}\times\textbf{v}) + \sin\theta\cdot\textbf{k}\times\textbf{v}vθ=v+(1−cosθ)(k×k×v)+sinθ⋅k×v
引入公式(†\dagger†)a×b=Ab\textbf{a}\times\textbf{b}=\textbf{A}\textbf{b}a×b=Ab,其中a\textbf{a}a和b\textbf{b}b是空间中的两个向量,A\textbf{A}A是向量a\textbf{a}a的“叉积矩阵”:
A=[0−azayaz0−ax−ayax0]\textbf{A} =
\left[
\begin{matrix}
0 & -a_z & a_y \\
a_z & 0 & -a_x \\
-a_y & a_x & 0 \\
\end{matrix}
\right]A=⎣⎡0az−ay−az0axay−ax0⎦⎤
因此,k×v=Kv\textbf{k}\times\textbf{v}=\textbf{K}\textbf{v}k×v=Kv,其中K\textbf{K}K是k\textbf{k}k的“叉积矩阵”,则k×k×v=K2v\textbf{k}\times\textbf{k}\times\textbf{v} = \textbf{K}^2\textbf{v}k×k×v=K2v
由此可以得到:
vθ=v+(1−cosθ)(k×k×v)+sinθ⋅k×v=v+(1−cosθ)⋅K2v+sinθ⋅Kv=Rv\textbf{v}^{\theta} = \textbf{v} + (1-\cos\theta)(\textbf{k}\times\textbf{k}\times\textbf{v}) + \sin\theta\cdot\textbf{k}\times\textbf{v} \newline
\hspace{0.45cm}=\textbf{v}+(1-\cos\theta)\cdot\textbf{K}^2\textbf{v}+ \sin\theta\cdot\textbf{K}\textbf{v} \newline
\hspace{0.45cm}=\textbf{R}\textbf{v}vθ=v+(1−cosθ)(k×k×v)+sinθ⋅k×v=v+(1−cosθ)⋅K2v+sinθ⋅Kv=Rv
其中:R=I+Ksinθ+K2(1−cosθ)\textbf{R}=\textbf{I}+\textbf{K}\sin\theta+\textbf{K}^2(1-\cos\theta)R=I+Ksinθ+K2(1−cosθ)
则上述vθ=v+sinθ⋅Kv+(1−cosθ)⋅K2v\textbf{v}^{\theta} = \textbf{v} + \sin\theta\cdot\textbf{K}\textbf{v} + (1-\cos\theta)\cdot\textbf{K}^2\textbf{v}vθ=v+sinθ⋅Kv+(1−cosθ)⋅K2v是矩阵描述形式。
\newline
\newline
第三部分:旋转矩阵与旋转向量的转化
由上述两个部分的阐述,可以得知,若一个空间矢量,围绕给定的方向轴旋转一个角度得到一个新的空间矢量,可以通过罗德里格斯公式来描绘,旋转前后两个矢量之间的相对关系。
由此可以设想,对于任意空间矢量v\textbf{v}v,可以在笛卡尔坐标系下分别绕三个坐标轴i\textbf{i}i,j\textbf{j}j,k\textbf{k}k旋转不同的角度:俯仰角pitchpitchpitch,偏航角yawyawyaw,翻滚角rollrollroll,则对于每一次相对单个坐标轴的旋转,都存在一个可以通过罗格里德斯公式来描述的旋转矩阵:
Rpitch=I+sinθ⋅Ki+(1−cosθ)⋅Ki2\textbf{R}_{pitch}=\textbf{I}+\sin\theta\cdot\textbf{K}_i+(1-\cos\theta)\cdot\textbf{K}_i^2Rpitch=I+sinθ⋅Ki+(1−cosθ)⋅Ki2
Ryaw=I+sinθ⋅Kj+(1−cosθ)⋅Kj2\textbf{R}_{yaw}=\textbf{I}+\sin\theta\cdot\textbf{K}_j+(1-\cos\theta)\cdot\textbf{K}_j^2Ryaw=I+sinθ⋅Kj+(1−cosθ)⋅Kj2
Rroll=I+sinθ⋅Kk+(1−cosθ)⋅Kk2\textbf{R}_{roll}=\textbf{I}+\sin\theta\cdot\textbf{K}_k+(1-\cos\theta)\cdot\textbf{K}_k^2Rroll=I+sinθ⋅Kk+(1−cosθ)⋅Kk2
则两个空间矢量间的矩阵R=RpitchRyawRroll\textbf{R}=\textbf{R}_{pitch}\textbf{R}_{yaw}\textbf{R}_{roll}R=RpitchRyawRroll。
由于空间平面可以由平面内的任意一点和平面的法向量唯一确定,则空间中两个法向量之间的关系,可以由罗德里格斯变换外加一个坐标系平移矢量联系起来时,则这两个平面也遵从相同的联系。这是在机器视觉中极为重要的应用。