Vous êtes sur la page 1sur 40

GEOMETRIE AFFINE

Document de travail pour la prparation au CAPES


Quatrime partie : APPLICATIONS AFFINES

Accueil

Page de Titre

Marie-Claude DAVID, Frdric HAGLUND, Daniel PERRIN


Sommaire

JJ

II

Page 1 de 40

Retour

Plein cran

Fermer

Quitter

Marie-Claude.David@math.u-psud.fr

8 dcembre 2003
Dans cette partie, nous tudions les applications affines qui sont les
applications qui respectent la structure affine. La prsence de lespace
vectoriel sous-jacent permet dassocier une telle application une application linaire. Une question essentielle est alors lexistence de points
fixes pour une application affine. En effet, en prsence de points fixes,
lapplication affine est dtermine par sa partie linaire. Dans le cas
contraire, on dispose dun succdan, le thorme de dcomposition
(7.5) qui, sil nest pas au programme du CAPES dans sa forme gnrale, intervient de faon essentielle dans ltude des symtries glisses
et des isomtries affines.
Nous montrons au paragraphe 4 des consquences gomtriques des
applications affines (prcisment des homothties-translations), en particulier le thorme de Thals.

C ONTENU DU COURS

I. Espaces affines
II. Barycentres
III. Convexit
IV. Applications affines

Accueil

Page de Titre

Sommaire

JJ

Dans l introduction, vous trouverez le mode demploi de ce document et les conseils de


navigation.

II

Faites des dessins, encore des dessins, toujours des dessins !


J

Page 2 de 40

Retour

Table des matires


1

Applications affines : Dfinition


1.1 Thorme et dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Exemple test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Proposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5
5
6
6

Applications affines : Exemples


2.1 Translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Homothtie (affine) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Lensemble des homothties et des translations de E . . . . . . . . . . . . .

7
7
8
8

Plein cran

Fermer

Quitter

2.4
2.5
2.6
2.7
2.8
Accueil

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

10
10
11
12
14

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

18
18
18
20
21
22

Composition des applications affines, isomorphismes affines


5.1 Proposition . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Bijections affines . . . . . . . . . . . . . . . . . . . . .
5.3 Bijections et repres . . . . . . . . . . . . . . . . . . .
5.4 Les espaces affines de dimension n sont isomorphes . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

24
24
25
26
27

Groupe affine
6.1 Dfinition et proposition
6.2 Proposition . . . . . . .
6.3 Corollaire . . . . . . . .
6.4 Le sous-groupe HT (E) .
6.5 Principe de conjugaison

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

27
27
27
28
29
30

Retour

Quitter

.
.
.
.
.

Thorme de Thals
4.1 Notation : Rapport de deux vecteurs colinaires . . . . . .
4.2 Thorme de Thals . . . . . . . . . . . . . . . . . . . . .
4.3 La variante classique de Thals . . . . . . . . . . . . . .
4.4 Forme du thorme de Thals enseigne dans le secondaire
4.5 Dautres rsultats gomtriques : Desargues, Pappus . . .

Page 3 de 40

Fermer

.
.
.
.
.

Plein cran

.
.
.
.
.

Applications affines : Proprits


15
3.1 Application affine et sous-espace affine . . . . . . . . . . . . . . . . . . . . 15
3.2 Effet dune application affine sur les barycentres . . . . . . . . . . . . . . . . 16

Sommaire

II

.
.
.
.
.

Page de Titre

JJ

Projection affine . . . . . . . . . . . . . . . . . . .
Symtrie affine . . . . . . . . . . . . . . . . . . .
Cas particuliers . . . . . . . . . . . . . . . . . . .
Dtermination dune application affine . . . . . . .
Reprsentation matricielle dune application affine

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

Accueil

Page de Titre

Points fixes dune application affine, thorme de dcomposition


7.1 Applications affines laissant fixe un point . . . . . . . . . . .
7.2 Points fixes dune application affine . . . . . . . . . . . . . .
7.3 Thorme . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.4 Proposition . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.5 Thorme de dcomposition . . . . . . . . . . . . . . . . . .
7.6 Symtries glisses . . . . . . . . . . . . . . . . . . . . . . . .
7.7 Thorme de Mnlas . . . . . . . . . . . . . . . . . . . . .
7.8 Problme sur le thorme de dcomposition . . . . . . . . . .

Sommaire

JJ

II

Page 4 de 40

Retour

Plein cran

Fermer

Quitter

copyleft LDL : Licence pour Documents Libres

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

32
32
34
34
35
36
37
37
38

1.

Accueil

Page de Titre

Sommaire

JJ

1.1. Thorme et dfinition.


Soient E et F deux espaces affines et f une application de E dans F .
On dit que f est une application affine sil existe un point a de E et une
~ dans F~ tels que, pour tout point x de E, on ait la
application linaire f~ de E
formule :

(1)
f (x) = f (a) + f~(
ax).
Alors, pour tout point b de E, on a aussi :

f (x) = f (b) + f~(bx).

II

Page 5 de 40

Retour

A PPLICATIONS AFFINES : D FINITION

On dit que f~ est lapplication linaire associe f ; elle vrifie les deux formules :

=
(2)
x E, y E, f~(
xy)
f (x)f (y).
(3)

~ f (a + ~v ) = f (a) + f~(~v ).
a E, ~v E,

Plein cran

Fermer

Quitter

Dmonstration.
Montrons quon a la mme
On a, pour tout x E la formule (1) : f (x) = f (a) + f~(
ax).

=
formule en remplaant a par un point b E quelconque. Par Chasles on a
ax
ab + bx.
Comme f~ est linaire on en dduit :

f (x) = f (a) + f~(ab) + f~(bx),

do la conclusion puisque par (1), on a f (b) = f (a) + f~(ab).


Les formules (2) et (3) sont des consquences immdiates de (1). 
4 Attention, si f est une application de E dans F et a un point de E on
peut toujours dfinir une fonction vectorielle f~a par la formule dduite

de (3) : f~a (~v ) = f (a)f (a + ~v ), mais cette fonction na aucune raison


dtre linaire et elle dpend a priori du point a. Par exemple lorsque
E = R2 , F = R et f (x, y) = x2 + y 2 , calculez f~(0,0) et f~(1,1) et
vrifiez quelles sont diffrentes et non linaires.

Accueil

Page de Titre

Sommaire

JJ

II

Page 6 de 40

Retour

Plein cran

Fermer

Quitter

1.2.

Exemple test

On reprend lespace E de lexemple I.1.2 et on dfinit une application f de E dans R3


par f (x, y, z) = (2x + y 2, x + y, 2 + z y 2x). Vrifiez que f envoie E dans E et que
f est une application affine de E dans E.
La proposition suivante est essentielle. Elle montre quune application
affine est dfinie par la donne dune application linaire et de limage
dun point. Elle sera utilise pour exhiber de nombreux exemples.

1.3. Proposition
~ dans F~ , a un point de E et b un
Soient f~ une application linaire de E
point de F . Il existe une unique application affine f de E dans F , vrifiant
f (a) = b et dapplication linaire associe f~. Cette application est dfinie par
la formule

x E, f (x) = b + f~(
ax).

Dmonstration.
Unicit : par dfinition dune application affine, on a, pour tout x de E, f (x) = f (a) +
Donc si f et f sont deux applications affines de E dans F telles que f (a) = b =
f~(
ax).
1
2
1
f2 (a) et f~1 = f~2 , on a f1 (x) = f2 (x) pour tout x E.
Existence : la preuve de lunicit conduit dfinir une fonction f de E dans F par
On a alors f (a) = b + f~(~0) = b. Ainsi le point a vrifie :
f (x) = b + f~(
ax).
Accueil

x E, f (x) = f (a) + f~(


ax)
Page de Titre

