3. Espaces affines euclidiens
3.1. D´efinition. Un espace affine Eest dit euclidien s’il est dirig´e par
une espace vectoriel euclidien E.
On d´efinit la distance dans Epar d(A, B) =k−−→
AB k.
3.2. D´efinition. Un rep`ere affine (A0, a1, ..., An) est dit orthonorm´e
si la base vectorielle (−−−→
A0A1, ..., −−−→
A0An) est orthonorm´ee.
3.3. D´efinition. Deux sous-espaces affine Fet Gsont orthogonaux
si leurs espaces directeurs Fet Gsont orthogonaux.
.
Isom´etries
3.4. D´efinition. Soit Xun espace m´etrique. On appelle isom´etrie de
Xune bijection f:X→Xqui pr´eserve la distance: d(f(x), f(y)) = d(x, y)
pour tous x, y ∈X.
Remarque: les isom´etris de Xforment un groupe par rapport `a la com-
position.
3.5. Th´eor`eme. Toute isom´etrie d’un espace affine euclidien est une
application affine.
3.6 Lemme. Une application affine f:E → E est une isom´etrie si et
seulement si sa partie lin´eaire df :E→Eest une isom´etrie vectorielle.
.
Remarque. Une application affine f:E → E est une isom´etrie si et seule-
ment si ftransforme un (ou tout) rep`ere orthonorm´e en rep`ere orthonorm´e.
.
3.7. D´efinition. On appelle d´eplacement ou isom´etrie directe (re-
spectivement, antid´eplacement ou isom´etrie indirecte) de Etoute isom´etrie
ftelle que d´et(df) = 1 (respectivement, d´et(df) = −1).
Les translations sont ´evidemment des d´eplacements. Les d´eplacements
forment un sous-groupe dans Iso(E) d’indice 2; le produit de deux an-
tid´eplacements est un d´eplacement.
.
3.8. D´efinition. Soit Fun sous-espace affine de E. La projection
orthogonale sur Fest la projection affine sur Fparall`element `a F⊥.
La sym´etrie orthogonale par rapport `a Fest la sym´etrie affine par
rapport `a Fparall`element `a F⊥. Une sym´etrie orthogonale est une isom´etrie;
elle est directe si et seulement si la codimension de Fest paire (c’est `a dire,
dim(E)−dim(F) est paire).
On appelle reflexion une sym´etrie orthogonale par rapport `a un hyper-
plan; une reflexion est une isom´etrie indirecte (un antid´eplacement).
Etant donn´e deux points Aet Bde E, il existe une unique r´eflexion
´echangeant Aet B: c’est la r´eflexion par rapport `a l’hyperplan m´ediateur
1