Universit Joseph Fourier, Grenoble

Maths en Ligne

Gomtrie affine
Jean-Marc Decauwert
La gomtrie affine est ltude des proprits gomtriques qui sont conserves par
toute transformation affine, comme lalignement, le paralllisme, les milieux, et plus
gnralement les rapports de mesures algbriques pour des points aligns. Le cadre
naturel en est un espace affine, gnralisation en dimension quelconque du plan et de
lespace que vous avez dj tudis. Ses lments sont des points et un espace vectoriel
lui est attach, qui permet dassocier tout couple de points un vecteur. La notion de
barycentre, issue de la mcanique, y joue un rle essentiel, analogue celui que joue
la notion de combinaison linaire dans un espace vectoriel. Nous tudierons ensuite
les applications affines : ce sont celles qui conservent les barycentres. Leur importance
vient de ce que la quasi-totalit des transformations gomtriques que vous avez pu
rencontrer, en particulier les isomtries et plus gnralement les similitudes, sont affines.
Mais ltude des notions spcifiquement euclidiennes, comme celles de distances et
dangles, sera aborde dans un autre chapitre.

Table des matires

1 Cours
1.1 Espace affine . . . . . . . . . .
1.2 Barycentres . . . . . . . . . . .
1.3 Sous-espaces affines . . . . . . .
1.4 Reprage . . . . . . . . . . . . .
1.5 Convexit . . . . . . . . . . . .
1.6 Applications affines . . . . . . .
1.7 Le groupe affine . . . . . . . . .
1.8 Homothties et translations . .
1.9 Projections, symtries, affinits

.
.
.
.
.
.
.
.
.

2
2
5
8
11
16
21
26
28
30

.
.
.
.
.

35
35
38
49
52
54

3 Complments
3.1 Notations de Grassmann . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Courbes de Bzier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

58
58
59

2 Entranement
2.1 Vrai ou faux . . .
2.2 Exercices . . . . .
2.3 QCM . . . . . . .
2.4 Devoir . . . . . .
2.5 Corrig du devoir

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

8 novembre 2011

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

Maths en Ligne

3.3
3.4
3.5
3.6
3.7

Gomtrie affine

Perspective centrale et gomtrie projective . . .

Desargues dans le plan et dans lespace . . . . .
Birapport . . . . . . . . . . . . . . . . . . . . .
La formule dEuler pour les polydres . . . . . .
Le thorme fondamental de la gomtrie affine

UJF Grenoble

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

60
61
64
66
67

Maths en Ligne

1
1.1

Gomtrie affine

UJF Grenoble

Cours
Espace affine

Une fois quon a choisi un repre, le plan sidentifie R2 (resp. lespace R3 ),

autrement dit un espace vectoriel de dimension 2 (resp. 3) sur R muni dune base
particulire (la base canonique de R2 ou R3 ). On pourrait donc se contenter de faire de la
gomtrie dans R2 ou dans R3 . Mais cette identification repose sur le choix dun repre
et il est souvent plus agrable et plus clair de raisonner de manire intrinsque. De plus,
se fixer un repre une fois pour toutes nest souvent pas la meilleure solution : il est
prfrable, mme quand on calcule en coordonnes, davoir la libert de choisir un repre
bien adapt au problme pos. De fait, le cadre naturel pour faire de la gomtrie serait
un espace homogne, dont tous les points jouent le mme rle, ce qui nest pas le cas
dans un espace vectoriel, o le vecteur nul joue un rle particulier et tient naturellement
lieu dorigine. Moralement, un espace affine nest rien dautre que cela : un espace
vectoriel dont on a oubli o se trouve lorigine. Cette dfinition est naturellement
beaucoup trop vague pour tre utilisable telle quelle. Nous allons commencer par lui
donner un sens prcis. Nous verrons alors que tout espace vectoriel est naturellement
muni dune structure despace affine et que, inversement, tout espace affine sidentifie
un espace vectoriel ds quon y choisit une origine (mais cette identification dpend
du choix de lorigine). Mathmatiquement, la dfinition est la suivante :

Dfinition 1. Soit E un espace vectoriel sur un corps K. Un espace affine de direction

E est un ensemble non vide E muni dune application (M, N ) 7 M N de E E dans

E vrifiant :
1. pour tout triplet (M, N, P ) de points de E :

M N + N P = M P (relation de Chasles) ;

2. pour tout point O de E, lapplication M 7 OM de E dans E est bijective.

Les lments de E sappellent des points, ceux de E des vecteurs.

On appelle dimension de lespace affine E la dimension de lespace vectoriel E .

Dans le cadre de la gomtrie lmentaire usuelle, le corps de base est toujours le
corps R des nombres rels. On supposera donc toujours dans ce qui suit que K = R
(cette hypothse sera mme indispensable ds quon abordera les notions de convexit),
mais la plupart des rsultats restent vrais si K est le corps des nombres complexes ou
mme un corps fini.

Exemple fondamental. Tout espace vectoriel E est muni dune structure naturelle
despace affine sur lui-mme.

Il suffit de prendre dans la dfinition E = E et de dfinir lapplication de E E

dans E par (~u, ~v ) 7 ~v ~u.

2

Maths en Ligne

Gomtrie affine

UJF Grenoble

Plus gnralement, limage F + ~v = { ~u + ~v | ~u F } dun sous-espace vectoriel F

dun espace vectoriel E par une translation de vecteur ~v E est un espace affine de

direction F . Il suffit ici aussi de considrer lapplication (~u1 + ~v , ~u2 + ~v ) 7 ~u2 ~u1 .
Rciproquement, le choix dune origine permet de munir un espace affine dune
structure despace vectoriel : si O est lorigine, il suffit didentifier un point M de E

et le vecteur OM . Mais attention : cette structure dpend du choix de lorigine ; on ne

peut dfinir la somme de deux points dun espace affine sans se rfrer explicitement
une origine, cest pourquoi on nadditionnera jamais des points.

Figure 1 Laddition dpend de lorigine.

Exemples en algbre et en analyse
La structure despace affine ne se rencontre pas quen gomtrie : elle intervient
de manire naturelle dans tous les problmes linaires. Lensemble des solutions dun
sytme linaire avec second membre en constitue lexemple type : ce nest pas un espace vectoriel, mais cest un espace affine de direction lespace vectoriel des solutions
du systme homogne associ. De mme lensemble des solutions dune quation diffrentielle linaire avec second membre constitue un espace affine de direction lespace
vectoriel des solutions du systme homogne associ, lensemble des suites vrifiant une
relation de rcurrence du type un+1 = aun + b constitue un espace affine de direction
lespace vectoriel des suites vrifiant la relation de rcurrence un+1 = aun , lensemble
des fonctions f dune variable relle vrifiant f (0) = 1 est un espace affine de direction
lespace vectoriel des fonctions nulles en 0.
Ce dernier exemple est un espace affine de dimension infinie. Nous ne nous intresserons ici qu des espaces affines de dimension finie (principalement 2 ou 3). Dans
toute la suite de ce chapitre, espace affine signifiera donc toujours espace
affine de dimension finie.
Dfinition 2. On appelle droite (resp. plan) affine tout espace affine de dimension 1
(resp. 2).
3

Maths en Ligne

Gomtrie affine

UJF Grenoble

On emploiera parfois le terme espace (sans autre qualificatif) pour dsigner un

espace affine de dimension 3, comme dans lexpression gomtrie dans lespace.
Consquences immdiates de la dfinition
Proposition 1. Pour tous points M , N , O de E, on a :

1. M N = ~0 si et seulement si M = N ;

2. N M = M N ;

3. M N = ON OM .
Dmonstration : 1) En faisant N = M dans la relation de Chasles, on voit que

M M + M P = M P pour tout point P , do M M = ~0. Rciproquement, si M N = ~0,

il rsulte de la relation M N = M M et de linjectivit de lapplication N 7 M N que

N = M.
2) En faisant P = M dans la relation de Chasles, on obtient
~
MN + NM = MM = 0

do N M = M N .
3) Par la relation de Chasles et la proprit prcdente

M N = M O + ON = ON OM .

Translations

Soit E un espace affine de direction E . Pour tout point M de E, lapplication

N 7 M N est une bijection de E sur E . Pour tout vecteur ~u de E , il existe donc un

point N de E et un seul tel que M N = ~u.

Notation 1. Pour tout point M de E et tout vecteur ~u de E , on note M + ~u lunique

point N de E vrifiant M N = ~u.

Avec cette notation, la relation de Chasles scrit sous la forme suivante : pour tout
point M et tout couple (~u, ~v ) de vecteurs, on a :
(M + ~u) + ~v = M + (~u + ~v ) .

En effet, en posant N = M + ~u et P = N + ~v , on a M N = ~u, N P = ~v et

M P = M N + N P = ~u + ~v .

Dfinition 3. Soit E un espace affine de direction E . Pour tout vecteur ~u de E , on

appelle translation de vecteur ~u, et on note t~u , lapplication de E dans E qui tout
point M associe le point M + ~u.
4

Maths en Ligne

Gomtrie affine

UJF Grenoble

Proposition 2. Lensemble T des translations dun espace affine E est un sous-groupe

du groupe des permutations de E et lapplication ~u 7 t~u est un isomorphisme du groupe

additif de E sur T .
Dmonstration : La translation de vecteur nul est lidentit, qui appartient donc T .
La relation de Chasles implique, comme on la vu
t~v t~u = t~u+~v

pour tout couple (~u, ~v ) de vecteurs. ()

La compose de deux translations est donc une translation, et toute translation t~u
admet une application rciproque, qui est la translation t~u . Il en rsulte que toute
translation est bijective et que T est un sous-groupe du groupe des permutations de E
(applications bijectives de E sur E).
La relation () montre que lapplication ~u 7 t~u est un morphisme du groupe additif

de E sur T . Ce morphisme est surjectif par dfinition de T et il est injectif car son
noyau est rduit ~0 : la translation t~u est lidentit si et seulement si ~u = ~0.


Remarque : la proposition prcdente montre que le groupe additif ( E , +) opre sur

lensemble E au moyen des translations ; cette opration est transitive et fidle.
Bipoints, quipollence
En gomtrie lmentaire classique, on commence par introduire les points et on
dfinit ensuite les vecteurs partir des points. On suit donc la dmarche inverse de la
ntre.
Dans ce cadre, les vecteurs sont introduits de la manire suivante. On appelle bipoint
un couple de deux points, i.e. un lment du produit cartsien E E, o E est le plan ou
lespace. On dit que deux bipoints (A, B) et (C, D) sont quipollents si le quadrilatre
ABDC est un paralllogramme, i.e. si les bipoints (A, D) et (B, C) ont mme milieu.

On verra plus loin que cette condition quivaut la relation AB = CD, qui signifie que
cest la mme translation qui transforme A en B et C en D. On montre alors que la
relation dquipollence est une relation dquivalence sur E E et on dfinit lensemble

E des vecteurs comme lensemble quotient de E E par cette relation dquivalence.

Dans notre approche, il est immdiat que la relation R dfinie sur lensemble E E

par (A, B)R(C, D) si et seulement si AB = CD est une relation dquivalence et que

lensemble quotient de E E par cette relation dquivalence est en bijection avec E :

la classe dquivalence dun bipoint (A, B), on associe le vecteur AB.

1.2

Barycentres

La notion de barycentre est essentielle en gomtrie affine. Elle joue un rle identique
celui que tient la notion de combinaison linaire en algbre linaire.

Gomtrie affine

Maths en Ligne

UJF Grenoble

Dfinition 4. Un systme de points pondrs dun espace affine E est une famille
finie (Ai , i )i=1,...,n de couples (Ai , i ), o, pour tout i, Ai est un lment de E et i un
rel. Le poids total du systme est le rel

n
P

i .

i=1

tout systme de points pondrs de E, on associe une fonction f~ de E dans E ,

appele fonction vectorielle de Leibniz du systme, par :
f~(M ) =

n
X

i M A i .

i=1

Proposition 3. Soit (Ai , i )i=1,...,n un sytme de points pondrs dun espace affine E.
1. Si le poids total du systme est nul, la fonction vectorielle de Leibniz associe est
constante.
2. Si le poids total du systme nest pas nul, la fonction vectorielle de Leibniz associe

est une bijection de E sur E . En particulier, il existe un point de E et un seul

o cette fonction sannule.
Dmonstration : Soit O un point fix de E. On a pour tout point M de E :
f~(M ) =

n
X

n
n
X

X
i (M O + OAi ) =
i M O + f~(O) .
i M Ai =

i=1

i=1

Il en rsulte que si

n
P

i=1

i = 0, alors f~(M ) = f~(O) pour tout point M de E. Sinon, pour

i=1

tout vecteur ~u de E , il existe un unique point M de E vrifiant f~(M ) = ~u, ce point

i

1 h~
tant dfini par OM = P
f (O) ~u .

n
i
i=1

Dfinition 5. Soit (Ai , i )i=1,...,n un systme de points pondrs dun espace affine E
n
P

de poids total non nul :

i 6= 0. On appelle barycentre de ce systme lunique point
i=1
n

P
G de E vrifiant
i GAi = ~0.
i=1

Le barycentre dun systme de points pondrs nest donc dfini que si le poids
total du systme nest pas nul.
Proprits du barycentre
Proposition 4.

1. Le barycentre ne dpend pas de lordre des points.

2. Homognit : le barycentre dun systme de points pondrs ne change pas lorsque

lon multiplie tous les poids par un mme rel non nul.
6

Gomtrie affine

Maths en Ligne

UJF Grenoble

3. Associativit : le barycentre dun systme de points pondrs ne change pas lorsque

lon remplace certains de ces points par leur barycentre affect de la somme des
coefficients correspondants ( condition naturellement que cette somme ne soit
pas nulle).
4. Si G est le barycentre du systme de points pondrs (Ai , i )i=1,...,n , on a, pour
tout point O de E :
n

P
OAi
i=1 i
OG = P
.
n
i
i=1

Dmonstration : Les deux premires proprits sont videntes. Pour dmontrer la

troisime, soit G le barycentre du systme pondr (Ai , i )1in . Il suffit de considrer (en rordonnant ventuellement les points) le cas o les points que lon regroupe
P
sont A1 , . . . , Ap avec pi=1 i 6= 0. En notant H le barycentre du systme pondr

P
(Ai , i )1ip , on a alors pi=1 i HAi = ~0 et
p
X

p
n
n
X
X

i GH +
i GAi =
i (GAi + Ai H) +
i GAi

i=1

i=p+1

i=1
n
X

i=p+1

i GAi +

i Ai H

i=1

i=1

= ~0

p
X

p
X

i HAi

i=1

= ~0
ce qui montre que G est le barycentre du systme pondr [(H,
(An , n )].
La dernire proprit provient de la relation
n
X
i=1

Pp

i=1

i ), (Ap+1 , p+1 ), . . . ,

n
n
n
X
X

X

i GAi =
i (GO + OAi ) =
i GO +
i OAi = ~0 .

i=1

i=1

i=1


Dfinition 6. On appelle isobarycentre dune famille finie A1 , . . ., An de points de E
le barycentre des points de cette famille affects de poids tous gaux. En particulier, on
appelle milieu dun couple de points lisobarycentre de ces deux points.
La notion de milieu est donc purement affine et ne fait pas appel la notion de
distance, ce qui nempche naturellement pas le milieu I dun couple (A, B) de points
dtre caractris, en gomtrie euclidienne, par la double galit IA = IB = AB/2.

Gomtrie affine

Maths en Ligne

UJF Grenoble

Notations de Grassmann
Si (Ai , i )i=1,...,n est un systme de points pondrs dun espace affine E de poids
n
n
P

P
total
i = 1, le barycentre G de ce systme vrifie OG =
i OAi pour tout point
i=1

O de E. On le notera G =

n
P

i=1

i Ai .

i=1

On dfinit ainsi sans se rfrer une origine un calcul sur les points qui satisfait aux
rgles habituelles du calcul vectoriel. Par exemple, si G est lisobarycentre des sommets
dun triangle ABC, on peut crire
1
1
1
2 1
1
1
2
1
B + C = A + A0
G= A+ B+ C = A+
3
3
3
3
3 2
2
3
3


1
1
o A0 = B + C est le milieu de BC (cette galit ne fait que reflter lassociativit
2
2
du barycentre).
Mais attention : cette notation (parfois appele notation de Grassmann) na de
sens que pour un systme de points pondrs de poids total 1. Lcriture A + B ou A
(o A est un point) na pas de sens.
On a par ailleurs vu, en tudiant la fonction vectorielle de Leibniz, que si (Ai , i )i=1,...,n
n
P

i = 0, le vecteur ~u dfini par

est un systme de points pondrs de poids total nul :
i=1
n
n

P
P
i Ai .
i OAi ne dpend pas du choix de O. On peut donc noter galement ~u =
~u =
i=1
i=1

Par exemple, si n = 2, 1 = 1 et 2 = 1, A1 A2 est le vecteur A2 A1 . Mais une

1
expression telle que 2A 3B, ou A + B, ou A, ne reprsente ni un point ni un vecteur.
2

1.3

Sous-espaces affines

Dfinition 7. Une partie F dun espace affine E est un sous-espace affine de E sil

existe un point A de F tel que F = {AM | M F } soit un sous-espace vectoriel de

E.

On a alors F = {A + ~u | ~u F }.

Notation 2. Pour tout point A de E et tout sous-espace vectoriel F de E , lensemble

Aff(A, F ) = { A + ~u | ~u F }
est un sous-espace affine de E. On lappellera sous-espace affine de E passant par A

de direction F . Si ~u est un vecteur non nul de E , on notera D(A, ~u) la droite affine
passant par A et de direction la droite vectorielle R~u. De mme, si ~u et ~v sont deux
vecteurs linairement indpendants, on notera P (A, ~u, ~v ) le plan affine passant par A
et de direction le plan vectoriel R~u R~v engendr par les deux vecteurs ~u et ~v .
8

Maths en Ligne

Gomtrie affine

UJF Grenoble

Proposition 5. Soit F = Aff(A, F ) un sous-espace affine de E. On a alors, pour tout

point B de F , {BM | M F } = F .

Dmonstration : Puisque B appartient F , le vecteur AB appartient F . Or BM =

AM AB et lapplication ~u 7 ~u AB est une bijection de F sur F , puisque F est

un sous-espace vectoriel de E . Il en rsulte que

{BM | M F } = {AM AB | M F } = {~u AB | ~u F } = F .



Le sous-espace vectoriel F de E ne dpend donc pas du choix de A dans F . On

lappelle direction du sous-espace affine F . La restriction de lapplication (M, N ) 7

M N F F munit F dune structure naturelle despace affine de direction F . Sa

dimension dim(F ) est celle de F .