cest la dfinition dune application affine dapplication linaire associe f~. 

Sommaire

2.
JJ

A PPLICATIONS AFFINES : E XEMPLES

II

Les exemples dapplications affines qui suivent (translation, homothtie, projection, symtrie) vous sont dj familiers et vous en avez vu
des dfinitions gomtriques dans lenseignement secondaire. Nous en
proposons ici une approche qui sappuie sur la proposition prcdente.
Nous esprons vous convaincre que lalgbre linaire est un outil puissant qui vous permettra, lorsque vous serez professeur, de comprendre
les situations plus vite que vos lves.

Page 7 de 40

Retour

Plein cran

Fermer

Quitter

2.1.

Translation

Soit E un espace affine. Les translations de E sont des applications affines. En effet, si
t est la translation de vecteur ~v , on a, pour tout point x de E : t(x) = x + ~v . Choisissons
+ ~v = t(a) +
de sorte
un point a E. On a aussi t(a) = a + ~v , donc t(x) = a +
ax
ax,
~ : ~t = Id ~ . En particulier,
que t est bien affine dapplication linaire associe lidentit de E
E
lidentit est une application affine.

2.1.1. Que suffit-t-il de connatre pour connatre une translation ?


2.1.2. Montrez que si f est une application affine dapplication linaire associe liden~ alors f est une translation.
tit de E,
Ainsi, une application affine f : E E est une translation si et
~
seulement si f~ est lidentit de E.

Accueil

Page de Titre

Sommaire

JJ

II

Page 8 de 40

Retour

Plein cran

Fermer

Quitter

2.2. Homothtie (affine)


Dfinition : Soient E un espace affine, c un point de E et un rel non
nul. Lhomothtie (affine) de centre c et de rapport est dfinie comme
lapplication affine h(c, ) qui fixe le point c et dont lapplication linaire
associe est lhomothtie vectorielle ~h donne par ~h (~v ) = .~v .
Si = 1, h(c, ) est lidentit (et ceci quel que soit le point c de E).
Si le rapport est 1, h(c, ) est appele symtrie de centre c et note c .
En vertu de 1.3, ces donnes dfinissent bien une application affine. On peut traduire
gomtriquement cette dfinition de la faon suivante qui revient la dfinition donne dans
lenseignement secondaire :

Montrez-le.
2.2.1. Si m0 est limage de m par h(c, ), on a lgalit : cm0 = .
cm.
2.2.2. Par la donne de combien de points et de leurs images une homothtie est-elle
dtermine ?

2.3. Lensemble des homothties et des translations de E


Proposition et dfinition : Soient E un espace affine et f de E dans E une
application affine. Les assertions suivantes sont quivalentes :

(i) f est une homothtie ou une translation,


(ii) f~ est une homothtie vectorielle (de rapport non nul). On note HT (E)
lensemble des homothties et des translations de E.1

Accueil

Page de Titre

Sommaire

JJ

II

Page 9 de 40

Dmonstration. (i) (ii) : par construction pour les homothties et on la dj vrifi pour
les translations ci-dessus.
(ii) (i) Soit f une application affine de E dans E dont lapplication linaire associe
est une homothtie vectorielle de rapport non nul.

Si = 1, cela signifie que f~ = IdE~ . Donc pour tout (a, b) E 2 , f (a)f (b) = ab et

daprs la relation de Chasles bf (b) = af (a). Ainsi le vecteur xf (x) est indpendant de
x E. Si on le note ~v , on a pour tout x de E f (x) = x + ~v , cest dire f = t~v .
Supposons maintenant 6= 1 et montrons que f admet un point fixe unique (cf. aussi
Donc c
7.3). Fixons une origine dans E. Alors pour tout c E, on a f (c) = f () +
c.

, soit (1 )f ()c = f (). Puisque


est point fixe de f si et seulement si f ()c =
c

f ().
6= 1, lquation prcdente admet une unique solution, le point c = f () +
1
Lapplication affine f fixe un point c et a pour application linaire associe lhomothtie
vectorielle de rapport donc f est lhomothtie h(c, ) daprs 1.3. 
Comme souvent, on est pass au vectoriel pour caractriser une proprit affine.

Retour

Plein cran

Fermer

Quitter
1 Certains

auteurs appellent dilatations les transformations de HT (E).

2.4. Projection affine


Dfinition :

Soient V un sous-espace affine dun espace affine E, c V et W un


~ La projection (affine) sur V paralllement
supplmentaire de V~ dans E.

W est dfinie comme lapplication affine pV,W


~ qui fixe c et dont lapplication

linaire associe est la projection vectorielle p~ ~ ~ sur V~ paralllement W .

Accueil

V ,W

Page de Titre

Sommaire

JJ

II

Page 10 de 40

Retour

Plein cran

2.4.1. Vrifiez que pV,W


~ fixe V point par point.
2.4.2. Montrez que la dfinition prcdente ne dpend pas du choix du point c V . z
0
2.4.3. Montrez que pV,W
~ associe un point m de E lunique point m tel que

V (m + W ) = {m0 }. Cela signifie encore que m0 est lunique point de V tel que mm0 soit

dans W .

2.5. Symtrie affine


Nous gardons les notations du paragraphe prcdent.

Dfinition : La symtrie (affine ou oblique) par rapport V parallle

qui fixe c et dont


ment W est dfinie comme lapplication affine V,
W
par rapport
lapplication linaire associe est la symtrie vectorielle ~V~ ,
W

V~ paralllement W .

Fermer

2.5.1. Montrez que la dfinition prcdente ne dpend pas du choix du point c V .


Quitter

(m) = m0 . Montrez que m0 est caractris


2.5.2. Soit m un point de E ; on pose V,
W
par lune des deux proprits quivalentes suivantes :

i) mm0 W et le milieu de [mm0 ] appartient V ,


(m) de m.
ii) le milieu de [mm0 ] est le projet pV,
W
fixe V point par point.
2.5.3. Vrifiez que V,
W

Accueil

Page de Titre

Sommaire

2.5.4. Une symtrie centrale de E de centre c est une symtrie affine avec V = . . . et

W = ... ?

2.6. Cas particuliers


Comme pour les sous-espaces, le linaire est un cas particulier de laffine :

JJ

II

Page 11 de 40

Retour

Plein cran

Fermer

Quitter

~ et F~ deux espaces vectoriels munis de leurs structures affines cano2.6.1. Soient E


~ dans F~ est affine, quune application
niques. Montrez quune application linaire f de E
~ dans F~ est somme
constante est affine et que, rciproquement, toute application affine de E
dune application linaire et dune application constante.
2.6.2. Utilisation de la fonction vectorielle de Leibniz pour dfinir le barycentre.
~ et {(a0 , 0 ), , (ak , k )} une famille
Soit E un espace affine de direction vectorielle E
~ par
de points pondrs de masse = i . On dfinit une fonction de L de E dans E
.
L(m) = i
ma
i
~ dapplication linaire associe
a) Montrer que L est une application affine de E dans E,
~
lhomothtie de rapport (ici E est muni de sa structure canonique despace affine).
b) En dduire que L est constante si = 0 et bijective sinon.
c) Lorsque nest pas nul, montrer quil existe un unique g dans E tel que L(g) = ~0 et
vrifier que g a toutes les proprits du thorme II.1.3.

2.6.3. Quelles sont les applications linaires de R dans R ? et les applications affines ?
(On les crira analytiquement.) Montrez que toute application affine dune droite dans ellemme est soit une application constante, soit une translation, soit une homothtie.
2.6.4. Montrez que les applications affines de R3 dans R2 sont les fonctions du type :
(x, y, z) 7 (x + y + z + , 0 x + 0 y + 0 z + 0 )

Accueil

o , , , , 0 , 0 , 0 , 0 sont des rels.


Page de Titre

Sommaire

JJ

