Isométries de l'espace

Sommaire

Ce document présente les isométries de l'espace affine euclidien orienté de dimension

3

, noté

E

. L'espace vectoriel euclidien associé est noté

\overset{⇀}{E}

Les isométries vectorielles
Les isométries affines
Tableau des isométries de l'espace

Vous pouvez consulter ce document page à page ou à partir du tableau des isométries.

Il a pour base la partie VI du polycopié "Géométrie euclidenne" rédigé par Marie-Claude DAVID, Daniel PERRIN, Frédéric HAGLUND et utilisé à la préparation au CAPES de mathématiques à Orsay (Université Paris-Sud).

Les isométries vectorielles

Sommaire de la partie des isométries vectorielles.

Orientation d'un plan vectoriel de l'espace par un vecteur normal
Droites propres et plans stables par une isométrie vectorielle
Les symétries orthogonales de l'espace vectoriel de dimension 3 (isométries vectorielles admettant trois valeurs propres réelles)
Les isométries vectorielles admettant une seule valeur réelle
Liste des isométries vectorielles (définitions)
Forme de la matrice d'une isométrie vectorielle dans une base orthonormée bien choisie
Nature d'une isométrie vectorielle donnée par sa matrice dans une base othonormée directe

Orientation d'un plan vectoriel de l'espace par un vecteur normal

Soit

\overset{⇀}{P}

un plan vectoriel de

\overset{⇀}{E}

et soit

\overset{⇀}{e_{1}}

un vecteur unitaire orthogonal à

\overset{⇀}{P}

. Par définition, l'orientation de $\overset{⇀}{P}$ définie par $\overset{⇀}{e_{1}}$ est la suivante : si

ℬ = (\overset{⇀}{e_{2}}, \overset{⇀}{e_{3}})

est une base orthonormée de

\overset{⇀}{P}

, on dit que

ℬ

est directe si la base

(\overset{⇀}{e_{1}}, \overset{⇀}{e_{2}}, \overset{⇀}{e_{3}})

est directe.

Remarque : Attention, si l'on change $\overset{⇀}{e_{1}}$ en $- \overset{⇀}{e_{1}}$ , l'orientation de $\overset{⇀}{P}$ est renversée.

Droites propres et plans stables par une isométrie vectorielle

Comme

\overset{⇀}{E}

est de dimension

3

, tout endomorphisme de

\overset{⇀}{E}

admet une ou trois valeurs propres réelles (comptées avec leur multiplicité)

Le polynôme caractéristique de l'endomorphisme est de degré

3

donc s'annule au moins une fois sur

Proposition : Soit

\overset{⇀}{f}

une isométrie vectorielle admettant la valeur propre réelle

λ

, soit

\overset{⇀}{D}

une droite propre associée à

λ

et soit

\overset{⇀}{P} = {\overset{⇀}{D}}^{⊥}

le plan orthogonal à

\overset{⇀}{D}

. Alors, on a

λ = \pm 1

et le plan

\overset{⇀}{P}

est stable par

f

Démonstration : Les valeurs propres d'une isométrie sont

\pm 1

En effet, si

\overset{⇀}{u}

est un vecteur propre non nul associé à la valeur propre

λ

, on a

∥ \overset{⇀}{u} ∥ = ∥ \overset{⇀}{f} (\overset{⇀}{u}) ∥ = ∣ λ ∣ . ∥ \overset{⇀}{u} ∥

. La stabilité du plan orthogonal vient de la conservation de l'orthogonalité et de la stabilité de

\overset{⇀}{D}

Corollaire : Une droite vectorielle est stable par une application linéaire si et seulement si c'est une direction propre pour cette application linéaire. Un plan est stable par une isométrie vectorielle si et seulement s'il est orthogonal à une direction propre.

Les symétries orthogonales de l'espace vectoriel de dimension 3

La proposition suivante permet d'affirmer qu'une isométrie vectorielle qui admet trois valeurs propres réelles (comptées avec leur ordre de multiplicité) est diagonalisable, et plus précisément une symétrie orthogonale (bien sûr).

Proposition : Soit

\overset{⇀}{f}

une isométrie vectorielle admettant 3 valeurs propres réelles. Alors

\overset{⇀}{f}

est une symétrie orthogonale.