Un sous-espace affine de dimension 0 est constitu dun point, un sous-espace affine
de dimension 1 est une droite, un sous-espace affine de dimension 2 un plan.
Dfinition 8. On appelle hyperplan dun espace affine E de dimension finie tout sousespace affine de E de dimension dim(E) 1.
Caractrisation en termes de barycentres
Proposition 6. Une partie non vide F dun espace affine E est un sous-espace affine
de E si et seulement si tout barycentre de points de F appartient F .
Dmonstration : Si F est un sous-espace affine de E, A un point de F et (Ai , i )i=1,...,n
un systme de points pondrs de F de poids total non nul, le barycentre G de ce
n

P
AAi
i=1 i

systme vrifie AG = P
. Il en rsulte que AG appartient F , puisque F est
n
i
i=1

un sous-espace vectoriel de E , et donc que G appartient F .

Rciproquement, soit F une partie non vide de E telle que tout barycentre de
points de F affects de coefficients quelconques (de somme non nulle) appartient F ,
et A un point de F . Pour tout couple (M, N ) de points de F et tout couple (, ) de

rels, le point P de E dfini par AP = AM + AN est le barycentre du systme de

points pondrs [(A, 1 ), (M, ), (N, )] et appartient donc F . Il en rsulte

que F = {AM | M F } est un sous-espace vectoriel de E (~0 = AA appartient F ,

qui nest donc pas vide), et donc que F est un sous-espace affine de E.


Gomtrie affine

Maths en Ligne

UJF Grenoble

Paralllisme
Dfinition 9. Deux sous-espaces affines F et G dun mme espace affine E sont dits

parallles sils ont mme direction : F = G .

Le paralllisme est une relation dquivalence sur lensemble des sous-espaces affines de E. Deux sous-espaces affines parallles, au sens de cette dfinition, ont mme
dimension.

Si deux sous-espaces affines F et G dun mme espace affine E vrifient F G ,

on dit que F est parallle G (ou parfois faiblement parallle G) ; cette relation nest
naturellement pas symtrique.
Intersection, sous-espace engendr
Proposition 7. Lintersection de toute famille (finie ou infinie) de sous-espaces affines dun mme espace affine est soit vide, soit un sous-espace affine de direction
lintersection des directions de ces sous-espaces affines.
Dmonstration : Soit (Fi )iI une famille de sous-espaces affines de E. Si lintersection
T
Fi de cette famille est vide, il ny a rien dmontrer. Sinon, soit A un point de cette
iI

intersection. Pour tout i I, un point M de E appartient Fi si et seulement si le

vecteur AM appartient la direction F i de Fi , puisque A appartient Fi . Il en rsulte

T
Fi si et seulement si AM appartient au sous-espace vectoriel
que M appartient
iI

T
T
T
F i de E , ce qui montre que
Fi est un sous-espace affine de E de direction
F i.
iI

iI

iI


Cette stabilit par intersection permet de poser la dfinition suivante :
Dfinition 10. Soit A une partie non vide dun espace affine E. On appelle sous-espace
affine engendr par A lintersection de tous les sous-espaces affines de E contenant A.
Proposition 8. Le sous-espace affine engendr par une partie non vide A dun espace
affine E est le plus petit (au sens de linclusion) sous-espace affine de E contenant A.
Cest aussi lensemble de tous les barycentres de tous les systmes de points pondrs
de A affects de coefficients quelconques (de somme non nulle).
Dmonstration : Soit A une partie non vide de E et FA le sous-espace affine de E
engendr par A. FA est non vide, car il contient A, et cest un sous-espace affine,
comme intersection de sous-espaces affines . Par dfinition, il est inclus dans tout sousespace affine de E contenant A, cest donc bien le plus petit sous-espace affine de E
contenant A.
Soit GA lensemble de tous les barycentres de tous les systmes de points pondrs
de A affects de coefficients quelconques (de somme non nulle). GA nest pas vide, car il
10

Gomtrie affine

Maths en Ligne

UJF Grenoble

contient A (considrer un systme rduit un point), et tout barycentre dun systme

de points pondrs de GA appartient encore GA par associativit du barycentre. Il
rsulte de la proposition 6 que GA est un sous-espace affine de E. Comme il contient
A, il contient FA . Mais FA est un sous-espace affine de E et tout point de A appartient
FA . Il en rsulte que tout barycentre de points de A appartient FA , donc que GA
est inclus dans FA . On a donc FA = GA .

Proposition 9. Soient F et G deux sous-espaces affines dun espace affine E, A un
point de F et B un point de G. Lintersection F G est non vide si et seulement si

le vecteur AB appartient la somme F + G des directions de ces deux sous-espaces.

En particulier, si F et G sont deux sous-espaces vectoriels supplmentaires de E ,

lintersection F G consiste en un point.
Dmonstration : Si lintersection F G nest pas vide, soit I un point de cette intersec

tion. Le vecteur AI appartient F et le vecteur IB G . Il en rsulte que le vecteur

AB = AI + IB appartient F + G .

Rciproquement, si AB appartient F + G , il existe un vecteur ~u de F et un

vecteur ~v de G tels que AB = ~u + ~v . Soit I le point de E dfini par AI = ~u. Le point

I appartient F puisque AI appartient F . Lgalit

BI = AI AB = ~u (~u + ~v ) = ~v

montre que BI appartient G et donc que I appartient G. Il en rsulte que I

appartient lintersection de F et de G, qui nest donc pas vide.

Dans le cas o F et G sont des sous-espaces vectoriels supplmentaires de E , tout

vecteur de E , en particulier le vecteur AB, appartient E = F + G . Lintersection

F G nest donc pas vide, et sa direction est F G = {~0} (proposition 7). Cette
intersection est donc rduite un point.


1.4

Reprage

1) Coordonnes cartsiennes
Repres cartsiens
On a dj remarqu que le choix dune origine O permet didentifier un espace affine

E de dimension n sa direction E , cest--dire un espace vectoriel. Le choix dune

base B = (~e1 , . . . , ~en ) de E permet didentifier cet espace vectoriel Rn . Le couple

R = (O, B) = (O, ~e1 , . . . , ~en ) est appel repre cartsien de E. Pour tout point M de
n

P
E, il existe alors un unique n-uplet (x1 , . . . , xn ) de rels vrifiant OM =
xi~ei . Ces
i=1

nombres sont appels coordonnes cartsiennes de M dans le repre R. Si n = 2, on

notera souvent ces coordonnes (x, y) et, si n = 3, (x, y, z).
11

Gomtrie affine

Maths en Ligne

UJF Grenoble

Mesure algbrique
Un repre cartsien dune droite affine D est un couple (O, ~u), o O est un point

de D et ~u un vecteur non nul de D (on dit que ~u est un vecteur directeur de D). Si

M et N sont deux points de D, le vecteur M N scrit de manire unique M N = ~u

pour un rel . Ce rel est appel mesure algbrique de M N et not M N . La mesure
algbrique M N dpend donc du choix dun vecteur directeur de D : si on remplace ~u
par ~u, o est un rel non nul, toutes les mesures algbriques sur D sont divises
par . Mais le rapport M N /P Q de mesures algbriques de couples de points de D ne
dpend pas du choix du vecteur directeur : il est donc dfini de manire intrinsque.
Equation dun hyperplan
Proposition 10. Soit E un espace affine de dimension n et R = (O, ~e1 , . . . , ~en ) un
repre cartsien de E. Tout hyperplan H de E admet dans R une quation de la forme
n
P
a0 +
ai xi = 0, o les ai sont des rels vrifiant (a1 , . . . , an ) 6= (0, . . . , 0) ; cette
i=1

quation est unique multiplication prs par un rel non nul. Rciproquement, toute

quation de ce type reprsente un hyperplan. Lhyperplan vectoriel H (direction de H)

n

P
ai xi = 0 dans la base (~e1 , . . . , ~en ) de E .
a pour quation
i=1

Il en rsulte que deux hyperplans H et H 0 , dquations respectives a0 +

a00 +

n
P
i=1

n
P

ai xi = 0 et

i=1

a0i xi = 0, sont parallles si et seulement si les n-uplets (a1 , . . . , an ) et (a01 , . . . , a0n )

de rels sont proportionnels.

Dmonstration : Soit H un hyperplan de E, B un point de H de coordonnes (b1 , . . . , bn )
dans le repre R, et a1 x1 + + an xn = 0, o les ai sont des rels non tous nuls, une

quation de lhyperplan vectoriel H dans la base (~e1 , . . . , ~en ) de E . Un point M de E

de coordonnes (x1 , . . . , xn ) appartient H si et seulement si le vecteur BM appar

tient H , i.e. si et seulement si a1 (x1 b1 ) + + an (xn bn ) = 0. Il en rsulte que

a0 + a1 x1 + + an xn = 0, o a0 = a1 b1 an bn , est une quation de H dans le
repre R.
Rciproquement, soient a0 , a1 , . . . , an des rels vrifiant (a1 , . . . , an ) 6= (0, . . . , 0) et
B un point de coordonnes (b1 , . . . , bn ) vrifiant a0 + a1 b1 + + an bn = 0 (un tel point
existe puisque a1 , . . . , an ne sont pas tous nuls). Lquation a0 + a1 x1 + + an xn = 0

scrit encore a1 (x1 b1 )+ +an (xn bn ) = 0 et signifie que le vecteur BM appartient

lhyperplan vectoriel H dquation a1 x1 + + an xn = 0. Cette quation est donc

celle de lhyperplan affine passant par B et de direction H .

Deux hyperplans affines dquations a0 + a1 x1 + + an xn = 0 et a00 + a01 x1 +
+ a0n xn = 0 sont parallles sils ont mme direction, i.e. si les hyperplans vectoriels
dquations a1 x1 + + an xn = 0 et a01 x1 + + a0n xn = 0 sont confondus, ou encore si
et seulement si les n-uplets (a1 , . . . , an ) et (a01 , . . . , a0n ) de rels sont proportionnels. Ils
12

Gomtrie affine

Maths en Ligne

UJF Grenoble

sont confondus si (a0 , a1 , . . . , an ) et (a00 , a01 , . . . , a0n ) sont proportionnels, sinon ils sont
strictement parallles.

Equations de droites et de plans en dimensions 2 et 3
Une droite a donc, dans un repre cartsien du plan, une quation de la forme
ax + by + c = 0, avec (a, b) 6= (0, 0), et un plan, dans un repre cartsien de lespace,
une quation de la forme ax + by + cz + d = 0, avec (a, b, c) 6= (0, 0, 0).
Attention : une droite de lespace est reprsente par un systme de deux quations
(celles de deux plans distincts la contenant).
2) Coordonnes barycentriques
Une autre faon de reprer les points dans un espace affine consiste les crire
comme barycentres de points dun repre : par exemple, si A et B sont deux points
distincts dune droite D, tout point de D scrit comme barycentre de A et B, et cette
criture est unique condition de normaliser les coefficients en imposant leur somme
de valoir 1.
Proposition 11. Soient A0 , A1 , . . . , An n+1 points dun espace affine E de dimension
n. Les deux proprits suivantes sont quivalentes :

(i) les vecteurs A0 A1 , A0 A2 , . . . , A0 An constituent une base de E ;

(ii) aucun des points A0 , A1 , . . . , An nappartient au sous-espace affine engendr par
les autres.
Dmonstration : Si (i) est vrifie, et si A0 appartenait au sous-espace affine engendr par A1 , . . . , An , A0 serait barycentre des points A1 , . . . , An affects de coeffin

P
i A0 Ai = ~0 ; la famille
cients 1 , . . . , n de somme non nulle (proposition 8), do
i=1

A0 A1 , . . . , A0 An ne serait donc pas libre, ce qui contredirait (i).

De mme, si (i) tait vrifie, et si Ai appartenait au sous-espace affine engendr
par A0 , . . . , Ai1 , Ai+1 , . . . , An , Ai serait barycentre de ces points affects de coefficients

0 , . . . , i1 , i+1 , . . . , n de somme non nulle ; le vecteur A0 Ai serait donc combinaison

linaire des vecteurs A0 A1 , . . . , A0 Ai1 , A0 Ai+1 , . . . , A0 An et on conclut comme prcdemment.

On a donc montr que (i) impliquait (ii).

Si (i) nest pas vrifie, la famille de n vecteurs A0 A1 , . . . , A0 An ntant pas une

base de E nest pas libre, puisque n est la dimension de E. Il existe donc des rels
n
n

P
P
1 , . . . , n non tous nuls tels que
i A0 Ai = ~0. Si
i 6= 0, cette relation montre
i=1

i=1

que A0 est barycentre des points A1 , . . . , An et appartient donc au sous-espace affine

n
P
engendr par ces points. Si
i = 0, en supposant 1 6= 0 pour fixer les ides, on
i=1

13

Gomtrie affine

Maths en Ligne

aurait 1 =

n
P

UJF Grenoble

i , do

i=2
n
X

n
n
X
X

i A0 Ai =
i (A0 Ai A0 A1 ) =
i A1 Ai = ~0 ,

i=1

i=2

i=2

ce qui montre que A1 est barycentre de A2 , . . . , An (puisque

n
P

i = 1 6= 0) et

i=2

appartient donc au sous-espace affine de E engendr par ces points. On a donc montr
par contraposition que (ii) implique (i).

Remarque : La condition (i) fait jouer un rle particulier au point A0 ; lquivalence
avec la seconde condition montre quen fait tous les points Ai jouent le mme rle :
on aurait donc pu rajouter dans lnonc n conditions quivalentes la premire en
permutant A0 avec lun des points A1 , . . . , An .
Dfinition 11. On appelle repre affine de E toute famille (A0 , . . . , An ) de points de
E vrifiant les conditions prcdentes.
Attention : un repre affine dun espace affine E de dimension n est donc une famille
de n + 1 points de E (2 points distincts pour une droite, les sommets dun triangle non
aplati pour un plan, les sommets dun ttradre non aplati pour lespace de dimension
3).
Proposition 12. Soit (A0 , . . . , An ) un repre affine dun espace affine E. Pour tout
point M de E, il existe une unique famille (0 , 1 , . . . , n ) de rels de somme 1 telle
que M soit le barycentre de la famille pondre (Ai , i )i=0,1,...,n .
Dmonstration : Soit (0 , 1 , . . . , n ) une famille de rels de somme 1. Le point M est
n

P
i A0 Ai .
barycentre du systme pondr (Ai , i )i=0,1,...,n si et seulement si A0 M =
i=1

Or la famille (A0 A1 , . . . , A0 An ) tant une base de E , il existe un n-uplet (1 , . . . , n )

n

P
de rels et un seul tel que A0 M =
i A0 Ai . Le point M est donc barycentre du
i=1

systme pondr (Ai , i )i=0,1,...,n o 0 = 1

n
P

i . Si M est barycentre du systme

n
n

P
P
avec
i0 = 0, alors A0 M =
i0 A0 Ai , do i0 = i pour
i=1

pondr (Ai , i0 )i=0,1,...,n

i = 1, . . . , n et

00

=1

n
P
i=1

i=0

i0

n
P

=1

i=1

i = 0 .

i=1

Dfinition 12. Les coefficients (0 , 1 , . . . , n ) dfinis dans la proposition 12 sont

appels coordonnes barycentriques de M dans le repre affine (A0 , . . . , An ).
Le point M scrit donc M =

n
P

i Ai , avec

i=0

n
P

i = 1. Par homognit du bary-

i=0

centre, M est aussi barycentre du systme (Ai , i )i=0,...,n pour tout rel non nul . On
14

Gomtrie affine

Maths en Ligne

UJF Grenoble

dit parfois que les i constituent un systme de coordonnes barycentriques homognes de M dans le repre affine (A0 , . . . , An ) ; les i sont alors appels coordonnes
barycentriques rduites ou normalises de M dans ce repre.
La dmonstration de la proposition 12 montre que lon passe trs facilement des

coordonnes cartsiennes dans un repre (A0 , A0 A1 , . . . , A0 An ) aux coordonnes barycentriques dans le repre affine (A0 , . . . , An ) : si (x1 , . . . , xn ) sont les coordonnes
n

P
cartsiennes de M dans le repre (A0 , A0 A1 , . . . , A0 An ), alors (1
xi , x1 , . . . , xn )
i=1

sont les coordonnes barycentriques de M dans le repre affine (A0 , . . . , An ).

Rciproquement, si (0 , 1 , . . . , n ) sont les coordonnes barycentriques de M dans
le repre affine (A0 , . . . , An ), les coordonnes cartsiennes de M dans le repre cartsien

(A0 , A0 A1 , . . . , A0 An ) sont (1 , . . . , n ).
On en dduit immdiatement lquation barycentrique dun hyperplan affine.
Proposition 13. Soit E un espace affine de dimension n rapport un repre affine
(A0 , . . . , An ) et (0 , 1 , . . . , n ) les coordonnes barycentriques dans ce repre dun point
gnrique M de E. Tout hyperplan affine de E admet une quation barycentrique de
n
P
bi i = 0, o (b0 , b1 , . . . , bn ) est une famille de rels non tous gaux. Cette
la forme
i=0

quation est unique multiplication prs par un rel non nul. Rciproquement, toute
quation de ce type est celle dun hyperplan affine.
Dmonstration : On a vu la proposition 10 que tout hyperplan affine admettait dans
n

P
le repre cartsien (A0 , A0 A1 , . . . , A0 An ) une quation de la forme a0 + ai xi = 0, o
i=1

a1 , . . . , an sont des rels non tous nuls et (x1 , . . . , xn ) les coordonnes cartsiennes dun
point gnrique M . En remarquant que i = xi pour i = 1, . . . , n et

n
P

i = 1, cette

i=0

quation scrit
a0

n
X
i=0

i +

n
X

ai i =

i=1

n
X

bi i = 0

i=0

en posant b0 = a0 et bi = a0 + ai pour i = 1, . . . , n. La condition a1 , . . . , an non tous

nuls quivaut b0 , b1 , . . . , bn non tous gaux .

On remarque que cette quation est valable tant pour des coordonnes barycenn
P
triques normalises ( i = 1) que pour des coordonnes barycentriques quelconques
(

n
P

i=0

i 6= 0).

i=0

15

Maths en Ligne

1.5

Gomtrie affine

UJF Grenoble

Convexit

Dfinition
Dfinition 13. Soient A et B deux points dun espace affine E. Le segment AB, not
[AB], est lensemble des barycentres de A et B affects de coefficients tous deux positifs,
i.e. [AB] = {A + (1 )B | [0, 1]}.
Dfinition 14. Une partie C dun espace affine E est dite convexe si pour tout couple
(A, B) de points de C le segment [AB] est inclus dans C.
Exemples :
Tout sous-espace affine dun espace affine (en particulier lespace lui-mme) est
convexe.
Un segment, une demi-droite (ouverte ou ferme) sont convexes (si A est un

point dun espace affine E et ~u un vecteur non nul de E , on appelle demidroite ferme (resp. ouverte) dorigine A et de vecteur directeur ~u lensemble

{M E | AM = ~u, 0} (resp. {M E | AM = ~u, > 0})).