II

2.7. Dtermination dune application affine

On a vu en 1.3 quune application affine est donne par limage dun point et par lapplication linaire associe. En fait, pour dfinir une application affine il suffit de se donner
limage dun repre comme le montre la proposition suivante :

Page 12 de 40

Retour

Plein cran

Fermer

Quitter

2.6.5. Donnez la forme gnrale des applications affines de Rn dans Rp et montrez


quelles sont continues. Cas particulier o p = 1 (on parle alors de forme affine ; dailleurs,
lapplication linaire associe est une
...... ......
).

Proposition : Soient E et F deux espaces affines, (a0 , a1 , , an ) un repre de E et b0 , b1 , , bn des points quelconques de F . Alors, il existe
une unique application affine f de E dans F qui vrifie pour tout i dans
{0, 1, , n}, f (ai ) = bi .

Dmonstration. Comme a0 , a1 , , an est un repre de E, {


a
0 a1 , , a0 an } est une base
~ Soit f~ lapplication linaire de E
~ dans F~ dfinie sur cette base par
de E.

f~(
a
i {1, . . . n}.
0 ai ) = b0 bi
Alors, il est clair que lapplication affine dfinie par lgalit f (a0 ) = b0 et par cette application linaire f~ est lunique application affine qui envoie les points a0 , a1 , , an sur les
points b0 , b1 , , bn .


2.7.1.

Accueil

Page de Titre

Sommaire

JJ

II

Page 13 de 40

Retour

Plein cran

Fermer

Quitter

Que dire dune application affine qui fixe les sommets dun triangle de R2 ?

2.7.2. . Prolongement des identits : Soient f et g deux applications affines de E dans


F et A une partie (finie ou non) de E. On suppose quon a f (a) = g(a) pour tout a A.
Montrez quon a f (b) = g(b) pour tout b Aff A.
Application : Soit une application affine f : R2 R2 qui conserve lensemble de trois
points non aligns {a, b, c} et change deux points parmi ces trois, quelle est la nature de f ?
2.7.3. . Nouvelle mthode pour lexercice III.3.3.6
On considre une partie finie A = {a0 , , ak } non vide dans lespace affine E = R2 .
On veut montrer que lenveloppe convexe C de A est compacte.
On note Ek le sous-espace affine de Rk+1 form des points (x0 , , xk ) tels que x0 +
+ xk = 1 et on appelle ei le point (0, , 0, 1, 0, , 0) de Ek (le 1 est la i + 1-me
place).
a) Montrer quil existe une application affine et une seule f de Ek dans E telle que
f (ei ) = ai .
b) Montrer que lensemble k = {(x0 , , xk ) Ek , i = 0 . . . k, xi 0} est compact
et que cest lenveloppe convexe des points e0 , , ek (on appelle k le simplexe standard
de dimension k). Ainsi, le rsultat est vrai pour le simplexe standard.
c) Montrer que f (k ) = C.
d) Conclure (utiliser 2.6.5).

2.8. Reprsentation matricielle dune application affine

Accueil

Page de Titre

Sommaire

JJ

II

Page 14 de 40

Le ressort de la dmonstration de 2.7, cest le fait quune application


linaire est dtermine par limage des vecteurs dune base ou encore
quune application linaire est dtermine par sa matrice (dans des bases
fixes). De cette faon, lensemble des applications linaires de Rn dans
Rp est en bijection naturelle avec lespace des matrices n colonnes et
p lignes.
Il y a une reprsentation analogue pour les applications affines de Rn
dans Rp qui correspond la dcomposition des applications affines
comme somme dapplications linaires et dapplications constantes (cf.
2.6).
Soit An,p lensemble des couples (A, B), o A est une matrice n colonnes et p lignes
et B est une matrice colonne p lignes. Si (A, B) est dans An,p , considrons lapplication
fA,B qui un point x = (x1 , , xn ) de Rn associe le point y = (y1 , , yp ) dfini par
Y = AX + B (o X et Y sont les vecteurs colonnes correspondant x et y).
2.8.1. Montrez que lapplication fA,B est affine ; donnez son application linaire associe. A quoi correspond le point b dont le vecteur colonne est B ?

Retour

Plein cran

Fermer

Quitter

2.8.2. Montrez que lapplication (A, B) 7 fA,B est une bijection de Ap,n sur lensemble des applications affines de Rn dans Rp . Analogie avec Mp,n (R) ?
Autrement dit, se donner une application affine de Rn dans Rp , cest
se donner une matrice n colonnes et p lignes ainsi quune matrice
colonne p lignes.

3.

A PPLICATIONS AFFINES : P ROPRITS

3.1. Application affine et sous-espace affine


3.1.1. Proposition :
Accueil

Page de Titre

Sommaire

JJ

II

Page 15 de 40

Retour

Soit f une application affine de E dans F . Alors limage par f dun sousespace affine de E est un sous-espace affine de F . Prcisment, on a la formule :
f (a + V~ ) = f (a) + f~(V~ ).
Dmonstration. Il suffit de montrer la formule ci-dessus qui rsulte aussitt de lgalit
f (a + ~v ) = f (a) + f~(~v ).
3.1.2. Prservation de lalignement

Corollaire : Soit f une application affine de E dans F . Si trois (resp. quatre)


points sont aligns (resp. coplanaires) dans E alors leurs images par f sont
alignes (resp. coplanaires) dans F .
Dmonstration. Les points considrs dans E sont dans un sous-espace affine V de dimension 1 ou 2, donc, daprs 3.1.1 leurs images sont dans le sous-espace affine f (V ), de mme
~ ), donc infrieure ou gale celle de V . Ceci conclut. 
dimension que f~(V

Plein cran

En particulier, une application affine conserve lalignement.


Fermer

Quitter

3.1.3. Si f est une application affine de E dans F et D une droite de E, le sous-espace


f (D) est-il ncessairement une droite ? Discutez. z

3.1.4. Corollaire

Les homothties de rapport non nul et les translations transforment une


droite affine en une droite parallle.
Dmonstration. Si f est une homothtie ou une translation et D une droite de E, alors f (D)
~ o ~h est lhomothtie vectorielle (de rapest un sous-espace affine de E de direction ~h(D),
~ = D,
~ donc par dfinition
port non nul) associe f . Or pour une telle homothtie on a ~h(D)
f (D) est une droite parallle D. 

Accueil

Page de Titre

Sommaire

JJ

II

Page 16 de 40

Retour

Plein cran

Fermer

3.1.5. Quelles sont les droites affines globalement invariantes par une homothtie, une
translation ?

3.2.

Effet dune application affine sur les barycentres

3.2.1. Proposition

Soit {(x1 , 1 ), (x2 , 2 ), . . . (xr , r )} une famille de points pondrs de E


de masse totale non nulle et de barycentre x et f une application affine de E
dans F . Alors f (x) est le barycentre des points f (xi ) affects des masses i .
On dit quune application affine conserve les barycentres. En particulier, elle conserve les milieux. 2
Pr
= ~0 qui exprime que x est barycentre des
Dmonstration. On part de la relation i=0 i
xx
i
~
xi et on lui applique f . On obtient, en utilisant la linarit et la relation entre f et f~ :
r
X
i=0

) =
i f~(
xx
i

r
X

i f (x)f (xi ) = ~0

i=0

et cette dernire relation exprime que f (x) est barycentre des f (xi ) affects des masses i .
Quitter

2 et pourtant, a priori elle ne conserve pas les distances, mme sil y a une notion de distance, ce qui nest pas le
cas dans un espace affine gnral


3.2.2. A laide de cette proposition, redmontrez que limage dun sous-espace affine
est un sous-espace affine.
3.2.3. Montrez que limage directe dun convexe par une application affine est un convexe.
Accueil

Page de Titre

Sommaire

JJ

II

Page 17 de 40

Retour

Plein cran

Fermer

Quitter

3.2.4. Montrez que limage rciproque dun sous-espace affine (si elle nest pas vide)
(resp. dun convexe) par une application affine est encore un sous-espace affine (resp. un
convexe).
3.2.5. Soit une application affine f de E dans E.
a) Montrez que si on a f f = f , alors f admet un point fixe.
b) Montrez que si f est involutive (cest--dire vrifie f f = IdE ), alors f admet un
point fixe que lon cherchera comme barycentre. (A suivre en 5.1.3)
3.2.6. . Fonction barycentre dune famille de points donne Soit E un espace affine
quelconque. On reprend les notations Ek , ei du 2.7.3. On suppose que {a0 , , ak } est une
famille de k + 1 points de E et on considre lapplication b de Ek dans E qui (x0 , , xk )
associe le barycentre du systme {(a0 , x0 ), , (ak , xk )}.
a) Montrer que b est lunique application affine de Ek dans E telle que b(ei ) = ai .
Expliciter limage et le noyau de ~b.
b) Montrer que b(Ek ) = Aff{a0 , , ak } et que b est injective si et seulement si les
points ai sont affinement indpendants.
c) On suppose maintenant que (a0 , , ak ) est un repre affine.
Dduire de ce qui prcde que tout point m de E est barycentre des ai affects de coefficients xi de somme 1, et ce dune unique faon (on retrouve lexistence et lunicit des
coordonnes barycentriques).
Montrer que la fonction qui un point m associe sa i-me coordonne barycentrique