Démonstration : Soit

\overset{⇀}{D}

une droite propre de

\overset{⇀}{f}

pour la valeur propre lambda

1 . Comme le plan

\overset{⇀}{P} = {\overset{⇀}{D}}^{⊥}

est stable par

\overset{⇀}{f}

, la restriction

\overset{⇀}{f} ∣_{\overset{⇀}{P}}

est une isométrie de

\overset{⇀}{P}

qui admet deux valeurs propres réelles. Vue la classification des isométries en dimension 2,

\overset{⇀}{f} ∣_{\overset{⇀}{P}}

est donc l'identité, la symétrie centrale ou une symétrie axiale. Dans tous les cas,

\overset{⇀}{f} ∣_{\overset{⇀}{P}}

est diagonalisable et donc

\overset{⇀}{f}

aussi. Comme les valeurs propres de

\overset{⇀}{f}

sont

1, il en résulte que

\overset{⇀}{f}

est une symétrie.

Liste des symétries orthogonales

Définition. Soit

\overset{⇀}{f}

la symétrie orthogonale par rapport au sous-espace

\overset{⇀}{V}

\overset{⇀}{E}

. Il y a quatre cas :

si $\dim \overset{⇀}{V} = 3$ , $\overset{⇀}{f}$ est l'identité (isométrie positive),
si $\dim \overset{⇀}{V} = 2$ , $\overset{⇀}{f}$ est la réflexion de plan $\overset{⇀}{V}$ (isométrie négative),
si $\dim \overset{⇀}{V} = 1$ , $\overset{⇀}{f}$ est le demi-tour d'axe $\overset{⇀}{V}$ (isométrie positive),
si $\dim \overset{⇀}{V} = 0$ , $\overset{⇀}{f}$ est la symétrie centrale $- {Id}_{\overset{⇀}{E}}$ (isométrie négative).

Les isométries vectorielles admettant une seule valeur réelle

Proposition : Soit

\overset{⇀}{f}

une isométrie vectorielle admettant une unique valeur propre réelle

λ

, soit

\overset{⇀}{D}

la droite propre associée à

λ

\overset{⇀}{P}

le plan orthogonal à

\overset{⇀}{D}

La restriction de $\overset{⇀}{f}$ à $\overset{⇀}{P}$ est une rotation de $\overset{⇀}{P}$ .
Si on a $λ = 1$ (resp. $λ = - 1$ ) l'isométrie $\overset{⇀}{f}$ est positive (resp. négative).
Si $\overset{⇀}{e_{1}}$ est un vecteur unitaire de $\overset{⇀}{D}$ , il existe un unique réel $θ$ modulo $2 π$ tel que la matrice de $\overset{⇀}{f}$ dans toute base orthonormée directe de premier vecteur $\overset{⇀}{e_{1}}$ soit

$A = (\begin{matrix} λ & 0 & 0 \\ 0 & \cos θ & - \sin θ \\ 0 & \sin θ & \cos θ \end{matrix})$

Démonstration : Comme

\overset{⇀}{f} ∣_{\overset{⇀}{P}}

n'a pas de valeur propre réelle, la classification des isométries planes montre que c'est une rotation. Cela prouve les points 1 et 2.

On considère l'orientation de $\overset{⇀}{P}$ définie par $\overset{⇀}{e_{1}}$ . Si $ℬ = (\overset{⇀}{e_{1}}, \overset{⇀}{e_{2}}, \overset{⇀}{e_{3}})$ est une base directe de $\overset{⇀}{E}$ , $(\overset{⇀}{e_{2}}, \overset{⇀}{e_{3}})$ est alors une base directe de $\overset{⇀}{P}$ et si $θ$ est l'angle de la rotation $\overset{⇀}{f} ∣_{\overset{⇀}{P}}$ dans $\overset{⇀}{P}$ muni de cette orientation , on a bien la matrice annoncée dans $ℬ$ .

Liste des isométries vectorielles

Les symétries orthogonales

Définition. Soit

\overset{⇀}{f}

la symétrie orthogonale par rapport au sous-espace

\overset{⇀}{V}

\overset{⇀}{E}

. Il y a quatre cas :