Une fonction relle f dfinie sur un intervalle I de R est convexe si et seulement
si son pigraphe est convexe (on appelle pigraphe de f lensemble
{(x, y) I R | y f (x)}
des points situs au-dessus du graphe de f ).
Proposition 14. Une partie C dun espace affine E est convexe si et seulement si tout
barycentre de points de C affects de coefficients tous positifs appartient C.
Dmonstration : Si tout barycentre de points de C affects de coefficients tous positifs
appartient C, pour tout couple (A, B) de points de C le segment [AB] est inclus dans
C puisque ce segment est lensemble des barycentres de A et B affects de coefficients
tous deux positifs. C est donc convexe.
Rciproquement, si C est convexe, on dmontre par rcurrence sur n que tout barycentre de n points de C affects de coefficients tous positifs appartient C : la proprit
est vraie pour n = 2 par hypothse ; si elle est vraie pour n et si A1 , . . . , An+1 sont n + 1
points de C affects des coefficients tous positifs 1 , . . . , n+1 , le barycentre G de ce
systme de points pondrs est barycentre du systme [(G0 , 1 + + n ), (An+1 , n+1 )]
o G0 est le barycentre du systme (Ai , i )i=1,...,n ; G0 appartient C par lhypothse
de rcurrence et G appartient au segment [G0 An+1 ] qui est inclus dans C car C est
convexe.

Proposition 15. Toute intersection de convexes est convexe.

16

Maths en Ligne

Gomtrie affine

Dmonstration : Soit C une famille quelconque de convexes et =

UJF Grenoble

C. Pour tout

cC

couple (A, B) de points de et tout C C, A et B appartiennent C, donc le segment

[A, B] est inclus dans C. Il en rsulte que [A, B] est inclus dans .

Remarque : une intersection de convexes peut tre vide, mais avec la dfinition que
nous avons choisie lensemble vide est convexe.
Enveloppe convexe
Cette stabilit par intersection permet, comme dans le cas des sous-espaces affines,
de poser la dfinition suivante :
Dfinition 15. Soit A une partie non vide dun espace affine E. On appelle enveloppe
convexe de A lintersection de tous les convexes de E contenant A.
Proposition 16. Lenveloppe convexe dune partie non vide A dun espace affine E est
le plus petit convexe de E contenant A. Cest aussi lensemble de tous les barycentres
de points de A affects de coefficients tous positifs.
Dmonstration : Soit A une partie non vide dun espace affine E et CA la famille de
T
C de A est
tous les convexes de E contenant A. Lenveloppe convexe Conv(A) =
CCA

convexe comme intersection de convexes et contient A. Tout convexe C contenant A

appartient CA et contient donc Conv(A), ce qui montre que Conv(A) est le plus petit
convexe de E contenant A.
Soit A lensemble de tous les barycentres de points de A affects de coefficients
tous positifs. Tout point M de A est barycentre de la famille un lment (A, 1) et
Par ailleurs, A est convexe par associativit du barycentre. Il en
appartient donc A.

rsulte que Conv(A) est inclus dans A.

Soit C un convexe contenant A. Tout point de A est barycentre coefficients tous
positifs de points de C, donc appartient C. Il en rsulte que A est inclus dans C pour
tout C CA , et est donc inclus dans Conv(A), do A = Conv(A).

Exemples : lenveloppe convexe de deux points A et B est le segment [AB] ; lenveloppe
convexe de 3 points A, B, C du plan est le triangle plein ABC.
Demi-espaces, rgionnement
Lexemple des demi-droites nest quun cas particulier dun exemple fondamental de
convexes : les demi-espaces. Si E est un espace affine de dimension n et H un hyperplan
affine, H spare lespace en deux, comme le montre la proposition suivante :
Proposition 17. Soit E un espace affine et H un hyperplan affine de E. La relation R
dfinie par ARB si et seulement si [AB] H = est une relation dquivalence sur
le complmentaire E \ H de H dans E qui partage E \ H en exactement deux classes.

17

Gomtrie affine

Maths en Ligne

UJF Grenoble

Ces classes sont appels demi-espaces ouverts dlimits par H. Les demi-espaces
ferms sont obtenus en prenant leurs runions avec H. Si deux points A et B sont en
relation par R, on dit que A et B sont du mme ct de H.
Dmonstration : Soit (O, ~e1 , . . . , ~en ) un repre cartsien de E dont lorigine O appar

tient H et les vecteurs ~e1 , . . . , ~en1 appartiennent lhyperplan vectoriel H . Lhyperplan H admet xn = 0 comme quation cartsienne dans ce repre. Soient A et
B deux points de E nappartenant pas H, de coordonnes respectives (a1 , . . . , an )
et (b1 , . . . , bn ) dans ce repre. On a donc an bn 6= 0. Tout point M du segment [AB]
scrit A + (1 )B pour un [0, 1]. Ce point appartient H si et seulement si
an + (1 )bn = 0, soit encore (bn an ) = bn . Cette quation en admet une
solution dans [0, 1] si et seulement si an et bn sont de signes opposs. Le segment [AB]
rencontre donc H si et seulement si an bn < 0. Autrement dit, ARB si et seulement si
an et bn sont de mme signe. Il en rsulte immdiatement que la relation R est une
relation dquivalence sur E \ H et que les deux classes dquivalence pour R sont
{M E | xn > 0} et {M E | xn < 0}.

Si f (x1 , . . . , xn ) = a0 +

n
P

ai xi = 0 est une quation cartsienne de H, ces demi-

i=1

espaces sont dfinis par les inquations f (x1 , . . . , xn ) > 0 et f (x1 , . . . , xn ) < 0.
Polydres convexes
Dfinition 16. On appelle polydre convexe toute partie borne non vide dun espace
affine qui peut scrire comme intersection dun nombre fini de demi-espaces ferms.
Dans le plan, on retrouve la notion usuelle de polygone convexe plein. Dans lespace
de dimension 3, un polydre est un solide convexe dintrieur non vide (sil nest pas
contenu dans un plan). On remarque que cette dfinition exclut le cas des didres ou
des tridres, qui sont intersection de deux ou trois demi-espaces ferms mais ne sont
pas borns.
On aurait pu donner une autre dfinition dun polydre convexe, comme le montre
la proposition suivante, que nous ne dmontrerons pas :
Proposition 18. Une partie dun espace affine E est un polydre convexe si et seulement si elle est lenveloppe convexe dun nombre fini de points de E.
Il rsulte immdiatement de la dfinition que toute intersection dun polydre
convexe et dun sous-espace affine est vide ou est un polydre convexe (un sous-espace
affine peut scrire comme intersection dun nombre fini dhyperplans affines et un hyperplan affine est lintersection des deux demi-espaces ferms quil limite). De mme
toute intersection dun nombre fini de polydres convexes est vide ou est un polydre
convexe.
Un exemple de polydre convexe en dimension quelconque est le n-simplexe
n+1

n = {(x0 , x1 , . . . , xn ) R

n
X

xi = 1, xi 0 pour tout i = 0, . . . , n} .

i=0

18

Maths en Ligne

Gomtrie affine

UJF Grenoble

(n est une partie de Rn+1 , mais il est inclus dans lhyperplan dquation

n
P

xi = 1,

i=0

si bien que sa dimension intrinsque est n.)

Polydres dans lespace de dimension 3
Thorme 1. Thorme de structure des polydres convexes
Pour tout polydre convexe dintrieur non vide P de lespace de dimension 3, il existe
une criture minimale (au sens du nombre de termes) P =

m
\

Pi+ de P comme inter-

i=1

section de demi-espaces ferms. Cette criture est unique lordre prs. Lintersection
de P avec chacun des plans Pi est un polygone convexe plein dintrieur non vide dans
Pi . Ces polygones sont appels faces du polydre. Les cts de ces polygones sont appels
artes du polydre et leurs sommets sommets du polydre.
Thorme 2. Formule dEuler
Pour tout polydre convexe P de lespace de dimension 3, on a :
sa+f =2
o s est le nombre de sommets, a le nombre dartes et f le nombre de faces de P .
Nous ne dmontrerons pas ces deux thormes (voir nanmoins la section 3.6 dans
la partie Complments), pas plus que la proposition suivante.
Proposition 19. Tout polydre convexe est lenveloppe convexe de ses sommets.
Dfinition 17. On appelle ttradre (plein) lenveloppe convexe de quatre points non
coplanaires.
Un ttradre possde 4 sommets, 4 faces et 6 artes. Ses faces sont des triangles. Si
ces triangles sont tous quilatraux, le ttradre est dit rgulier. Un ttradre est donc
rgulier si et seulement si toutes ses artes ont mme longueur (cette dfinition, comme
dautres qui suivront, suppose lespace affine muni dune structure euclidienne).
Dfinition 18. Soit (A,~i, ~j, ~k) un repre cartsien (non ncessairement orthonorm)
de lespace. On appelle paralllpipde (plein) construit sur ce repre lensemble des
points de lespace dont les trois coordonnes dans ce repre appartiennent toutes
lintervalle [0, 1].
Un paralllpipde a 8 sommets, 6 faces et 12 artes. Ses faces sont des paralllogrammes. Les sommets du paralllpipde construit sur un repre cartsien sont les
points de coordonnes toutes gales 0 ou 1 dans ce repre, ses faces sont portes par
les plans dquations x = 0, x = 1, y = 0, y = 1, z = 0, z = 1.
Un paralllpipde dont les faces sont des rectangles est appel paralllpipde rectangle.
19

Maths en Ligne

Gomtrie affine

UJF Grenoble

Figure 2 Paralllpipde

Figure 3 Pyramide et prisme

Un cube est un paralllpipde dont les faces sont des carrs.
Une pyramide est lenveloppe convexe dun polygone plan convexe non aplati, appel
base de la pyramide, et dun point S (le sommet de la pyramide) nappartenant pas au
plan de ce polygone.
Une pyramide dont la base a n sommets a n + 1 faces, 2n artes et n + 1 sommets.
Un ttradre est une pyramide ayant pour base un triangle.
Une pyramide rgulire est une pyramide dont la base est un polygone rgulier
convexe et dont le sommet appartient la droite perpendiculaire la base mene par
le centre de ce polygone.
Un prisme est lenveloppe convexe de deux polygones plans convexes, appels bases
du prisme, dduits lun de lautre par une translation de vecteur nappartenant pas la
direction commune de leurs plans. Le prisme est dit droit si le vecteur de la translation

20

Maths en Ligne

Gomtrie affine

UJF Grenoble

est orthogonal aux plans des bases.

Un prisme dont les bases ont chacune n sommets a n + 2 faces, 3n artes et 2n
sommets. Toutes les faces dun prisme autres que les bases sont des paralllogrammes.
Si le prisme est droit, ces faces sont des rectangles. Un paralllpipde est un prisme
ayant pour base un paralllogramme.

1.6

Applications affines

Les transformations affines sont les transformations gomtriques les plus utilises
en gomtrie lmentaire. On verra en particulier au chapitre Gomtrie euclidienne
que toute similitude (et en particulier toute isomtrie) est une transformation affine.
On dira de fait quune proprit est affine si elle est conserve par toute transformation
affine. En particulier, lalignement, le paralllisme, le milieu sont des proprits affines.
Par contre lorthogonalit, les angles, les longueurs ne sont pas des proprits affines,
car elles ne sont pas conserves par toutes les transformations affines (bien quelles
soient conserves par les isomtries).
Dfinition et premires proprits
Dfinition 19. Soient E et F deux espaces affines. Une application f de E dans F

est dite affine sil existe une application linaire f~ de E dans F telle que f (A)f (B) =

f~(AB) pour tout couple (A, B) de points de E.

Cette proprit peut encore scrire f (M + ~u) = f (M ) + f~(~u) pour tout point M

de E et tout vecteur ~u E .
Lapplication f~ est alors uniquement dtermine, puisque pour tout vecteur ~u de

E , il existe un (en fait une infinit de) couple (A, B) de points de E tel que AB = ~u.
On lappelle application linaire associe f , ou partie linaire de f .
Une application affine est entirement dtermine par sa partie linaire et limage

dun point, puisque f (B) = f (A) + f (A)f (B) = f (A) + f~(AB) pour tout point B de
E.
Rciproquement, si E et F sont deux espaces affines, A un point de E, A0 un point

de F et f~ une application linaire de E dans F , il existe une (et une seule) application
affine f de E dans F de partie linaire f~ vrifiant f (A) = A0 .
Exemples :
toute translation est une application affine dapplication linaire associe lidentit ;
une application f de R dans R est affine si et seulement si elle est de la forme
f (x) = ax + b, o a et b sont deux rels ; lapplication linaire associe f~ est alors
donne par f~(x) = ax ;
plus gnralement, si E est un espace vectoriel, E est muni dune structure naturelle despace affine sur lui-mme ; toute application linaire de E dans lui-mme
21

Gomtrie affine

Maths en Ligne

UJF Grenoble

est alors affine, et gale sa partie linaire ; toute application affine de E dans
lui-mme est compose dune application linaire et dune translation, puisque,
si f est affine, on a f (~u) = f~(~u) + f (~0) pour tout vecteur ~u de E.
Si f est une application quelconque de E dans F , on ne peut en gnral pas lui

associer dapplication de E dans F indpendamment du choix dune origine : en effet,

on peut bien dfinir, pour tout point O de E, une application f~O de E dans F par

f~O (~u) = f (O)f (M ) pour tout vecteur ~u de E , o M est lunique point de E tel que

~u = OM , mais cette application f~O dpend en gnral du choix de O. Cependant, il

suffit que cette application soit linaire pour un point O de E pour que f soit affine
comme le montre la proposition suivante :
Proposition 20. Soient E et F deux espaces affines et f une application de E dans
F . On suppose quil existe un point O de E tel que lapplication f~O prcdemment
dfinie soit linaire. Alors f est affine et f~O est lapplication linaire associe f . En
particulier, f~O ne dpend alors pas du choix de O.
Dmonstration : On a, pour tout couple (A, B) de points de E :

f (A)f (B) = f (O)f (B) f (O)f (A)

= f~O (OB) f~O (OA)

= f~O (OB OA)
car f~O est linaire

= f~O (AB)
ce qui montre que f est affine de partie linaire f~O .

Composition
Proposition 21. Toute compose dapplications affines est une application affine, et

la partie linaire de la compose est la compose des parties linaires : g f = ~g f~.

En particulier, on ne change pas la partie linaire dune application affine en la
composant ( droite ou gauche) avec une translation.
Dmonstration : Il suffit de remarquer que, pour tout couple (A, B) de points de
lespace de dpart de f

g f (A)g f (B) = ~g (f (A)f (B)) = ~g (f~(AB)) = ~g f~(AB)

et que ~g f~ est linaire.

22

Gomtrie affine

Maths en Ligne

UJF Grenoble

Caractrisation en termes de barycentres

Proposition 22. Une application f dun espace affine E dans un espace affine F est
affine si et seulement si elle conserve les barycentres, i.e. si et seulement si, pour tout
systme (Ai , i )i=1,...,n de points pondrs de E de poids total non nul, limage f (G)
du barycentre G de ce systme par f est le barycentre du systme de points pondrs
(f (Ai ), i )i=1,...,n .
Dmonstration : Si f est affine et si G est le barycentre du systme (Ai , i )i=1,...,n ,
lgalit
n
X
i=1

n
n
X
X

) = ~

i f (G)f (Ai ) =
i f~(GAi ) = f~
i GAi = f~(~0
0
E
F

i=1

i=1

montre que f (G) est le barycentre du systme (f (Ai ), i )i=1,...,n .

Rciproquement, montrons que si f conserve les barycentres, lapplication f~O considre la proposition 20 est linaire pour tout point O de E. Soient donc ~u et ~v deux

vecteurs de E , et deux rels, M et N les points de E dfinis par OM = ~u, ON = ~v ,

et P le point de E dfini par OP = ~u + ~v = OM + ON . Le point P est le barycentre du systme pondr [(O, 1 ), (M, ), (N, )]. Il en rsulte que f (P ) est
le barycentre du systme pondr [(f (O), 1 ), (f (M ), ), (f (N ), )], do

f~O ( ~u + ~v ) = f (O)f (P )

= f (O)f (M ) + f (O)f (N )
= f~O (~u) + f~O (~v ) ,
ce qui montre, daprs la proposition 20, que f~O est linaire.

Corollaire 1. Limage (resp. limage rciproque) dun convexe par une application
affine est un convexe.
Dmonstration : Il suffit de remarquer que, daprs la proposition prcdente, limage
par une application affine f dun segment [AB] est le segment [f (A)f (B)].

Image et image rciproque dun sous-espace affine
Proposition 23. Soient E et F deux espaces affines, et f une application affine de E
dans F . Limage f (G) par f dun sous-espace affine G de E est un sous-espace affine

de F , de direction limage f~( G ) de G par f~.

De mme, limage rciproque f 1 (H) par f dun sous-espace affine H de F est, soit

vide, soit un sous-espace affine de E de direction f~1 ( H ).

23

Gomtrie affine

Maths en Ligne

UJF Grenoble

Dmonstration : Soit G un sous-espace affine de E et A un point de G. Lgalit

G = {A + ~u | ~u G } implique
f (G) = {f (M ) | M G}

= {f (A + ~u) | ~u G }

= {f (A) + f~(~u) | ~u G }

= {f (A) + ~v | ~v f~( G )} ,
ce qui montre que f (G) est le sous-espace affine de F passant par f (A) de direction

f~( G ).
Soit H un sous-espace affine de F . Si f 1 (H) nest pas vide, soit A un point de
f 1 (H). Un point M de E appartient f 1 (H) si et seulement si f (M ) appartient H,

i.e. si et seulement si f (A)f (M ) = f~(AM ) appartient H , ou encore si et seulement

si AM appartient au sous-espace vectoriel f~1 ( H ) de E , ce qui montre que f 1 (H)

est le sous-espace affine de E passant par A et de direction f~1 ( H ).


En particulier :
Corollaire 2. Toute application affine conserve lalignement et le paralllisme (les
images par une application affine de deux sous-espaces affines parallles sont deux
sous-espaces affines parallles).
Proposition 24. Une application affine est injective (resp. surjective, bijective) si et
seulement si sa partie linaire lest. Il en rsulte quune application affine dun espace
affine E de dimension finie dans lui-mme est bijective si et seulement si elle est
injective (resp. surjective).
Dmonstration : Une application affine f dun espace affine E dans un espace affine
F est injective si et seulement si pour tout couple (A, B) de points de E, f (A) = f (B)

quivaut A = B. Mais f (A) = f (B) quivaut f (A)f (B) = f~(AB) = ~0, i.e.

AB Ker(f~) et A = B quivaut AB = ~0. Il en rsulte que f est injective si et

seulement si Ker(f~) = {~0}, i.e. si et seulement si f~ est injective.
De mme f est surjective si et seulement si f (E) = F . Mais f (E) est un sous-espace

affine de F de direction f~( E ) = Im(f~) ; cest donc F si et seulement si Im(f~) = F ,

i.e. si et seulement si f~ est surjective.

Expression dans un repre
1) Repre cartsien
Proposition 25. Soient E et E 0 deux espaces affines, de dimensions respectives n et m,
0
R = (O, B) = (O, ~e1 , . . . , ~en ) un repre cartsien de E, R0 = (O0 , B 0 ) = (O0 , ~e 10 , . . . , ~e m
)
0
0
un repre cartsien de E , et f une application affine de E dans E . Les coordonnes
24