xi (m) dans le repre (a0 , , ak ) est une forme affine sur E. Si m est le milieu de p et q,
relier xi (m) xi (p) et xi (q).
3.2.7. Montrez la rciproque de la proposition 3.2.1.
(Indication : si une application f de E dans F prserve la barycentration, choisir un repre
quelconque (a0 , , ak ) de E, considrer lunique application affine g de E dans F telle
que g(ai ) = f (ai ) et montrer que f = g).

Accueil

Page de Titre

Sommaire

JJ

II

Page 18 de 40

4.

T HORME DE T HALS

4.1. Notation : Rapport de deux vecteurs colinaires


~ et ~u un vecteur colinaire ~v . Il existe donc un rel
Soient ~v un vecteur non nul de E
~u
tel que lon ait : ~u = ~v ; dans ce texte, on notera = .
~v
4 Attention, cette notation sous-entend toujours que ~v est un vecteur
non nul et que ~u est colinaire ~v . Cette notation qui vite le choix dun
repre pour dfinir la mesure algbrique et allge donc les notations est
fortement dconseille lcrit du concours.

Retour

On peut alors noncer la version gnrale du clbre thorme de Thals :


Plein cran

Fermer

Quitter

4.2. Thorme de Thals


Soient E un espace affine, H, H 0 , H 00 trois hyperplans de E, parallles et
distincts et D une droite non faiblement parallle H. Posons :
D H = {a},

D H 0 = {a0 },

D H 00 = {a00 }.

00
aa
0
00
Alors, le rel =
0 ne dpend que des hyperplans H, H , H et non de la
aa
droite D.
Dmonstration. Soit une autre droite qui coupe les hyperplans respectivement en b, b0 , b00 .
~ Par dfinition de p, on
On considre la la projection affine p de E sur paralllement H.

0
0
00
00
a les galits : p(a) = b, p(a ) = b et p(a ) = b . On applique p~ la relation aa00 = .aa0

et, comme p~ est linaire, on obtient p~ (aa00 ) = .~


p(aa0 ), ou encore, bb00 = .bb0 .

Accueil

Page de Titre


Sommaire

JJ

II

Page 19 de 40

Retour

Plein cran

Fermer

Quitter

4.2.1. Donnez une dmonstration directe du thorme de Thals, sans utiliser les applications affines. z
Comparer les deux dmonstrations (longueur, niveau des outils utiliss ...).
4.2.2. Les lves de quatrime connaissent les proprits de la droite des milieux dans
un triangle. En utilisant ces proprits montrer que si trois droites parallles dcoupent des
segments de mme longueur sur une scante, il en est de mme sur toute scante. En dduire
le thorme de Thals pour les rapports rationnels.
La mthode utilise ci-dessus pour montrer Thals repose sur lutilisation dune projection. Dans la pratique, avant de chercher utiliser le
thorme de Thals, il est souvent plus astucieux de chercher la projection (ou dautres applications affines, homothties, translations, ...
comme on le verra dans le paragraphe suivant) : cela peut simplifier
considrablement la rdaction de la dmonstation.

4.3. La variante classique de Thals

Accueil

Page de Titre

Sommaire

JJ

II

Page 20 de 40

Retour

Plein cran

Fermer

Quitter

Le rsultat suivant est important. Dabord il redonne la forme de Thals


vue dans lenseignement secondaire, mais aussi dautres rsultats : Desargues, Pappus,... Il montre pourquoi il peut tre intressant de considrer des applications affines (ici, des homothties ou des translations)
pour dmontrer une proprit gomtrique (ici le paralllisme). Il est
indispensable de faire deux figures (une pour chaque cas) et de les mmoriser.

Proposition : Soient a, a0 , b et b0 quatre points distincts dans le plan affine.


Les droites (ab) et (a0 b0 ) sont parallles si et seulement sil existe une homothtie ou une translation u qui transforme a en a0 et b en b0 .
Lapplication u est unique : si les droites (aa0 ) et (bb0 ) se coupent en c, u

ca0
est lhomothtie de centre c et de rapport
, si (aa0 ) et (bb0 ) sont parallles,

ca

u est la translation de vecteur aa0 .


Dmonstration.
On sait dj que sil existe une homothtie ou une translation qui transforme a en a0 et b
en b0 , alors les droites (ab) et (a0 b0 ) sont parallles.
Rciproquement, si les droites (ab) et (a0 b0 ) sont parallles, on a deux cas.

ca0
et on considre
Premier cas : Si les droites (aa0 ) et (bb0 ) se rencontrent en c, on pose =

ca
0
00
lhomothtie h = h(c, ). On a h(a) = a . Posons b = h(b). Il sagit de voir quon a
b00 = b0 . Mais, la droite (a0 b00 ) est parallle la droite (ab), donc on a (a0 b00 ) = (a0 b0 ).
Comme les points c, b, b00 et b0 sont aligns, b00 est lintersection de (cb0 ) et (a0 b0 ) ; on a bien
b00 = b0 .

Deuxime cas : Si les droites (aa0 ) et (bb0 ) sont parallles, comme les droites (ab) et (a0 b0 )

sont aussi parallles alors aa0 b0 b est un paralllogramme. Posons ~v = aa0 = bb0 . Alors la
0
0
translation t~v envoie a sur a et b sur b . 
4.3.1. Vrifiez que la transformation convenable est unique.
Accueil

4.3.2. Etablir lanalogue du rsultat prcdent dans un espace affine de dimension n


quelconque.

Page de Titre

Sommaire

JJ

II

Page 21 de 40

Retour

Plein cran

Fermer

Quitter

4.4. Forme du thorme de Thals enseigne dans le secondaire


Proposition :
Soient D et D0 deux droites distinctes du plan affine issues dun point a.
Soient b et c (resp. b0 et c0 ) des points de D (resp. D0 ) distincts de a. On a
lquivalence :

ac
ac0
0
0
(bb ) k (cc )
=

ab
ab0
Si lune des assertions quivalentes est vrifie, on a :

ac
ac0
cc0
=

ab
ab0
bb0
4.4.1. Montrez la proposition. (Si les droites (bb0 ) et (cc0 ) sont parallles, on pourra
appliquer 4.2 ou employer 4.3. Pour la rciproque, on utilisera 4.3.)

