Voir la source de Quaternions et rotation dans l'espace

Les [[quaternion|quaternions unitaires]] fournissent une notation mathématique commode pour représenter l'[[orientation (mathématiques)|orientation]] et la [[Rotation dans l'espace|rotation]] d'objets en trois dimensions. Comparés aux [[angles d'Euler]], ils sont plus simples à [[composition de fonctions|composer]] et évitent le problème du [[blocage de cardan]]. Comparés aux [[Matrice de rotation|matrices de rotations]], ils sont plus [[stabilité numérique|stables numériquement]] et peuvent se révéler plus efficaces. Les quaternions ont été adoptés dans des applications en [[infographie]], [[robotique]], [[navigation]], [[dynamique moléculaire]] et en [[mécanique spatiale]] des [[satellite artificiel|satellites]]<ref>{{en}} Kuipers, Jack B., ''Quaternions and rotation Sequences: a Primer with Applications to Orbits, Aerospace, and Virtual Reality'', Princeton University Press, 1999.</ref>.

== Opérations de rotation à l'aide des quaternions ==
Une justification rigoureuse des propriétés utilisées dans cette section est donnée par Altmann<ref>{{en}} Altmann, Simon L., ''Rotations, Quaternions, and Double Groups'', Dover Publications, 1986 (voir en particulier le ch. 12).</ref>.

=== L'hypersphère des rotations ===

==== Se faire une idée de l'espace des rotations ====
Les quaternions unitaires représentent l'[[Espace (notion)#Mathématiques|espace mathématique]] des rotations en trois dimensions (autour d’un axe passant par l’origine) de façon relativement simple. On peut comprendre la correspondance entre les rotations et les quaternions en commençant par se faire une idée intuitive de l'espace des rotations lui-même (une présentation plus rigoureuse interpréterait l’ensemble des rotations comme un [[groupe de Lie]], et l’espace associé comme une [[3-variété]], mais ce niveau d’abstraction est inutile pour les applications pratiques discutées dans cet article).

[[image:Space of rotations.png|thumb|Deux rotations d'angles différents et d'axes différents dans l'espace des rotations. La norme du vecteur est liée à l'amplitude de la rotation.]]

Chaque rotation en trois dimensions consiste à tourner d'un certain angle autour d'un certain axe. Quand l'angle est nul, l'axe n'a pas d'importance, de telle façon qu'une rotation de zéro degré est un simple point dans l'espace des rotations (c'est la rotation identité). Pour un angle petit mais non nul, l'ensemble des rotations possibles est une petite sphère entourant la rotation identité, où chaque point de la sphère représente un axe pointant dans une direction particulière (comparez avec la [[sphère céleste]]). Des rotations d'angles de plus en plus grands s'éloignent progressivement de la rotation identité, et nous pouvons nous les représenter comme des sphères concentriques de rayons croissants. En conséquence, au voisinage de la rotation identité, l'espace abstrait des rotations ressemble à l'espace ordinaire en trois dimensions (qui peut également être vu comme un point central entouré de sphères de différents rayons). La ressemblance s'arrête là : lorsque l'angle de rotation dépasse 180°, les rotations suivant les différents axes cessent de diverger et commencent à nouveau à se ressembler, pour finir par devenir identiques (et égales à la rotation identité) lorsque l'angle atteint 360°.

[[image:Hypersphere of rotations.png|thumb|L'hypersphère des rotations pour les rotations d'axes horizontaux (axes compris dans le plan ''xy'').]]

On constate un phénomène analogue à la surface d'une [[sphère]]. Si nous nous plaçons au pôle Nord et traçons à partir de là des lignes droites (en fait, des [[méridien]]s) dans plusieurs directions, elles divergeront puis convergeront à nouveau au pôle Sud. Des cercles concentriques de rayon croissant dessinés autour du pôle Nord (des [[parallèle (géographie)|parallèles]]) finiront par s'effondrer en un point au pôle Sud une fois que l'on a parcouru la distance entre les pôles. On peut assimiler les différentes directions à partir du pôle (c'est-à-dire les différents méridiens) aux différents ''axes'' de rotations et les différentes distances au pôle Nord aux différents ''angles'' : on a ainsi une analogie de l'espace des rotations. Mais la surface de la sphère est en deux dimensions alors que les axes de rotation utilisent déjà trois dimensions. L'espace des rotations est donc modélisé par une sphère de dimension 3 dans un espace à 4 dimensions (une [[hypersphère]]). Nous pouvons penser à la sphère ordinaire comme à une section de l'hypersphère, de la même façon qu'un cercle est une section de sphère. On peut prendre la section pour représenter, par exemple, uniquement les rotations d'axes dans le plan ''xy'' (voir illustration ci-contre). On remarque que l'angle de la rotation est ''deux'' fois la différence de latitude avec le pôle Nord : en effet, les points de l'équateur représentent des rotations de 180°, pas de 90°, et le pôle Sud représente la rotation identité de 360°, et pas le demi-tour de 180°.

Le pôle Nord et le pôle Sud représentent la même rotation, et en fait cela s'applique à n'importe quelle paire de points aux antipodes l'un de l'autre : si un point correspond à une rotation d'angle <math>\alpha</math> autour de l'axe dirigé par le [[vecteur]] <math>\vec{v}</math>, l'autre point correspond à une rotation d'angle <math>360^\circ - \alpha</math> autour de l'axe dirigé par le vecteur <math>- \vec{v}</math>. En fait, l'espace des rotations n'est pas l'hypersphère elle-même, mais l'hypersphère où l'on identifie les points aux antipodes l'un de l'autre. Mais dans un but de simplification, nous pouvons penser aux rotations comme à des points de la sphère en dimension 4, même si la moitié  de ces points est redondante ([[revêtement (mathématiques)|revêtement]] double).