Maths en Ligne

Gomtrie affine

UJF Grenoble

dans R0 de limage f (M ) dun point M de E par f sont donnes par X 0 = AX + B,

o A est la matrice de f~ dans les bases B et B 0 , X (resp. X 0 ) le vecteur colonne
des coordonnes de M (resp. f (M )) dans R (resp. R0 ), et B le vecteur colonne des
coordonnes de f (O) dans R0 . Rciproquement, toute application de E dans E 0 donne
par de telles formules est affine.
Dmonstration : Il suffit de remarquer que
0

O f (M ) = O0 f (O) + f (O)f (M ) = O0 f (O) + f~(OM ) .


Changement de repre
En appliquant cette formule au cas o E 0 = E et f = idE , on obtient les formules de changement de repre : si R = (O, B) = (O, ~e1 , . . . , ~en ) et R0 = (O0 , B 0 ) =
(O0 , ~e 10 , . . . , ~e n0 ) sont deux repres cartsiens de E, et si X (resp. X 0 ) est le vecteur
colonne des coordonnes dun point M dans le repre R (resp. R0 ), on obtient X =
AX 0 + B, o A est la matrice de passage de la base B la base B 0 et B le vecteur
colonne des coordonnes de lorigine O0 du nouveau repre R0 dans lancien repre R.
Il suffit pour le voir dappliquer la formule prcdente en prenant f = idE , lespace E
tant au dpart muni du repre R0 , et larrive du repre R. Les vecteurs colonnes
de la matrice de passage sont obtenus en exprimant les vecteurs de la nouvelle base B 0

de E dans lancienne base B.

Formes affines et hyperplans
Dfinition 20. On appelle forme affine (ou fonction affine) sur un espace affine E
toute application affine de E dans R.
Lapplication linaire associe une forme affine sur E est donc une forme linaire

sur E . Une forme affine f sur E sexprime en coordonnes cartsiennes par : f (M ) =

a0 + a1 x1 + + an xn , o les ai sont des rels et les xi les coordonnes de M . Toute
forme affine non constante est surjective et lensemble des points o une forme affine
non constante f sannule est un hyperplan affine H de direction lhyperplan vectoriel

H = ker f~. Plus gnralement, toutes les lignes de niveau de f sont des hyperplans
affines parallles H et les demi-espaces ferms (resp. ouverts) dlimits par H sont les
ensembles {M E | f (M ) 0} et {M E | f (M ) 0} (resp. {M E | f (M ) > 0}
et {M E | f (M ) < 0}).
2) Repre affine
Proposition 26. Soit E et F deux espaces affines, (A0 , . . . , An ) un repre affine de
E, (A00 , . . . , A0n ) une famille de n + 1 points de F , o n = dim(E). Alors il existe
une application affine f et une seule de E dans F qui vrifie f (Ai ) = A0i pour tout
i = 0, 1, . . . , n. De plus f est bijective si et seulement si la famille (A00 , . . . , A0n ) est un
repre affine de F .
25

Gomtrie affine

Maths en Ligne

UJF Grenoble

Dmonstration : Lunicit est vidente : si (0 , . . . , n ) sont les coordonnes barycentriques normalises (

n
P

i = 1) du point M de E dans le repre affine (A0 , . . . , An ), son

i=0

image par f est le point f (M ) =

n
P
i=0

i A0i de F puisquune application affine conserve

les barycentres.
Pour dmontrer lexistence, il suffit de vrifier que lapplication f de E dans F qui
n
n
n
P
P
P
tout point M =
i Ai (o
i = 1) associe le point f (M ) =
i A0i de F est
i=0

i=0

i=0

affine, et pour cela de vrifier quelle conserve les barycentres. Cette proprit rsulte
de lassociativit du barycentre.
Lapplication f est surjective si et seulement si tout point de F peut scrire comme
barycentre des points A00 , . . . , A0n et elle est injective si et seulement si cette criture
est unique. Ces deux conditions signifient que (A00 , . . . , A0n ) est un repre affine de F .

En particulier deux applications affines qui concident sur un repre affine sont
gales :
Corollaire 3. Soient E et F deux espaces affines, f et g deux applications affines
de E dans F , et (A0 , . . . , An ) un repre affine de E. Si f (Ai ) = g(Ai ) pour tout
i = 0, 1, . . . , n, alors f = g.

1.7

Le groupe affine

Dfinition 21. Soit E un espace affine. On appelle transformation affine de E toute

application affine bijective de E dans lui-mme. Les transformations affines de E
constituent un sous-groupe (pour la composition) du groupe des permutations de E.
Le groupe des transformations affines de E est appel groupe affine de E, et not
GA(E).
Proposition 27. Lapplication f 7 f~ est un homomorphisme surjectif du groupe

affine GA(E) dans le groupe linaire GL( E ) (groupe des applications linaires bijectives

de E dans lui-mme). Son noyau est le sous-groupe des translations de E.

Il en rsulte que le groupe des translations de E est un sous-groupe distingu de
GA(E).

Dmonstration : La premire assertion rsulte de la relation g f = ~g f~ pour tout

couple dlments de GA(E) et du fait que pour tout f~ GL( E ) et tout couple (O, O0 )
de points de E, il existe une transformation affine f GA(E) et une seule de partie
linaire f~ vrifiant f (O) = O0 . La seconde vient de ce quun lment f de GA(E) est une

translation si et seulement si sa partie linaire f~ est lidentit de E . En effet la relation

f (A)f (B) = AB quivaut la relation Af (A) = Bf (B) (le quadrilatre ABf (B)f (A)

26

Gomtrie affine

Maths en Ligne

UJF Grenoble

est alors un paralllogramme). Elle est donc vraie pour tout couple (A, B) de points

de E si et seulement si le vecteur Af (A) ne dpend pas du point A.


Stabilisateur dun point
Le groupe affine GA(E) de E opre sur E par lapplication (f, M ) 7 f (M ).
Rappelons quon appelle alors stabilisateur dun point O de E le sous-groupe Stab(O)
de GA(E) constitu des transformations affines f laissant fixe le point O :
Stab(O) = {f GA(E) | f (O) = O} .
Proposition 28. Pour tout point O de E, la restriction de lapplication f 7 f~

Stab(O) est un isomorphisme de Stab(O) sur le groupe linaire GL( E ).

Dmonstration : Lapplication f 7 f~ est un morphisme de groupes de GA(E) sur

GL( E ) de noyau le groupe des translations de E (proposition 27). Sa restriction

Stab(O) est injective car une translation ayant un point fixe est lidentit et elle est

surjective (pour tout f~ in GL(E), lapplication f de E dans E dfinie par Of (M ) =

f~(OM ) est lunique lment de Stab(O) de partie linaire f~).