4.5. Dautres rsultats gomtriques : Desargues, Pappus


Les rsultats suivants sont de grands classiques. Ils apparaissent parfois
(sous une forme plus ou moins cache) dans une preuve de CAPES o
il est demand de les redmontrer.
Pour prouver les thormes de Desargues et Pappus vous pouvez utiliser
la proposition 4.3 ou le thorme de Thals. Comparez lefficacit des
deux mthodes. Est-il besoin de redire quil faut faire des figures ?

Accueil

Page de Titre

Sommaire

JJ

II

4.5.1. . Thorme de Desargues Soient deux triangles abc et a0 b0 c0 sans sommet commun. On suppose que (ab) (respectivement (bc), (ac)) est parallle (a0 b0 ) (respectivement
(b0 c0 ), (a0 c0 )). Montrer que les droites (aa0 ), (bb0 ) et (cc0 ) sont concourantes ou parallles.
4.5.2. . Thorme de Pappus Soient D et D0 deux droites distinctes du plan affine, a, b
et c trois points de D et a0 , b0 et c0 trois points de D0 . Montrer que si les droites (ab0 ) et (a0 b)
sont parallles ainsi que les droites (cb0 ) et (c0 b), alors les droites (ac0 ) et (a0 c) le sont aussi.
Un autre thorme de Pappus est propos en exercice la fin de cette partie.

Page 22 de 40

Retour

Plein cran

Fermer

Quitter

Comme vous lavez constat ci-dessus, pour montrer des rsultats nouveaux il a fallu rinvestir les rsultats anciens. Le mme principe vaut
lcrit du CAPES : il faut toujours penser rutiliser les questions
prcdentes.
Quand les hypothses sont symtriques, les conclusions doivent ltre
aussi : cela permet de ne faire quun seul calcul, ou un seul raisonnement
et dobtenir immdiatement dautres rsultats par symtrie.

Accueil

Page de Titre

Sommaire

JJ

II

Page 23 de 40

Retour

Plein cran

Fermer

Quitter

4.5.3. . Constructions gomtriques de la somme et du produit (inspir du CAPES interne de 1988)


Soient D et D0 deux droites scantes en un point o. Sur D, on suppose quil y a trois

oa
ob
points a, b et m (m 6= o). On note x et y les rapports et .
om om

oc
Donnez une construction la rgle et au compas des points c et d tels que = x + y
om

od
et = xy. (On construira des paralllogrammes et on utilisera Thals.)
om
La surprenante morale de cette histoire, cest que, si les notions classiques de gomtrie (droites, paralllisme) peuvent tre facilement dfinies laide dalgbre (linaire), rciproquement, les notions classiques dalgbre (addition, multiplication) peuvent tre retrouves par
des constructions purement gomtriques ! Si ces questions vous intressent vous pouvez consulter le livre dEmil Artin, Algbre gomtrique, Gauthier-Villars, 1962.

5.

C OMPOSITION DES APPLICATIONS AFFINES ,


ISOMORPHISMES AFFINES

5.1. Proposition
La compose de deux applications affines est une application affine et lapplication linaire associe la compose est la compose des applications
linaires associes.

Accueil

Page de Titre

Sommaire

JJ

II

Dmonstration. Soient f une application affine de E dans F et g une application affine


de F dans G. Fixons un point a de E et calculons limage dun point quelconque x de
on applique g cette galit et on obtient :
E par g f . On a f (x) = f (a) + f~(
ax),
Lapplication g f est donc affine et on a la formule :
(g f )(x) = (g f )(a) + ~g (f~(
ax)).

g f = ~g f~.
5.1.1. Si f : Rn Rp est affine, reprsente par le couple (A, B) de Ap,n , et si
f 0 : Rp Rm est affine, reprsente par le couple (A0 , B 0 ) de Am,p , la compose f 0 f
est reprsente par
...
?

Page 24 de 40

Retour

Plein cran

Fermer

Quitter

5.1.2. Soit abc un triangle et m0 un point du segment [ab]. La parallle (bc) issue de
m0 coupe (ac) en m1 , la parallle (ab) issue de m1 coupe (bc) en m2 , la parallle (ac)
issue de m2 coupe (ab) en m3 etc. . .
Montrer que m6 et m0 sont confondus.
Dans quel cas m0 et m3 sont-ils confondus ? z
5.1.3. Suite de 3.2.5.
c) Dterminer les applications affines p qui vrifient p p = p.
d) Dterminer les involutions affines. z

5.2. Bijections affines


Proposition : Une application affine f de E dans F est injective (resp. surjective, bijective) si et seulement si lapplication vectorielle associe f~ est
injective (resp. surjective, bijective). Si f est bijective, lapplication f 1 est

alors affine et on a f 1 = f~1 . On dit que f est un isomorphisme affine.


Accueil

Page de Titre

Sommaire

JJ

II

Page 25 de 40

Retour

Plein cran

Fermer

Quitter

Dmonstration. Ce rsultat est valable mme en dimension infinie.


Injectivit : Fixons un point a de E. Soit ~v un vecteur de Ker f~. Si f est injective, les
galits f (a + ~v ) = f (a) + f~(~v ) = f (a) nous permettent daffirmer que les points a + ~v et
a concident donc ~v = ~0 , de sorte que f~ est injective.

Rciproquement, si deux points x et y ont mme image, le vecteur f (x)f (y) est nul, or

Comme f~ est injective, le vecteur


est nul et les points x et y sont
f (x)f (y) vaut f~(
xy).
xy
confondus : f est donc injective.
Surjectivit : Fixons un point a de E. Soit w
~ un vecteur de F~ . Si f est surjective, il existe

un point x de E tel que f (x) = f (a) + w.


~ Mais on a aussi lgalit : f (x) = f (a) + f~(
ax)

donc w
~ = f~(ax) et f~ est surjective.

Rciproquement, Soit y un point de F . Posons b = f (a). On a donc lgalit y = b + by.

~ tel que f~(~v ) =


Comme f~ est surjective, il existe un vecteur ~v de E
by. Alors y est limage
du point x = a + ~v et f est surjective.
Bijectivit : On dduit des quivalences prcdentes que f est bijective si et seulement si f~
lest.
Soit g lapplication affine de F dans E qui envoie b = f (a) sur a et dont lapplication
linaire associe est f~1 , on vrifie facilement que g f est lidentit de E, donc g est f 1
ce qui achve de prouver la proposition. 
5.2.1. Montrer que si E et F sont de mme dimension finie, une application affine de E
dans F est bijective si et seulement si elle est injective si et seulement si elle est surjective.

5.3. Bijections et repres


5.3.1. Proposition

Si E et F ont mme dimension, une application affine f de E dans F est


un isomorphisme despaces daffines si et seulement si elle envoie un (resp.
tout) repre de E sur un repre de F
Accueil

Page de Titre

Sommaire

Dmonstration. Soit (a0 , , an ) un repre de E et bi = f (ai ). Alors b0 bi = f~(


a
0 ai ). La

~ Donc f~ est un isomorphisme si et seulement si (b0 bi ) est une


suite (a0 ai ) est une base de E.
~
base de F , i.e. si (b0 , , bn ) est un repre de F . On conclut avec la proposition 5.2. 
5.3.2. Proposition

JJ

II

Soient E et F deux espaces affines (de mme dimension), munis respectivement de deux repres (a0 , , an ) et (b0 , , bn ). Alors il existe un unique
isomorphisme affine de E sur F envoyant ai sur bi .

Dmonstration. Il existe une unique application affine f de E sur F , envoyant ai sur bi (cf.
1.3) et cest un isomorphisme en vertu de 5.3.1. 

Page 26 de 40

Retour

Plein cran

Fermer

Quitter

