o`u on a not´e Gadditivement et Hmultiplicativement, est une loi de groupe. Ce
groupe est appel´e produit semi-direct de Gpar Het est not´e Go✓H.
D´efinition. Soit (E, ~
E)un espace affine. Un automorphisme affine est une appli-
cation affine inversible de Edans E. On note GA(E)le groupe des automorphismes
affines de E(la loi de groupe est la composition). On note T(E)le sous-groupe
des translations.
Proposition. Soit (E, ~
E)un espaces affine.
(i) L’application f7! f#est un morphisme surjectif GA(E)!GL(~
E)dont le
noyau est T(E).
(ii) T(E)est un sous-groupe normal de GA(E).
(iii) Pour tout f2GA(E)et tout ~a2~
E, on a f⌧~af1=⌧f#(~a).
L’action canonique d’un automorphisme u2GL(~
E)surunvecteur~a2~
Edonne
un morphisme ✓:GL(~
E)!Aut(~
E,+).
Th´eor`eme. Soit (E, ~
E)un espaces affine et A2E. L’application
A:GA(E)!~
Eo✓GL(~
E)
d´efinie par (f)=(
!
Af(A),f#), est un isomorphisme de groupes.
5. Projections et sym´etries.
Definition. Soit (E, ~
E)un espaces affine, Fun sous-espace affine et ~
Gun sous-
espace vectoriel suppl´ementaire de ~
F.
(i) La projection sur Fparall`element `a ~
Gest l’application affine ⇡:E!F
qui envoie M2Esur l’unique point de l’intersection F\(M+~
G).
(i) La sym´etrie par rapport `a Fparall`element `a ~
Gest l’application affine
s:E!Equi envoie M=⇡(M)+~z,o`uz2~
Gsur s(M)=⇡(M)~z.
B. BARYCENTRES EN G´
EOM´
ETRIE AFFINE
1. Barycentres
D´efinition. Soit (E, ~
E)un espace affine. Une famille de points pond´er´es est une
famille (Ai,i)i2Io`u pour tout i2I,Ai2Eet i2R. On supposera toujours
que Iest un ensemble fini et que Pi2Ii6=0.
Proposition. Soit (Ai,i)i2Iune famille de points pond´er´es d’un espace affine
E. Alors
(i) Il existe un unique G2Etel que PIi!
GAi=~
0.
5