Points fixes dune transformation affine
Proposition 29. Lensemble Fix(f ) des points fixes dune transformation affine f de
) (cest--dire le
E est, soit vide, soit un sous-espace affine de direction ker(f~ id
E
~
sous-espace propre de f associ la valeur propre 1).
Dmonstration : Soit O une origine dans E. Un point A est fixe par f si et seulement

si f (O)f (A) = f (O)A, i.e. si et seulement si f~(OA) = f (O)O + OA, soit encore

~ id
)(OA) = f (O)O. Si le vecteur f (O)O nappartient pas limage de f
, f
(f~ id
E
E

nadmet pas de point fixe. Si f (O)O appartient limage de f id E , il existe un point

A fixe par f . Un point M de E est alors fixe par f si et seulement si Af (M ) = AM , i.e.
~

f (A)f (M ) = f (AM ) = AM . Lensemble des points fixes de f est alors le sous-espace

).
affine de E passant par A de direction ker(f~ id

E
En particulier :
Proposition 30. Soit f une transformation affine dun espace affine E. Les deux
proprits suivantes sont quivalentes :
(i) f admet un point fixe et un seul ;
(ii) 1 nest pas valeur propre de f~.
Dmonstration : Limplication (i) (ii) rsulte immdiatement de la proposition 29.
est injective, alors f
Montrons que si 1 nest pas valeur propre de f~, i.e. si f~ id
E
27

Maths en Ligne

Gomtrie affine

UJF Grenoble

tant injective et E de
admet un point fixe et un seul. Lapplication linaire f~ id
E
dimension finie, elle est bijective et il rsulte de la dmonstration de la proposition 29
que f admet un point fixe et un seul.


Toute transformation affine est compose dune transformation affine ayant un point
fixe et dune translation. Plus prcisment, si f est une transformation affine de E et
f laisse O fixe et lon a f = t g. La
O un point quelconque de E, g = t
f (O)O
Of (O)
proposition suivante tudie le cas o il existe une telle dcomposition commutative.
Proposition 31. Soit f une transformation affine dun espace affine E telle que le

soient des sous-espaces vectoriels supplmentaires de E .

noyau et limage de f~ id
E
Alors il existe une transformation affine g de E admettant un point fixe et une translation t de E telles que f = t g = g t.

Dmonstration : Soit O une origine dans E. Le vecteur Of (O) se dcompose en somme

) et dun vecteur ~
). Soit A un point de
dun vecteur ~u Ker(f~ id
v Im(f~ id
E
E

~(OA) = OA ~v , t la translation de vecteur ~u et

)(OA) = ~
E tel que (f~ id
v
,
i.e.
f
E
g = t1 f . Lgalit :

g(A) = f (A)~u = f (O)+f~(OA)~u = O+Of (O)+f~(OA)~u = O+~u+~v +OA~v ~u = A

montre que A est fixe par g. Par ailleurs, f = t g et la relation
f (M + ~u) = f (M ) + f~(~u) = f (M ) + ~u
montre que f , et donc g, commute avec t.

1.8

pour tout point M de E



Homothties et translations

Dfinition 22. Soit E un espace affine, O un point de E et k un rel non nul.

Lhomothtie hO,k de centre O et de rapport k est lapplication qui tout point M

de E associe le point M 0 = hO,k (M ) dfini par OM 0 = k OM .

On vrifie immdiatement que hO,k est une transformation affine dapplication li de rapport k, i.e. lapplication linaire qui
naire associe lhomothtie vectorielle k id
E

tout vecteur ~u de E associe le vecteur k~u, et que si k est diffrent de 1, O est le seul
point fixe de hO,k (si k = 1, hO,k est lidentit).
La proposition 30 montre que, rciproquement, toute transformation affine f de
, avec k 6= 1, admet un point fixe O et un seul ; il en rsulte
partie linaire f~ = k id
E
aussitt que f est lhomothtie de centre O et de rapport k.
Proposition 32. Soit E un espace affine, et k un rel diffrent de 0 et de 1. Une
application affine de E dans E est une homothtie de rapport k si et seulement si sa
partie linaire est une homothtie vectorielle de rapport k.
28

Maths en Ligne

Gomtrie affine

UJF Grenoble

On a obtenu la proposition 27 une caractrisation analogue des translations :

Proposition 33. Une application affine dun espace affine E dans lui-mme est une

translation si et seulement si sa partie linaire est lidentit de E .

La proposition suivante se dduit immdiatement de ces deux caractrisations.
Proposition 34. Lensemble des homothties et des translations dun espace affine
E constitue un sous-groupe du groupe affine de E, appel groupe des homothtiestranslations.
Plus prcisment, la compose de deux homothties de rapports k1 et k2 est une
homothtie de rapport k1 k2 si k1 k2 6= 1, une translation si k1 k2 = 1. La compose
dune homothtie de rapport k 6= 1 et dune translation est une homothtie de rapport
k. Lapplication rciproque dune homothtie de rapport k est lhomothtie de mme
centre et de rapport 1/k.
Le groupe des homothties-translations est parfois aussi appel groupe des dilatations (mais il faut se mfier : ce terme a, pour certains auteurs, un autre sens).
La proposition suivante caractrise gomtriquement les lments de ce sous-groupe :
Proposition 35. Une transformation affine est une homothtie ou une translation si
et seulement si elle transforme toute droite en une droite parallle.
Dmonstration : Soit f une transformation affine de E. Pour tout vecteur non nul ~u de

E et tout point A de E, la droite de vecteur directeur ~u passant par A est transforme

par f en la droite de vecteur directeur f~(~u) passant par f (A). La condition de lnonc

quivaut donc f~ transforme tout vecteur non nul de E en un vecteur colinaire .

Cette condition est videmment vrifie si f est une homothtie ou une translation.
Rciproquement, si cette condition est vrifie, il existe pour tout vecteur non nul

~u de E un rel (~u) tel que f~(~u) = (~u)~u. Il faut montrer que (~u) ne dpend pas
de ~u, autrement dit que (~u) = (~v ) pour tout couple (~u, ~v ) de vecteurs non nuls de

E . Si ~v est colinaire ~u, il existe un rel tel que ~v = ~u et par linarit de f~

f~(~v ) = f~(~u) = (~u)~u = (~u)~v , do (~v ) = (~u). Si ~u et ~v ne sont pas colinaires,
le systme (~u, ~v ) est libre et lgalit
(~u + ~v )~u + (~u + ~v )~v = (~u + ~v )[~u + ~v ] = f~(~u + ~v ) = f~(~u) + f~(~v ) = (~u)~u + (~v )~v
montre que (~u + ~v ) = (~u) = (~v ). Le rel = (~u) ne dpend donc pas de ~u et f~
est lhomothtie vectorielle de rapport . Il rsulte alors de la proposition 32 que f est
une homothtie si 6= 1 et de la proposition 33 que f est une translation si = 1. 
Il faut bien distinguer cette proprit de la conservation du paralllisme : toute
transformation affine transforme des droites parallles en des droites parallles ; mais
seules les homothties et les translations transforment toute droite en une droite parallle elle-mme.
29

Maths en Ligne

1.9

Gomtrie affine

UJF Grenoble

Projections, symtries, affinits

Soit E un espace affine, F un sous-espace affine de E et G un sous-espace vectoriel

de E supplmentaire de F . Il rsulte de la proposition 9 que, pour tout point M de

T
E, lintersection F Aff(M, G ) de F et du sous-espace affine Aff(M, G ) de direction

G passant par M est constitue dun point M 0 et dun seul (ce point M 0 est lunique

point de F vrifiant M M 0 G ). On peut donc dfinir une application p de E dans

lui-mme par p(M ) = M 0 . Cette application est appele projection sur F paralllement

G ou dans la direction G .

Figure 4 Projection et symtrie dans le plan et dans lespace.

Soit alors M 00 le symtrique de M par rapport M 0 : on a donc M M 00 = 2M M 0 .

Lapplication s de E dans lui-mme qui M associe M 00 est appele symtrie par

rapport F paralllement G ou dans la direction G .

Plus gnralement, pour tout rel , on dfinit laffinit de base F , de direction G

et de rapport comme lapplication qui au point M associe le point M 000 dfini par

M 0 M 000 = M 0 M . La projection et la symtrie sont donc des cas particuliers daffinits

correspondant respectivement = 0 et = 1.
Remarques :

1. Si F = E, G = {~0} ; la projection, la symtrie, et les affinits prcdemment

dfinies sont alors toutes gales lidentit. Si au contraire F est rduit un

point, F = {~0} et G = E . Il en rsulte que la projection p est lapplication

constante envoyant tout point de E sur F , la symtrie s est lhomothtie de
centre ce point et de rapport 1 (on parle alors de symtrie centrale) et, plus
gnralement, laffinit de rapport est lhomothtie de rapport et de centre
ce point.
2. Le sous-espace F ne suffit pas dterminer la projection : il faut en prciser la

direction. Si on remplace G par un autre supplmentaire de F , la projection p

30

Maths en Ligne

Gomtrie affine

UJF Grenoble

est radicalement change (quoique son image p(E) soit toujours gale F ). Dans
le cas des espaces affines euclidiens, on verra quil existe une direction privilgie :

celle de lorthogonal de F dans E ; on omettra alors de mentionner G , et on

parlera simplement de projection orthogonale. La mme remarque est valable pour
les symtries et les affinits.
Rappels dalgbre linaire : projections et symtries vectorielles.

Soit E un espace vectoriel de dimension finie et E 1 et E 2 deux sous-espaces vec

toriels supplmentaires de E . Tout vecteur ~u de E scrit de manire unique sous la

forme ~u = ~u1 + ~u2 , avec ~ui E i (i = 1, 2). Les deux applications p~1 et p~2 de E dans
lui-mme dfinies par p~i (~u) = ~ui (i = 1, 2) sont linaires et vrifient les relations :
p~i p~i = p~i (i = 1, 2) ;
;
p~1 p~2 = p~2 p~1 = 0, p~1 + p~2 = id
E

Ker p~1 = Im p~2 = E 2 , Ker p~2 = Im p~1 = E 1 .

Elles sont appeles projection sur E 1 (resp. E 2 ) dans la direction (ou paralllement

) E 2 (resp. E 1 ).

Les deux applications ~s1 et ~s2 de E dans lui-mme dfinies par ~s1 (~u) = ~u1 ~u2 ,

~s2 (~u) = ~u2 ~u1 sont appeles symtrie par rapport E 1 (resp. E 2 ) de direction (ou

paralllement ) E 2 (resp. E 1 ).
Elles sont linaires, bijectives et vrifient les relations :
(i = 1, 2) ;
~si ~si = id
E
, ~
;
~s1 = p~1 p~2 = 2~p1 id
s2 = p~2 p~1 = 2~p2 id
E
E
, ~
~s1 ~s2 = ~s2 ~s1 = id
s
+
~
s
=
0.
1
2
E

Rciproquement, si p~ est une application linaire de E dans lui-mme vrifiant

p~ p~ = p~, les deux sous-espaces vectoriels Im p~ et Ker p~ de E sont supplmentaires et

p~ est la projection sur Im p~ paralllement Ker~p.

De mme, si ~s est une application linaire de E dans lui-mme vrifiant ~s ~s = id

E
(on dit que ~s est involutive), ~s admet exactement les deux valeurs propres +1 et -1
, auquel cas elle nadmet quune valeur propre), et les noyaux des
(sauf si ~s = id
E
et ~
(i.e. les sous-espaces propres de ~
applications linaires ~s id
s +id
s correspondant
E
E

ces deux valeurs propres) sont des sous-espaces vectoriels supplmentaires de E ; ~s

est alors la symtrie par rapport au premier paralllement au second.

Proposition 36. Soit F un sous-espace affine dun espace affine E et G un sous

espace vectoriel supplmentaire de F dans E . La projection p sur F paralllement

G (resp. la symtrie s par rapport F paralllement G ) est une application

affine, dapplication linaire associe la projection vectorielle p~ sur F paralllement

par rapport F paralllement G ). Plus

G (resp. la symtrie vectorielle ~s = 2~p id
E

gnralement, laffinit f de base F , de direction G et de rapport est une application

p
affine, dapplication linaire associe f~ = p~ + (id
~).
E
31

Maths en Ligne

Gomtrie affine

UJF Grenoble

Dmonstration : Soient M et N deux points quelconques de E, M 0 et N 0 leurs projets

sur F dans la direction G , M 00 et N 00 leurs symtriques par rapport F dans la direction

G . Par la relation de Chasles, on a M N = M M 0 + M 0 N 0 + N 0 N . Mais le vecteur M 0 N 0

appartient F et le vecteur M M 0 + N 0 N appartient G comme somme de deux

vecteurs de G . On a donc M 0 N 0 = p~(M N ) par dfinition de la projection vectorielle

p~, ce qui montre que p est affine de partie linaire p~.
De mme lgalit

M 00 N 00 = M 00 M + M N + N N 00

= M N 2(M M 0 + N 0 N )

= M N 2(M N p~(M N ))

)(M N )
= (2~p id
E

= ~s(M N )
montre que la symtrie s est affine de partie linaire la symtrie vectorielle ~s.
La dmonstration pour laffinit est analogue.

Une projection, tant affine, conserve les rapports de mesures algbriques sur une
mme droite. La partie directe du thorme de Thals ne fait que traduire cette proprit :
Thorme 3. (Thorme de Thals)
Soient A , B , C trois droites parallles distinctes dun plan affine P coupant
deux droites D et D0 respectivement en A, B, C et A0 , B 0 , C 0 . Alors
AB
A0 B 0
= 0 0 .
AC
AC

()

Rciproquement, soient A , B , C trois droites distinctes dun plan affine P

coupant deux droites D et D0 respectivement en A, B, C et A0 , B 0 , C 0 . On suppose A
et B parallles, C et C 0 distincts et
AB
A0 B 0
= 0 0 .
AC
AC
Alors C est parallle A et B .
Dmonstration : La partie directe du thorme rsulte immdiatement du caractre
affine de la projection p sur D0 dans la direction commune des droites A , B , C : si
~u est un vecteur directeur de D et si les mesures algbriques sur D sont dfinies partir

de ce vecteur, les relations AB = AB ~u, AC = AC ~u impliquent A0 B 0 = p(A)p(B) =

p~(AB) = AB p~(~u), A0 C 0 = p(A)p(C) = p~(AC) = AC p~(~u). En dfinissant les mesures

32

Maths en Ligne

Gomtrie affine

UJF Grenoble

Figure 5 Le thorme de Thals dans le plan et dans lespace.

algbriques sur D0 en prenant p~(~u) comme vecteur directeur (ce vecteur nest pas nul,
et on rappelle que les rapports de mesures algbriques sur une droite ne dpendent pas
du choix du vecteur directeur), la relation () en rsulte immdiatement.
Rciproquement, supposons la relation () vrifie. La parallle A mene par
AB
A0 B 0
C coupe la droite D0 en un point C 00 qui vrifie
= 0 00 par la partie directe du
AC
AC
A0 B 0
A0 B 0
thorme. Il en rsulte 0 00 = 0 0 , do A0 C 00 = A0 C 0 et C 0 = C 00 , ce qui montre
AC
AC
que C est parallle A .

La partie directe du thorme de Thals ne faisant que traduire le caractre affine des projections, on peut noncer un thorme analogue en toute dimension, en
particulier dans lespace de dimension 3 :
Thorme 4. (Thorme de Thals dans lespace) Soient A , B , C trois plans
parallles distincts de lespace coupant deux droites D et D0 respectivement en A, B,
C et A0 , B 0 , C 0 . Alors
AB
A0 B 0
= 0 0 .
()
AC
AC
.
Mais le thorme de Thals dans lespace nadmet pas de rciproque analogue
celle du thorme de Thals dans le plan : si on suppose les plans A et B parallles
et la relation () vrifie, on ne peut en dduire que C est parallle A et B . On
a cependant :
Proposition 37. Soient D et D0 deux droites de lespace, A, B, C trois points de D,
A0 , B 0 , C 0 trois points de D0 , ces six points tant supposs tous distincts. Si
AB
A0 B 0
= 0 0 ,
AC
AC
0
0
0
alors les trois droites (AA ), (BB ), (CC ) sont parallles un mme plan.
33

Maths en Ligne

Gomtrie affine

UJF Grenoble

Dmonstration : Si les droites (AA0 ) et (BB 0 ) sont parallles, les droites D et D0 sont
coplanaires et (CC 0 ) est parallle (AA0 ) et (BB 0 ) par le thorme de Thals dans le
plan.
Sinon, soient A , B , C les plans passant respectivement par A, B, C de direction

le plan vectoriel engendr par les vecteurs AA0 et BB 0 . Ces trois plans sont parallles et
la droite (AA0 ) (resp. (BB 0 )) est incluse dans A (resp. B ) de sorte que A (resp. B )
AB
A0 B 0
= 0 00
coupe D0 en A0 (resp. B 0 ). Le plan C coupe D0 en un point C 00 qui vrifie
AC
AC
daprs le thorme direct. Il en rsulte A0 C 00 = A0 C 0 , do C 00 = C 0 . La droite (CC 0 )
est donc incluse dans C .


34

Maths en Ligne

Gomtrie affine

UJF Grenoble

Entranement

2.1

Vrai ou faux

Vrai-Faux 1. Soit E un espace affine et E lespace vectoriel associ. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?

1.  Pour tout vecteur ~v de E , il existe un couple (A, B) de points de E et un seul

tel que AB = ~v .
2.  Pour tout vecteur ~v de E, il existe un couple (A, B) de points de E tel que

AB = ~v .

3.  Pour tout point A de E et tout vecteur ~v de E , il existe un point B de E et

un seul tel que AB = ~v .

4.  Pour tout couple (A, B) de points de E, il existe un unique vecteur ~v de E tel

que ~v = AB.

5.  Pour tout triplet (A, B, C) de points de E, on a BC = AB AC.

6.  Pour tout point B de E et tout vecteur ~v de E , il existe un unique point A

de E tel que AB = ~v .
7.  Pour tout couple (A, B) de points de E, il existe un unique point C de E tel

que CA = CB.
Vrai-Faux 2. Soit E un espace affine et A, B, C trois points de E. Parmi les affirmations
suivantes, lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?

1.  Le vecteur OA 2 OB + OC ne dpend pas du point O de E.


2.  Le point M dfini par OM = OA 2 OB + OC ne dpend pas du point O de
E.

3.  Le point M dfini par OM = OA OB + OC ne dpend pas du point O de
E.


4.  Le point M dfini par 4 OM = OA + 2 OB + OC ne dpend pas du point O
de E.

5.  Le vecteur ~v dfini par 3 ~v = OA + OB + OC ne dpend pas du point O de E.
Vrai-Faux 3. Soit E un espace affine, n et m deux entiers strictement positifs, A1 , . . . , An
et B1 , . . . , Bm des points de E, G lisobarycentre des points A1 , . . . , An , H lisobarycentre des points B1 , . . . , Bm , K lisobarycentre des n+m points A1 , . . . , An , B1 , . . . , Bm .
Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?
1.  K est toujours le milieu du segment [GH].
2.  K appartient toujours au segment [GH].
35

Gomtrie affine

Maths en Ligne

UJF Grenoble

3.  n KG = m KH.

4.  n KG + m KH = ~0.
5.  H appartient la droite (KG) (en supposant G 6= K).
6.  H appartient au segment [KG].
n
P
7.  n KG =
KAi .
i=1

8.  K = H si et seulement si H = G.
Vrai-Faux 4. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1.  Tout segment est convexe.
2.  Une droite prive dun point est convexe.
3.  Un plan priv dun point est convexe.
4.  Le graphe dune fonction convexe de R dans R est convexe.
5.  Le graphe dune fonction affine de R dans R est convexe.
6.  Lenveloppe convexe de la runion de deux droites scantes est le plan contenant ces droites.
7.  Lenveloppe convexe dune partie borne du plan est borne.
8.  Lenveloppe convexe de la runion de deux droites non coplanaires de lespace
E de dimension 3 est E.
Vrai-Faux 5. Soit, dans un espace affine E, h une homothtie de centre A et de rapport
6= 1 et f une transformation affine de E telle que f (A) 6= A. Parmi les affirmations
suivantes, lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?
1.  f h = h f .
2.  f h f 1 est une homothtie de rapport .
3.  f h f 1 est une homothtie de centre A.
4.  h1 est une homothtie de centre A.
5.  h f h1 est une homothtie de centre A.
Vrai-Faux 6. Le cadre est un espace affine de dimension trois. Dire pour chacune des
affirmations suivantes si elle est vraie ou fausse (en justifiant votre rponse).
1.  Si deux droites sont parallles un mme plan, elles sont parallles entre elles.
2.  Si deux plans sont parallles, toute droite qui coupe lun coupe lautre.
3.  Si une droite D est parallle un plan P , tout plan non parallle P rencontre
D.
4.  tant donns deux plans scants, toute droite parallle ces deux plans est
parallle leur intersection.
36

Maths en Ligne

Gomtrie affine

UJF Grenoble

5.  tant donnes deux droites non coplanaires, il existe toujours au moins un

plan tel que ces deux droites soient parallles ce plan.
6.  tant donns deux plans scants, deux droites parallles chacun de ces deux
plans sont ncessairement parallles entre elles.
7.  Soient D et D0 deux droites non parallles de lespace ; il existe un plan P et
un seul contenant D tel que D0 soit parallle P .
Vrai-Faux 7. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1.  Toute transformation affine qui transforme toute droite en une droite parallle
est une homothtie ou une translation.
2.  Toute transformation affine dont la partie linaire est id est une symtrie
centrale.
3.  Toute transformation affine admettant un point fixe et un seul est une homothtie.
4.  Toute transformation affine dont la partie linaire est lidentit est une translation.
5.  Toute transformation affine qui transforme deux droites parallles quelconques
en deux droites parallles est une homothtie ou une translation.
6.  Toute transformation affine transforme un paralllogramme non aplati en un
paralllogramme non aplati.
Vrai-Faux 8. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1.  Une figure borne du plan ne peut pas admettre deux centres de symtrie
distincts.
2.  Une figure borne du plan ne peut pas admettre deux axes de symtrie distincts.
3.  Toute transformation affine du plan conservant globalement une droite possde
au moins un point fixe.
4.  Toute transformation affine du plan conservant globalement un ensemble fini
de points possde au moins un point fixe.
5.  Toute application affine p du plan dans lui-mme vrifiant p p = p est une
projection.
6.  Toute application affine p du plan dans lui-mme vrifiant p~ p~ = p~ est une
projection.
7.  Si s est une symtrie de lespace par rapport une droite D dans la direction
dun plan P , pour tout couple (M, N ) de points nappartenant pas D les droites
(M s(M )) et (N s(N )) sont parallles.
8.  Toute application affine s de lespace affine E dans lui-mme vrifiant ss = idE
est une symtrie affine .
37

Maths en Ligne

2.2

Gomtrie affine

UJF Grenoble

Exercices

Exercice 1. On appelle mdianes dun triangle non aplati ABC les trois droites (AA0 ),
(BB 0 ), (CC 0 ) joignant un sommet de ce triangle au milieu du ct oppos.
1. crire lisobarycentre G dun triangle ABC comme barycentre des points A et A0
(resp. B et B 0 , C et C 0 ), o A0 , B 0 , C 0 sont les milieux respectifs de [BC], [CA],

[AB]. Montrer que A0 A = 3 A0 G, B 0 B = 3 B 0 G, C 0 C = 3 C 0 G.

2. En dduire que lisobarycentre dun triangle non aplati appartient aux trois mdianes de ce triangle, qui sont donc concourantes.
Exercice 2. Soient A et B deux points dun espace affine E et I le milieu du segment
[AB]. Pour tout point M de E, on note M 0 lisobarycentre des trois points A, B, M .

1. Comparer les vecteurs IM et IM 0 .
2. En dduire la nature gomtrique de lapplication de E dans E qui tout point
M associe le point M 0 .
Exercice 3. Triangle des milieux
Soit ABC un triangle, A0 , B 0 , C 0 les milieux des segments [BC], [CA], [AB], G
lisobarycentre des points A, B, C.
1. Montrer que G est lisobarycentre des trois points A0 , B 0 , C 0 .
2. En dduire que le triangle A0 B 0 C 0 (quon appellera triangle des milieux du triangle
ABC) est limage du triangle ABC par une homothtie dont on prcisera le centre
et le rapport.

3. Montrer que BC = 2 B 0 C 0 , CA = 2 C 0 A0 , AB = 2 A0 B 0 .
4. tant donn un triangle A0 B 0 C 0 , montrer quil existe un triangle ABC et un seul
dont il est le triangle des milieux. Donner, dans le cas o le triangle A0 B 0 C 0 nest
pas aplati, une construction du triangle ABC ne faisant intervenir que des tracs
de parallles.
Exercice 4. Quadrilatre des milieux
Soit, dans un plan affine E, ABCD un quadrilatre, I, J, K, L, M , N les milieux
respectifs des segments [AB], [BC], [CD], [DA], [AC], [BD].
1. Montrer que les segments [IK], [JL] et [M N ] ont tous pour milieu lisobarycentre
des quatre points A, B, C, D.
2. En dduire que IJKL, IM KN et JM LN sont des paralllogrammes.

3. Retrouver ces rsultats en exprimant les vecteurs IJ, LK, IM , N K, JM , N L

en fonction des vecteurs AC, BC, BA.
Exercice 5. Soit dans lespace ABCD un ttradre non aplati. On appelle bimdianes
de ce ttradre les trois segments joignant les milieux de deux artes opposes et mdianes les quatre segments [AA0 ], [BB 0 ], [CC 0 ], [DD0 ] joignant un sommet lisobarycentre des trois autres sommets. Montrer que lisobarycentre G des points A, B, C, D
38

Maths en Ligne

Gomtrie affine

UJF Grenoble

est le milieu des trois bimdianes et quil appartient aux quatre mdianes. Comparer


les vecteurs A0 G et A0 A (resp. B 0 G et B 0 B, C 0 G et C 0 C, D0 G et D0 D).
Exercice 6. Soit, dans lespace affine de dimension 3, D1 une droite dfinie par un
point A et un vecteur directeur ~u et D2 une droite dfinie par un point B et un vecteur
directeur ~v . Montrer que D1 et D2 sont coplanaires si et seulement si les trois vecteurs

~u, ~v et AB sont lis.

Exercice 7. Soit, dans lespace affine de dimension 3 rapport un repre cartsien, P
un plan dquation ax + by + cz + d = 0 et D une droite de vecteur directeur ~u(, , ).
Donner une condition pour que D soit parallle P .
Exercice 8. Lespace de dimension 3 est rapport un repre cartsien. crire lquation du plan passant par le point (0, 1, 0) et parallle au plan dquation x+yz+3 = 0.
Exercice 9. Soit, dans lespace affine de dimension 3 rapport un repre cartsien, D
la droite dquations x + y z + 3 = 0, 2x + z 2 = 0. Donner lquation du plan P
contenant D et passant par le point (1, 1, 1).
Exercice 10. Soient P1 , P2 , P3 trois plans de lespace de dimension trois, deux deux
non parallles. Montrer que les trois droites D1 = P2 P3 , D2 = P3 P1 , D3 = P1 P2
sont parallles ou concourantes.
Exercice 11. Dans lespace affine de dimension 3 rapport un repre cartsien, soit
D la droite de vecteur directeur (3, 1, 1) passant par le point de coordonnes (2, 0, 1),
P le plan passant par le point (1, 1, 1) et de vecteurs directeurs (2, 3, 1) et (1, 2, 0),
P 0 le plan passant par le point (5, 3, 0) et de vecteurs directeurs (1, 1, 1) et (0, 3, 1).
Dterminer P D et D P 0 .
Exercice 12.
1. Montrer que trois droites D, D0 , D00 du plan affine, dquations
respectives ax + by + c = 0, a0 x + b0 y + c0 = 0, a00 x + b00 y + c00 = 0 dans un repre
cartsien, sont concourantes ou parallles si et seulement si

a

 0
a
 00
a

b c 
b0 c0  = 0 .

b00 c00 

2. En dduire le thorme de Cva : soit ABC un triangle, P , Q, R trois points

situs respectivement sur les droites (BC), (AC), (AB), distincts des sommets
de ce triangle ; alors les droites (AP ), (BQ), (CR) sont concourantes ou parallles
si et seulement si
P B QC
RA

= 1 .
PC
QA RB
Exercice 13. Soit ABC un triangle non aplati du plan affine E et (~i, ~j) une base de

E . On note, pour tout couple (~u, ~v ) de vecteurs de E , det(~u, ~v ) le dterminant de ce

couple de vecteurs dans la base (~i, ~j).
39

Gomtrie affine

Maths en Ligne

UJF Grenoble

1. Montrer que det(AB, AC) = det(BC, BA) = det(CA, CB).
On appellera aire oriente du triangle ABC, lunit daire tant laire du paral
1
llogramme construit sur les vecteurs ~i et ~j, le nombre det(AB, AC).
2
2. Soit M un point de E de coordonnes barycentriques rduites (, , ) dans le

repre (A, B, C). Exprimer les vecteurs M B et M C en fonction des vecteurs

AB et AC. En dduire une expression de det(M B, M C) en fonction , , et

det(AB, AC).
3. Montrer que les mdianes dun triangle partagent ce triangle en six petits triangles
de mme aire.
Exercice 14. Soient A, B, C trois points distincts dune droite affine. Montrer que lun,
et lun seulement, de ces points appartient au segment dfini par les deux autres.
Exercice 15. Soit (A, B, C) un repre affine du plan affine E. Montrer que trois
points M1 , M2 , M3 de E de coordonnes barycentriques rduites respectives (1 , 1 , 1 ),
(2 , 2 , 2 ), (3 , 3 , 3 ) dans le repre affine (A, B, C) sont aligns si et seulement si








1 1 1 
2 2 2  = 0 .

3 3 3 

Exercice 16.
1. Soit E un espace affine, F1 et F2 deux sous-espaces affines de E
et k un rel. Montrer que lensemble F des points kM1 + (1 k)M2 , pour M1
parcourant F1 et M2 parcourant F2 , est un sous-espace affine de E.
2. Prciser la nature de F quand F1 et F2 sont deux droites de lespace affine de
dimension 3 (on discutera selon la position de ces droites).
Exercice 17. Montrer que lenveloppe convexe de trois points A, B, C non aligns
du plan est la runion des segments [A, M ] pour M parcourant le segment [B, C].
Reprsenter cette enveloppe convexe sur un dessin.
Exercice 18. Soient A et B deux parties non vides dun espace affine E. On appelle
jonction de A et B, et on note Jonc(A, B) la runion de tous les segments joignant un
point quelconque de A un point quelconque de B, i. e. lensemble des M E tels
quil existe P A et Q B tels que M [P Q].
1. Soit P une partie non vide de E. Comparer Conv(P) et Jonc(P, P). Dessiner
Conv(P) et Jonc(P, P) lorsque P est un ensemble de trois points non aligns.
2. Soit A et B deux convexes dun espace affine E. Comparer Jonc(A, B) et Conv(A
B).
3. Dans R2 , dterminer Conv(P) lorsque P est la runion de la droite dquation
y = 0 et du point (0, 1).
40

Maths en Ligne

Gomtrie affine

UJF Grenoble

Exercice 19. Cnes convexes

Soit C un convexe dun espace affine E et O un point de E. Montrer que la runion
des demi-droites fermes dorigine O passant par M , pour M dcrivant C, est un
convexe.
Exercice 20. Rgionnement du plan par les droites portant les cts dun triangle
On considre dans le plan affine un triangle non aplati ABC et on note (, , ) les
coordonnes barycentriques rduites dun point M dans le repre affine (A, B, C).
1. Montrer que les droites (BC), (CA), (AB) portant les cts du triangle ABC
ont respectivement comme quations barycentriques = 0, = 0, = 0.
2. Montrer que ces trois droites divisent le plan en 7 rgions, quon caractrisera
par les signes des coordonnes barycentriques rduites dun point.
Exercice 21. Rgionnement de lespace par les plans portant les faces dun ttradre
On considre dans lespace un ttradre non aplati ABCD et on note (, , , ) les
coordonnes barycentriques rduites dun point M dans le repre affine (A, B, C, D).
1. Montrer que les plans (BCD), (CDA), (DAB), (ABC) portant les faces du
ttradre ont respectivement comme quations barycentriques = 0, = 0,
= 0, = 0.
2. Montrer que ces quatre plans divisent lespace en 15 rgions, quon caractrisera
par les signes des coordonnes barycentriques rduites dun point.
Exercice 22. Montrer que limage dun paralllogramme par une transformation affine
est un paralllogramme. Limage par une transformation affine dun quadrilatre qui
nest pas un paralllogramme peut-elle tre un paralllogramme ?
Exercice 23. Soient A et A0 deux points dun espace affine E.
1. Montrer quil existe une unique symtrie centrale qui envoie A sur A0 . Dterminer
son centre.
2. Montrer que, pour tout 6= 1, il existe une unique homothtie de rapport qui
envoie A sur A0 . Dterminer son centre.
Exercice 24. Soit, dans le plan affine, ABC un triangle, A0 , B 0 , C 0 les milieux respectifs
de [BC], [CA] et [AB], sA0 , sB 0 , sC 0 les symtries centrales de centres ces points.
Dterminer la nature gomtrique des transformations sB 0 sA0 et sC 0 sB 0 sA0 (on
pourra dterminer limage de B par ces deux transformations).
Exercice 25. Dterminer le sous-groupe du groupe affine GA(E) dun espace affine E
engendr par les symtries centrales.
Exercice 26. Soit, dans le plan affine, D et D0 deux droites scantes en un point A, et
I un point nappartenant aucune de ces droites. Construire un triangle ABC tel que
B appartienne D, C appartienne D0 et I soit le milieu de [BC] :
41

Maths en Ligne

Gomtrie affine

UJF Grenoble

a) en considrant les parallles D et D0 menes par I ;

b) en considrant la droite symtrique de D0 par rapport I.
Exercice 27. Conjugue dune translation

