证明四元数表示旋转的过程实部为0,虚部为罗德里格斯公式结果
1.打开视觉SLAM14讲第59页,要证明的内容为![为在这里插入图片描述](https://img-blog.csdnimg.cn/f596f68b624847a7b6788903754ee9d0.png#pic_center)
2.开始证明,首先看一个图:
u是旋转轴,是一个单位向量。v是待旋转的向量,v’是旋转后的向量。
将v和v‘分别分解到平行与u和u的法平面两个部分,并进行以下处理
2.1 将向量定义为纯四元数
2.2 V⊥的旋转部分
做个变换,后面用得上
2.3 v∥的旋转
推导同样来源于罗德里格斯部分
2.4 v的旋转
2.5 两个引理
引理1
证明: 四元数相乘公式为
引理2
证明:
2.6 证明
由2.4可知
首先证明实部为0
再证明虚部为罗德里格斯公式结果
证明完毕
到阿b搜索lessLe6结合视频看会比较好理解,有不懂的可以在评论区提出