罗德里格斯旋转公式证明-简洁

2024-06-01 14:36

本文主要是介绍罗德里格斯旋转公式证明-简洁,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

罗德里格斯旋转公式证明。

设旋转向量为 ( n , θ ) (n, \theta) (n,θ),设其对应的旋转矩阵为 R R R

如何证明?
R = c o s θ I + n ∧ s i n θ + ( 1 − c o s θ ) n n T R=cos\theta I + n^{\wedge}sin\theta+(1-cos\theta)nn^{T} R=cosθI+nsinθ+(1cosθ)nnT
证明过程如下:

如图所示,设旋转向量为 A ^ \hat{A} A^,记为 n n n,设三维中的点 r r r n n n旋转 θ \theta θ后得到 r ′ r^{'} r,其中 n n n为单位方向向量,向量 n n n的起点为坐标原点。

image

r 3 r_3 r3为r在 n n n上的投影,则
r 3 = ( r ⋅ n ) n (1) r_3=(r\cdot n)n \tag{1} r3=(rn)n(1)
r 1 r_1 r1为r减去r在 n n n上面的分量 r 3 r_3 r3,则
r 1 = r − r 3 (2) r_1=r-r_3 \tag{2} r1=rr3(2)
r 2 r_2 r2 n n n r 1 r_1 r1的叉乘结果向量,则
r 2 = n × r 1 (3) r_2 = n\times r_1 \tag{3} r2=n×r1(3)
因此, r 1 , r 2 , r 3 r_1,r_2,r_3 r1r2r3构成了两两垂直的坐标系,但是模长不等于1, r 1 r_1 r1 r 2 r_2 r2模长相等。

由上图所示, r ′ r^{'} r r 1 和 r 2 r_1和r_2 r1r2所在的平面上的投影为 r ′ − r 3 r^{'}-r_3 rr3,则将其用 r 1 和 r 2 r_1和r_2 r1r2表示有
r ′ − r 3 = r 1 c o s θ + r 2 s i n θ r^{'}-r_3=r_1cos\theta+r_2sin\theta rr3=r1cosθ+r2sinθ
则,
r ′ = r 1 c o s θ + r 2 s i n θ + r 3 (4) r^{'}=r_1cos\theta+r_2sin\theta+r_3 \tag{4} r=r1cosθ+r2sinθ+r3(4)
综上所述,将(1)(2)(3)代入(4)式,则
r ′ = ( r − r 3 ) c o s θ + ( n × r 1 ) s i n θ + r 3 = r c o s θ + ( n × r 1 ) s i n θ + ( 1 − c o s θ ) r 3 = r c o s θ + ( n × ( r − r 3 ) ) s i n θ + ( 1 − c o s θ ) r 3 = r c o s θ + ( n × r − n × r 3 ) s i n θ + ( 1 − c o s θ ) r 3 ( 由于 n × r 3 = 0 ) = r c o s θ + n × r s i n θ + ( 1 − c o s θ ) r 3 = r c o s θ + n ∧ s i n θ ⋅ r + ( 1 − c o s θ ) ( r ⋅ n ) n = I c o s θ ⋅ r + n ∧ s i n θ ⋅ r + ( 1 − c o s θ ) n n T ⋅ r (5) \begin{aligned} r^{'} &=(r-r_3)cos\theta+(n\times r_1) sin\theta+r_3 \\ &=rcos\theta+(n\times r_1)sin\theta+(1-cos\theta)r_3 \\ &=rcos\theta+(n\times(r-r_3))sin\theta+(1-cos\theta)r_3 \\ &=rcos\theta+(n\times r-n\times r_3)sin\theta+(1-cos\theta)r_3 \space \space(由于n\times r_3 =0)\\ &=rcos\theta+n\times r sin\theta+(1-cos\theta)r_3 \\ &=rcos\theta+n^{\wedge}sin\theta \cdot r+(1-cos\theta)(r\cdot n)n \\ &=Icos\theta\cdot r+n^{\wedge}sin\theta\cdot r+(1-cos\theta) nn^{T}\cdot r \end{aligned} \tag{5} r=(rr3)cosθ+(n×r1)sinθ+r3=rcosθ+(n×r1)sinθ+(1cosθ)r3=rcosθ+(n×(rr3))sinθ+(1cosθ)r3=rcosθ+(n×rn×r3)sinθ+(1cosθ)r3  (由于n×r3=0)=rcosθ+n×rsinθ+(1cosθ)r3=rcosθ+nsinθr+(1cosθ)(rn)n=Icosθr+nsinθr+(1cosθ)nnTr(5)
设旋转矩阵为R,则 r ′ = R ⋅ r r^{'}=R\cdot r r=Rr,由公式(5)可知
R = I c o s θ + n ∧ s i n θ + ( 1 − c o s θ ) n n T R=Icos\theta+n^{\wedge}sin\theta+(1-cos\theta)nn^{T} R=Icosθ+nsinθ+(1cosθ)nnT
证明完毕。

参考链接:

1、https://wuli.wiki/online/RotA.html

2、https://en.wikipedia.org/wiki/Rodrigues%27_rotation_formula

3、https://sites.cs.ucsb.edu/~lingqi/teaching/resources/GAMES101_Lecture_04_supp.pdf

这篇关于罗德里格斯旋转公式证明-简洁的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1021270

相关文章

基于 HTML5 Canvas 实现图片旋转与下载功能(完整代码展示)

《基于HTML5Canvas实现图片旋转与下载功能(完整代码展示)》本文将深入剖析一段基于HTML5Canvas的代码,该代码实现了图片的旋转(90度和180度)以及旋转后图片的下载... 目录一、引言二、html 结构分析三、css 样式分析四、JavaScript 功能实现一、引言在 Web 开发中,

使用animation.css库快速实现CSS3旋转动画效果

《使用animation.css库快速实现CSS3旋转动画效果》随着Web技术的不断发展,动画效果已经成为了网页设计中不可或缺的一部分,本文将深入探讨animation.css的工作原理,如何使用以及... 目录1. css3动画技术简介2. animation.css库介绍2.1 animation.cs

使用Python开发Markdown兼容公式格式转换工具

《使用Python开发Markdown兼容公式格式转换工具》在技术写作中我们经常遇到公式格式问题,例如MathML无法显示,LaTeX格式错乱等,所以本文我们将使用Python开发Markdown兼容... 目录一、工具背景二、环境配置(Windows 10/11)1. 创建conda环境2. 获取XSLT

利用Python实现添加或读取Excel公式

《利用Python实现添加或读取Excel公式》Excel公式是数据处理的核心工具,从简单的加减运算到复杂的逻辑判断,掌握基础语法是高效工作的起点,下面我们就来看看如何使用Python进行Excel公... 目录python Excel 库安装Python 在 Excel 中添加公式/函数Python 读取

css实现图片旋转功能

《css实现图片旋转功能》:本文主要介绍了四种CSS变换效果:图片旋转90度、水平翻转、垂直翻转,并附带了相应的代码示例,详细内容请阅读本文,希望能对你有所帮助... 一 css实现图片旋转90度.icon{ -moz-transform:rotate(-90deg); -webkit-transfo

轻松掌握python的dataclass让你的代码更简洁优雅

《轻松掌握python的dataclass让你的代码更简洁优雅》本文总结了几个我在使用Python的dataclass时常用的技巧,dataclass装饰器可以帮助我们简化数据类的定义过程,包括设置默... 目录1. 传统的类定义方式2. dataclass装饰器定义类2.1. 默认值2.2. 隐藏敏感信息

Qt QWidget实现图片旋转动画

《QtQWidget实现图片旋转动画》这篇文章主要为大家详细介绍了如何使用了Qt和QWidget实现图片旋转动画效果,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 一、效果展示二、源码分享本例程通过QGraphicsView实现svg格式图片旋转。.hpjavascript

poj 2187 凸包or旋转qia壳法

题意: 给n(50000)个点,求这些点与点之间距离最大的距离。 解析: 先求凸包然后暴力。 或者旋转卡壳大法。 代码: #include <iostream>#include <cstdio>#include <cstdlib>#include <algorithm>#include <cstring>#include <cmath>#include <s

hdu 4565 推倒公式+矩阵快速幂

题意 求下式的值: Sn=⌈ (a+b√)n⌉%m S_n = \lceil\ (a + \sqrt{b}) ^ n \rceil\% m 其中: 0<a,m<215 0< a, m < 2^{15} 0<b,n<231 0 < b, n < 2^{31} (a−1)2<b<a2 (a-1)^2< b < a^2 解析 令: An=(a+b√)n A_n = (a +

Android 10.0 mtk平板camera2横屏预览旋转90度横屏拍照图片旋转90度功能实现

1.前言 在10.0的系统rom定制化开发中,在进行一些平板等默认横屏的设备开发的过程中,需要在进入camera2的 时候,默认预览图像也是需要横屏显示的,在上一篇已经实现了横屏预览功能,然后发现横屏预览后,拍照保存的图片 依然是竖屏的,所以说同样需要将图片也保存为横屏图标了,所以就需要看下mtk的camera2的相关横屏保存图片功能, 如何实现实现横屏保存图片功能 如图所示: 2.mtk