si $\dim \overset{⇀}{V} = 3$ , $\overset{⇀}{f}$ est l'identité (isométrie positive),
si $\dim \overset{⇀}{V} = 2$ , $\overset{⇀}{f}$ est la réflexion de plan $\overset{⇀}{V}$ (isométrie négative),
si $\dim \overset{⇀}{V} = 1$ , $\overset{⇀}{f}$ est le demi-tour d'axe $\overset{⇀}{V}$ (isométrie positive),
si $\dim \overset{⇀}{V} = 0$ , $\overset{⇀}{f}$ est la symétrie centrale $- {Id}_{\overset{⇀}{E}}$ (isométrie négative).

Les rotations

Définition. Soit

\overset{⇀}{f}

une isométrie vectorielle admettant une matrice du type.

$A = (\begin{matrix} 1 & 0 & 0 \\ 0 & \cos θ & - \sin θ \\ 0 & \sin θ & \cos θ \end{matrix})$

dans une base orthonormée directe

(\overset{⇀}{e_{1}}, \overset{⇀}{e_{2}}, \overset{⇀}{e_{3}})

On dit que $\overset{⇀}{f}$ est la rotation vectorielle d'axe orienté $(\overset{⇀}{D}, \overset{⇀}{e_{1}})$ et d'angle $θ \in ℝ / 2 π ℤ$ et on la note $\overset{⇀}{ρ} (\overset{⇀}{D}, \overset{⇀}{e_{1}}, θ)$ .

Une rotation est une isométrie positive.

Remarques

On notera que toutes les isométries vectorielles positives sont des rotations. Les demi-tours sont des rotations d'angle $π$ . En particulier elles admettent $1$ comme valeur propre.
Attention, si on change l'orientation de $\overset{⇀}{D}$ , l'angle de la rotation est changé en son opposé : $\overset{⇀}{ρ} (\overset{⇀}{D}, \overset{⇀}{e_{1}}, θ) = \overset{⇀}{ρ} (\overset{⇀}{D}, - \overset{⇀}{e_{1}}, - θ)$ . Cependant, l'angle de l'identité qui est nul et celui des demi-tours qui vaut $π$ ne changent pas si l'on change l'orientation de l'axe.

Les antirotations

Définition. Soit

\overset{⇀}{f}

une isométrie vectorielle admettant une matrice du type

$A = (\begin{matrix} - 1 & 0 & 0 \\ 0 & \cos θ & - \sin θ \\ 0 & \sin θ & \cos θ \end{matrix})$

dans une base orthonormée directe

(\overset{⇀}{e_{1}}, \overset{⇀}{e_{2}}, \overset{⇀}{e_{3}})

avec

θ \neq 0, π

