Rotation dans l'espace
1285007
17392404
2007-05-29T09:54:20Z
Vi..Cult...
179748
ortho
En géométrie, la '''rotation''' est une transformation de l'espace affine euclidien orienté de dimension trois qui a une parenté proche avec la [[rotation plane]]. Intuitivement, cette transformation fait tourner les figures autour d'une droite, appelée axe, et selon un certain angle. Elle constitue une [[isométrie]] car les distances sont conservées, et un [[déplacement (géométrie)|déplacement]] car elle conserve en outre les trièdres orientés.
La définition complète d'une rotation demande d'orienter l'espace ainsi que l'axe de rotation.
== Définition ==
Soit ''E'' [[espace affine]] [[espace euclidien|euclidien]] orienté de dimension trois. On considère une droite ''D'' de l'espace, également orientée (par exemple par le choix d'un vecteur directeur). Alors tout plan orthogonal à ''D'' possède une orientation induite par les orientations de ''D'' et de l'espace.
La rotation d'angle <math>\theta</math> et d'axe ''D'' est alors la transformation qui à un point ''m'' associe le point ''m''' défini ainsi
* ''m''' appartient au plan normal à ''D'' passant par ''m'' ;
* et, dans ce plan muni de l'orientation induite, ''m''' est l'image de ''m'' par la [[rotation plane]] de centre ''h'', intersection de la droite et du plan, et d'angle <math>\theta</math>.
Notamment les points de l'axe sont invariants. Lorsque l'angle <math>\theta</math> est nul, la rotation est l'application identique (quel que soit l'axe choisi). À l'exception de ce cas, une rotation n'admet qu'un seul axe, qui est l'ensemble de ses points invariants.
Par construction, les plans orthogonaux à l'axe sont globalement invariants.
Les rotations dont l'angle admet pour mesure (en radians) <math>\frac{\pi}2, -\frac{\pi}2,\pi</math> sont respectivement appelées ''quart de tour direct'', ''quart de tour indirect'' et ''retournement'' d'axe ''D''. Dans ce dernier cas, la rotation est aussi une [[Symétrie (transformation géométrique)|symétrie]] : la symétrie orthogonale par rapport à l'axe.
== Propriétés ==
=== Conservation des distances et des orientations ===
Les rotations sont des déplacements de l'espace affine euclidien, c'est-à-dire des [[isométrie]]s respectant l'orientation. Cela signifie que si ''a,b,c,d'' sont quatre points de l'espace et ''a′,b′,c′,d′'' les points images,
* les distances ''ab'' et ''a′b′'' sont égales ;
* les [[angle]]s (non orientés, puisque les points sont dans l'espace de dimension trois) ''abc'' et ''a′b′c′'' sont égaux
* le [[trièdre]] ''abcd'' est direct si et seulement si le trièdre ''a′b′c′d′'' l'est.
Réciproquement, un déplacement de l'espace est une rotation si et seulement s'il laisse au moins un point invariant. Les autres déplacements sont des vissages, qui peuvent être écrits comme composés d'une rotation et d'une translation parallèlement à son axe, ces deux transformations pouvant être effectuées dans n'importe quel ordre.
=== Rotations vectorielles ===
Le choix d'un point origine ''O'' confère à l'espace ''E'' une structure d'[[espace vectoriel]] euclidien orienté.
À toute rotation affine <math>r</math> correspond une [[rotation vectorielle]] <math>\vec r</math> qui est dite associée à la rotation affine, et définie par la relation
:<math>\forall (A,B) \in E^2, \qquad \vec{r}(\overrightarrow{AB})=\overrightarrow{r(A)r(B)}</math>
Les rotations vectorielles peuvent être identifiées aux rotations affines laissant fixe le point origine ''O'', c'est-à-dire l'identité et les rotations dont l'axe passe par ''O''.
Inversement, une application affine associée à une rotation vectorielle est un vissage dont l'axe est de même direction.
=== Composition et décomposition ===
La composée de deux rotations affines est une isométrie, et même un [[déplacement (géométrie)|déplacement]], mais n'est pas en général une rotation. De plus, l'ordre dans lequel s'effectue les compositions est important. Les rotations font partie du groupe (non commutatif) des déplacements de l'espace. De plus elles engendrent ce groupe, c'est-à-dire que tout déplacement peut s'écrire comme produit de rotations. Plus précisément, tout déplacement peut s'écrire comme produit de deux retournements.
La composée de deux rotations de même axe est une rotation. Pour ce cas particulier de composition, les angles s'ajoutent et l'ordre de composition n'importe pas.
Ainsi l'ensemble des rotations de même axe, en y incluant l'identité, forme un [[groupe (mathématiques)|groupe]] commutatif, isomorphe au groupe <math>(\mathbb R/2\pi\mathbb Z,+)</math>.
Toute rotation peut être décomposée en un produit de deux réflexions (symétries orthogonales par rapport à un plan), l'une d'elles pouvant être choisie arbitrairement.
== Formulations classiques de rotations ==
=== Rotation selon les angles d'Euler ===
Voir [[Angles d'Euler]].
=== Rotation par les quaternions ===
Voir [[Quaternion]].
== Voir aussi ==
* [[Rotation vectorielle]]
* [[Rotation plane]]
* [[Rotation]]
{{portail mathématiques}}
[[Catégorie:transformation géométrique]]