==== Paramétrer l'espace des rotations ====
Nous pouvons paramétrer la surface d'une sphère à l'aide de deux coordonnées, comme la latitude et la longitude. Mais la latitude et la longitude se comportent mal (sont [[Cas dégénéré|dégénérés]]) aux pôles Nord et Sud, alors que les pôles ne sont pas différents par nature des autres points de la sphère. Aux pôles Nord et Sud (de latitudes +90° et -90°), la longitude perd son sens.

On peut montrer qu'aucun système de coordonnées à deux paramètres ne peut éviter cette dégénérescence (c'est le [[théorème de la boule chevelue]]). Nous pouvons éviter de tels problèmes en plongeant la sphère dans l'espace à trois dimensions et en la paramétrant au moyen de trois coordonnées cartésiennes (ici ''w'', ''x'' et ''y''), en plaçant le pôle Nord à (''w'', ''x'', ''y'') = (1, 0, 0), le pôle Sud à (''w'', ''x'', ''y'') = (−1, 0, 0) et l'équateur sera le cercle d'équations ''w'' = 0 et ''x''<sup>2</sup> + ''y''<sup>2</sup> = 1. Les points de la sphère satisfont la contrainte ''w''<sup>2</sup> + ''x''<sup>2</sup> + ''y''<sup>2</sup> = 1, donc nous avons toujours deux [[Degré de liberté (physique et chimie)|degrés de liberté]], bien que l'on ait trois coordonnées. Un point (''w'', ''x'', ''y'') de la sphère représente une rotation de l'espace ordinaire autour de l'axe horizontal dirigé par le vecteur <math>\begin{pmatrix}x\\y\\0\end{pmatrix}</math> et d'angle <math>\alpha= 2 \arccos w = 2 \arcsin \sqrt{x^2 + y^2}</math>.

De la même façon, l'hypersphère décrivant l'espace des rotations dans l'espace en trois dimensions peut être paramétrée au moyen de trois angles ([[angles d'Euler]]), mais tout paramétrage de ce type dégénère en certains points de l'hypersphère, ce qui conduit au problème du [[blocage de cardan]]. Nous pouvons éviter cela en utilisant quatre coordonnées euclidennes ''w'', ''x'', ''y'' et ''z'', avec ''w''<sup>2</sup> + ''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> = 1. Le point de coordonnées (''w'', ''x'', ''y'', ''z'') représente une rotation autour de l'axe dirigé par le vecteur <math>\begin{pmatrix}x\\y\\z\end{pmatrix}</math> et d'angle <math>\alpha = 2 \arccos w = 2 \arcsin \sqrt{x^2+y^2+z^2}.</math>

=== Des rotations aux quaternions ===