5.3.3. Que dire du transform dune droite, dun plan par une bijection affine ?
5.3.4. Soient (a, b, c) un repre dun plan affine E et f lapplication affine de E dans E
dfinie par les galits : f (a) = b, f (b) = c, f (c) = a. Montrez que f est un isomorphisme
et que son inverse est une puissance de f .
5.3.5. Soient D et deux droites dun plan affine scantes en a et soit b un point de
distinct de a. On dsigne par a et b les symtries de centre a et b, par D la symtrie D,
~
et la symtrie ,D
~.
a) Dterminez toutes les applications composes a D , D a et D . (A suivre
en 6.2.1)

5.4. Les espaces affines de dimension n sont isomorphes


Corollaire : Tout espace affine de dimension n est isomorphe Rn .
Par exemple, tous les plans affines sont isomorphes R2 , donc isomorphes entre eux. Cest pourquoi on sautorise parfois parler du plan
affine ; mme remarque pour lespace affine.

Accueil

Page de Titre

Sommaire

JJ

II

6.

G ROUPE AFFINE

On suppose dans ce paragraphe que E et F concident.

6.1. Dfinition et proposition


Une application affine bijective f : E E sappelle un automorphisme affine de E. Les automorphismes affines forment un groupe pour
la composition des applications quon appelle le groupe affine de E et quon
note GA(E).
Dmonstration. Cela rsulte du paragraphe prcdent.

Page 27 de 40

Retour

Plein cran

Fermer

Quitter

6.2. Proposition
~ qui une application affine f
Lapplication de GA(E) dans GL(E)
associe lapplication linaire associe f~ est un homomorphisme de groupes
~ Cet homomorphisme est surjectif et son noyau est le
de GA(E) dans GL(E).
groupe T (E) des translations de E.
Dmonstration. Lapplication est un homomorphisme de groupes car lapplication linaire
associe la compose est la compose des applications linaires associes :
(g f ) = (g) (f ).

La surjectivit rsulte de 1.3 : soient un automorphisme linaire et c un point de E,


lapplication f qui fixe c et dont lapplication linaire associe est vrifie :
(f ) = .

Accueil

Page de Titre

Sommaire

JJ

II

Page 28 de 40

Retour

Plein cran

Fermer

Quitter

Il reste donc calculer le noyau de , cest--dire limage rciproque de llment neutre


~ qui est lidentit de E.
~ On cherche donc les applications affines dont lapplication
de GL(E)
linaire associe est lidentit. Le groupe des translations T (E) est contenu dans le noyau de
. Rciproquement, on va montrer que tout lment du noyau est une translation. Si f est un
automorphisme affine tel que f~ soit lidentit, on a, pour tout point x de E :

= f (a) +
f (x) = f (a) +
ax
af (a) + f (a)x = x + af (a)

de sorte que f nest autre que la translation de vecteur af (a). 


6.2.1. Suite de 5.3.5.
b) Calculer a b . ( suivre en 7.6.1)
6.2.2. On note GAn lensemble des couples (A, B) o A est une matrice carre de
taille n inversible et B est une quelconque matrice colonne de hauteur n. On munit GAn de
la loi de composition interne (A0 , B 0 ).(A, B) = (A0 .A, A0 .B + B 0 ). Vrifiez que (GAn , .)
est un groupe naturellement isomorphe (GA(Rn ), ). Explicitez (GA1 ).

6.3. Corollaire
T (E) est un sous-groupe distingu de GA(E).
Dmonstration. Cest le noyau dun homomorphisme de groupes. 
Ce corollaire signifie simplement que, si t est une translation et g un automorphisme
affine, g t g 1 est une translation. On peut mme prciser laquelle : si t est la translation

de vecteur ~v , sa conjugue g t g 1 est la translation de vecteur ~g (~v ). En effet, on a, pour


tout x de E :
g t g 1 (x) = g t(g 1 (x)) = g(g 1 (x) + ~v ) = x + ~g (~v ) = t~g(~v) (x).
Cette proprit sera gnralise en 6.5.
Accueil

6.4. Le sous-groupe HT (E)


Le thorme suivant rsulte de 2.3.

Page de Titre

Sommaire

JJ

II

Page 29 de 40

Retour

Plein cran

Fermer

Quitter

Thorme : Lensemble HT (E) des homothties de rapport non nul et des


translations de E est un sous-groupe distingu de GA(E). Il est form des
f GA(E) tels que f~ est une homothtie vectorielle de rapport non nul, ou
encore tels que pour toute droite D de E, f (D) est parallle D.
Dmonstration. Soit H lensemble des homothties vectorielles de rapport non nul. On a vu
en 2.3 que HT (E) est form des lments f de GA(E) tels que (f ) soit dans H, autrement
~ (cest son centre)
dit HT (E) = 1 (H). Mais H est un sous-groupe distingu de GL(E)
et est un morphisme de groupes daprs la proposition 6.2 : donc HT (E) est bien un
sous-groupe distingu de GA(E).
Nous avons dj vu en 3.1.4 que les homothties et les translations envoient une droite
sur une parallle. Supposons rciproquement quun lment f de GA(E), envoie toute droite
sur une droite parallle. Daprs la proposition 3.1.1 cela veut dire que pour toute droite D
~ est invariante par f~. Il en rsulte que tout vecteur non nul de
de E, la droite vectorielle D
~ est un vecteur propre de f~. Or cest un rsultat classique dalgbre linaire que les seuls
E
~ dont tous les vecteurs non nuls sont propres sont les homothties
endomorphismes de E
vectorielles. Finalement f~ appartient H, donc f est une homothtie ou une translation. 
6.4.1. Soit E un espace affine de dimension 3 et f un lment de GA(E) telle que pour
tout plan P , f (P ) soit parallle P . Montrer que f est une homothtie ou une translation.

6.5. Principe de conjugaison


Dfinition : Soient f une application affine de E dans E, et g un automorphisme affine de E. La conjugue de f par g est lapplication affine gf g 1 .
6.5.1. Montrez que lapplication g : GA(E) GA(E) dfinie par g (f ) = g f
g 1 est un automorphisme de groupes. (Cela signifie en particulier quon a
Accueil

g (f1 f2 ) g 1 = (g f1 g 1 ) (g f2 g 1 ).)

Page de Titre

Sommaire

JJ

II

Page 30 de 40

Retour

Plein cran

Fermer

Quitter

Lapplication qui g associe (g) = g est un homomorphisme de groupes. Lesquels ?


En particulier, on a (g )1 = g1 .
Le principe de conjugaison est une remarque trs simple, mais essentielle dans de nombreuses questions. Il snonce comme suit :

Principe de conjugaison : Soient f et g des applications affines de E dans


E, g tant un isomorphisme. Alors :
1. le conjugu g f g 1 est une application affine de mme nature gomtrique que f ,
2. les lments caractristiques de g f g 1 sobtiennent partir de ceux
de f en les transportant par g.
Cette formulation est videmment un peu vague (cest pourquoi nous
parlons dun principe et non dun thorme) mais elle permet, dans
toutes les situations particulires de trouver un nonc prcis quil reste
alors dmontrer dans chaque cas. Ce principe est dailleurs valable
dans beaucoup dautres contextes (par exemple dans le cas des groupes
de permutations). En voici quelques illustrations :

6.5.2. Si le point c est fixe par f , trouvez un point fixe de g f g 1 .


6.5.3. Si f est un automorphisme, alors g f g 1 en est un aussi.
6.5.4. On a vu en 6.3 que si f est une translation (de vecteur ~u), alors g f g 1 est une
translation (de vecteur ~g (~u)).
Accueil

Page de Titre

Sommaire

JJ

II

Page 31 de 40

Retour

Plein cran

Fermer

Quitter

6.5.5. De mme pour le conjugu dune homothtie : Si f est lhomothtie de centre c


