Isométrie affine

Une isométrie affine est une transformation bijective d'un espace affine euclidien dans un autre qui est à la fois une application affine et une isométrie (c'est-à-dire une bijection conservant les distances).

Si cette isométrie conserve aussi l'orientation, on dit que c'est un déplacement. Si elle inverse l'orientation, il s'agit d'un antidéplacement.

Les déplacements sont les composés de translations et rotations. Les réflexions sont des antidéplacements.

Isométries planes remarquables

On désigne par P {\displaystyle {\mathcal {P}}} le plan (c.-à-d., plus précisément, un plan affine réel euclidien). Les applications suivantes sont des isométries de P {\displaystyle {\mathcal {P}}}  :

  • Étant donné un vecteur u → {\displaystyle {\vec {u}}} l'application qui, à tout point A {\displaystyle A} , associe le point A ′ {\displaystyle A'} tel que A A ′ → = u → {\displaystyle {\vec {AA'}}={\vec {u}}}  : c'est la translation de vecteur u → {\displaystyle {\vec {u}}} . Sa réciproque est la translation de vecteur − u → {\displaystyle -{\vec {u}}} . Elle n'a aucun point fixe, sauf si u → = 0 → {\displaystyle {\vec {u}}={\vec {0}}} , auquel cas c'est l'identité.
  • Étant donné un point A {\displaystyle A} de P {\displaystyle {\mathcal {P}}} et un angle orienté θ {\displaystyle \theta } , l'application qui fixe A {\displaystyle A} et, à un point B {\displaystyle B} distinct de A {\displaystyle A} , associe l'unique point B ′ {\displaystyle B'} tel que A B = A B ′ {\displaystyle AB=AB'} et ( A B → , A B ′ → ^ ) = θ {\displaystyle ({\widehat {{\vec {AB}},{\vec {AB'}}}})=\theta }  : c'est la rotation plane de centre A {\displaystyle A} et d'angle θ {\displaystyle \theta } . Sa réciproque est la rotation de centre A {\displaystyle A} et d'angle − θ {\displaystyle -\theta } .
  • Étant donné une droite Δ {\displaystyle \Delta } l'application qui, à tout point A {\displaystyle A} , associe le point A ′ {\displaystyle A'} tel que A A ′ → = 2 A H → {\displaystyle {\vec {AA'}}=2{\vec {AH}}} , où H {\displaystyle H} est le projeté orthogonal de A {\displaystyle A} sur Δ {\displaystyle \Delta }  : c'est la symétrie axiale par rapport à Δ {\displaystyle \Delta } . On peut la définir autrement : si A ∈ Δ {\displaystyle A\in \Delta } alors A ′ = A {\displaystyle A'=A} et si A ∉ Δ {\displaystyle A\notin \Delta } alors A ′ {\displaystyle A'} est tel que Δ {\displaystyle \Delta } est la médiatrice de [ A A ′ ] {\displaystyle [AA']} . Les symétries sont involutives.

Classification des isométries planes ayant un point fixe

  • Une isométrie du plan ayant trois points fixes non alignés est l'identité.
  • Une isométrie du plan autre que l'identité ayant au moins deux points fixes A et B est la réflexion par rapport à la droite (AB).
  • Une isométrie du plan ayant un unique point fixe A est une rotation de centre A.
Démonstration
  • Soit f {\displaystyle f} une isométrie plane autre que l'identité. Soit M {\displaystyle M} un point du plan et M ′ = f ( M ) {\displaystyle M'=f(M)} tel que M ′ ≠ M {\displaystyle M'\neq M} . Un point fixe A {\displaystyle A} de f {\displaystyle f} vérifie M A = M ′ A {\displaystyle MA=M'A} donc est sur la médiatrice de [ M M ′ ] {\displaystyle [MM']} : les points fixes sont donc alignés. Par contraposée, si f {\displaystyle f} a trois points fixes non alignés, c'est l'identité.
  • Soit f {\displaystyle f} une isométrie plane autre que l'identité ayant au moins deux points fixes A {\displaystyle A} et B {\displaystyle B} et s {\displaystyle s} la réflexion par rapport à la droite ( A B ) {\displaystyle (AB)} . Soit C {\displaystyle C} un point n'appartenant pas à ( A B ) {\displaystyle (AB)} . Alors son image C ′ {\displaystyle C'} par f {\displaystyle f} vérifie C A = C ′ A {\displaystyle CA=C'A} et C B = C ′ B {\displaystyle CB=C'B} donc C ′ {\displaystyle C'} appartient à l'intersection de deux cercles de centres respectifs A {\displaystyle A} et B {\displaystyle B} . Cette intersection a au plus deux points et C ′ {\displaystyle C'} est différent de C {\displaystyle C} (sinon f {\displaystyle f} aurait trois points fixes non alignés et serait l'identité, ce qui est exclu par hypothèse) donc C {\displaystyle C} et C ′ {\displaystyle C'} sont les deux points d'intersection respectifs de ces cercles (rappelons que deux cercles de centres distincts ont au plus deux points en commun). Comme C A = C ′ A {\displaystyle CA=C'A} et C B = C ′ B {\displaystyle CB=C'B} , A {\displaystyle A} et B {\displaystyle B} sont sur la médiatrice de [ C C ′ ] {\displaystyle [CC']} ; par définition, on a donc s ( C ′ ) = C {\displaystyle s(C')=C} . Comme s ( A ) = A {\displaystyle s(A)=A} et s ( B ) = B {\displaystyle s(B)=B} , s ∘ f {\displaystyle s\circ f} a trois points fixes non alignés (à savoir A {\displaystyle A} , B {\displaystyle B} et C {\displaystyle C} ), donc s ∘ f = I d {\displaystyle s\circ f=Id} . On a donc f = s − 1 {\displaystyle f=s^{-1}} , i.e. f = s {\displaystyle f=s} (car les réflexions sont involutives. f {\displaystyle f} est donc la réflexion par rapport à la droite ( A B ) {\displaystyle (AB)} .
  • Si f {\displaystyle f} possède un unique point fixe A {\displaystyle A} : soit B {\displaystyle B} un point distinct de A {\displaystyle A} et B ′ = f ( B ) {\displaystyle B'=f(B)} . On a alors B ′ ≠ B {\displaystyle B'\neq B} . Soit Δ {\displaystyle \Delta } la médiatrice de [ B B ′ ] {\displaystyle [BB']} et s {\displaystyle s} la réflexion par rapport à la droite Δ {\displaystyle \Delta } . D'une part, B A = B ′ A {\displaystyle BA=B'A} , donc A ∈ Δ {\displaystyle A\in \Delta } et s ( A ) = A {\displaystyle s(A)=A} ; d'autre part, s ( B ′ ) = B {\displaystyle s(B')=B} . L'application s ∘ f {\displaystyle s\circ f} possède donc au moins deux points fixes: A {\displaystyle A} et B {\displaystyle B} . s ∘ f {\displaystyle s\circ f} est donc soit l'identité soit une réflexion. On ne peut avoir s ∘ f = I d {\displaystyle s\circ f=Id} , car sinon f = s − 1 {\displaystyle f=s^{-1}} aurait une infinité de points fixes (tous les points de Δ {\displaystyle \Delta } ). s ∘ f {\displaystyle s\circ f} est donc une réflexion s ′ {\displaystyle s'} par rapport à une droite passant par A {\displaystyle A} (car s ( f ( A ) ) = A {\displaystyle s(f(A))=A} ). On a donc f = s ∘ s ′ {\displaystyle f=s\circ s'} et f est donc une rotation car composée de deux réflexions d'axes sécants.

En dimension quelconque

Si une application d'un espace euclidien dans lui-même conserve les distances alors elle est affine, et son application linéaire associée conserve la norme donc est un automorphisme orthogonal[1]. Réciproquement, toute application affine dont l'application linéaire associée est un automorphisme orthogonal est une isométrie affine.

Les automorphismes orthogonaux sont caractérisés par le fait que leur matrice dans une base orthonormée est une matrice orthogonale.

Parmi les isométries affines on distingue, de même que parmi les automorphismes orthogonaux, les déplacements (isométries affines directes), qui conservent l'orientation, et les antidéplacements (isométries affines indirectes), qui la renversent. Le déterminant de la matrice précitée vaut respectivement +1 ou –1. Les antidéplacements sont aussi appelés antirotations ou roto-inversions.[réf. souhaitée]

Exemples. Les translations sont des déplacements sans point fixe. En dimension 2 ou 3, une rotation affine est un déplacement ayant au moins un point fixe. Dans le plan, les antidéplacements sont les réflexions et les réflexions glissées.

Pour étudier les isométries affines en dimension quelconque, on s'intéresse à l'automorphisme orthogonal ϕ {\displaystyle \phi } associé défini de la sorte : si f {\displaystyle f} est une isométrie affine de E {\displaystyle {\mathcal {E}}} , alors son automorphisme orthogonal associé est

ϕ : E → E M N → ↦ f ( M ) f ( N ) → . {\displaystyle {\begin{array}{lcl}\phi &:&E&\rightarrow &E\\&&{\overrightarrow {MN}}&\mapsto &{\overrightarrow {f(M)f(N)}}.\end{array}}}

Dès lors, l'étude des points fixes de f {\displaystyle f} et de ϕ {\displaystyle \phi } permet de conclure sur la nature de f {\displaystyle f} .

  • Si f {\displaystyle f} admet des points fixes alors :
si par exemple ϕ {\displaystyle \phi } est une rotation vectorielle alors, en dimension 2 ou 3, f {\displaystyle f} sera une rotation.
en particulier si ϕ {\displaystyle \phi } est l'identité vectorielle alors f {\displaystyle f} sera l'identité.
  • Si f {\displaystyle f} n'admet pas de points fixes alors f {\displaystyle f} se décompose de manière unique comme composée d'une isométrie affine avec points fixes (on revient donc au cas précédent) et d'une translation de vecteurs dans la direction des points fixes de l'isométrie précédente. En particulier, en dimension 3, si ϕ {\displaystyle \phi } est une rotation vectorielle alors f {\displaystyle f} est un vissage.

Référence

  1. ↑ D. Guinin et B. Joppin, Algèbre et géométrie PCSI, Bréal, (lire en ligne), p. 453.
  • icône décorative Portail de la géométrie