Isométries de l'espace

• 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

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

Droites propres et plans stables par une isométrie vectorielle

Le polynôme caractéristique de l'endomorphisme est de degré 3 donc s'annule au moins une fois sur .

Proposition : Soit une isométrie vectorielle admettant la valeur propre réelle , soit une droite propre associée à et soit le plan orthogonal à . Alors, on a = 1 et le plan est stable par f.

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

En effet, si est un vecteur propre non nul associé à la valeur propre , on a

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

Liste des symétries orthogonales

Soit la symétrie orthogonale par rapport au sous-espace de . Il y a quatre cas :

• si , est l'identité (isométrie positive),
• si , est la réflexion de plan (isométrie négative),
• si , est le demi-tour d'axe (isométrie positive),

• si , est la symétrie centrale (isométrie négative).

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

Proposition : Soit une isométrie vectorielle admettant une unique valeur propre réelle , soit la droite propre associée à et le plan orthogonal à .

1. La restriction de à est une rotation de .
2. Si on a = 1 (resp. = -1) l'isométrie est positive (resp. négative).

3. Si est un vecteur unitaire de , il existe un unique réel modulo 2 tel que la matrice de dans toute base orthonormée directe de premier vecteur soit

Démonstration : Comme 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 définie par . Si est une base directe de , est alors une base directe de et si est l'angle de la rotation dans muni de cette orientation , on a bien la matrice annoncée dans .

Liste des isométries vectorielles

Remarques

Les antirotations

Soit une isométrie vectorielle admettant une matrice du type dans une base orthonormée directe avec 0, (mod 2).

On dit que est l'antirotation vectorielle d'axe 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

1. 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 et comme elle est orthogonale, elle vérifie aussi , dans A est symétrique.
2. Dans la pratique, il n'est pas nécessaire de trouver la base où la matrice de 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

• L'isométrie 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 et comme elle est orthogonale, elle vérifie aussi , dans A est symétrique.

  Dans ce cas :

  • est (resp. ) si et seulement si A est (resp. )
  • si vaut -1, est un demi-tour
  • si vaut 1, est une réflexion
• Si n'est pas une symétrie, 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 en choisissant un vecteur propre unitaire relatif à la valeur propre . L'angle est alors entièrement déterminé par les remarques suivantes :
  1. on a
  2. le signe de est le signe de où est un vecteur quelconque non colinéaire à .

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

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

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

Les déplacements de l'espace

Démonstration : Soit f un déplacement et l'application linéaire associée. En vertu de la liste des isométries vectorielles , est une rotation vectorielle d'angle . Si est nul, est l'identité, donc f est une translation ou l'identité. Sinon, comme admet la valeur propre 1, il y a deux cas :

1. L'application f a un point fixe : dans ce cas elle a toute une droite de points fixes et c'est une rotation ,
2. 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

• Comme laisse fixe tous les vecteurs de , il suffit d'imposer la relation pour un point .
• 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 !

Les antidéplacements de l'espace

Théorème : Les isométries négatives de E sont
• les symétries centrales où a est un point de E,
• les antirotations de centre a, d'axe D et d'angle ,
• les réflexions orthogonales où H est un plan
• les réflexions (orthogonales) glissées où H est un plan et où l'on a , .

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

Soit D une droite de E que nous orienterons en choisissant un vecteur non nul de , soit a un point de D et soit , .

On appelle antirotation de centre a, d'axe et d'angle l'application affine définie par :

2. est l' antirotation vectorielle d'axe et d'angle .

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

Tableau des isométries de l'espace

Soit f une isométrie affine dont l'application linéaire associée est . On note A la matrice de 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 . Pourquoi ? )

 

	ISOMETRIES POSITIVES			ISOMETRIES NEGATIVES
	1 est valeur propre simple. Le choix d'un vecteur directeur de oriente le plan . et sont stables par .		1 est valeur propre triple	1 est valeur propre double.	1 n'est pas valeur propre.
	a une valeur propre réelle. A n'est pas symétrique	a 3 valeurs propres réelles : 1,-1,-1 A est symétrique		a 3 val. propres réelles : 1,1,-1 A est symétrique	-1 est valeur propre triple	-1 est valeur propre simple. Le choix d'un vecteur directeur de oriente le plan . et sont stables par est une rotation d'angle distinct de 0 et
	est une rotation d'angle distinct de 0 et .
	, rotation vectorielle d'axe orienté par et d'angle distinct de 0 et .	est le demi-tour d'axe ou symétrie par rapport à		est la réflexion vectorielle par rapport à		, l' antirotation vectorielle d'axe orienté par 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 . 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 .	f a un unique point fixe c.
	f est la rotation affine d'axe D orienté par 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 orienté par et d'angle distinct de 0 et 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 : où est un vecteur non nul de .		f est une translation de vecteur non nul.	f est une réflexion glissée . où est un vecteur non nul de .	Comme n'admet pas la valeur propre 1, f a un unique point fixe.