1. Soit E un espace affine, f une transformation affine de E et ~u un vecteur de E .

Montrer que f t~u f 1 est la translation de vecteur f~(~u).
2. En dduire que le centre du groupe affine est rduit lidentit.
Exercice 28. Soit E un espace affine, O un point de E et f un lment de GA(E).
Montrer que lapplication g 7 f g f 1 est un isomorphisme de Stab(O) sur
Stab(f (O)).
Il en rsulte que les stabilisateurs de tous les points de E sont des sous-groupes
conjugus de GA(E).
Exercice 29. Soit f une transformation affine dun espace affine E dont la partie
linaire f~ est une homothtie vectorielle de rapport 6= 1.
1. Soit A un point quelconque de E. Montrer que le barycentre O du systme de
points pondrs [(A, ), (f (A), 1)] est fixe par f .
2. En dduire (sans utiliser la proposition 35) que f est lhomothtie affine de centre
O et de rapport .
Exercice 30.
1. Dterminer les droites globalement invariantes par une translation
de vecteur non nul (resp. par une homothtie de rapport diffrent de 1).
2. En dduire que la compose de deux homothties de centres distincts A et B est

soit une translation de vecteur proportionnel AB ;

soit une homothtie dont le centre appartient la droite (AB).
Exercice 31. Soient A et B deux points dun espace affine E et f lapplication de E
dans E qui tout point M de E associe le point f (M ) dfini par

M f (M ) = 4 AM 2 BM .

1. Comparer les vecteurs f (M )f (N ) et M N pour tout couple (M, N ) de points de
E.
2. En dduire que f est affine. Expliciter sa partie linaire.
3. En dduire la nature gomtrique de f . Prciser ses points fixes.
Exercice 32. Soit, dans le plan affine, (D1 , D2 , D3 ) et (D10 , D20 , D30 ) deux triplets constitus chacun de trois droites distinctes concourantes en un point O (resp. O0 ). Le but
de lexercice est de montrer quil existe une transformation affine du plan transformant
le premier triplet en le second.

42

Maths en Ligne

Gomtrie affine

UJF Grenoble

1. Soit A (resp. A0 ) un point de D1 (resp. D10 ) distinct de O (resp. O0 ), B (resp. B 0 )

son projet sur D2 (resp. D20 ) dans la direction de D3 (resp. D30 ), C (resp. C 0 )
son projet sur D3 (resp. D30 ) dans la direction de D2 (resp. D20 ). Montrer que


(O, OB, OC) (resp. (O0 , O0 B 0 , O0 C 0 )) est un repre cartsien du plan. Donner les
coordonnes du point A (resp. A0 ) dans ce repre.
2. En dduire quil existe une transformation affine f et une seule du plan vrifiant
f (O) = O0 , f (B) = B 0 , f (C) = C 0 , f (A) = A0 .
3. Montrer que f (Di ) = Di0 pour i = 1, 2, 3.
4. Si f et g sont deux transformations affines du plan vrifiant f (Di ) = Di0 et
g(Di ) = Di0 pour i = 1, 2, 3, montrer que h = f 1 g est une homothtie de
centre O (on pourra considrer les images des points O, A, B, C par h).
Exercice 33. Soit F une partie dun espace affine possdant deux centres de symtrie
distincts A et B.
1. Montrer quil existe une translation de vecteur non nul laissant F globalement
invariante, puis quil existe une infinit de telles translations.
2. En dduire que F ne peut tre borne.
3. Montrer que F possde une infinit de centres de symtrie.
Exercice 34. Soit f une application affine dun espace affine E dans lui-mme et F =
{M1 , , Mn } un ensemble fini de points de E. On suppose que f (F) = F. Montrer
que f admet au moins un point fixe.
Exercice 35. Soit G un sous-groupe fini de GA(E). Montrer quil existe au moins un
point de E qui est fixe par tout lment de G. (On pourra considrer lisobarycentre
de la famille f (M ) o M est un point de E et f parcourt G.)
Exercice 36. Le trapze

43

Maths en Ligne

Gomtrie affine

UJF Grenoble

Soit ABCD un trapze de bases AB et CD. On note K et L les milieux des segments
[AB] et [CD] et on suppose que les droites (AD) et (BC) se coupent en un point I et
les droites (AC) et (BD) en un point J.
IA
transforme D en A,
1. Montrer que lhomothtie hI de centre I et de rapport
ID
C en B et L en K. En dduire que les points I, K, L sont aligns.
JC
2. Montrer de mme, en considrant lhomothtie hJ de centre J et de rapport
,
JA
que les points J, K, L sont aligns.
3. Montrer que la compose hJ hI de ces deux homothties est la symtrie centrale
de centre L.
4. En dduire que :
IK JL
= 1 .
IL JK
Exercice 37. Un cas particulier du thorme de Desargues

Montrer que deux triangles non aplatis du plan affine se dduisent lun de lautre
par une homothtie ou une translation si et seulement si leurs cts sont deux deux
parallles.
On verra en complments (section 3.4) le thorme de Desargues dans toute sa
gnralit.
Exercice 38. Un problme de construction
Soient D1 et D2 deux droites scantes du plan affine E et M un point de E nappartenant aucune de ces droites. On suppose que le point dintersection O de D1 et
D2 est situ hors du cadre de la figure. Donner une construction de la droite (OM ) (on
pourra sinspirer de la figure).

44

Maths en Ligne

Gomtrie affine

UJF Grenoble

Exercice 39. Deux cas particuliers du thorme de Pappus

1. Soient D et D0 deux droites parallles du plan affine, A, B, C trois points de

D, A0 , B 0 , C 0 trois points de D0 . On suppose (AB 0 ) et (BA0 ) parallles, ainsi
que (AC 0 ) et (CA0 ). Montrer que (BC 0 ) et (CB 0 ) sont parallles. (On pourra

comparer les vecteurs BC et C 0 B 0 .)
2. Mme question en supposant les droites D et D0 scantes en un point O (distinct
des points A, B, C, A0 , B 0 , C 0 ). (On pourra utiliser le thorme de Thals.)
Exercice 40. Le tourniquet dans le triangle
Par un point D du ct AB dun triangle ABC on trace la parallle (BC) qui
coupe (AC) en E ; par E on trace la parallle (AB) qui coupe (CB) en F ; par F on
trace la parallle (CA) qui coupe (BA) en G ; par G on trace la parallle (BC) qui
coupe (AC) en H ; par H on trace la parallle (AB) qui coupe (CB) en I ; par I on
trace la parallle (CA) qui coupe (BA) en J.

45

Maths en Ligne

Gomtrie affine

UJF Grenoble

1. Montrer que lapplication f de la droite (AB) dans elle-mme qui au point D

associe le point J est affine.
2. Dterminer les images des points A et B par f .
3. En dduire que J = D.
4. Redmontrer ce rsultat en utilisant le thorme de Thals.
Exercice 41. Thorme de Mnlas
Soit ABC un triangle non aplati, P , Q, R trois points situs respectivement sur les
droites (BC), (CA) et (AB) et distincts des sommets A, B, C. Alors les points P , Q,
R sont aligns si et seulement si :
P B QC RA
= 1.
P C QA RB
Indication : pour la partie directe, on pourra projeter sur une droite (par exemple BC)
dans la direction de la droite P QR.

46

Maths en Ligne

Gomtrie affine

UJF Grenoble

Exercice 42. Le thorme de Mnlas en dimension quelconque

Soit (A0 , A1 , . . . , An ) un repre affine dun espace affine E de dimension n. On pose
An+1 = A0 . Soit, pour i = 0, . . . , n, Mi un point de la droite (Ai Ai+1 ) distinct de Ai et
Ai+1 . Montrer que les points Mi (i = 0, . . . , n) appartiennent un mme hyperplan si
et seulement si :
n
Y
Mi Ai
=1
i=0 Mi Ai+1
(on pourra considrer la compose des homothties de centre Mi transformant Ai en
Ai+1 ).
Exercice 43. Thorme de Ceva

Soit ABC un triangle non aplati, P , Q, R trois points situs respectivement sur les
droites (BC), (CA) et (AB) et distincts des sommets A, B, C. Alors les droites (AP ),
(BQ) et (CR) sont concourantes ou parallles si et seulement si :
P B QC RA
= 1 .
P C QA RB
47

Maths en Ligne

Gomtrie affine

UJF Grenoble

Indication : dans le cas des droites concourantes, on pourra par exemple appliquer le
thorme de Mnlas des triangles et des scantes bien choisis.
Exercice 44. Soit ABC un triangle non aplati, A0 le symtrique de A par rapport
B, B 0 le symtrique de B par rapport C, C 0 le symtrique de C par rapport A. Le
but de lexercice est de reconstruire le triangle ABC partir du seul triangle A0 B 0 C 0 .

1. Soit A1 lintersection des droites (AB) et (B 0 C 0 ), B1 lintersection des droites

(BC) et (C 0 A0 ), C1 lintersection des droites (CA) et (A0 B 0 ), A2 lintersection de
la droite (B 0 C 0 ) et de la parallle (AB) mene par C, B2 lintersection de la
droite (C 0 A0 ) et de la parallle (BC) mene par A, C2 lintersection de la droite
(A0 B 0 ) et de la parallle (CA) mene par B. Montrer en utilisant le thorme de
Thals que A1 est le milieu de [C 0 A2 ] et que A2 est le milieu de [B 0 A1 ]. Dmontrer
des relations analogues pour les autres cts du triangle A0 B 0 C 0 .
2. En dduire une construction du triangle ABC partir du triangle A0 B 0 C 0 .
Exercice 45. Soit, dans le plan affine E, ABC un triangle non aplati, A , B , C les
mdianes de ce triangle issues de A, B et C. On note
s1 la symtrie par rapport A dans la direction de (BC)
s2 la symtrie par rapport B dans la direction de (CA)
s3 la symtrie par rapport C dans la direction de (AB)
f = s3 s2 s1 la compose de ces trois symtries.
1. Dterminer les images par s1 , s2 , s3 et f des points A, B, C.
2. En dduire la nature gomtrique de f .
Exercice 46. Soit, dans un plan affine E rapport un repre cartsien (O,~i, ~j), D la
droite dquation x y + 2 = 0 et ~v le vecteur de composantes (2, 1). Exprimer les
coordonnes (x0 , y 0 ) du projet M 0 dun point M de E sur la droite D dans la direction
du vecteur ~v en fonction des coordonnes (x, y) de M .
Exercice 47. Le plan affine est rapport un repre cartsien. Dterminer la nature
gomtrique des applications affines donnes en coordonnes par les formules :
48

Maths en Ligne

1.

x0
y 0

x0

Gomtrie affine

UJF Grenoble

=y
=x

= x 2y 2
2. 0
y = x + 2y + 1

x0

= 3x 4
3. 0
y = 3y + 3
Exercice 48. Le plan affine est rapport un repre cartsien (O,~i, ~j). Donner lexpression en coordonnes des applications affines suivantes :
la symtrie centrale de centre A(a, b) ;
la symtrie par rapport la droite dquation x + y = 1, dans la direction du
vecteur ~i ;
laffinit de base la droite dquation x y 1 = 0, de direction ~v (2, 1) et de
rapport 2.
Exercice 49. Soit, dans lespace affine E de dimension 3 rapport un repre cartsien

(0,~i, ~j, ~k), P le plan dquation 2x3y +8z 4 = 0 et D la droite vectorielle de vecteur
directeur ~u = 3~i 2~j ~k. Donner lexpression en coordonnes de la projection sur P

dans la direction D , puis, pour tout rel , de laffinit de base P , de direction D et

de rapport .
Exercice 50. Soit s une application affine dun espace affine E dans lui-mme vrifiant
s s = idE .
1. Montrer que s est bijective.
2. Montrer que pour tout point M de E, le milieu du segment [M s(M )] est fixe par
s.

3. Montrer que la partie linaire ~s de s est une symtrie vectorielle de E .

4. Conclure que s est une symtrie affine de E.
5. Montrer par un contre-exemple quune transformation affine de E dont la partie

linaire est une symtrie vectorielle de E nest pas ncessairement une symtrie
affine.

2.3

QCM

Donnez-vous une heure pour rpondre ce questionnaire. Les 10 questions sont

indpendantes. Pour chaque question 5 affirmations sont proposes, parmi lesquelles 2
sont vraies et 3 sont fausses. Pour chaque question, cochez les 2 affirmations que vous
pensez vraies. Chaque question pour laquelle les 2 affirmations vraies sont coches
rapporte 2 points.
49

Maths en Ligne

Gomtrie affine

UJF Grenoble

Question 1. Soit ABC un triangle non aplati, A0 , B 0 , C 0 les milieux des segments [BC],
[CA], [AB].

A BC = 2 B 0 C 0 .
B Les droites (AC) et (A0 C 0 ) sont parallles.
C Il existe une homothtie de rapport 1/2 transformant le triangle ABC en le
triangle A0 B 0 C 0 .
D Les segments [A0 B 0 ] et [CC 0 ] ont mme milieu.
E Les segments [AA0 ] et [BB 0 ] ont mme milieu.
Question 2. Soit ABC un triangle non aplati, A0 , B 0 , C 0 les milieux des segments
[BC], [CA], [AB], M un point de coordonnes barycentriques rduites (, , ) dans
le repre affine (A, B, C).
A M appartient la droite (BC) si et seulement si = 1.
B M appartient la droite (B 0 C 0 ) si et seulement si = .
C M appartient la droite (AA0 ) si et seulement si = .
D M appartient la parallle (BC) mene par A si et seulement si = .
E ABCM est un paralllogramme si et seulement si = .
Question 3. Soit, dans un espace affine de dimension 3 rapport un repre cartsien
(O,~i, ~j, ~k), P1 , P2 , P3 les trois plans dquations respectives :
P1 : 2x y z = 2
P2 : y z = 1
P3 : 3x y 2z = 0 .
A Les plans P1 et P3 sont parallles.
B Il existe une droite contenue dans les trois plans P1 , P2 , P3 .
C Le vecteur (1, 1, 1) est un vecteur directeur de lintersection de P1 et P2 .
D Lintersection P1 P2 P3 des trois plans P1 , P2 , P3 est rduite un point.
E Les intersections deux deux des trois plans P1 , P2 , P3 sont des droites parallles.
Question 4. Soient A, B, C, D quatre points non coplanaires de lespace affine de
dimension 3, I, J, K, L les milieux respectifs des segments [AB], [BC], [CD] et [DA].
A Les centres de gravit des quatre triangles ABC, BCD, CDA et DAB sont
coplanaires.
B Le plan dfini par les centres de gravit des triangles ABC, ACD, ABD est
parallle au plan (BCD).
C Le quadrilatre IJKL est un paralllogramme.
D Le plan dfini par les centres de gravit des triangles ABC, ACD, ABD se
dduit du plan (BCD) par une homothtie de centre A et de rapport 1/2.
E La droite (IK) est parallle la droite (AD).
50