et de rapport , montrez que g f g 1 est lhomothtie de rapport (mme nature) et de
centre g(c) (transport par g).
Lexercice suivant vous permettra de tester si vous avez bien saisi le
principe. Vous pouvez aussi essayer dappliquer le principe dans le cas
des isomtries, des permutations, ...
6.5.6. Soient f et g des lments de GA(E). Calculez g f g 1 dans les cas suivants :

a) f est la symtrie par rapport au sous-espace affine V , de direction W , avec, comme

~ W = E.
~ tudiez en particulier le cas de la symtrie centrale.
toujours, V

b) f est la projection sur le sous-espace affine V paralllement W .


Dduire de ce qui prcde le centre du groupe GA(E) (cest--dire lensemble des lments
g GA(E) qui commutent avec tous les f GA(E)).
Lexercice suivant est un des ingrdients dune preuve du principe de conjugaison.
6.5.7. Si V est un sous-espace affine invariant (resp. fixe point par point) par f , montrez
que g(V ) est un sous-espace affine invariant (resp. fixe point par point) par g f g 1 . Plus
gnralement, si on a la relation : f (V ) k V , alors on a la relation : g f g 1 (V 0 ) k V 0 o
on a not V 0 le sous-espace g(V ).

7.

P OINTS FIXES D UNE APPLICATION AFFINE ,


THORME DE DCOMPOSITION

Dans tout ce paragraphe on considre des applications affines de E dans lui-mme.

7.1. Applications affines laissant fixe un point


Dfinition et proposition : Soit c un point de E et posons :

Accueil

Page de Titre

Sommaire

JJ

II

Page 32 de 40

Retour

Plein cran

Fermer

Quitter

GAc (E) = {f GA(E) | f (c) = c }.


GAc (E) est un sous-groupe de GA(E). La restriction de GAc (E) induit
~
un isomorphisme de ce groupe sur le groupe linaire GL(E).
Dmonstration. En effet, comme la seule translation qui fixe c est lidentit, la restriction de
est injective. Elle est aussi surjective car, tant donne, lapplication affine f dont est
lapplication linaire associe et qui fixe c vrifie (f ) = . 
Cette proposition est importante : elle dit quune application affine qui
possde un point fixe est essentiellement une application linaire. Cest
pourquoi on cherche toujours dabord si une application affine possde
un point fixe et dans ce cas on la comprend comme une application linaire et on peut lui appliquer les techniques bien connues dtude (rduction la forme diagonale et autres). Cest dailleurs essentiellemnt
ce quon a fait dans le cas des homothties, des symtries, etc.

Lorsque E = F , les seules applications nouvelles par rapport au vectoriel sont donc les applications affines sans point fixe, et notamment les
translations (mais pas seulement, voir en 7.6 les symtries glisses par
exemple).
En fait, on peut reconstruire toute application affine partir des translations et des applications affines fixant un point donn (donc linaires) :

Accueil

Page de Titre

Sommaire

JJ

II

7.1.1. Soit f une application affine de E dans E et soit a un point de E. Montrez que f
scrit sous la forme f = t g o t est une translation et o g admet le point a comme point
fixe. De plus cette criture est unique.
7.1.2. Remarques Cette criture prsente plusieurs inconvnients :
a) Quand on passe du point a un point a0 , lcriture change (en gnral).
b) t et g ne commutent pas en gnral (ce qui rend dlicat le calcul dune compose
f f 0 ).
Ces problmes seront surmonts grce au thorme de dcomposition 7.5.

Page 33 de 40

Retour

Plein cran

Fermer

7.1.3. On a vu en 6.5.2 que si c est un point fixe de f et si g appartient GA(E), g(c)


est un point fixe de g f g 1 . On a donc g GAc (E) g 1 = GAg(c) (E), de sorte que les
sous-groupes GAc (E) ne sont pas distingus (en dimension n 1).
7.1.4. Soit G un sous-groupe de GA(E).
1. On suppose que G prserve un ensemble fini F de points de E
(i.e. g G, x F, g(x) F ).
(a) Montrer que tous les lments de G fixent lisobarycentre de F .

Quitter

(b) Montrer que si Aff(F ) = E, alors G est fini de cardinal divisant n! , o n est

le cardinal de F (on pourra considrer le morphisme de G dans le groupe des


permutations de F obtenu par restriction F des lments de G).
2. Soit G un sous-groupe fini de GA(E). Montrer quil existe un point c fix par tous les
lments de G (on pourra essayer de construire une partie finie F invariante par G).
Accueil

Page de Titre

Sommaire

JJ

II

Page 34 de 40

Retour

Plein cran

Fermer

Quitter

7.2. Points fixes dune application affine


Proposition : Soit f une application affine de E dans E. Lensemble des
points fixes de f est vide ou bien est le sous-espace affine passant par un
point fixe et de direction Ker(f~ IdE~ ).

Remarquons dabord que Ker(f~ IdE


~ ) est le sous-espace vectoriel des vecteurs fixes par
f~. Cest donc le sous-espace propre de f~ associ la valeur propre 1 si 1 est valeur propre
de f~ et il est rduit au vecteur nul sinon.
Dmonstration. Sil existe un point c de E fixe par f , montrons que lensemble X des points
fixes de f est gal A = c + Ker(f~ IdE
~ ).

Soit a un point de A, alors on a lgalit f (a) = c + f~(


ca), or, puisque les points c et a

sont dans A, le vecteur ca appartient la direction de A, soit Ker(f~ IdE


~ ), donc le vecteur

ca est fixe par f~ et f (a) vaut a, cest--dire que le point a appartient X.


Soit b un point de X, on a lgalit f~( cb) = f (c)f (b) = cb donc le vecteur cb est dans

Ker(f~ IdE
~ ) et le point b = c + cb appartient A. 
7.2.1. Quels sont les points fixes dune symtrie affine, dune projection affine ?

7.3. Thorme (trs important). Soit f une application affine de E dans E (de
dimension finie toujours) et soit f~ lapplication linaire associe f . Alors,
lapplication f admet un unique point fixe si et seulement si 1 nest pas valeur
propre de f~.

Accueil

Page de Titre

Sommaire

JJ

II

Page 35 de 40

Retour

Dmonstration.
Si f admet un unique point fixe, daprs 7.2, lensemble de ses points fixes est un sous~
espace affine de direction {~0} = Ker(f~ IdE
~ ), donc 1 nest pas valeur propre de f .
Rciproquement, si 1 nest pas valeur propre de f~, nous avons dmontrer un rsultat
dexistence et dunicit.
Existence : Fixons un point a de E et cherchons dterminer un point fixe c. Les quivalences
suivantes vont guider notre recherche mais ne prsument en aucun cas de lexistence de c.

f (c) = c f (a) + f~(


ac) = a +
ac f (a)a = (f~ IdE
~ )(ac)
Maintenant reprenons la dmonstration. Comme E est de dimension finie et que f~ IdE
~ est

~
~
injective, f IdE
v par f IdE
~ est surjective, le vecteur f (a)a a donc un antcdent ~
~ . Posons
c = a + ~v . Il vous reste vrifier que ce point c dfini partir du point a est un point fixe.
Lexistence rsulte donc de la surjectivit de lapplication f~ IdE
~ . Lunicit du point fixe
rsultera de son injectivit.
Unicit : Puisque f admet un point fixe, lensemble de ses points fixes est un sous-espace
~
affine de direction Ker(f~ IdE
~ ) = {0} (injectivit), donc est rduit un point. 

7.4. Proposition
~ Les
Soient g une application affine de E dans E et ~v un vecteur de E.
applications g et t~v commutent si et seulement si ~v appartient Ker(~g IdE~ ).
Dmonstration. Les applications g et t~v commutent si et seulement si on a :

Plein cran

Fermer

Quitter

m E

(g t~v )(m) = (t~v g)(m).

m E