==== Les quaternions en bref ====
{{Article principal|Quaternion}}
On peut définir les [[nombres complexes]] en introduisant un symbole abstrait '''i''' qui se conforme aux règles usuelles de l'algèbre et qui en plus obéit à la règle '''i'''<sup>2</sup> = −1. Cela suffit à reproduire toutes les règles de calcul des nombres complexes, par exemple <math>(a + b \mathbf{i}) (c + d \mathbf{i}) = a c + a d \mathbf{i} + b \mathbf{i} c + b \mathbf{i} d \mathbf{i} = a c + a d \mathbf{i} + b c \mathbf{i} + b d \mathbf{i}^2 = (a c - b d) + (b c + a d) \mathbf{i}</math>.

De la même façon, les quaternions peuvent être définis en introduisant des symboles abstraits '''i''', '''j''' et '''k''' qui satisfont aux règles '''i'''<sup>2</sup> = '''j'''<sup>2</sup> = '''k'''<sup>2</sup> = '''ijk''' = −1 et les règles algébriques usuelles ''sauf'' la commutativité de la multiplication (un exemple familier de multiplication non commutative est la [[Produit matriciel|multiplication des matrices]]). L'ensemble des règles de calcul découle de ces définitions ; par exemple, on peut montrer que <math>(a + b\mathbf{i} + c\mathbf{j} + d\mathbf{k}) (e + f\mathbf{i} + g\mathbf{j} + h\mathbf{k}) = (ae - bf - cg - dh) + (af + be + ch - dg) \mathbf{i} + (ag + ce + df - bh) \mathbf{j} + (ah + de + bg - cf) \mathbf{k}</math>.

La partie imaginaire <math>b\mathbf{i} + c\mathbf{j} + d\mathbf{k}</math> d'un quaternion se comporte comme un [[vecteur]] <math>\vec{v} = \begin{pmatrix}b\\c\\d\end{pmatrix}</math> d'un espace vectoriel à trois dimensions et la partie réelle ''a'' comme un [[Scalaire (mathématiques)|scalaire]] de <math>\mathbb{R}</math>. Quand les quaternions sont utilisés en géométrie, il est pratique de les définir comme ''un scalaire plus un vecteur'': <math>a + b\mathbf{i} + c\mathbf{j} + d\mathbf{k} = a + \vec{v}</math>.

Ceux qui ont étudié les vecteurs à un niveau élémentaire pourraient trouver étrange d'additionner un ''nombre'' à un ''vecteur'', car ce sont des objets de natures très différentes, ou de ''multiplier'' deux vecteurs entre eux, car cette opération n'est d'habitude pas définie. Néanmoins, si l'on se souvient qu'il ne s'agit là que d'une notation pour les parties réelles et imaginaires d'un quaternion, cela devient plus légitime.

Nous pouvons exprimer la multiplication de quaternions ([[Quaternion#Parties_scalaire_et_vectorielle.2C_produit_de_Hamilton|produit de Hamilton]]) dans le langage moderne du [[produit vectoriel]] et du [[produit scalaire]] de vecteurs (qui ont en fait été inspirés au début par les quaternions). À la place des règles '''i'''<sup>2</sup> = '''j'''<sup>2</sup> = '''k'''<sup>2</sup> = '''ijk''' = −1, nous avons la règle de multiplication de deux vecteurs <math>\vec{v} \vec{w} =  - \vec{v} \cdot \vec{w} + \vec{v} \wedge \vec{w}</math>, où :
* <math>\vec{v} \vec{w}</math> est le quaternion résultant,
* <math>\vec{v} \wedge \vec{w}</math> est le produit vectoriel (un vecteur),
* <math>\vec{v} \cdot \vec{w}</math> est le produit scalaire (un nombre).

La multiplication de vecteurs n'est pas commutative (à cause du produit vectoriel), alors que la multiplication entre scalaires et celle entre un scalaire et un vecteur sont commutatives. Il découle de manière immédiate de ces règles que <math>(s + \vec{v}) (t + \vec{w}) = (s t - \vec{v} \cdot \vec{w}) + (s \vec{w} + t \vec{v} + \vec{v} \wedge \vec{w})</math>.

L'inverse (à gauche et à droite) d'un quaternion non nul est <math>(s + \vec{v})^{-1} = \frac{s - \vec{v}}{s^2 + |\vec{v}|^2}</math>, comme cela peut être vérifié par calcul direct.

==== Relation entre les rotations et les quaternions unitaires ====
Soient (''w'', ''x'', ''y'', ''z'') les coordonnées d'une rotation, comme décrit précédemment. Définissons le quaternion : <math>q = w + x\mathbf{i} + y\mathbf{j} + z\mathbf{k} = w + \begin{pmatrix}x\\y\\z\end{pmatrix} = \cos (\alpha/2) + \vec{u} \sin (\alpha/2)</math>
où <math>\vec{u}</math> est un [[vecteur unitaire]]. Soit également <math>\vec{v}</math> un vecteur ordinaire de l'espace en 3 dimensions, considéré comme un quaternion avec une coordonnée réelle nulle. On peut alors montrer (voir section suivante) que le produit de quaternions
:<math>q \vec{v} q^{-1}</math>
renvoie le vecteur <math>\vec{v}</math> tourné d'un angle <math>\alpha</math> autour de l'axe dirigé par <math>\vec{u}</math>. La rotation se fait dans le sens des aiguilles d'une montre si notre ligne de vue pointe dans la même direction que <math>\vec{u}</math>. Cette opération est connue comme la [[Action par conjugaison|conjugaison]] par ''q''.

Il s'ensuit que la multiplication de quaternions correspond à la composition de rotations, car si ''p'' et ''q'' sont des quaternions représentant des rotations, alors la rotation (conjugaison) par ''pq'' est
:<math>p q \vec{v} (p q)^{-1} = p q \vec{v} q^{-1} p^{-1} = p (q \vec{v} q^{-1}) p^{-1}</math>,
ce qui revient à tourner (conjuguer) par ''q'', puis par ''p''.

Le quaternion inverse d'une rotation correspond à la rotation inverse, car <math>q^{-1} (q \vec{v} q^{-1}) q = \vec{v}</math>. Le carré d'un quaternion correspond à la rotation de deux fois le même angle autour du même axe. Plus généralement, ''q''<sup>''n''</sup> correspond à une rotation de ''n'' fois l'angle autour du même axe que ''q''. Cela peut être étendu à un réel arbitraire ''n'', ce qui permet de calculer des rotations intermédiaires de façon fluide entre des rotations de l'espace, c'est l'{{Lien|interpolation linéaire sphérique|trad=Slerp}}.

==== Démonstration de l'équivalence entre conjugaison de quaternions et rotation de l'espace ====
Soit <math>\vec{u}</math> un vecteur unitaire (l'axe de rotation) et soit <math>q = \cos \frac{\alpha}{2} + \vec{u} \sin \frac{\alpha}{2}</math>. 

Notre but est de montrer que :
:<math>\vec{v'} = q \vec{v} q^{-1} = \left( \cos \frac{\alpha}{2} + \vec{u} \sin \frac{\alpha}{2} \right) \, \vec{v} \, \left( \cos \frac{\alpha}{2} - \vec{u} \sin \frac{\alpha}{2} \right)</math>
renvoie le vecteur <math>\vec{v}</math> tourné d'un angle <math>\alpha</math> autour de l'axe dirigé par <math>\vec{u}</math>.

En développant, on obtient en effet :
:<math>\begin{array}{lll}
\vec{v'} &=& \vec{v} \cos^2 \frac{\alpha}{2} + (\vec{u}\vec{v} - \vec{v}\vec{u}) \sin \frac{\alpha}{2} \cos \frac{\alpha}{2} - \vec{u}\vec{v}\vec{u} \sin^2 \frac{\alpha}{2} \\
&=& \vec{v} \cos^2 \frac{\alpha}{2} + 2 (\vec{u} \wedge \vec{v}) \sin \frac{\alpha}{2} \cos \frac{\alpha}{2} - (\vec{v} (\vec{u} \cdot \vec{u}) - 2 \vec{u} (\vec{u} \cdot \vec{v})) \sin^2 \frac{\alpha}{2} \\
&=& \vec{v} (\cos^2 \frac{\alpha}{2} - \sin^2 \frac{\alpha}{2}) + (\vec{u} \wedge \vec{v}) (2 \sin \frac{\alpha}{2} \cos \frac{\alpha}{2}) + \vec{u} (\vec{u} \cdot \vec{v}) (2 \sin^2 \frac{\alpha}{2}) \\
&=& \vec{v} \cos \alpha + (\vec{u} \wedge \vec{v}) \sin \alpha + \vec{u} (\vec{u} \cdot \vec{v}) (1 - \cos \alpha) \\
&=& (\vec{v} - \vec{u} (\vec{u} \cdot \vec{v})) \cos \alpha + (\vec{u} \wedge \vec{v}) \sin \alpha + \vec{u} (\vec{u} \cdot \vec{v}) \\
&=& \vec{v}_{\bot} \cos \alpha + (\vec{u} \wedge \vec{v}) \sin \alpha + \vec{v}_{\|}
\end{array}</math>
où <math>\vec{v}_{\bot}</math> et <math>\vec{v}_{\|}</math> sont les composantes de <math>\vec{v}</math> respectivement orthogonale et colinéaire à <math>\vec{u}</math>. C'est là la [[Rotation_vectorielle#Cas_général|formule d'Olinde Rodrigues]] qui donne la rotation d'angle <math>\alpha</math> autour de l'axe dirigé par <math>\vec{u}</math>.

=== Exemple ===

[[image:Diagonal rotation.png|thumb|Une rotation de 120° autour de la première diagonale permute i, j et k circulairement.]]

Considérons la rotation ''f'' autour de l'axe dirigé par <math>\vec{v} = \mathbf{i} + \mathbf{j} + \mathbf{k}</math> et d'angle 120°, c'est-à-dire <sup>2π</sup>/<sub>3</sub> [[radian]]s.

:<math>\alpha=\frac{2\pi}3</math>.

La norme de <math>\vec v</math> est √3, le demi-angle est <sup>π</sup>/<sub>3</sub> (60°), le [[cosinus]] de ce demi-angle est <sup>1</sup>/<sub>2</sub>, (cos 60° = 0,5) et son [[Fonction trigonométrique|sinus]] est <sup>√3</sup>/<sub>2</sub>, (sin 60° ≈ 0,866). Nous devons donc conjuguer avec le quaternion unitaire :

:<math>\begin{array}{lll}
q
&=& \cos\frac{\alpha}2+ \sin\frac{\alpha}2\cdot \frac1{\| \vec v\| }\vec v\\
&=& \cos \frac{\pi}3+ \sin \frac{\pi}3\cdot \frac1{\sqrt3}\vec v\\
&=& \frac12+ \frac{\sqrt3}2\cdot \frac1{\sqrt3}\vec v\\
&=& \frac12+ \frac{\sqrt3}2\cdot \frac{\mathbf i+\mathbf j+\mathbf k}{\sqrt3}\\
&=& \frac{1+\mathbf i+\mathbf j+\mathbf k}2
\end{array}</math>

Si ''f'' est la fonction de rotation,
:<math>f(a\mathbf i+ b\mathbf j+ c\mathbf k) = q (a\mathbf i+ b\mathbf j+ c\mathbf k) q^{-1}</math>

On peut prouver que l'on obtient l'inverse d'un quaternion unitaire simplement en changeant le signe de ses coordonnées imaginaires. En conséquence,
:<math>q^{-1} = \frac{1-\mathbf i-\mathbf j-\mathbf k}2</math>
et
:<math>f(a\mathbf i+b\mathbf j+c\mathbf k) = \frac{1+\mathbf i+\mathbf j+\mathbf k}2(a\mathbf i+b\mathbf j+c\mathbf k)\frac{1-\mathbf i-\mathbf j-\mathbf k}2</math>

En appliquant les règles ordinaires de calcul avec les quaternions, on obtient
:<math>f(a\mathbf i+b\mathbf j+c\mathbf k) = c\mathbf i+a\mathbf j+b\mathbf k</math>.

Comme on s'y attendait, la rotation revient à tenir un [[cube]] par un de ses sommets, puis à le faire tourner de 120° selon la diagonale la plus longue qui passe par ce point. On observe comment les trois axes subissent une [[permutation circulaire]].

{{Boîte déroulante/début|titre=Démonstration}}
Prouvons le résultat précédent : En développant l'expression de ''f'' (en deux étapes) et en appliquant les règles :

:<math>\begin{alignat}{2}
\mathbf{ij} & = \mathbf{k}, & \mathbf{ji} & = \mathbf{-k}, \\
\mathbf{jk} & = \mathbf{i}, & \mathbf{kj} & = \mathbf{-i}, \\
\mathbf{ki} & = \mathbf{j}, & \mathbf{ik} & = \mathbf{-j}, \\
\mathbf{i}^{2} & = \mathbf{j}^{2}& = \mathbf{k}^{2} & = -1
\end{alignat}</math>

on obtient :

:<math>\begin{array}{lll}
f(a\mathbf{i} + b\mathbf{j} + c\mathbf{k})
&=& \frac{1 + \mathbf{i} + \mathbf{j} + \mathbf{k}}{2} (a\mathbf{i} + b\mathbf{j} + c\mathbf{k}) \frac{1 - \mathbf{i} - \mathbf{j} - \mathbf{k}}{2} \\
&&                          (1 - \mathbf{i} - \mathbf{j} - \mathbf{k})\\
&=& \frac14( (a\mathbf i+b\mathbf j+c\mathbf k) +(- a + b\mathbf{k} - c\mathbf{j}) + (-a\mathbf{k} - b +c\mathbf{i}) + (a\mathbf{j} - b\mathbf{i} - c))\\
&&                          (1 - \mathbf{i} - \mathbf{j} - \mathbf{k})\\
&=& \frac{1}{4} ( (-a - b - c) + (a - b+ c) \mathbf{i} + (a + b - c) \mathbf{j} + (-a + b + c) \mathbf{k})\\
&&                          (1 - \mathbf{i} - \mathbf{j} - \mathbf{k})\\
&=& \frac{1}{4} ( ( (-a - b - c) + (a - b + c) \mathbf{i} + (a + b - c) \mathbf{j} + (-a + b + c) \mathbf{k})\\
&&+                       ( (a + b + c) \mathbf{i} + (a - b + c) + (a + b - c) \mathbf{k} + (a - b - c) \mathbf{j})\\
&&+                       ( (a + b + c) \mathbf{j} + (-a + b - c) \mathbf{k} + (a + b - c) + (-a + b + c) \mathbf{i})\\
&&+                       ( (a + b + c) \mathbf{k} + (a - b + c) \mathbf{j} + (-a - b + c) \mathbf{i} + (-a + b + c))\\
&=& \frac{1}{4} ( ( (-a - b - c) + (a - b + c) + (a + b - c) + (-a + b + c) )\\
&&+                       ( (a - b + c) + (a + b + c) + (-a + b + c) + (-a - b + c) ) \mathbf{i}\\
&&+                       ( (a + b - c) + (a - b - c) + (a + b + c) + (a - b + c) ) \mathbf{j}\\
&&+                       ( (-a + b + c) + (a + b - c) + (-a + b - c) + (a + b + c) ) \mathbf{k})\\
&=& \frac{1}{4} (0 + 4c \mathbf{i} + 4a \mathbf{j} + 4b \mathbf{k})\\
&=&c\mathbf{i} + a\mathbf{j} + b\mathbf{k}
\end{array}</math>

ce qui est bien le résultat annoncé. On voit que de tels calculs sont relativement fastidieux à faire à la main, mais dans un programme d'ordinateur, cela se résume à appeler deux fois la routine de multiplication de quaternions.
{{Boîte déroulante/fin}}

== Expliquer les propriétés des quaternions à l'aide des rotations ==

=== Non-commutativité ===

La multiplication des quaternions est [[Commutativité|non commutative]]. Comme multiplier des quaternions unitaires revient à composer les rotations dans l'espace à trois dimensions, on peut rendre cette propriété intuitive grâce au fait que les rotations en trois dimensions ne commutent pas en général.

Un simple exercice consistant à appliquer deux rotations successives à un objet asymétrique (par exemple un livre) peut l'expliquer. D'abord, tournez un livre de 90 degrés dans le sens des aiguilles d'une montre autour de l'axe des Z. Ensuite, basculez-le de 180 degrés autour de l'axe des X et mémorisez le résultat. Revenez à la position de départ, de manière à pouvoir lire à nouveau le titre du livre, et appliquez les rotations en ordre inverse. Comparez le résultat au résultat précédent. Cela montre que, en général, la composition de deux rotations différentes autour de deux axes distincts de l'espace ne commute pas.

=== Les quaternions sont-ils orientés ? ===

Il convient de remarquer que les quaternions, comme n'importe quelle rotation ou application linéaire, ne sont pas "orientés" (il n'y a pas de sens direct ou indirect). L'orientation d'un système de coordonnées provient de l'interprétation des nombres dans l'espace physique. Quelle que soit la convention d'orientation que l'on choisisse, faire tourner le vecteur X de 90 degrés autour du vecteur Z renverra le vecteur Y — la théorie et les calculs donnent le même résultat.

== Les quaternions et les autres représentations des rotations ==

=== Description qualitative des avantages des quaternions ===

La représentation d'une rotation sous la forme d'un quaternion (4 nombres) est plus compacte que la représentation en tant que [[matrice orthogonale]] (9 nombres). De plus, pour un axe et un angle donné, on peut facilement construire le quaternion correspondant, et réciproquement, pour un quaternion donné, on peut facilement extraire l'axe et l'angle. Toutes ces opérations sont beaucoup plus difficiles avec des matrices ou des  [[angles d'Euler]].

Dans les [[Jeu vidéo|jeux vidéo]] et dans d'autres applications, on a souvent besoin de « rotations fluides », c'est-à-dire que la scène représentée doit tourner harmonieusement et pas d'un seul coup. On peut obtenir ce résultat en choisissant une [[courbe]] comme celle de l'interpolation linéaire sphérique dans l'espace des quaternions, avec une extrémité qui est la transformation identique 1 (ou correspondant à une autre rotation initiale) et l'autre extrémité correspondant à la rotation finale désirée. C'est plus difficile à faire avec d'autres représentations des rotations.

Quand on compose plusieurs rotations sur un ordinateur, les erreurs d'arrondi s'accumulent forcément. Un quaternion qui est légèrement erroné représente toujours une rotation après avoir été renormalisé ; une matrice qui est légèrement erronée ne sera plus [[Matrice orthogonale|orthogonale]] et sera difficile à convertir à nouveau en une matrice orthogonale qui convienne.

Les quaternions évitent également un phénomène appelé le [[blocage de cardan]] qui peut apparaître lorsque, par exemple dans des systèmes de rotations décrivant le [[pilotage d'un avion|roulis, le tangage et le lacet]], le tangage est de 90° vers le haut ou le bas, de telle façon que le roulis et le lacet correspondent au même mouvement, et qu'un degré de liberté ait été perdu. Dans un système de navigation inertielle à base de [[cardan (suspension)|cardans]], par exemple, cela peut avoir des conséquences désastreuses si l'avion monte en flèche ou descend à pic.

=== Conversion vers et depuis la représentation sous forme de matrice ===

==== D'un quaternion en matrice orthogonale ====

La [[matrice orthogonale]] correspondant à une rotation au moyen du quaternion unitaire <math>z = a+bi+cj+dk</math> (avec <math>|z| = 1</math>) est donnée par
:<math>\begin{pmatrix}
a^2+b^2-c^2-d^2&2bc-2ad        &2ac+2bd        \\
2ad+2bc        &a^2-b^2+c^2-d^2&2cd-2ab        \\
2bd-2ac        &2ab+2cd        &a^2-b^2-c^2+d^2\\
\end{pmatrix}.</math>

==== D'une matrice orthogonale en quaternion ====

Chercher le quaternion <math>(q_0 + q_xi + q_yj + q_zk)</math> correspondant à la matrice de rotation <math>Q_{ij}</math> peut être instable numériquement si la [[trace (algèbre)|trace]] (la somme des éléments de la diagonale de la matrice) de la matrice de rotation est nulle ou très petite. Une méthode robuste consiste à choisir l'élément de la diagonale ayant la valeur <math>Q_{uu}</math> la plus grande en valeur absolue. Considérons

:<math>r=\pm \frac{1}{2}\sqrt{1+Q_{uu}+Q_{vv}+Q_{ww}}</math>

Cette écriture est légitime car l'expression sous la racine est positive. Si r est nul, cela équivaut à une trace égale à -1 (soit un angle de rotation de &pi;). La rotation est une symétrie axiale et donc le quaternion a la forme suivante (0 , <math>\vec{u}</math>.x , <math>\vec{u}</math>.y , <math>\vec{u}</math>.z) avec  <math>\vec{u}</math> vecteur unitaire dirigeant l'axe de rotation. Sinon le quaternion peut alors être écrit sous la forme<ref>{{Refconf|date=14/9/15|{{Ouvrage|langue=en|auteur1=John A. Vince|titre=Quaternions for Computer Graphics|éditeur=|année=2011|passage={{p.|?}}|isbn=|lire en ligne=http://archive.wikiwix.com/cache/?url=http%3A%2F%2Ff3.tiera.ru%2F2%2FCs_Computer%2520science%2FCsCg_Computational%2520geometry%2FVince%2520J.%2520Quaternions%2520for%2520computer%2520graphics%2520%2528Springer%2C%25202011%2529%2528ISBN%25200857297597%2529%2528O%2529%2528155s%2529_CsCg_.pdf}}}}.</ref> :

:<math>q_0 = r</math>

:<math>q_u = \frac{1}{4r}(Q_{wv}-Q_{vw})</math>

:<math>q_v = \frac{1}{4r}(Q_{uw}-Q_{wu})</math>

:<math>q_w = \frac{1}{4r}(Q_{vu}-Q_{uv})</math>

Attention, il y a deux conventions pour les vecteurs : l'une suppose que les matrices de rotation sont multipliées par des vecteurs-ligne à gauche, l'autre par des vecteurs-colonne à droite ; les deux conventions conduisent à des matrices qui sont transposées l'une de l'autre. La matrice ci-dessus suppose que l'on utilise des vecteurs colonne à droite. Historiquement, la convention vecteur-colonne-à-droite provient des mathématiques et de la mécanique classique, alors que la convention vecteur-ligne-à-gauche provient de l'infographie, où il était plus facile de saisir des vecteurs-lignes aux débuts de la discipline.

<!-- mis en commentaire tant que l'équivalent français n'existe pas

(Il peut être intéressant de comparer à la formule générale exprimant une [[Rotation matrix#Axis_and_angle|matrice de rotation 3 × 3 en termes d'axes et d'angle]] équivalente.)

-->

==== Quaternions optimaux ====
 {{à sourcer|date=juin 2014}}

La section ci-dessus a décrit comment récupérer un quaternion ''q'' à partir d'une [[matrice de rotation]] 3 × 3 ''Q''. Supposons, néanmoins, que nous avons une matrice ''Q'' qui n'est pas celle d'une rotation pure, à cause d'erreurs d'arrondi, par exemple, et que nous souhaitions trouver le quaternion ''q'' qui représente ''Q'' le plus précisément possible. Dans ce cas, nous construisons une matrice 4 × 4 symétrique

:<math> K = \frac13
 \begin{bmatrix}
  Q_{xx}-Q_{yy}-Q_{zz} & Q_{yx}+Q_{xy} & Q_{zx}+Q_{xz} & Q_{yz}-Q_{zy} \\
  Q_{yx}+Q_{xy} & Q_{yy}-Q_{xx}-Q_{zz} & Q_{zy}+Q_{yz} & Q_{zx}-Q_{xz} \\
  Q_{zx}+Q_{xz} & Q_{zy}+Q_{yz} & Q_{zz}-Q_{xx}-Q_{yy} & Q_{xy}-Q_{yx} \\
  Q_{yz}-Q_{zy} & Q_{zx}-Q_{xz} & Q_{xy}-Q_{yx} & Q_{xx}+Q_{yy}+Q_{zz}
 \end{bmatrix}
</math>

et nous cherchons le [[vecteur propre]] de coordonnées (''x'', ''y'', ''z'', ''w'') correspondant à la plus grande valeur propre (cette valeur vaut 1 si et seulement si ''Q'' est une rotation pure). Le quaternion ainsi obtenu correspondra à la rotation la plus proche de la matrice ''Q'' de départ<ref>{{en}} {{Ouvrage
 | prénom1=Itzhack Y.
 | nom1=Bar-Itzhack
 | année=2000
 | mois=11-12
 | titre=New method for extracting the quaternion from a rotation matrix
 | périodique=AIAA Journal of Guidance, Control and Dynamics
 | volume=23
 | numéro=6
 | pages=3
 | issn=0731-5090
 }}</ref>.

=== Comparaisons de performances avec d'autres méthodes de rotation ===

Cette section traite des implications en matière de performances de l'utilisation de quaternions par rapport à d'autres méthodes (axe et angle ou matrices de rotation) pour effectuer des rotations en 3D.

==== Résultats ====

{| class="wikitable"
|+ Espace mémoire nécessaire
|-
!          Méthode        !! Mémoire
|-
| [[Matrice de rotation]] ||     9
|-
|      [[Quaternion]]     ||     4
|-
|       Axe et angle      ||     4*
|}

<nowiki>*</nowiki> Note : la représentation sous forme d'angle et d'axe peut être stockée dans 3 emplacements seulement en multipliant l'axe de rotation par l'angle de rotation ; néanmoins, avant de l'utiliser, il faut récupérer le vecteur unitaire et l'angle en renormalisant, ce qui coûte des opérations mathématiques supplémentaires.

{| class="wikitable"
|+ Comparaison de performances de la composition de rotations
|-
!                   Méthode                    !! Multiplications !! Additions et soustractions !! Nombre total d'opérations
|-
| [[Matrice de rotation|Matrices de rotation]] ||        27       ||             18             ||        45
|-
|          [[Quaternion]]s          ||        16       ||             12             ||        28
|}

{| class="wikitable"
|+Comparaison de performances de la rotation de 1 vecteur
|-
!           Méthode          
! !! Multiplications !! Additions et soustractions !! sin et cos !! Nombre total d'opérations
|-
|   [[Matrice de rotation]]  
| || 9 || 6 || 0 || 15
|-
| [[Quaternion]]s 
|Sans matrice intermédiaire
| 15 || 15 || 0 || 30
|-
|[[Quaternion]]s
|Avec matrice intermédiaire
| 21 || 18 || 0 || 39
|-
|Axe et angle
|Sans matrice intermédiaire
|18
|13
|2
|30 + 3
|-
|Axe et angle
|Avec matrice intermédiaire
|21
|16
|2
|37 + 2
|}

==== Méthodes utilisées ====

Il y a trois techniques de base pour faire tourner un vecteur <math>\vec{v}</math> :
# Calculer le produit matriciel de la [[matrice de rotation]] 3 × 3 représentant la rotation '''R''' par la matrice colonne 3 × 1 représentant le vecteur <math>\vec{v}</math>. Cela nécessite 3 x (3 multiplications + 2 additions) = 9 multiplications et 6 additions, c'est la méthode la plus efficace pour faire tourner un vecteur.
# Utiliser la formule de rotation avec des quaternions dite [[#Relation entre les rotations et les quaternions unitaires|action par conjugaison]] <math>\vec{v}_\text{new}= z \vec{v} z^{-1}</math>. Calculer ce résultat revient à transformer le quaternion en une [[matrice de rotation]] '''R''' en utilisant la formule de conversion [[#D'un quaternion en matrice orthogonale|d'un quaternion en matrice orthogonale]], puis à multiplier le résultat par la matrice-colonne représentant le vecteur. En procédant à une [[recherche de sous-expressions communes]], l'algorithme se ramène à 21 multiplications et 18 additions. Une autre approche peut consister à convertir d'abord le quaternion dans la représentation sous forme d'axe et d'angle équivalente, puis à s'en servir pour faire tourner le vecteur. Néanmoins, c'est à la fois moins efficace et moins stable numériquement lorsque le quaternion est voisin de la rotation identité.
# Convertir la représentation sous forme d'axe et d'angle en [[matrice de rotation]] '''R''', puis multiplier par la matrice-colonne représentant le vecteur. La conversion coûte 14 multiplications, 2 appels de fonction (sin et cos) et 10 additions ou soustractions après [[recherche de sous-expressions communes]], puis la rotation ajoute 9 multiplications et 6 additions pour un total de 21 multiplications, 16 additions ou soustractions et deux appels de fonctions trigonométriques.

{| class="wikitable"
|+Comparaison de performances de la rotation de n vecteurs
|-
!           Méthode          
! !! Multiplications !! Additions et soustractions !! sin et cos !! Nombre total d'opérations
|-
|   [[Matrice de rotation]]  
| || 9n || 6n || 0 || 15n
|-
| [[Quaternion]]s 
|Sans matrice intermédiaire
| 15n || 15n || 0 || 30n
|-
|[[Quaternion]]s
|Avec matrice intermédiaire
| 9n + 12 || 6n + 12 || 0 || 15n + 24
|-
|Axe et angle
|Sans matrice intermédiaire
|18n
|12n + 1
|2
|30n + 3
|-
|Axe et angle
|Avec matrice intermédiaire
|9n + 12
|6n + 10
|2
|15n + 24
|}

''' Pseudo-code pour la rotation à l'aide de quaternions '''