(mod

2 π

On dit que $\overset{⇀}{f}$ est l'antirotation vectorielle d'axe $(\overset{⇀}{D}, \overset{⇀}{e_{1}})$ et d'angle $θ$ .

Une antirotation est une isométrie négative.

Cette appellation nous semble commode, mais elle n'est pas standard. La plupart des auteurs ne donnent pas de nom spécifique à cette transformation.

Forme de la matrice d'une isométrie vectorielle dans une base orthonormée bien choisie

Toutes les isométries vectorielles admettent une matrice de la forme

$(\begin{matrix} λ & 0 & 0 \\ 0 & \cos θ & - \sin θ \\ 0 & \sin θ & \cos θ \end{matrix})$

dans une base orthonormée bien choisie

(\overset{⇀}{e_{1}}, \overset{⇀}{e_{2}}, \overset{⇀}{e_{3}})

En effet, on retrouve

l'identité pour $λ = 1$ et $θ = 0$ ,
les réflexions avec $λ = - 1$ et $θ = 0$ ,
les demi-tours pour $λ = 1$ et $θ = π$
la symétrie centrale pour $λ = - 1$ et $θ = π$

et bien sûr

les rotations pour $λ = 1$ et $θ \neq 0$ (mod $2 π$ ) .
les antirotations pour $λ = - 1$ et $θ \neq 0, π$ (mod $2 π$ ).

Remarques :

On notera que, sauf dans le cas des symétries orthogonales, la droite engendrée par $\overset{⇀}{e_{1}}$ est bien déterminée : c'est la droite propre relative à $λ$ .
La matrice d'une symétrie orthogonale est symétrique dans toute base orthonormée.
En effet, si $A$ est la matrice d'une symétrie orthogonale dans une base orthonormée, elle vérifie $A^{- 1} = A$ et comme elle est orthogonale, elle vérifie aussi $A^{- 1} =^{t} A$ , dans $A$ est symétrique.
Dans la pratique, il n'est pas nécessaire de trouver la base où la matrice de $\overset{⇀}{f}$ est de cette forme pour déterminer sa nature (Voir la suite) .

Nature d'une isométrie vectorielle donnée par sa matrice dans une base othonormée directe

Soit

B

une base orthonormée directe de

\overset{⇀}{E}

\overset{⇀}{f}

une isométrie de

\overset{⇀}{E}

de matrice

A

dans

B

La matrice $A$ est orthogonale.

Exercice 1: Déterminer une matrice orthogonale.

L'isométrie $\overset{⇀}{f}$ est une symétrie si et seulement si $A$ est une matrice symétrique.
En effet, si $A$ est la matrice d'une symétrie orthogonale dans une base orthonormée, elle vérifie $A^{- 1} = A$ et comme elle est orthogonale, elle vérifie aussi $A^{- 1} =^{t} A$ , dans $A$ est symétrique.

Dans ce cas :
- $\overset{⇀}{f}$ est $Id$ (resp. $- Id$ ) si et seulement si $A$ est $I_{n}$ (resp. $- I_{n}$ )
- si $Tr (A)$ vaut -1, $\overset{⇀}{f}$ est un demi-tour
- si $Tr (A)$ vaut 1, $\overset{⇀}{f}$ est une réflexion
Si $\overset{⇀}{f}$ n'est pas une symétrie, $\overset{⇀}{f}$ admet la valeur propre $1$ si elle est positive (c'est une rotation), $- 1$ si elle est négative (c'est une antirotation). On oriente l'axe de $\overset{⇀}{f}$ en choisissant un vecteur propre unitaire $\overset{⇀}{e_{1}}$ relatif à la valeur propre $λ = \pm 1$ . L'angle est alors entièrement déterminé par les remarques suivantes :
1. on a $λ + 2 \cos θ = Tr \overset{⇀}{f}$
2. le signe de $\sin θ$ est le signe de $\det_{B} (\overset{⇀}{e_{1}}, \overset{⇀}{u}, \overset{⇀}{f} (\overset{⇀}{u}))$ où $\overset{⇀}{u}$ est un vecteur quelconque non colinéaire à $\overset{⇀}{e_{1}}$ .

Exercice 2 : Reconnaître un demi-tour, une réflexion, une rotation, une antirotation sur sa matrice.
Exercice 3 : Etude d'une rotation donnée par sa matrice.
Exercice 4 : Déterminer les éléments caractéristiques d'une rotation ou d'une antirotation.

Les isométries affines

Pour commencer, consultez des Résultats importants de géométrie affine .
Dans l'espace affine :

Les déplacements de l'espace
- Définition d'une rotation affine
- Définition d'un vissage
Les antidéplacements de l'espace
- Définition d'une antirotation affine
Droites et plans stables par une isométrie affine
Exercices

Résultats importants de géométrie affine

Valeur propre 1 et points fixes

Proposition : Soit

f

une application affine d'un espace affine

E

de dimension finie dans lui-même et soit

\overset{⇀}{f}

l'application linéaire associée à

f

. Alors, l'application

f

admet un unique point fixe si et seulement si

1

n'est pas valeur propre de

\overset{⇀}{f}

Commutation avec une translation

Proposition : Soient

g

une application affine d'un espace affine

E

de dimension finie dans lui-même et

\overset{⇀}{v}

un vecteur de

\overset{⇀}{E}

. Les applications

g

t_{\overset{⇀}{v}}

commutent si et seulement si

\overset{⇀}{v}

appartient au sous-espace propre

Ker (\overset{⇀}{g} - {Id}_{\overset{⇀}{E}})

Décomposition des applications affines

Théorème : Si une application affine

f

E

dans

E

vérifie :

$\overset{⇀}{E} = Ker (\overset{⇀}{f} - {Id}_{\overset{⇀}{E}}) \oplus Im (\overset{⇀}{f} - {Id}_{\overset{⇀}{E}})$

alors

f

s'écrit de manière unique

t_{\overset{⇀}{v}} \circ g

où

$g$ est une application affine admettant un point fixe,
le vecteur $\overset{⇀}{v}$ appartient à $Ker (\overset{⇀}{f} - {Id}_{\overset{⇀}{E}})$
$g$ et $t_{\overset{⇀}{v}}$ commutent.

D'après la proposition précédente, les affirmations (2) et (3) du théorème sont équivalentes.

Cas particulier des isométries affines

Corollaire : Une isométrie affine vérifie les hypothèses du théorème de décomposition des applications affines.

Les déplacements de l'espace

Théorème : Les déplacements de

E

sont :

l'identité,
les translations $t_{\overset{⇀}{v}}$ de vecteur non nul,
les rotations $ρ (D, \overset{⇀}{e}, θ)$ d'angle non nul
les vissages $ρ (D, \overset{⇀}{e}, θ) t_{\overset{⇀}{v}} = t_{\overset{⇀}{v}} ρ (D, \overset{⇀}{e}, θ)$ avec $θ \neq 0$ et $\overset{⇀}{v} \in \overset{⇀}{D}$ , $\overset{⇀}{v} \neq \overset{⇀}{0}$

Démonstration : Soit

f

un déplacement et

\overset{⇀}{f}

l'application linéaire associée. En vertu de la liste des isométries vectorielles ,

\overset{⇀}{f}

est une rotation vectorielle d'angle

θ \in ℝ / 2 π ℤ

. Si

θ

est nul,

\overset{⇀}{f}

est l'identité, donc

f

est une translation ou l'identité. Sinon, comme

\overset{⇀}{f}

admet la valeur propre 1, il y a deux cas :

L'application $f$ a un point fixe : dans ce cas elle a toute une droite de points fixes et c'est une rotation ,
L'application $f$ n'a pas de point fixe : dans ce cas, elle s'écrit comme composée d'une rotation et d'une translation de vecteur non nul (appartenant à la direction de l'axe de la rotation) qui commutent d'après le théorème de décomposition . C'est alors un vissage .