g(m) + ~g (~v ) = g(m) + ~v .

Ceci est quivalent :


Autrement dit la condition ncessaire et suffisante de commutation est : le vecteur ~v est
propre pour la valeur propre 1 de g ou bien cest le vecteur nul. 

7.4.1. Si g a un unique point fixe, quelles sont les translations qui commutent g ?
7.4.2. Etudier la composition des lments de HT (E). Remarquez que le produit de
deux homothties nest pas toujours une homothtie. Quel est le centre de HT (E) ?
7.4.3. Prcisez le rapport de lhomothtie h(c, )t~v (avec 6= 1) et utilisez le thorme
de Thals pour donner une construction gomtrique du centre de cette homothtie. Mme
question pour t~v h(c, ).

Accueil

Page de Titre

Sommaire

JJ

II

Page 36 de 40

Retour

Plein cran

Fermer

Quitter

7.5. Thorme de dcomposition


Si une application affine f de E dans E vrifie :
()

~ = Ker(f~ Id ~ ) Im (f~ Id ~ ).
E
E
E

alors f scrit de manire unique t~v g o


i) le vecteur ~v appartient
~
Ker(f IdE~ ),
ii) g est une application affine admettant un point fixe,
iii) g et t~v commutent.
Dmonstration. Elle est propose en 7.8 sous forme de problme.
7.5.1. Si f vrifie () et a un point fixe, f = f t~0 est donc son unique dcomposition
satisfaisant ii) et iii).
7.5.2. Remarque Lhypothse de dcomposition en somme directe peut paratre arbitraire.
On peut dj noter que les dimensions des sous-espaces sont convenables pour avoir une telle
criture et on vrifie quelle est satisfaite en particulier par les isomtries affines.
De plus :
7.5.3. Montrez que si f~ est diagonalisable, alors lhypothse est satisfaite.

7.6. Symtries glisses

Accueil

Page de Titre

Sommaire

JJ

II

Page 37 de 40

Retour

Soit f GA(E) et supposons que f~ soit une symtrie vectorielle ~ . Les ventuelles
valeurs propres de ~ sont 1 et 1 et elle est diagonalisable avec des sous-espaces propres
~ Lapplication ~
que nous noterons respectivement F~ (ventuellement rduit {~0}) et G.
vrifie donc les hypothses du thorme de dcomposition. Il y a trois cas possibles pour f
selon le nombre de points fixes de f :
1. Si F~ est rduit {~0}, f a un unique point fixe c, cest la symtrie affine de centre c.
2. Si F~ nest pas rduit au vecteur nul et que f ait des points fixes, alors f admet un
sous-espace affine de points fixes F de direction F~ et f est la symtrie affine (oblique)
~
daxe F et de direction G.
~
3. Si F nest pas rduit au vecteur nul et que f nait pas de point fixe, f se dcompose

comme g t~v o g admet un point fixe c. Lapplication g est donc une symtrie F,
G
~
~
avec F = c + F et t~v est une translation de vecteur ~v , vecteur non nul de F . On dit
que f est une symtrie glisse.
7.6.1. Suite de 6.2.1. c) Dterminer les applications D b et b D .

7.7.

Thorme de Mnlas

7.7.1. Soient a, b, c E et ha , hb , hc trois homothties non triviales de centres a, b, c.


On suppose ha hb hc = IdE . Montrer que les points a, b et c sont aligns.

Plein cran

Fermer

Quitter

7.7.2. . Thorme de Mnlas On suppose que E est un plan affine. Soient a, b, c trois
points non aligns de E et soient a0 , b0 , c0 trois points, distincts de a, b, c, situs respectivement sur les droites bc, ca, ab. A laide de 7.7.1, montrer que a0 , b0 , c0 sont aligns si et
seulement si lon a :

a0 b
b0 c
c0 a

=1
a0 c b0 a
c0 b

Applications du thorme de Mnlas

Accueil

Page de Titre

Sommaire

JJ

II

7.7.3. . Thorme de Pappus. Dans le plan affine on considre deux droites D et D0


concourantes en o et sur D (resp. D0 ) trois points a, b, c (resp. a0 , b0 , c0 ) distincts et distincts
de o. Soit u (resp. v, resp. w) le point dintersection des droites (bc0 ) et (b0 c) (resp. (ac0 ) et
(a0 c), resp. (ab0 ) et (a0 b)).
Montrer que u, v, w sont aligns. (On considrera les points dintersection , , des
droites (ab0 ), (a0 c) ; (bc0 ), (b0 a) ; (ca0 ), (c0 b) et on appliquera cinq fois dans un sens et une
fois dans lautre ( !) le thorme de Mnlas au triangle , , ).
7.7.4. Soient (a, b, c) un repre du plan affine E et a0 , b0 , c0 des points, distincts de a, b, c,
et situs respectivement sur (bc), (ca), (ab). Soient a00 , b00 , c00 les symtriques de a0 , b0 , c0 par
rapport aux milieux de [bc], [ca], [ab]. Montrer que a00 , b00 , c00 sont aligns si et seulement si
a0 , b0 , c0 le sont.

7.8. Problme sur le thorme de dcomposition


Page 38 de 40

Retour

Plein cran

Fermer

Les deux premires parties inspires dune preuve de concours des Ecoles Centrales
proposent une approche de la dcomposition canonique dune application affine et prsentent
un exemple o elle nest pas possible. La dernire partie fournit les tapes de la dmonstration
du thorme 7.5.
Notation : Soit une application affine f de E dans E. On note lendomorphisme f~ Id de
~
E.
7.8.1. Origine adapte.
~ et une application affine g
1. On suppose quil existe un point c de E, un vecteur ~v de E

Quitter

ayant c comme point fixe tels que


f = t~v g = g t~v .

Accueil

Page de Titre

Sommaire

Montrer que ~v appartient au noyau de et quon a lgalit cf (c) = ~v .

2. Rciproquement, on suppose quil existe un point c tel que cf (c) appartienne au noyau

de et on pose ~v = cf (c). Montrer quil existe une application affine g ayant c comme
point fixe tels que
f = t~v g = g t~v .
Dans ce cas on dit que le point c est une origine adapte f .
7.8.2. Cas 2 = 0. On suppose dans cette question que 2 est nulle.

JJ

II

1. Montrer que ou bien f na pas dorigine adapt ou bien tous les points de E sont des
origines adaptes f .

2. Exemple : On suppose que E est R2 . Soient et deux rels et f lapplication affine


de E dans E dfinie par :

Page 39 de 40

f ((x, y)) = ( + x + 2y, + y).


Retour

Montrer que 2 est nulle. Prciser les valeurs de et pour lesquelles f admet des

origines adaptes. Vrifier que dans ce cas le vecteur cf (c) dpend du point c choisi.

Plein cran

7.8.3. Avec les hypothses du thorme. On dira que f a la proprit () si


Fermer

Quitter

~ = Ker(f~ Id ~ ) Im (f~ Id ~ ).
E
E
E
1. Montrer que f a la proprit () en particulier si f~ na pas la valeur propre 1 ou si f~
est diagonalisable. Montrer que si 2 est nulle, f na pas la proprit ().

~ = Ker et W
~ = Im .
On suppose dsormais que f a la proprit () et on pose V

~ dans la dcomposition
2. Soit x E, on note ~vx la composante du vecteur xf (x) sur V
~ =V
~ W
~ . Montrer que ~vx ne dpend pas de x. On note ~v ce vecteur de V
~.
E
3. Soit a un point de E. Montrer quil existe un point c tel que

af (a) = ~v (
ac).

Accueil

Page de Titre

Sommaire

JJ

II

Page 40 de 40

Retour

Plein cran

Fermer

Quitter

En dduire que f admet au moins une origine adapte. Conclure quant au thorme de
dcomposition des applications affines ( 7.5).