Étant donné un quaternion ''z'' = ''a'' + ''bi'' + ''cj'' + ''dk'' (avec |z| = 1) et un vecteur <math>\vec{v}</math> de coordonnées ''v1'', ''v2'' et ''v3'', le code qui suit effectue une rotation. Notez l'utilisation de variables temporaires ''t''xx. Notez aussi l'optimisation des éléments de la diagonale de la matrice '''R''' : comme <math>a^2 + b^2 + c^2 + d^2 = 1</math>, on réécrit l'élément en haut à gauche sous la forme <math>a^2 + b^2 + c^2 + d^2 - 2c^2 - 2d^2 = 1 - 2c^2 - 2d^2</math> ; les deux autres éléments de la diagonale peuvent être réécrits de même.
 t2 =   a*b
 t3 =   a*c
 t4 =   a*d
 t5 =  -b*b
 t6 =   b*c
 t7 =   b*d
 t8 =  -c*c
 t9 =   c*d
 t10 = -d*d
 v1new = 2*( (t8 + t10)*v1 + (t6 -  t4)*v2 + (t3 + t7)*v3 ) + v1
 v2new = 2*( (t4 +  t6)*v1 + (t5 + t10)*v2 + (t9 - t2)*v3 ) + v2
 v3new = 2*( (t7 -  t3)*v1 + (t2 +  t9)*v2 + (t5 + t8)*v3 ) + v3