Définition d'une rotation affine

Définition.

Soit $D$ une droite, orientée par le choix d'un vecteur $\overset{⇀}{e}$ non nul de $\overset{⇀}{D}$ , et soit $θ \in ℝ / 2 π ℤ$ .
On appelle rotation d'axe orienté $(D, \overset{⇀}{e})$ et d'angle theta l'application affine notée $ρ (D, \overset{⇀}{e}, θ)$ définie par :

$ρ (D, \overset{⇀}{e}, θ) (a) = a$ pour tout point $a$ de $D$ ,
$\vec{ρ (D, \overset{⇀}{e}, θ)}$ est la rotation vectorielle $\overset{⇀}{ρ}$ d'axe $(\overset{⇀}{D}, \overset{⇀}{e})$ et d'angle $θ$ .

Remarques.

Comme $\overset{⇀}{ρ}$ laisse fixe tous les vecteurs de $\overset{⇀}{D}$ , il suffit d'imposer la relation $ρ (D, \overset{⇀}{e}, θ) (a) = a$ pour un point $a \in D$ .
La rotation laisse stable tout plan perpendiculaire à son axe et agit dans un tel plan comme une rotation plane de centre le point fixe de la rotation dans ce plan (intersection de l'axe et du plan). Faites un dessin !

Définition d'un vissage

Définition.

Soit $D$ une droite, orientée par le choix d'un vecteur $\overset{⇀}{e}$ non nul de $\overset{⇀}{D}$ , soit $θ \in ℝ / 2 π ℤ$ et soit $\overset{⇀}{v} \in \overset{⇀}{D}$ .
On appelle vissage d'axe orienté $(D, \overset{⇀}{e})$ , d'angle theta et de vecteur $\overset{⇀}{v}$ l'application affine $ρ (D, \overset{⇀}{e}, θ) \circ t_{\overset{⇀}{v}} = t_{\overset{⇀}{v}} \circ ρ (D, \overset{⇀}{e}, θ)$ .

Les antidéplacements de l'espace

Théorème : Les isométries négatives de

E

sont

les symétries centrales $σ_{a}$ où $a$ est un point de $E$ ,
les antirotations $ϕ (a, D, θ)$ de centre $a$ , d'axe $D$ et d'angle $θ$ ,
les réflexions orthogonales $σ_{H}$ où $H$ est un plan
les réflexions (orthogonales) glissées $σ_{H} t_{\overset{⇀}{v}} = t_{\overset{⇀}{v}} s_{H}$ où $H$ est un plan et où l'on a $\overset{⇀}{v} \in \overset{⇀}{H}$ , $\overset{⇀}{v} \neq \overset{⇀}{0}$ .

Démonstration : Les antirotations vectorielles n'ayant pas la valeur propre 1, les applications affines associées ont un unique point fixe et sont donc des antirotations affines .

En revanche, les réflexions ont la valeur propre 1 d'où les deux cas ci-dessus (voir Résultats importants de géométrie affine ).

Définition d'une antirotation affine

Définition.

Soit $D$ une droite de $E$ que nous orienterons en choisissant un vecteur $\overset{⇀}{e}$ non nul de $\overset{⇀}{D}$ , soit $a$ un point de $D$ et soit $θ \in ℝ / 2 π ℤ$ , $θ \neq 0, π$ .
On appelle antirotation de centre $a$ , d'axe $(D, \overset{⇀}{e})$ et d'angle $θ$ l'application affine $ϕ = ϕ (a, D, \overset{⇀}{e}, θ)$ définie par :

$ϕ (a) = a$
$\overset{⇀}{ϕ}$ est l' antirotation vectorielle d'axe $(\overset{⇀}{D}, \overset{⇀}{e})$ et d'angle $θ$ .

Une antirotation est la composée commutative d'une réflexion et d'une rotation.

Droites et plans stables par une isométrie affine

Voici une méthode de recherche des sous-espaces stables par une isométrie affine.

La recherche des droites et des plans affines stables par une isométrie affine $f$ commence par la recherche de leurs directions : les directions possibles sont les droites et les plans vectoriels stables par $\overset{⇀}{f}$ .
Parmi les droites ou plans de direction stable par $\overset{⇀}{f}$ , il reste à déterminer ceux qui sont stables par $f$ .

Soit $G$ un sous-espace affine de direction stable par $\overset{⇀}{f}$ . S'il existe un point $m$ de $G$ tel que $f (m)$ appartienne à $G$ , alors $G$ est stable par $f$ , s'il existe un point $m$ de $G$ tel que $f (m)$ n'appartienne pas à $G$ , alors $G$ n'est pas stable par $f$ .

Lorsque que vous avez déterminé les droites et les plans stables par chaque type d'isométrie, vous pouvez tester vos connaissances sur le sujet à l'aide de l' exercice de récapitulation .

Exercices

QCM sur les isométries affines.
Points fixes, droites et plans stables d'une isométrie affine.
Caractériser une isométrie par sa trace.

Tableau des isométries de l'espace

Soit $f$ une isométrie affine dont l'application linéaire associée est $\overset{⇀}{f}$ . On note $A$ la matrice de $\overset{⇀}{f}$ dans une base orthonormée directe donnée de l'espace orienté. (Dans la pratique, il n'est pas nécessaire de calculer les valeurs propres de $A$ pour connaître la nature de $\overset{⇀}{f}$ . Pourquoi ? )

	ISOMETRIES POSITIVES			ISOMETRIES NEGATIVES
$\overset{⇀}{f}$	1 est valeur propre simple. $\overset{⇀}{D} = Ker (\overset{⇀}{f} - Id)$ Le choix d'un vecteur directeur $\overset{⇀}{e}$ de $\overset{⇀}{D}$ oriente le plan $\overset{⇀}{P} = {\overset{⇀}{D}}^{⊥}$ . $\overset{⇀}{D}$ et $\overset{⇀}{P}$ sont stables par $\overset{⇀}{f}$ .		1 est valeur propre triple	1 est valeur propre double.	1 n'est pas valeur propre.
	$\overset{⇀}{f}$ a une valeur propre réelle. $A$ n'est pas symétrique	$\overset{⇀}{f}$ a 3 valeurs propres réelles : 1,-1,-1 $A$ est symétrique	$\overset{⇀}{f} = {Id}_{\overset{⇀}{E}}$	$\overset{⇀}{P} = Ker (\overset{⇀}{f} - Id)$ $\overset{⇀}{f}$ a 3 val. propres réelles : 1,1,-1 $A$ est symétrique	-1 est valeur propre triple	-1 est valeur propre simple. $\overset{⇀}{D} = Ker (\overset{⇀}{f} + Id)$ Le choix d'un vecteur directeur $\overset{⇀}{e}$ de $\overset{⇀}{D}$ oriente le plan $\overset{⇀}{P} = {\overset{⇀}{D}}^{⊥}$ . $\overset{⇀}{D}$ et $\overset{⇀}{P}$ sont stables par $\overset{⇀}{f}$ ${\overset{⇀}{f}}_{∣ \overset{⇀}{P}}$ est une rotation d'angle $θ$ distinct de $0$ et $π$
	${\overset{⇀}{f}}_{∣ \overset{⇀}{P}}$ est une rotation d'angle $θ$ distinct de $0$ et $π$	${\overset{⇀}{f}}_{∣ \overset{⇀}{P}}$ $= - {Id}_{\overset{⇀}{P}}$
	$\overset{⇀}{f} = ρ (\overset{⇀}{D}, \overset{⇀}{e}, θ)$ , rotation vectorielle d'axe $\overset{⇀}{D}$ orienté par $\overset{⇀}{e}$ et d'angle $θ$ distinct de $0$ et $π$	$\overset{⇀}{f}$ est le demi-tour d'axe $\overset{⇀}{D}$ ou symétrie par rapport à $\overset{⇀}{D}$		$\overset{⇀}{f}$ est la réflexion vectorielle par rapport à $\overset{⇀}{P}$	$\overset{⇀}{f} = - {Id}_{\overset{⇀}{E}}$	$\overset{⇀}{f} = φ (\overset{⇀}{D}, \overset{⇀}{e}, θ)$ , l' antirotation vectorielle d'axe $\overset{⇀}{D}$ orienté par $\overset{⇀}{e}$ et d'angle $θ$ distinct de $0$ et $π$
$f$ a au moins un point fixe	Les points fixes de $f$ forment une droite $D$ de direction $\overset{⇀}{D} .$ Les plans perpendiculaires à $D$ sont stables par $f$ .		Tous les points sont fixes. $f$ est l'identité.	$f$ a un plan $P$ de points fixes de direction $\overset{⇀}{P}$ .	$f$ a un unique point fixe $c$ .
	$f$ est la rotation affine d'axe $D$ orienté par $\overset{⇀}{e}$ et d'angle $θ$ distinct de $0$ et de $π$	$f$ est le demi-tour (ou la symétrie) d'axe $D$ .		$f$ est la réflexion par rapport à $P$	$f$ est la symétrie centrale de centre $c$ .	$f$ est l' antirotation affine de centre $c$ , d'axe $c + \overset{⇀}{D}$ orienté par $\overset{⇀}{e}$ et d'angle $θ$ distinct de $0$ et $π$ $f = s_{P} \circ ρ (D, \overset{⇀}{e}, θ)$ où $P$ est le plan passant par $c$ orthogonal à $D$ .
$f$ n'a aucun point fixe	$f$ est un vissage . Sa décomposition canonique est : $f = ρ (D, \overset{⇀}{e}, θ) \circ t_{\overset{⇀}{u}}$ $= t_{\overset{⇀}{u}} \circ ρ (D, \overset{⇀}{e}, θ)$ où $\overset{⇀}{u}$ est un vecteur non nul de $\overset{⇀}{D}$ .		$f$ est une translation de vecteur non nul.	$f$ est une réflexion glissée . $f = t_{\overset{⇀}{u}} \circ s_{P}$ où $\overset{⇀}{u}$ est un vecteur non nul de $\overset{⇀}{P}$ .	Comme $\overset{⇀}{f}$ n'admet pas la valeur propre 1, $f$ a un unique point fixe.

étude des isométries vectorielles et affines en dimension 3.
: isometries, rotation, symmetry, antirotation, demi-tour, orientation, interactive mathematics, interactive math, server side interactivity

Veuillez noter que les pages WIMS sont générées interactivement; elles ne sont pas des fichiers HTML ordinaires. Elles doivent être utilisées interactivement EN LIGNE. Il est inutile pour vous de les ramasser par un programme robot.