Gomtrie affine

Maths en Ligne

UJF Grenoble

Question 5. Les parties suivantes du plan affine R2 sont convexes :

A {(x, y) R2 | x 1, y 2 } ;
B {(x, y) R2 | x2 + y 2 = 1 } ;
C {(x, y) R2 | x2 + y 2 1 } ;
D {(x, y) R2 | x2 + y 2 1 } ;
E {(x, y) R2 | y x2 0 }.
Question 6. On considre, dans le plan affine euclidien, les figures suivantes :

Il existe une transformation affine du plan transformant le carr Q en :

A A.
B B.
C C.
D D.
E E.
Question 7. Soient A et B deux points distincts dun espace affine, sA et sB les sym
tries centrales de centres A et B, et ~u = AB.
A sA sB = t2~u .
B sA t~u = t~u sA .
C sA t~u est une symtrie centrale.
D sA sB = sB sA .
E sA t~u sA = t~u .
Question 8. Soient f , g, h les applications du plan affine P rapport un repre
cartsien (O,~i, ~j) dans lui-mme dfinies par les formules :
f : x0 = y, y 0 = x ;
g : x0 = x 2y 2, y 0 = x + 2y + 1 ;
h : x0 = 3x 4, y 0 = 3y + 3.
A h est une homothtie de rapport 3.
B f est une symtrie centrale.
C g g = idP .
51

Maths en Ligne

Gomtrie affine

UJF Grenoble

D f est la symtrie par rapport la droite dquation x + y = 0 dans la direction

du vecteur (1, 1).
E g est une projection affine.
Question 9. Soit, dans le plan affine E, ABCD un paralllogramme et I le milieu de
[AC].
A Il existe une translation t et une seule vrifiant t(A) = B et t(D) = C.
B Il existe une transformation affine f et une seule vrifiant f (A) = B et f (D) =
C.
C Lidentit est la seule transformation affine de E conservant globalement lensemble {A, B, C, D}.
D Toute transformation affine de E conservant globalement lensemble {A, B, C, D}
laisse fixe I.
E Pour toute permutation des quatre points A, B, C, D, il existe une transformation affine f de E et une seule vrifiant f (A) = (A), f (B) = (B), f (C) = (C),
f (D) = (D).
Question 10. Soit, dans lespace affine E de dimension 3, ABCD un ttradre non
aplati et G lisobarycentre de ses sommets.
A Il nexiste pas de symtrie affine par rapport un plan conservant globalement
le ttradre.
B Pour toute permutation des quatre points A, B, C, D, il existe une transformation affine f de E et une seule vrifiant f (A) = (A), f (B) = (B), f (C) = (C),
f (D) = (D).
C Il existe une symtrie centrale et une seule conservant globalement le ttradre.
D Il y a exactement 6 symtries affines conservant globalement le ttradre.
E Toute transformation affine de E conservant globalement le ttradre laisse fixe
le point G.
Rponses : 1BD 2CD 3CE 4BC 5AC 6CD 7CE 8AE 9AD 10BE

2.4

Devoir

Essayez de bien rdiger vos rponses, sans vous reporter ni au cours, ni au corrig. Si
vous souhaitez vous valuer, donnez-vous deux heures ; puis comparez vos rponses avec
le corrig et comptez un point pour chaque question laquelle vous aurez correctement
rpondu.
Questions de cours :
1. Soit ABC un triangle non aplati dun plan affine E et M le point de coordonnes
barycentriques (1, 1, 1) dans le repre affine (A, B, C) de E. Montrer que le
quadrilatre ABCM est un paralllogramme.

52

Maths en Ligne

Gomtrie affine

UJF Grenoble

2. Soit E un espace affine de dimension n rapport un repre cartsien (O, e~1 , . . . , e~n ).
Donner lquation de la direction dun hyperplan affine dquation a0 +a1 x1 + +
an xn = 0. Donner une condition ncessaire et suffisante pour que deux hyperplans
affines dquations respectives a0 +a1 x1 + +an xn = 0 et a00 +a01 x1 + +a0n xn = 0
soient parallles.
3. Donner deux caractrisations de lenveloppe convexe dune partie non vide dun
espace affine.
4. Donner la nature gomtrique de la compose de deux homothties.
5. Montrer quune application affine f dun espace affine E dans lui-mme dont la
est une symtrie centrale.
partie linaire est id
E
Exercice 1 : Dans lespace affine E de dimension 3 rapport un repre cartsien
(O,~i, ~j, ~k), soit le plan dquation 2x 3y + z + 1 = 0 et ~v le vecteur de composantes
(2, 1, 2). On note p la projection sur dans la direction du vecteur ~v et s la symtrie
par rapport au plan dans la direction de ~v .
1. crire les coordonnes (x0 , y 0 , z 0 ) du point M 0 = p(M ) en fonction des coordonnes
(x, y, z) du point M .
2. En dduire la matrice P dans la base (~i, ~j, ~k) de la partie linaire p~ de p.
3. Calculer la matrice P 2 . Quel est le rang de P ?
4. crire les coordonnes (x00 , y 00 , z 00 ) du point M 00 = s(M ) en fonction des coordonnes (x, y, z) du point M .
5. En dduire la matrice S dans la base (~i, ~j, ~k) de la partie linaire ~s de s. Calculer
S 2.
6. Soit un rel. On rappelle que laffinit a de base , de direction la droite
vectorielle R~v engendre par ~v et de rapport est lapplication de E dans E

dfinie par p(M )a(M ) = p(M )M pour tout point M de E. crire, pour tout

couple (M, N ) de points de E, le vecteur a(M )a(N ) en fonction des vecteurs M N

et p(M )p(N ).
7. En dduire que a est affine et exprimer sa partie linaire ~a en fonction de p~ et
. Exprimer la matrice A de ~
de id
a en fonction de la matrice P et de la matrice
E
identit.
8. Dterminer un polynme du second degr annulant A.
Exercice 2 :
Le but de lexercice est dtudier lapplication m qui un n-uplet (A1 , . . . , An ) de
points dun espace affine E associe le n-uplet (B1 , . . . , Bn ), o n 2 est un entier fix
et, pour i = 1, . . . , n 1, Bi est le milieu du segment [Ai Ai+1 ] et Bn est le milieu du
segment [An A1 ]. On note, pour tout point A de E, sA la symtrie centrale de centre A.

53

Gomtrie affine

Maths en Ligne

UJF Grenoble

1. Montrer que la compose sB sA de deux symtries centrales est une translation

dont on exprimera le vecteur en fonction de A et B. En dduire que la compose
dun nombre pair de symtries centrales est une translation.
2. Montrer que la compose dun nombre impair de symtries centrales est une
symtrie centrale.
3. Soit (A1 , . . . , An ) un n-uplet de points de E et (B1 , . . . , Bn ) les points dfinis
prcdemment. On dfinit, pour k = 1, . . . , n, des applications fk de E dans E
par f1 = sB1 et fk = sBk fk1 pour k 2. Dterminer fk (A1 ) pour 1 k n.
4. On suppose n impair.
a) Montrer que fn est une symtrie centrale dont on prcisera le centre. En
dduire que lapplication m est une bijection de lensemble des n-uplets de
points de E sur lui-mme.
b) Donner une construction des points Ai connaissant les points Bi .
5. On suppose n pair.
a) Montrer que fn est une translation dont on crira le vecteur en fonction des
points B1 , . . . , Bn . En dduire une relation vrifie par ces points.
b) Dterminer limage de lapplication m. Cette application est-elle injective ?

2.5

Corrig du devoir

Questions de cours :
1. Le point M ayant (1, 1, 1) comme coordonnes barycentriques normalises dans
le repre affine (A, B, C), on a, pour tout point O de E :

OM = OA OB + OC = OA + BC .

En particulier, pour O = A, on a AM = BC, ce qui montre que ABCM est un
paralllogramme.
2. La direction de lhyperplan affine dquation a0 + a1 x1 + + an xn = 0 est
lhyperplan vectoriel dquation a1 x1 + + an xn = 0 dans la base (e~1 , . . . , e~n ).
Deux hyperplans affines dquations respectives a0 + a1 x1 + + an xn = 0 et
a00 + a01 x1 + + a0n xn = 0 sont parallles si et seulement si leurs directions sont
confondues, i.e. si et seulement si il existe un rel non nul tel que a0i = ai pour
tout i = 1, . . . , n.
3. Lenveloppe convexe dune partie A dun espace affine E est le plus petit convexe
de E contenant A. Cest lintersection de tous les convexes de E contenant A.
Cest aussi lensemble de tous les barycentres de systmes de points pondrs de
A affects de coefficients tous positifs.
4. La compose de deux homothties de rapports respectifs et est une homothtie
de rapport si 6= 1 et une translation si = 1.
54

Gomtrie affine

Maths en Ligne

UJF Grenoble

5. Soit A un point quelconque de E et O le milieu du segment [Af (A)]. La relation

~

f (O)f (A) = f (OA) = OA = Of (A)
montre que f (O) = O. On a alors
~

Of (M ) = f (O)f (M ) = f (OM ) = OM
pour tout point M de E, ce qui montre que f est la symtrie centrale de centre
O.
On pouvait naturellement aussi se contenter dappliquer la proposition 32 au cas
particulier k = 1.
Exercice 1 :
1. Le point p(M ) est lintersection de la droite passant par M de vecteur directeur

~v et du plan . Il existe donc un rel t tel que M p(M ) = t~v . Les coordonnes de
p(M ) sont (x + 2t, y + t, z 2t) et le point p(M ) appartient au plan , do la
relation 2(x + 2t) 3(y + t) + (z 2t) + 1 = 0. On en dduit t = 2x 3y + z + 1
et

x = 5x 6y + 2z + 2
y 0 = 2x 2y + z + 1

0
z = 4x + 6y z 2 .
2. La matrice de p~ dans la base (~i, ~j, ~k) est donc

5 6 2

P = 2 2 1
4 6 1
3. La relation p p = p implique p~ p~ = p~, do P 2 = P , ce qui peut naturellement

se vrifier par le calcul. Limage de p~ est le plan vectoriel direction du plan .

La matrice P est donc de rang 2.

4. Le symtrique s(M ) du point M vrifie M s(M ) = 2M p(M ) = 2t~v , o t =

2x 3y + z + 1 est le rel dfini la question 1, do

00

00

00
z

= 9x 12y + 4z + 4
= 4x 5y + 2z + 2
= 8x + 12y 3z 4 .

On pouvait aussi remarquer que s(M ) est le symtrique de M par rapport

p(M ), do les relations x00 = 2x0 x, y 00 = 2y 0 y, z 00 = 2z 0 z.

55

Maths en Ligne

Gomtrie affine

UJF Grenoble

5. La matrice de ~s dans la base (~i, ~j, ~k) est donc

9 12 4

S = 2P I = 4 5 2
8 12 3
et S 2 = I.
Comme s est une symtrie, s s = idE , do ~s ~s = id
E

6. Par la relation de Chasles

a(M )a(N ) = a(M )p(M ) + p(M )p(N ) + p(N )a(N )

= M p(M ) + p(M )p(N ) + p(N )N

= (M N p(M )p(N )) + p(M )p(N )

= M N + (1 )p(M )p(N )

+ (1 )~
= [ id
p
](
MN) .
E
+ (1 )~
7. Il en rsulte que a est affine de partie linaire ~a = id
p. Do A =
E
I + (1 )P .

8. De la relation P 2 = P dcoule
A2 = 2 I + 2(1 )P + (1 )2 P 2
= 2 I + (1 2 )P
do A2 (1 + )A + I = 0. En particulier, pour = 1 on retrouve la relation
S 2 = I et pour = 0 la relation P 2 = P .
Exercice 2 :
1. La compose t = sB sA de deux symtries centrales est une translation, puisque
cest une transformation affine de partie linaire lidentit. Limage par t de A

est A0 = sB (A). Il en rsulte que t est la translation de vecteur AA0 = 2AB.

Il en rsulte immdiatement par rcurrence que la compose dun nombre pair de
symtries centrales est une translation.
2. La compose dun nombre impair k de symtries centrales est une symtrie centrale puisque sa partie linaire est lhomothtie vectorielle de rapport (1)k = 1.
3. Les points A1 et A2 sont symtriques par rapport B1 , puisque B1 est le milieu
de [A1 A2 ]. On a donc f1 (A1 ) = sB1 (A1 ) = A2 .
Montrons par rcurrence sur k que fk (A1 ) = Ak+1 pour k = 1, . . . , n 1. On
vient de voir que la proprit est vraie pour k = 1. Si elle est vraie pour k
n 2, comme Bk+1 est le milieu de [Ak+1 Ak+2 ], on a sBk+1 (Ak+1 ) = Ak+2 , do
fk+1 (A1 ) = sBk+1 (Ak+1 ) = Ak+2 . De mme fn (A1 ) = sBn (An ) = A1 .

56

Gomtrie affine

Maths en Ligne

UJF Grenoble

4. a) Comme n est impair, fn est une symtrie centrale. On vient de voir que
fn (A1 ) = A1 . Il en rsulte que A1 est le centre de fn , puisque le centre dune
symtrie centrale est son seul point fixe.
Lapplication fn tant entirement dtermine par les points B1 , . . . , Bn , il en
rsulte que la donne de ces points dtermine A1 et, par rcurrence, tous les
points Ak , puisque Ak+1 = fk (A1 ). Lapplication m est donc injective.
Elle est galement surjective, puisque, si Ak sont les points prcdemment
dfinis, Bk est le milieu de [Ak Ak+1 ] pour tout k = 1, . . . , n 1, et Bn le milieu
de [An A1 ]. Lapplication m est donc bijective.
b) Pour construire les points Ai connaissant les points Bi , il suffit de construire
A1 , les autres points Ai sen dduisant par les symtries successives de centres
B1 , B2 , . . . , Bn1 . Mais A1 est le centre de la symtrie centrale fn , donc le
milieu du segment [M fn (M )] pour tout point M de E. On lobtient donc en
choisissant nimporte quel point M de E (par exemple B1 ), en construisant
son image fn (M ) et en prenant le milieu du segment [M fn (M )].
5. a) Comme n est pair, fn est une translation de vecteur la somme des vecteurs des
n/2
P
translations sB2k sB2k1 pour k = 1, . . . , n/2, i.e. 2
B2k1 B2k . Par ailleurs,
k=1

la relation fn (A1 ) = A1 montre que fn a un point fixe, cest donc lidentit. Le

vecteur de la translation fn est donc nul :
2

n/2
X

B2k1 B2k = ~0

() .

k=1

b) Il en rsulte que lapplication m nest pas surjective, puisque son image est
contenue dans lensemble des n-uplets de points (B1 , . . . , Bn ) vrifiant la relation ().
Soit (B1 , . . . , Bn ) un n-uplet de points vrifiant la relation () et A1 un point
quelconque de E. Dfinissons par rcurrence des points A2 , . . . , An par Ak+1 =
sBk (Ak ) pour k = 1, . . . , n 1. Pour tout k = 1, . . . , n 1, Bk est donc le milieu
de [Ak Ak+1 ] et il rsulte de la relation () que fn est lidentit, do fn (A1 ) =
sBn (An ) = A1 . Bn est donc le milieu de [An A1 ] et le n-uplet (B1 , . . . , Bn ) est
limage par m du n-uplet (A1 , . . . , An ).
Il en rsulte que limage de m est exactement lensemble des n-uplets de points
(B1 , . . . , Bn ) vrifiant la relation ().
Lapplication m nest pas injective puisque le choix de A1 dans la construction
prcdente est arbitraire.

57

Gomtrie affine

Maths en Ligne

UJF Grenoble

Complments

3.1

Notations de Grassmann

Les notations M + ~u et

n
P
i=1

i Mi (pour

n
P

i = 1) sont parfois appeles notations

i=1

de Grassmann.
Hermann Gnther Grassmann (1809-1877) tait un mathmaticien et linguiste allemand. Enseignant de lyce pendant la majeure partie de sa vie professionnelle, limportance de ses travaux mathmatiques na t reconnue que tardivement et cest pour ses
tudes de sanskrit et notamment sa traduction en allemand du Rig-Vda quil devint
clbre la fin de sa vie.
On le considre aujourdhui comme un des inventeurs du calcul vectoriel et de
lalgbre linaire (bien que des notions analogues celle de vecteur soient apparues
de manire rcurrente, ltat dbauche ds le XVIime sicle, puis de manire plus
formelle au dbut du XIXime sicle, chez dautres auteurs, lide tant chaque fois
de dfinir des grandeurs qui aient, outre une mesure, une direction et un sens).

Le calcul barycentrique lui-mme avait en fait t introduit, peu prs la mme

poque, par August Ferdinand Mbius (1790-1868) dans son livre Der barycentrische
Calcl (1827). Dans cet ouvrage, Mbius (sans doute plus connu aujourdhui pour sa
58

Maths en Ligne

Gomtrie affine

UJF Grenoble

dcouverte de la bande qui porte son nom, un exemple de surface non orientable plonge
dans lespace euclidien de dimension 3), introduisait non seulement les coordonnes
barycentriques, mais aussi, en considrant le cas dun systme pondr o la somme
des poids est nulle, la notion de point linfini et les coordonnes projectives, ouvrant
ainsi la voie ltude des relations entre espace affine et espace projectif.

3.2

Courbes de Bzier

Une application trs concrte, en dehors de la mcanique do elle est issue, de la

notion de barycentre est fournie par ltude des courbes de Bzier.
Pierre Bzier (1910-1999) tait ingnieur chez Renault quand il introduisit en 1962
ces courbes et les surfaces qui portent galement son nom pour modliser des pices
dautomobile. peu prs la mme poque, Paul de Casteljau menait des tudes
analogues chez Citron, principal concurrent en France de Renault, et dcouvrait un
algorithme rcursif pour construire ces courbes, algorithme qui porte aujourdhui son
nom. Ces travaux, couverts par le secret industriel, ne furent publis quune dizaine
dannes plus tard.

Figure 6 Courbes de Bzier avec 3 et 4 points de contrle

