- Double Produit De Quaternions
-
Double produit de quaternions
Il est possible de calculer un double produit de quaternions, c'est-à-dire une expression de la forme :
,dans laquelle il n'est pas nécessaire d'écrire des parenthèses puisque le produit est associatif.
Intéressons-nous au cas particulier dans lequel les quaternions extrêmes
sont inverses l'un de l'autre et utilisons les notations de type
pour représenter les 3 quaternions :

.
Comme les quaternions
et son inverse
sont unitaires, on peut les écrire sous la forme
et
, d'où l'écriture :

En tenant compte de la distributivité du produit, on peut écrire :
Ainsi le quaternion
se décompose en
avec :
et

Comme
est un scalaire pur, le double produit représenté par
est commutatif et peut s'écrire plus simplement :
.
Par conséquent, on a :
avec
.Portons donc notre attention sur le quaternion
en développant d'abord le premier produit, puis le second ; il vient d'abord :
, puis :
![\begin{matrix}P_2 = \big[ &-&\sin \varphi\ \cos \varphi\ (\vec U\cdot \vec V) &+& \sin \varphi\ \cos \varphi\ (\vec V\cdot \vec U) &+& \sin^2 \varphi\ (\vec U\wedge\vec V)\cdot \vec U,&\ \\\ &+& \sin^2\varphi\ (\vec U\cdot \vec V)\ \vec U &+& \cos^2\varphi\ \vec V &+& \sin \varphi\ \cos \varphi\ (\vec U\wedge\vec V)&\ \\&-& \sin \varphi\ \cos \varphi\ (\vec V\wedge\vec U) &-& \sin^2\varphi\ (\vec U\wedge \vec V)\wedge \vec U&\ &\ &\big] \end{matrix}](/pictures/frwiki/98/b7f1d76f1af2d98446e61654dbe6c5d9.png)
En éliminant le produit mixte
(qui est nul) et en développant le double produit vectoriel
, on obtient : ![P_2 = \Bigg[0 \ ,\ \sin^2\varphi\ (\vec U\cdot \vec V)\ \vec U +\ \cos^2\varphi\ \vec V + 2\sin \varphi\ \cos \varphi\ (\vec U\wedge\vec V) - sin^2\varphi\ \left[(\vec U\cdot \vec U)\ \vec V - (\vec V\cdot \vec U)\ \vec U
\right]\Bigg]](/pictures/frwiki/99/c9fb60a405d1083c756cd9ea979f1fda.png)
puis successivement :
![P_2 = \Bigg[0 \ ,\ 2\sin^2\varphi\ (\vec U\cdot \vec V)\ \vec U +
\left[\cos^2\varphi\ - \sin^2\varphi\ (\vec U\cdot \vec U)\right]\,\vec V\ +\ 2\sin \varphi\ \cos \varphi\ (\vec U\wedge\vec V) \Bigg]](/pictures/frwiki/97/a51f4068030bf2996b25c494126be9b6.png)
![P_2 = \Bigg[0 \ ,\ 2\sin^2\varphi\ (\vec U\cdot \vec V)\ \vec U +
\left[\cos^2\varphi\ - \sin^2\varphi\right]\vec V\ +\ 2\ \sin \varphi\ \cos \varphi\ (\vec U\wedge\vec V) \Bigg]](/pictures/frwiki/51/3813f1ae98b62e5234e77e9131df5788.png)
![P_2 = \left[0 \ ,\ \cos 2\,\varphi\ \, \vec V\ +
\ (1-\cos 2\,\varphi)\,(\vec U\cdot \vec V)\ \vec U +
\ \sin 2\,\varphi\ (\vec U\wedge\vec V) \right]](/pictures/frwiki/48/0feefeb8cdb47d4baf27d3db8a279e11.png)
Ainsi, il est établi que si le vecteur
est unitaire, l'égalité suivante est toujours vérifiée :
,Or, dans l'expression qui apparaît dans la composante vectorielle du deuxième quaternion du membre de droite de cette égalité, à savoir :
,on peut reconnaître l'expression vectorielle du vecteur transformé du vecteur
dans la rotation
d'angle
et d'axe orienté
normé.
De la démonstration précédente, on peut tirer l'importante conclusion générale suivante :
Conclusion
Dans la rotation
d'angle
et d'axe orienté
normé,
le transformé
de tout vecteur
peut être calculé :- soit grâce à l'égalité quaternionique suivante :
(formule n° 1)- soit grâce à l'égalité vectorielle :
(formule n° 2)
Articles de mathématiques en rapport avec la notion de nombre Définition des nombres · Entiers naturels · Entiers relatifs · Nombres transfinis · Nombres décimaux · Nombres rationnels · Nombres constructibles · Nombres algébriques · Nombres transcendants · Nombres calculables · Nombres réels · Nombres complexes · Nombres hypercomplexes · Quaternions · Octonions · Sédénions · Nombres hyperréels · Nombres surréels · Nombres ordinaux · Nombres cardinaux · Nombres p-adiques · Nombres normaux · Suite d'entiers · Constantes mathématiques · Grands nombres · Infiniments petits · Infini - Portail des mathématiques
Catégories : Nombre hypercomplexe | Algèbre - soit grâce à l'égalité quaternionique suivante :
Wikimedia Foundation. 2010.