''' Pseudo-code pour créer une matrice angle et axe '''

Étant donné un vecteur unitaire de coordonnées (''v1'', ''v2'', ''v3'') et un angle ''θ'', la matrice de rotation peut être calculée avec :
 t1 =  cos(theta)
 t2 =  1 - t1
 t3 =  v1*v1
 t6 =  t2*v1
 t7 =  t6*v2
 t8 =  sin(theta)
 t9 =  t8*v3
 t11 = t6*v3
 t12 = t8*v2
 t15 = v2*v2
 t19 = t2*v2*v3
 t20 = t8*v1
 t24 = v3*v3
 R[1, 1] = t1 + t2*t3
 R[1, 2] = t7 - t9
 R[1, 3] = t11 + t12
 R[2, 1] = t7 + t9
 R[2, 2] = t1 + t2*t15
 R[2, 3] = t19 - t20
 R[3, 1] = t11 - t12
 R[3, 2] = t19 + t20
 R[3, 3] = t1 + t2*t24

== Les paires de quaternions unitaires comme rotations dans l'espace à 4 dimensions ==

Une paire de quaternions unitaires ''z''<sub>l</sub> et ''z''<sub>r</sub> peut représenter n'importe quelle rotation de l'espace en quatre dimensions. Étant donné un vecteur <math>\vec{v}</math> en quatre dimensions, considéré comme un quaternion, nous pouvons faire tourner <math>\vec{v}</math> ainsi :