Pour simplifier, nous ne considrerons ici que le cas des courbes. Le problme dinterpolation le plus simple consiste dterminer une courbe lisse passant par des points
donns et ayant une quation la plus simple possible. Bien sr, sil ne sagit que de
relier deux points donns, la courbe la plus simple est le segment [AB]. Ce segment est
lensemble des barycentres (1 t)A + tB quand t parcourt lintervalle [0, 1]. Quand on
veut raccorder une suite de points, il faut pouvoir contrler les tangentes aux points
de raccordement. On ajoute pour cela un point de contrle supplmentaire C, on note
pour tout t [0, 1], M = (1 t)A + tC, N = (1 t)C + tB, P = (1 t)M + tN , de sorte
que P = (1 t)2 A + 2t(1 t)C + t2 B. On vrifie alors facilement que la courbe dcrite
par le point P quand t parcourt [0, 1] est un arc de parabole joignant A B, admettant comme tangente en A la droite (AC) et comme tangente en B la droite (BC). Le
59

Maths en Ligne

Gomtrie affine

UJF Grenoble

point de contrle supplmentaire C permet donc de contrler les tangentes aux deux
extrmits de larc AB. Si on veut davantage de contrle sur la forme de la courbe,
on peut rajouter dautres points de contrle et itrer la construction prcdente. La
reprsentation paramtrique
! de la courbe obtenue fait alors intervenir les polynmes
n
de Bernstein Bn,k (t) =
(1 t)k tnk , qui apparaissent dans le dveloppement de
k
[(1 t) + t]n par la formule du binme.
Comme toute application affine conserve les barycentres, pour construire limage
dune courbe de Bzier par une application affine il suffit de prendre limage des points
de contrle de la courbe initiale par lapplication affine, limage de la courbe de Bzier
est alors la courbe de Bzier correspondant ces points de contrle, ce qui simplifie
beaucoup la construction de cette image.
Les courbes de Bzier sont beaucoup utilises dans les logiciels de dessin vectoriel
et de cration de polices de caractres. En particulier, le langage PostScript, dont la
format pdf est largement issu, leur a accord une grande place.

3.3

Perspective centrale et gomtrie projective

Que ce soit sur le papier ou sur un cran dordinateur, une figure de lespace est
toujours reprsente par une figure plane, cest--dire par une projection de cette figure
sur un plan.
Si on considre que lil de lobservateur est situ infiniment loin, les rayons projetant les diffrents points sont tous parallles. La projection ainsi obtenue est donc
une projection affine sur un plan, quon appelle aussi projection parallle, en raison
du paralllisme des projetantes, ou projection cylindrique, car les droites projetant le
contour apparent dun solide constituent un cylindre.
Cette projection affine apparat aussi naturellement quand on tudie les ombres
projetes par les rayons du soleil, car on peut considrer les rayons lumineux comme
tous parallles.
Par contre, si lil de lobservateur est situ distance finie, les rayons projetants
ne sont plus parallles, mais convergent tous en un mme point (lil de lobservateur).
Il faut alors considrer un nouveau type de projection, appel perspective, ou projection
centrale, ou encore projection conique, car les rayons projetants constituent cette fois
un cne de sommet lil de lobservateur. Cest aussi ce type de projection que lon est
amen considrer si on tudie les ombres projetes par une source lumineuse situe
distance finie.
Ltude systmatique de la perspective a t entreprise la Renaissance par les
peintres et architectes italiens, en particulier Alberti (1404-1472), Masaccio (14011428), Piero della Francesca (vers 1415-1492). Elle sest alors rpandue toute lEurope, comme en tmoigne la gravure de Drer (1525) ci-dessous, o le peintre utilise
un perspectographe, instrument lui permettant de raliser une perspective de manire
purement mcanique.
60

Maths en Ligne

Gomtrie affine

UJF Grenoble

Ltude mathmatique en a t systmatise au XVIIime sicle par Desargues (voir

section 3.4) et a fini par donner naissance une nouvelle forme de gomtrie : la
gomtrie projective.
Ses ides sont tombes dans un relatif sommeil durant tout le XVIIIime sicle, les
mathmaticiens de cette poque tant surtout occups dvelopper les perspectives
ouvertes par lintroduction du calcul diffrentiel et intgral, et ce nest quau dbut du
XIXime sicle que ltude de la gomtrie projective reprendra vraiment, sous limpulsion de mathmaticiens franais (Poncelet, Trait des proprits projectives des figures,
1822) et allemands (Steiner 1 , Mbius, Plcker), avant de stablir dfinitivement sur
des bases solides la fin de ce sicle.
Les projections centrales ne sont pas des applications affines : si elles conservent
lalignement, elles ne conservent ni le paralllisme (des droites parallles dans lespace
se rejoignent sur le tableau au point de fuite, commun toutes les droites ayant mme
direction), ni les barycentres (le milieu dun segment non parallle au plan du tableau
nest pas projet en le milieu de son image). En consquence, dans un plan projectif, il
ny a pas de droites parallles : deux droites distinctes se coupent toujours en un point
et un seul.

3.4

Desargues dans le plan et dans lespace

Le thorme de Desargues peut snoncer dans le plan affine sous la forme suivante :
Thorme 5. Soient ABC et A0 B 0 C 0 deux triangles non aplatis dun mme plan affine.
On suppose A et A0 (resp. B et B 0 , resp. C et C 0 ) distincts. Alors les droites (AA0 ),
(BB 0 ) et (CC 0 ) sont concourantes ou parallles si et seulement si lune des conditions
suivantes est satisfaite :
les trois couples de droites ((BC), (B 0 C 0 )), ((CA), (C 0 A0 )) et ((AB), (A0 B 0 )) sont
constitus de droites scantes en des points , , et les trois points , , sont
aligns (figure 7) ;
1. Jacob Steiner (1796-1863) tait suisse, mais a essentiellement travaill en Allemagne.

61

Maths en Ligne

Gomtrie affine

UJF Grenoble

les trois couples de droites ((BC), (B 0 C 0 )), ((CA), (C 0 A0 )) et ((AB), (A0 B 0 )) sont
constitus de droites parallles ;
lun des trois couples de droites ((BC), (B 0 C 0 )), ((CA), (C 0 A0 )) et ((AB), (A0 B 0 ))
est constitu de droites parallles, les deux autres de droites scantes et la droite
joignant les deux points dintersection dfinis par ces couples est parallle la
direction commune des droites du premier couple.
Les triangles ABC et A0 B 0 C 0 sont alors dits homologiques.

Figure 7 Le thorme de Desargues

On a tudi le cas particulier o les trois couples considrs sont constitus de
droites parallles lexercice 37 .
Le cas gnral peut galement studier avec les thormes classiques de la gomtrie
plane, mais une faon plus agrable de procder est de considrer la figure 7 comme
une projection plane dune figure de lespace.
Considrons pour cela, dans lespace affine de dimension 3, un ttradre OABC,
et un plan ne passant pas par O coupant les trois droites (OA), (OB) et (OC) en
A0 , B 0 et C 0 distincts de A, B, C. Les droites (BC) et (B 0 C 0 ) (resp. (CA) et (C 0 A0 ),
(AB) et (A0 B 0 )) sont coplanaires. Supposons-les scantes en des points , et (le
cas de droites parallles se traiterait de manire analogue). Les trois points , et
sont alors aligns. En effet, les plans (ABC) et se coupent suivant une droite et
les points , et appartiennent tous trois .
Pour obtenir la partie directe du thorme de Desargues dans le plan, il suffit alors
de considrer la figure plane 7 comme la projection sur le plan dune figure de lespace.
En fait, cette dmonstration traduit le fait que le thorme de Desargues est fondamentalement un thorme de gomtrie projective. Dans un plan projectif, deux droites
62

Maths en Ligne

Gomtrie affine

UJF Grenoble

distinctes se coupent toujours en un point et un seul (des droites parallles dans le plan
affine se coupent en un point linfini) et lnonc du thorme prend alors la forme
beaucoup plus simple suivante :
Thorme 6. Soient ABC et A0 B 0 C 0 deux triangles non aplatis dun mme plan projectif. On suppose A et A0 (resp. B et B 0 , resp. C et C 0 ) distincts et les droites (AA0 ),
(BB 0 ) et (CC 0 ) distinctes. Alors les droites (AA0 ), (BB 0 ) et (CC 0 ) sont concourantes
ou parallles si et seulement si les points dintersection des trois couples de droites
((BC), (B 0 C 0 )), ((CA), (C 0 A0 )) et ((AB), (A0 B 0 )) sont aligns.
Girard Desargues (1591-1661) tait un mathmaticien et architecte lyonnais. Cest
lui que revient le mrite davoir dvelopp pour la premire fois dune manire cohrente la gomtrie projective en tudiant la perspective centrale (Exemple de lune des
manires universelles du S.G.D.L. touchant la pratique de la perspective sans employer
aucun tiers point, de distance ny dautre nature, qui soit hors du champ de louvrage,
1636) et les sections planes des cnes de rvolution (Brouillon Project dune Atteinte
aux Evnemens des Rencontres du Cone avec un Plan, par L.S.G.D.L., paru Paris
en 1639, avec Privilge).
Si la dfinition des coniques comme sections planes dun cne ou dun cylindre
de rvolution tait en effet connue depuis lantiquit (les Coniques, dApollonius de
Perge (v.262-v.190 av. J.-C.), qui leur a donn leurs noms), il lui revient lide que
cette dfinition permet de mettre en correspondance point par point une ellipse et une
hyperbole : si on considre les sections dun mme cne par deux plans (figure 8),
toute gnratrice de ce cne coupe chacune de ces sections en un point et un seul (
lexception peut-tre dune ou deux dentre elles) et il suffit dassocier tout point de
la premire section le point correspondant de la seconde.
Ainsi, dun point de vue projectif, toutes les coniques sont les mmes.
Les consquences en sont importantes, puisque certains thormes dmontrs par
exemple pour le cercle (ceux qui ne font intervenir que des proprits de concours ou
dincidence) restent vrais pour toutes les coniques. Cest ainsi quil suffit de dmontrer
le thorme de Pascal (voir lhexagramme mystique, dans le chapitre sur les coniques)
pour un cercle, le rsultat sen dduisant pour toutes les autres coniques.
Pour dfinir le plan projectif, il ajoutait au plan ordinaire des points linfini, si bien
que deux droites distinctes se coupaient toujours en un point et un seul (deux droites
parallles se coupant en un point linfini, comme leurs images dans une perspective
centrale se coupent en le point de fuite de leur direction).
Il tait connu et apprci des plus grands mathmaticiens de son poque (Descartes,
Pascal, Fermat), mais son uvre, rdige le plus souvent sous forme de brouillons,
quil signait S.G.D.L. (le Sieur Girard Desargues, Lyonnais), dans un style jug parfois
obscur par ses contemporains, na pas connu la postrit quelle mritait.
Il est lauteur de deux autres Brouillons Projects : lun concernant la coupe des
pierres, lautre la gnomonique (lart de construire les cadrans solaires). Il faut remarquer
que, dun point de vue mathmatique, un cadran solaire fournit un autre exemple de
63

Gomtrie affine

Maths en Ligne

UJF Grenoble

Figure 8 Sections planes dun cne de rvolution.

projection centrale : cest dans ce cas la pointe du style (la tige dont lombre indique
lheure en se dplaant) qui joue le rle de lil de lobservateur, le plan de projection
tant celui du cadran et lobjet le soleil.

3.5

Birapport

On a vu lexercice 32 qutant donn deux triplets (D1 , D2 , D3 ) et (D10 , D20 , D30 )

de droites distinctes et concourantes dun mme plan affine, il existait toujours une
transformation affine de ce plan transformant D1 en D10 , D2 en D20 et D3 en D30 . Du
point de vue de la gomtrie affine, tous les triplets de droites distinctes et concourantes
sont donc quivalents (de mme que tous les triangles non aplatis le sont, puisque, tant
donn deux triangles non aplatis ABC et A0 B 0 C 0 , il existe toujours une transformation
affine du plan et une seule transformant A en A0 , B en B 0 et C en C 0 ).
Il nen va plus de mme si on considre des quadruplets de droites concourantes.
On peut en effet associer tout tel quadruplet un nombre, appel birapport ou rapport
anharmonique des quatre droites, qui est invariant par toute transformation affine.
On commence par dfinir le birapport [A, B, C, D] de quatre points distincts aligns
A, B, C, D comme le rel
AC BD
[A, B, C, D] =
.
AD BC
Ce rel ne dpend pas du choix du vecteur directeur de la droite portant ces points,
mais il dpend de lordre des points.
Soit maintenant, dans un plan affine E, quatre droites distinctes concourantes en
un mme point O et coupant deux droites et 0 en des points A, B, C, D et A0 ,
64

Maths en Ligne

Gomtrie affine

UJF Grenoble

B 0 , C 0 , D0 . Orientons E et munissons-le dun produit scalaire. Soit alors H le projet

orthogonal de O sur et ~v un vecteur directeur unitaire de tel que le systme (OH, ~v )

soit direct. On a alors, en prenant les dterminants dans une base orthonorme directe :


det(OA, OC) = OA OC sin(OA, OC)

= det(OH + HA, OH + HC)


= det(OH, HC) + det(HA, OH)

= det(OH, AH + HC)

= det(OH, AC)
= OH AC ,
ce nombre tant le double de laire algbrique du triangle OAC.

Il en rsulte que


sin(OA, OC) sin(OB, OD)
[A, B, C, D] =

.
sin(OA, OD) sin(OB, OC)


Mais sin(OA0 , OC 0 ) = A C sin(OA, OC), o A (resp. C ) vaut 1 si les points A
et A0 (resp. C et C 0 ) sont du mme ct de O, 1 sinon. En crivant des formules
analogues pour les autres termes, on en dduit que [A, B, C, D] = [A0 , B 0 , C 0 , D0 ]. Ce
nombre ne dpend donc pas de la scante . On lappelle birapport des quatre droites
(OA), (OB), (OC), (OD). Comme toute transformation affine conserve les rapports
de mesures algbriques pour des points aligns, elle conserve a fortiori le birapport.

65

Maths en Ligne

3.6

Gomtrie affine

UJF Grenoble

La formule dEuler pour les polydres

On doit Leonhard Euler (1707-1783) la formule suivante : si un polydre convexe

de lespace a s sommets, a artes et f faces, alors s a + f = 2.
Il existe de nombreuses dmonstrations de cette formule, issues de domaines trs
divers des mathmatiques, plus ou moins compltes et plus ou moins rigoureuses. Une
des plus simples consiste choisir un point O lintrieur du polydre, et projeter le
polydre sur une sphre de centre O par une projection centrale de centre O. Les faces
du polydre se projettent selon des polygones sphriques convexes et on utilise alors la
formule de Girard donnant laire dun tel polygone en fonction de ses angles (voir la
partie Gomtrie sphrique dans le chapitre Gomtrie euclidienne).
Linconvnient de cete mthode est quelle fait appel des notions euclidiennes (la
sphre, les aires) alors que le problme de dpart est purement affine.
Mais les dmonstrations purement affines quont donnes de cette formule beaucoup
dauteurs, en prtendant parfois ltendre des polydres non convexes, se sont souvent
rvles sinon fausses, du moins incompltes, en considrant comme videntes des
proprits intuitives sans en donner rellement de justification.
Cest justement en tentant dtendre cette formule des polydres plus gnraux
(non convexes) que lon sest progressivement aperu des failles de certains raisonnements admis jusque-l par la communaut mathmatique. Un point fondamental est
quil nest pas si facile de dfinir avec prcision ce quon entend par polydre (non
ncessairement convexe) dans lespace.
De fait, la formule dEuler est aussi une formule sur les graphes planaires, i.e. les
graphes dessins dans le plan. un tel graphe, on peut aussi associer le nombre s de
ses sommets, le nombre a de ses artes et le nombre f de ses faces (i.e. de domaines
connexes du plan dlimits par ses artes, y compris la face extrieure non borne).
Ces nombres vrifient la relation dEuler.
Dune manire intuitive, on peut facilement passer dun polydre convexe de lespace
un graphe planaire, par exemple en le projetant sur un plan par une projection
centrale bien choisie, ou en considrant ses artes comme lastiques et en ltirant sur
un plan, et se ramener tablir la formule pour les graphes planaires (par exemple par
rcurrence sur le nombre dartes ou de sommets), mais il nest pas facile de justifier
compltement toutes les tapes de cette dmarche.
Toutes ces considrations ont conduit gnraliser la caractristique dEuler (le
nombre s a + f ) des objets gomtriques plus gnraux. Cest ainsi que H. Poincar
(1854-1912) a introduit en 1893 ce qui sappelle aujourdhui la caractristique dEulerPoincar qui tend la caractristique dEuler des polydres tracs sur des surfaces.
En fait, R. Descartes (1596-1650), dans un manuscrit non publi, De Solidorum
Elementis, dont loriginal a disparu, mais dont on a retrouv une copie en 1860 dans
les papiers laisss sa mort par Leibniz (1646-1716), avait nonc une formule trs
proche, mais il nest pas clair quil ait eu connaissance de la formule dEuler telle
quelle est formule aujourdhui.
La version de Descartes est la suivante :
66

Gomtrie affine

Maths en Ligne

UJF Grenoble

Figure 9 Deux exemples de polydres pour lesquels la formule dEuler est fausse.
Langle droit tant pris pour unit, la somme des angles de toutes les faces dun
polydre convexe est gale quatre fois le nombre de sommets diminu de 2.
Cette relation quivaut la formule dEuler si on se souvient que la somme des
angles dun polygone convexe n sommets est (n2). En effet la formule de Descartes
dit que la somme des angles de toutes les faces du polydre est 2(s 2) ; mais si on
numrote les faces de 1 f et si on note ni le nombre de sommets (ou de cts) de la
face i, cette somme vaut

f
P

(ni 2) ou encore (2a2f ) en remarquant que

f
P

ni = 2a

i=1

i=1

(chaque arte du polydre est compte deux fois dans la somme, puisquelle apparat
dans deux faces), do 2(s 2) = 2(a f ), qui est exactement la formule dEuler.

3.7

Le thorme fondamental de la gomtrie affine

Toute transformation affine conserve lalignement et transforme une droite en une

droite. On peut se demander si cette proprit caractrise les transformations affines.
Cest le cas dans le plan affine rel :
Thorme 7. Toute bijection du plan affine rel sur lui-mme qui transforme toute
droite en une droite est une transformation affine .
Ce thorme reste vrai dans un espace affine E quelconque, condition de prendre
quelques prcautions :
1. il faut avoir dim E 2 (si dim E = 1, toute bijection de E sur E vrifie trivialement la condition et il est facile de construire des bijections de E sur E qui ne
sont pas affines) ;
2. il faut que le corps de base nadmette pas dautre automorphisme de corps que
lidentit (si E = Cn , lapplication qui (z1 , . . . , zn ) associe (
z1 , . . . , zn ) transforme toute droite en une droite, mais nest pas affine).
67