<math>f(v) = z_l v z_r =
\begin{pmatrix}
a_l&-b_l&-c_l&-d_l\\
b_l&a_l&-d_l&c_l\\
c_l&d_l&a_l&-b_l\\
d_l&-c_l&b_l&a_l
\end{pmatrix}\begin{pmatrix}
a_r&-b_r&-c_r&-d_r\\
b_r&a_r&d_r&-c_r\\
c_r&-d_r&a_r&b_r\\
d_r&c_r&-b_r&a_r
\end{pmatrix}\begin{pmatrix}
w\\x\\y\\z
\end{pmatrix}
</math>

Les deux matrices vérifient <math>M \, \!^t M  = I</math> : chacune de ces deux matrices (et donc également la combinaison des deux) représente une rotation. On remarquera que comme <math>(z_{l} \vec{v}) z_{r} = z_{l} (\vec{v} z_{r})</math>, les deux matrices doivent commuter. Par conséquent, il y a deux sous-groupes commutant de l'ensemble des rotations de l'espace en quatre dimensions. Il y a six degrés de liberté pour une rotation quelconque de l'espace à 4 dimensions, chacune de ces deux matrices représente 3 de ces 6 degrés de liberté.

De la même façon qu'une rotation en quatre dimensions [[infinitésimal]]e peut être représentée comme suit, par une paire de quaternions, on peut représenter toutes les rotations de l'espace en 4 dimensions.

<math>z_l \vec{v} z_r = \begin{pmatrix}
1      &-dt_{ab}&-dt_{ac}&-dt_{ad}\\
dt_{ab}&1       &-dt_{bc}&-dt_{bd}\\
dt_{ac}& dt_{bc}&1       &-dt_{cd}\\
dt_{ad}& dt_{bd}& dt_{cd}&1
\end{pmatrix}\begin{pmatrix}
w\\
x\\
y\\
z
\end{pmatrix}
</math>

<math>z_l=
1+{dt_{ab}+dt_{cd}\over 2}i+{dt_{ac}-dt_{bd}\over 2}j+{dt_{ad}+dt_{bc}\over 2}k
</math>

<math>z_r=
1+{dt_{ab}-dt_{cd}\over 2}i+{dt_{ac}+dt_{bd}\over 2}j+{dt_{ad}-dt_{bc}\over 2}k
</math>

== Notes et références ==
{{Références}}

== Voir aussi ==
=== Articles connexes ===
* [[APL (langage)]]
* [[Quaternion]]
* [[Biquaternion]]
* [[Angles d'Euler]]
* [[Blocage de cardan]]
* [[Rotation dans l'espace]]
* [[Matrice de rotation]]
* [[Algèbre de Clifford]]
* [[Groupe Spin]]
* [[Revêtement (mathématiques)|Revêtement]]

=== Liens externes et ressources ===
* {{en}} [ftp://ftp.cis.upenn.edu/pub/graphics/shoemake/quatut.ps.Z Shoemake, Ken. Quaternion tutorial]
* {{en}} [http://graphics.stanford.edu/courses/cs348c-95-fall/software/quatdemo/ Hart, Francis, Kauffman. Quaternion demo]
* {{en}} [http://www.diku.dk/publikationer/tekniske.rapporter/1998/98-5.ps.gz Dam, Koch, Lillholm. Quaternions, Interpolation and Animation]
* {{en}} [http://home.ewha.ac.kr/~bulee/quaternion.pdf Byung-Uk Lee, Unit Quaternion Representation of Rotation]
* {{en}} [http://www.itk.org/CourseWare/Training/QuaternionsI.pdf  Ibanez, Luis, Quaternion Tutorial I]
* {{en}} [http://www.itk.org/CourseWare/Training/QuaternionsII.pdf  Ibanez, Luis, Quaternion Tutorial II]
* {{en}} [http://citeseer.ist.psu.edu/vicci01quaternions.html Leandra Vicci, Quaternions and Rotations in 3-Space: The Algebra and its Geometric Interpretation]
* Un [http://www.math.sciences.univ-nantes.fr/~robert/printcours_upn_08_4.pdf cours] sur les quaternions et les rotations.
* [https://lipsum.dev/2020-09-1-rotations/ Présentation] mathématique des quaternions incluant une animation WebGL
{{Portail|géométrie}}

[[Catégorie:Rotation en mathématiques]]
[[Catégorie:Imagerie numérique]]