Vous êtes sur la page 1sur 25

GEOMETRIE AFFINE

Document de travail pour la prparation au CAPES


Deuxime partie : BARYCENTRES

Accueil

Page de Titre

Marie-Claude DAVID, Frdric HAGLUND, Daniel PERRIN


Sommaire

JJ

II

Page 1 de 25

Retour

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

8 dcembre 2003

Dans cette deuxime partie nous tudions la notion de barycentre qui


est la traduction en affine du concept de combinaison linaire dans un
espace vectoriel. Le lecteur verra que cest un outil trs efficace pour
faire de la gomtrie et notamment pour montrer que des points sont
aligns ou que des droites sont concourantes.

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


Plein cran

copyleft LDL : Licence pour Documents Libres


Fermer

Quitter

C ONTENU DU COURS

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

Accueil

Page de Titre

Sommaire

JJ

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


navigation.

II

Dans cette partie, E est un espace affine.


J

Page 2 de 25

Retour

Plein cran

Fermer

Quitter

Table des matires


1

Dfinitions et proprits
1.1 Point pondr . . . . . . .
1.2 Masse totale . . . . . . . .
1.3 Barycentre . . . . . . . . .
1.4 Remarques . . . . . . . .
1.5 Segment . . . . . . . . . .
1.6 Isobarycentre . . . . . . .
1.7 Paralllogramme . . . . .
1.8 Associativit du barycentre

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

4
4
4
4
5
7
7
8
8

1.9

Accueil

Barycentres et sous-espaces affines


11
2.1 Caractrisation des sous-espaces affines . . . . . . . . . . . . . . . . . . . . 11
2.2 Sous-espace affine engendr. . . . . . . . . . . . . . . . . . . . . . . . . . . 12

Repres affines et coordonnes


3.1 La remarque de base . . . . . . . . . . .
3.2 Points affinement indpendants . . . . . .
3.3 Critres dindpendance affine . . . . . .
3.4 Dfinition . . . . . . . . . . . . . . . . .
3.5 Proposition. . . . . . . . . . . . . . . . .
3.6 Coordonnes cartsiennes selon un repre
3.7 Coordonnes barycentriques . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

14
14
14
15
16
17
17
18

Complments sous forme dexercices


4.1 Equation barycentrique dune droite.
4.2 Demi-droites . . . . . . . . . . . . . .
4.3 Demi-plans . . . . . . . . . . . . . . .
4.4 Barycentres, aires et triangle . . . . . .
4.5 . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

21
21
22
23
25
25

Page de Titre

Sommaire

JJ

II

Page 3 de 25

Retour

Plein cran

Fermer

Quitter

Le thorme de double associativit . . . . . . . . . . . . . . . . . . . . . . 10

.
.
.
.
.

1.

D FINITIONS ET PROPRITS

1.1. Dfinition. On appelle point pondr un couple (a, ) o a est un


point de E et un rel. Le nombre est appel le poids ou la masse de a.
4 Lintuition de points affects de masses est excellente, mais attention,
contrairement ce qui se passe en physique, ici les masses peuvent tre
ngatives.

Accueil

Page de Titre

Sommaire

JJ

II

Page 4 de 25

Retour

Plein cran

Fermer

Quitter

P
1.2. Dfinition. Le rel = ri=0 i est dit masse totale de la famille de
points pondrs {(a1 , 1 ), (a2 , 2 ), . . . (ar , r )}.
1.3. Thorme et dfinition. Soit {(a1 , 1 ), (a2 , 2 ), . . . (ar , r )} une famille de points pondrs de masse totale non nulle. Il existe un unique point
g de E qui vrifie lune des conditions quivalentes suivantes : 1
P

=
i) ri=0 i
ga
0,
i
Pr

ii) R Pi=0 i
ga
i P0 ,

= r
iii) a E ( ri=0 i )
ag
i aai ,
Pr
Pri=0

iv) b E ( i=0 i ) bg = i=0 i bai .


1 Chacune de ces conditions doit tre sue et utilise selon le contexte, il est maladroit de se contenter den
apprendre une et de redmontrer les autres quand celles-ci donnent le rsultat directement. Chacune correspond
un choix particulier dorigine dans (iv).

Le point g est appel barycentre des points ai affects des masses i ou


barycentre de la famille {(a1 , 1 ), (a2 , 2 ), . . . , (ar , r )}.
Dmonstration :Montrons dabord que les conditions sont quivalentes. Il est clair que i) et
ii) sont quivalentes et que iv) implique iii). Pour voir que i) implique iv) on crit la relation
de Chasles avec un point b quelconque :
r

i=0

i=0

i=0

i=0

X
X
X

X

=
0 =
i
ga
i (gb + bai ) = (
i )gb +
i bai ,
i

Accueil

Page de Titre

Sommaire

JJ

II

Page 5 de 25

Retour

Plein cran

Fermer

do le rsultat. La dmonstration du fait que iii) implique i) sobtient en lisant le calcul


prcdent lenvers.
Lexistence et lunicit du point g sont claires avec iii) : si on choisit a E quelconque
r
X
Pr
i
et si on pose = i=0 i , on a g = a +
aai . 

i=0
1.3.1. Soient a, b et c trois points non aligns dun plan affine. Soient g le barycentre de
{(a, 6), (b, 2)} et le barycentre de {(a, 2), (b, 1/2), (c, 1/2)}. Sur une figure, placer
les points a, b, c, g et .
1.3.2. Montrer que les triangles abc et a0 b0 c0 ont mme isobarycentre si et seulement si
0

aa + bb0 + cc0 = ~0.

1.4.

Remarques

1.4.1. Le barycentre est une moyenne des points pondrs : la barycentration est analogue une intgration et sutilise souvent de manire analogue.

Quitter

1.4.2.

Le barycentre ne dpend pas de lordre des points pondrs.

1.4.3.

On ne demande pas que les points ai soient deux deux distincts.

1.4.4. Existe-t-il dans le plan affine quatre points a, b, c et m tels que m soit barycentre
du systme {(a, 1), (b, 1), (c, 1)} et barycentre du systme {(a, 2), (b, 0), (c, 2)} ?
1.4.5. Si n est nulle, alors le barycentre de la famille {(a1 , 1 ), (a2 , 2 ), . . . , (an , n )}
est le barycentre de la famille {(a1 , 1 ), (a2 , 2 ), . . . , (an1 , n1 )}

Accueil

Page de Titre

Sommaire

JJ

II

Page 6 de 25

Retour

Plein cran

Fermer

Quitter

1.4.6. Trs important Grce (ii), on voit quon ne change pas le barycentre quand on
multiplie chaque masse
Pn i par un mme nombre non nul. On peut donc supposer que la
masse totale = i=0 i de la famille est 1 en prenant = 1 .
Pn
Pn
1.4.7. Notation Lorsque i=0 i = 1, on notera parfois le barycentre i=0 i .ai . Cela
revient considrer les points comme des vecteurs en vectorialisant E partir dun quelconque de ses points. (Cest la formule (iv)).
1.4.8. Soit {(a1 , 1 ), (a2 , 2 ), . . . (ar , r )}
famille de points pondrs de R2 o ai
Pune
n
est le couple (xi , yi ) et o la masse totale = i=0 i nest pas nulle. Alors le barycentre
de la famille {(a1 , 1 ), (a2 , 2 ), . . . , (ar , r )} est le point (x, y) tel quon ait
Pn
Pn
i .yi
i=0 i .xi
x=
et y = i=0
.

1.4.9. Gnralisez ce dernier rsultat R3 , Rn .


1.4.10. Dans lespace affine de lexemple I.1.2, dterminer le point m barycentre des
points i = (1, 0, 0), j = (0, 1, 0) et k = (0, 0, 1) affects des coefficients a, b, c avec a + b +
c = 1.

Pn
1.4.11. Les
scalaires (cest--dire m 7 i=1 i mai 2 ) et vectorielle (cestPnfonctions
) de Leibniz, que vous avez rencontres dans le secondaire et qui
-dire m 7 i=1 i
ma
i
se calculent laide de barycentres, sont au programme du CAPES (et notamment de loral).
Vous devrez donc les avoir revues pour le concours.

1.5. Segment Grce aux barycentres, on peut dfinir la notion de segment donc donner
un sens prcis lexpression : m est entre a et b.

Accueil

Page de Titre

Sommaire

JJ

II

Page 7 de 25

Retour

Plein cran

Fermer

Quitter

Dfinition : Soient a et b deux points de E. Le segment [ab] est lensemble


des barycentres des points a et b affects de masses positives. Les points a et
b sont appels les extrmits du segment [ab].
1.5.1. Montrez que le point m appartient [ab] si et seulement si il existe un rel de
[0, 1] tel que m soit le barycentre de {(a, ), (b, 1 )}. z
1.5.2. On dit parfois que [ab] est le segment ferm dextrmits a et b. Dfinir les notions de segments (ou intervalles) ouverts et semi-ouverts. z

1.6. Isobarycentre
Dfinition : Si toutes les masses des points pondrs considrs sont gales et
non nulles, le barycentre est appel isobarycentre. Lisobarycentre de deux
points a et b distincts est appel milieu 2 du segment [ab].
1.6.1. Le milieu m dun segment [ab] appartient au segment [ab] et il est caractris par


= 1
la relation
am
2 ab ou par la relation quivalente am = mb.
2 On notera que cette notion de milieu est purement affine : elle peut se dfinir indpendamment de lexistence
dune distance sur lespace affine considr. Dans un problme de gomtrie purement affine (sans introduction
dune distance), on ne peut pas caractriser le milieu par les relations ma = mb = 12 ab : cela na aucun sens. Bien
entendu, en gomtrie euclidienne, cette caractrisation est trs importante.

1.6.2. Donnez les coordonnes du milieu de deux points de R2 , puis de lisobarycentre


de n points de R2 . Dterminer lisobarycentre des points i, j, k de 1.4.10.

1.7. Paralllogramme
1.7.1. Montrez que aba0 b0 est un paralllogramme (cf. I.6.4) si et seulement si les segments [aa0 ] et [bb0 ] ont mme milieu.

Accueil

Page de Titre

Sommaire

JJ

II

Page 8 de 25

Retour

Plein cran

Fermer

Quitter

1.7.2. Soient trois points non aligns a, b et c et un point d dans [bc]. Construire un point
m sur la droite (ab) tel que le milieu n de [cm] soit sur la droite (ad).

1.8. Associativit du barycentre


Le rsultat suivant permet de remplacer dans la recherche dun barycentre un groupe de points pondrs par leur barycentre, affect de la
somme de leurs masses (si elle nest pas nulle).

Proposition : Soit I = {0, 1, , n}. Supposons quon ait une partition de I,


soit I = J0 Jr (les Jk tant disjoints). Soient a0 , , an des points de E
et 0 , , n des scalaires
P de somme non nulle. Pour chaque k = 0, 1, , r
on suppose que k = iJk i est non nul et on note bk le barycentre de la
P
famille {(ai , i ), i Jk }. Alors rk=0 k est non nul et le barycentre b des
points bk affects des masses k (k = 0, . . . , r) est aussi le barycentre de la
famille {(ai , i ), i I}.
Dmonstration :On a
nulle par hypothse.

Pr

k=0

k =

Pr

k=0

iJk

i =

Pn

i=0

i et cette quantit est non



Pr
P

Par dfinition du barycentre on a k=0 k bbk = 0 , soit encore k=0


iJk i bbk =

0 . En appliquant la relation de Chasles : bbk = bai + ai bk pour i Jk on obtient


Pr

r
r X
r
n
X
X X X X X

i bai +
i ai bk .
0 =
i bai +
i ai bk =
k=0 iJk

Accueil

Page de Titre

k=0 iJk

i=0

k=0 iJk

Comme bk est le barycentre de la famille {(ai , i ), i Jk }, on a


Pn

tout k. On en dduit i=0 i bai = 0 , do le rsultat.

iJk

i ai bk = 0 pour

Sommaire

JJ

II

Page 9 de 25

Retour

Cette proposition a de trs nombreuses applications : outre les rcurrences quelle permet, elle entrane lidentit dun grand nombre de barycentres (autant quil y a de partitions I = J0 Jr comme dans la
proposition). Les applications directes suivantes doivent tre connues.
1.8.1. . Isobarycentre de trois points Soient a, b, c trois points non aligns dun plan affine, g lisobarycentre de a, b, c et a0 , b0 , c0 les milieux de [bc], [ca], [ab]. Montrer que g est
le point dintersection des mdianes [aa0 ], [bb0 ], [cc0 ] et quil est situ au tiers de chacune

delles : par exemple on a a0 g = 13 a0 a.

Plein cran

Fermer

Quitter

1.8.2. . Construire un triangle partir de ses mdianes Etant donn trois droites concourantes construire un triangle admettant ces droites comme mdianes (utiliser 1.7.1).
1.8.3. . Centre de gravit dun ttradre. Soient a, b, c et d quatre points non coplanaires
de E (ces points dterminent un ttradre, leur enveloppe convexe (cf. III.2.1) dont ils sont

les sommets) et g leur isobarycentre. On note i, j, k, i0 , j 0 , k 0 les milieux des segments [ab],
[ac], [ad], [cd], [bd] et [bc].
Montrer que les droites (ii0 ), (jj 0 ) et (kk 0 ) sont concourantes en g.
Que dire des droites joignant un sommet du ttradre au centre de gravit de la face
oppose ce sommet ?
Que dire des 6 plans Aff{abi0 }, Aff{acj 0 }, Aff{adk 0 }, Aff{cdi}, Aff{bdj}, Aff{bck} ?
Donner des constructions gomtriques du centre de gravit dun ttradre.

Accueil

Page de Titre

Sommaire

JJ

II

1.9. Le thorme de double associativit


Proposition : Soient a0 , , an et b0 , , br deux familles de points de E.
Pour tout j = 0, ,P
r, on suppose que bj est barycentre des points ai affects
des masses ij avec ni=0 ij =
P1 pour tout j. Soit g le barycentre des points
bj affects des masses j avec rj=0 j = 1. Alors g est barycentre des points
P
ai affects des masses i = rj=0 j ij (supposes non nulles).
Dmonstration :Notons dj quon a :
n
X

Page 10 de 25

Retour

i=0

Fermer

Quitter

n X
r
X

j ij =

i=0 j=0

r
X

j=0

n
X

ij =

i=0

r
X

j = 1.

j=0

On a aussi les relations :


n
X

Plein cran

i =

i=0

=
i
ga
i

n X
r
X
i=0


j ij

=
ga
i

j=0

r
X
j=0

X
n

ij gai .

i=0

=
Comme bj est le barycentre des (ai , ij ) on a i=0 ij
ga
gbj en
i
Pnvertu de1.3 iii). Mais,
comme g est le barycentre des (bj , j ), on en dduit que le vecteur i=0 i
gai est nul, do
la conclusion par 1.3 i).
Pn

1.9.1. Soit g lisobarycentre dun triangle abc. Ecrire le milieu de [ag] comme barycentre des points a, b et c.
1.9.2. En utilisant 1.3.2 ou la double associativit du barycentre, montrer que les triangles abc et a0 b0 c0 ont mme isobarycentre si a0 (resp. b0 , c0 ) est le milieu de [bc] (resp. [ca],
[ab]).
Lexercice suivant sera repris tout au long de ce chapitre :

Accueil

Page de Titre

Sommaire

JJ

II

Page 11 de 25

Retour

Plein cran

Fermer

Quitter

1.9.3. Soient abc un triangle, a0 un point du segment [bc], b0 un point du segment [ac] et
c0 un point du segment [ab]. On veut dterminer lensemble F des isobarycentres des points
a0 , b0 et c0 .
a) Ecrire ces hypothses comme en 1.5 : a0 un point du segment [bc] i.e a0 est barycentre
de (b, ), (c, 1 ) . . .
b) Ecrire lisobarycentre de a0 , b0 et c0 comme un barycentre de a, b et c. ( suivre en 4.5)

2.

BARYCENTRES ET SOUS - ESPACES AFFINES

2.1. Caractrisation des sous-espaces affines


Proposition : Soit V un sous-espace affine de E. Alors V est stable par barycentration (i.e. le barycentre de toute famille finie de points de V pondre
de faon quelconque est encore dans V ). Rciproquement, si V est une partie
(non vide) de E stable par barycentration, alors V est un sous-espace affine
de E.

Dmonstration :1) Supposons V affine de direction


PnV . Soient a1 , , an des points de V
et soit g le barycentre de la famille (ai , i ), avec i=1 i = 1. Soit a un point de V . On a

= Pn

donc
ag
i=1 i aai . Comme a et les ai sont dans V , les vecteurs aai sont dans V , donc

aussi leur combinaison linaire ag. Comme a est dans V , il en rsulte que g est dans V .

2) Rciproquement, supposons V stable par barycentration. Soient a, x, y des points de


=
+
et
V et un scalaire. Dfinissons les points z et t de E par les formules :
az
ax
ay

at = ax. Par dfinition dun sous-espace affine, il sagit de montrer que z et t sont dans

+
+
=
V . Mais, en utilisant la relation de Chasles, on obtient les formules
za
zx
zy
0 et

(1 ) ta + tx = 0 qui montrent que z et t sont des barycentres des points a, x, y, donc


sont dans V . 
Accueil

Ainsi, les sous-espaces affines sont exactement les parties stables par
barycentration. Cela fournit une nouvelle mthode pour montrer quune
partie est un sous-espace affine.

Page de Titre

Sommaire

JJ

II

Page 12 de 25

Retour

2.1.1. Soit V une partie non vide de E, telle que pour tous a, b distincts dans V , la droite
(ab) est contenue dans V . Montrer que V est un sous-espace affine. z

2.2.

Sous-espace affine engendr. Les barycentres permettent une nouvelle description du sous-espace engendr par un nombre fini de points :
Proposition : Soient a0 , , ar E. Lensemble des barycentres des ai
(avec toutes les masses possibles de somme 1) est gal au sous-espace affine
Aff{a0 , , ar } engendr par les ai .
Dmonstration :
1) Si g est le barycentre des ai affects des masses i (de somme 1) on crit :

Plein cran

g = a0 +
a
0 g = a0 +
Fermer

r
X

i
a
0 ai

i=1

de sorte que g est bien dans le sous-espace engendr par les ai .


Quitter

2) Rciproquement si g est dans le sous-espace engendr par les ai on crit :


g = a0 +

r
X

i
a
0 ai

a
0g =

i=1

r
X

i
a
0 ai

i=1


et en dcomposant chaque vecteur
a
0 ai en a0 g + gai on obtient
Accueil

1
Page de Titre

Sommaire

r
X

r
 X
= ~0
i
ga0 +
i
ga
i

i=1

i=1

et donc g est le barycentre des ai affects des masses (1

Pr

i=1

i ), 1 , , r . 

JJ

II

2.2.1. Interprter la proposition prcdente dans le cas o E est lespace affine de I.1.2
et o les points ai sont les points i, j, k de 1.4.10.

2.2.2. Soit A une partie quelconque de E. Montrer que Aff A est lensemble X des
barycentres des familles finies de points de A affects de masses quelconques. z

Page 13 de 25

Retour

Plein cran

Fermer

Quitter

En particulier, si a et b sont deux points distincts de E, la droite (ab) est


lensemble de tous les barycentres de a et b. Ainsi, trois droites (ab),
(a0 b0 ), (a00 b00 ) sont concourantes en un point g si et seulement si g est
barycentre de a et b, de a0 et b0 , de a00 et de b00 : il nest pas tonnant
que la proprit dassociativit du barycentre entrane des rsultats de
concourance.

3.

R EPRES AFFINES ET COORDONNES

3.1. La remarque de base


Proposition : Soient k + 1 points a0 , a1 , , ak de E. Le sous-espace affine
Aff{a0 , a1 , , ak } est de dimension au plus k.
Accueil

Page de Titre

Sommaire

JJ

II

Page 14 de 25

Retour

Plein cran

Fermer

Quitter

Dmonstration :
Par dfinition, la dimension de Aff{a0 , a1 , , ak } est celle de sa direction. Daprs

I.4.3, la direction de Aff{a0 , a1 , , ak } est le sous-espace vectoriel Vect(


a
0 a1 , , a0 ak )

qui admet donc un systme gnrateur de k vecteurs : {a0 a1 , , a0 ak }, sa dimension est


alors au plus k. 
3.1.1. Remarque On notera la diffrence avec les espaces vectoriels : il faut k + 1 points
pour engendrer un sous-espace affine de dimension k (cest normal, il faut une origine en
plus).

3.2. Points affinement indpendants


Dfinition : Soient a0 , a1 , , ak des points de E. On dit que a0 , a1 , , ak
sont affinement indpendants si le sous-espace affine engendr par les ai est
de dimension k.
3.2.1. Remarque On notera que cette notion est indpendante de lordre des ai .
3.2.2. Exemples
i) Deux points distincts sont affinement indpendants.
ii) Trois points non aligns sont affinement indpendants.
. Dmontrez (i) et (ii).

Accueil

Page de Titre

Sommaire

JJ

II

3.3. Critres dindpendance affine


Proposition : Les assertions suivantes sont quivalentes
i) Les points a0 , a1 , , ak sont affinement indpendants.
ii) i = 0, , k, ai
/ Aff{a0 , , abi , , ak } (o la notation abi signifie quon omet le point ai ).
ii bis) i = 0, , k, ai nest pas barycentre des points {a0 , , abi , , ak },
iii) Les points a0 , a1 , , ak1 sont affinement indpendants et ak nappartient pas Aff{a0 , , ak1 } (i.e. nest pas barycentre des points {a0 , , ak


iv) Pour tout i {0, , k}, les vecteurs
a
0 ai , a1 ai , , ai1 ai , ai+1 ai , ,
sont linairement indpendants.


v) Il existe i {0, , k} tel que les vecteurs
a
0 ai , a1 ai , , ai1 ai , ai+1 ai ,
soient linairement indpendants.
Dmonstration :Lquivalence de ii) et ii bis) rsulte de 2.2.
Montrons i) = ii). On a vu en 3.1 ci-dessus que le sous-espace
Xi = Aff{a0 , , abi , , ak },

Page 15 de 25

Retour

Plein cran

Fermer

Quitter

engendr par k points, est de dimension k 1. Si ai est aussi dans Xi , le sous espace
engendr par a0 , , ak est gal Xi donc de dimension k 1 ce qui contredit i).
iii) = i) Comme les points a0 , , ak1 sont affinement indpendants, lespace X0 =
Aff{a0 , , ak1 } est de dimension k1. Mais alors, comme ak nest pas dans X0 , lespace
X engendr par a0 , , ak est strictement plus grand que X0 , donc de dimension k, donc
gale k en vertu de 3.1 et on a prouv que les points sont affinement indpendants.
ii) = i) On raisonne par rcurrence sur k. Pour k = 1 la proprit est vidente grce
3.2.2 i). Passons de k 1 k. Pour i > 0, le point ai nest pas dans le sous-espace affine
engendr par a1 , , abi , , ak . Par lhypothse de rcurrence les points a1 , , ak sont
donc affinement indpendants. Limplication iii) = i) permet alors de conclure.

En vertu de 4.3 on a, pour tout i,


()

Accueil

Page de Titre

Sommaire

JJ

II

Page 16 de 25

X = Aff{a0 , , ak } = ai + Vect(
a
i aj , j 6= i) = ai + Vi .

Cela montre aussitt i) = iv). Limplication iv) = v) est vidente. Enfin, si on a v)

avec lindice i on applique la formule (). Lespace vectoriel Vi est de dimension k et on en


dduit que X est un sous-espace affine de dimension k ce qui montre i).
Les proprits iv) ou v) montrent que si les points a0 , , ak sont affinement indpendants il en est de mme de toute sous-famille de points. Combin avec i) = ii) cela achve
de montrer i) = iii). 
3.3.1. Expliciter les conditions dans le cas de quatre points.
3.3.2. Remarque Lassertion i {0, , k} ai
/ Aff{a0 , , abi , , ak } nimplique pas lindpendance affine des k + 1 points.
. Donnez un exemple

3.4. Dfinition Soient E un espace affine de dimension n et V un sousespace affine de dimension k. Un repre affine de V consiste en la donne
dune suite de k + 1 points a0 , , ak affinement indpendants de V .

Retour

3.4.1. Montrez qualors le sous-espace affine Aff{a0 , , ak } est gal V .


Plein cran

3.4.2. Vrifiez que les points i, j, k forment un repre affine de E (cf. I.1.2 et 1.4.10).
Fermer

Quitter

Comme dans les espaces vectoriels un repre est donc libre et gnrateur, mais attention, il faut un point de plus.
Attention, un repre affine est une suite ordonne de points.

3.4.3. Montrez quun repre affine dune droite est un couple de points distincts de la
droite, un repre affine dun plan un triplet de points non aligns du plan, un repre affine de
lespace de dimension 3 un quadruplet de points non coplanaires de cet espace.

Accueil

Page de Titre

Sommaire

JJ

II

Page 17 de 25

Retour

Plein cran

Fermer

Quitter

3.5. Proposition. Soient V un espace affine de dimension k et a0 , , ak


des points de V . Les assertions suivantes sont quivalentes :
i) a0 , , ak forment un repre affine de V ,

~
ii)
a
0 a1 , , a0 ak forment une base de V ,
iii) Pour tout i = 0, , k le point ai nappartient pas Aff{a0 , , b
ai , ak }
(nest pas barycentre des points {a0 , , abi , , ak }).
Dmonstration : Cela rsulte immdiatement de 3.3. 
3.5.1. Soit V = Aff{a0 , , ak }. Montrez quon peut extraire de {a0 , , ak } un
repre de V . Montrez que tout espace affine admet (au moins) un repre affine.

3.6. Coordonnes cartsiennes selon un repre


Dans ce paragraphe on utilise un repre affine a0 , a1 , , an de E mais on fait jouer un
rle particulier au point a0 : cest lorigine du repre.

Dfinition : Soit m E. On a lgalit : m = a0 +


a
0 m, puis, comme les
P
n

~
a
0 ai forment une base de E, on crit a0 m =
i=1 i a0 ai . Les i sont appeles coordonnes (cartsiennes) du point m dans le repre (a0 , a1 , , an ),
dorigine a0 , de E.

Accueil

Page de Titre

Sommaire

JJ

II

Page 18 de 25

Retour

Plein cran

Fermer

Quitter

Choisir un repre dans un espace affine E de dimension n permet dassocier chaque point m ses n coordonnes cartsiennes dans le repre,
et ainsi didentifier E avec Rn .
Lemploi des coordonnes cartsiennes permet toutes les oprations usuelles de la gomtrie analytique. Son intrt est de ramener un problme de gomtrie un calcul. Cest une mthode trs puissante quon
doit toujours penser employer si on ne voit pas de solution gomtrique plus rapide. On se reportera aux exercices pour voir comment
crire en termes de coordonnes des quations de droites, plans, etc.
Cependant les coordonnes cartsiennes font jouer un rle particulier
lorigine : cette dissymtrie peut compliquer inutilement une dmonstration. Pour traiter analytiquement un problme o tous les points
jouent le mme rle, il vaut mieux utiliser les coordonnes barycentriques que nous introduisons ci-dessous.

3.7. Coordonnes barycentriques


Proposition et dfinition : Soient a0 , , ar des points de E affinement
indpendants, de sorte que a0 , , ar est un repre du sous-espace affine
engendr V = Aff{a0 , , ar }. Alors tout point m de V scrit, de manire
Pr unique, comme barycentre des points ai affects de masses i vrifiant
i=0 i = 1. Les rels i sappellent les coordonnes barycentriques de m
sur le repre a0 , , ar de V .
Dmonstration :Il reste prouver lunicit de lcriture de m comme barycentre. Daprs la
dfinition (iv) du barycentre, supposons quon ait la fois :

a
0m =

r
X
i=1

et

i .
a
a
0 ai
0m =

r
X
i=1

o
i .
a
0 ai

r
X
i=0

i =

r
X
i=0

i = 1


Alors, comme a0 , , ar est un repre, les vecteurs
a
0 ai sont linairement indpendants, de
sorte
Pr que lon
Par i = i pour i = 1, , r. Enfin on en dduit 0 = 0 grce la relation
i=0 i =
i=0 i = 1. 

Accueil

Page de Titre

Sommaire

JJ

II

Page 19 de 25

Retour

Plein cran

Fermer

Quitter

3.7.1. Voici le genre de manipulations quil faut savoir effectuer :


Dans le plan R2 , on considre les trois points a = (3, 1), b = (1, 2) et c = (0, 1).
Montrez que (a, b, c) est un repre affine de R2 .
Dterminez les points p et q de R2 dont les coordonnes barycentriques dans (a, b, c)
sont respectivement ( 61 , 13 , 12 ) et ( 12 , 14 , 14 ).
Quelles sont les coordonnes barycentriques dans (a, b, c) du point r de R2 dont les

coordonnes cartsiennes dans (a; ab,


ac) sont (2, 1) ?
Enfin, donnez les coordonnes barycentriques dans (a, b, c) du point g, barycentre de
{(p, 1), (q, 2), (r, 5)}.
3.7.2. Le thorme de double associativit sur les barycentres (cf. 1.9) se traduit en termes
de coordonnes barycentriques sous la forme suivante :

Proposition : Soit (a0 , , an ) un repre affine de E et soient b0 , , br des


points de E. On suppose que bj a pour coordonnes barycentriques ij , i =
0, , n sur le repre
P (a0 , , an ). Soit g le barycentre des bj affects des
coefficients j avec rj=0 j = 1. Alors les coordonnes barycentriques de g
P
sur le repre (a0 , , an ) sont les nombres i = rj=0 j ij ().
Si, de plus, on a r = n et si (b0 , , bn ) est aussi un repre affine de E
(de sorte que les j sont les coordonnes barycentriques de g sur le repre
(b0 , , bn )), la formule () dcrit comment varient les coordonnes barycentriques de g dans le changement de repre.

3.7.3. Soit E le plan de R3 dquation x+y +z = 1, cf. I.1.2 et 1.4.10. Si m = (x, y, z)


est un point de E, quelles sont ses coordonnes barycentriques dans (i, j, k) ?

Accueil

Page de Titre

Sommaire

JJ

II

3.7.4. Coordonnes barycentriques et triangle. 3


On note , , les coordonnes barycentriques dun point m du plan sur le repre a, b, c.
a) On suppose que m nest pas situ sur les droites (bc), (ca), (ab). Traduire cette condition sur , , .
b) On suppose les droites (am), (bm), (cm) respectivement non parallles (bc), (ca),
(ab). Traduire cette condition sur , , .
c) Sous les hypothses prcdentes, on dsigne par a0 , b0 , c0 les intersections de (am), (bm), (cm
avec (bc), (ca), (ab). Calculer les coordonnes barycentriques de a0 , b0 , c0 sur a, b, c, puis
celles de m sur a, a0 ; b, b0 ; c, c0 .
3.7.5. . Thorme de Cva. Soient a, b et c trois points affinement indpendants dun
plan affine E (i.e. tels que dim (Aff{a, b, c}) = 2, cf. 3.2). On considre trois points a0 , b0 et
c0 sur les droites (bc), (ac) et (ab) ; on suppose
a0 6 {b, c},

b0 6 {a, c} et c0 6 {a, b}.

Page 20 de 25

Retour

Plein cran

Fermer

Quitter

Montrer que les droites (aa0 ), (bb0 ) et (cc0 ) sont concourantes ou parallles si et seulement

a0 b
b0 c
c0 a
si le produit

vaut 1. (cf. IV.4.1 pour la dfinition du rapport de deux


a0 c b0 a
c0 b
vecteurs)
Lorsque chaque rapport vectoriel vaut 1, on retrouve un rsultat connu. Lequel ?
3 Les

techniques de ce paragraphe sont trs utiles pour rsoudre de nombreux problmes de concours de droites.

Contrairement au thorme de Thals, le rsultat prcdent nest pas


explicitement au programme du CAPES. Il apparat cependant trs
frquemment dans les preuves crites (sous une forme plus ou moins
dissimule).
Accueil

Page de Titre

Sommaire

JJ

II

Page 21 de 25

Retour

Plein cran

Fermer

Quitter

3.7.6. . Application. Soit (a, b, c) un repre du plan affine. On considre les points a0 , b0
et c0 de coordonnes barycentriques respectives (0, 2/3, 1/3), (3/4, 0, 1/4) et (3/5, 2/5, 0).
Les droites (aa0 ), (bb0 ) et (cc0 ) sont-elles concourantes ? Si oui, donner les coordonnes
barycentriques du point de concours.
3.7.7. . Thorme de Gergonne. Mme situation que Cva, on suppose (aa0 ), (bb0 ), (cc0 )
concourantes en m. Montrer que lon a :


a0 m b0 m c0 m
+

+
= 1.
a0 a
b0 b
c0 c

4.

C OMPLMENTS SOUS FORME D EXERCICES

4.1. Equation barycentrique dune droite. Soient E un plan affine et (a, b, c)


un repre de E. On appelle x et y les coordonnes cartsiennes dun point m de E dans ce

= x

repre (
am
ab + y
ac) et (, , ) les coordonnes barycentriques de m sur ce repre
( + + = 1). On considre trois points m1 , m2 , m3 du plan. Posons




x1 x2 x3
1 2 3











D = y1 y2 y3 et = 1 2 3




1
1 2 3
1
1

Montrer que les trois points m1 , m2 , m3 sont aligns si et seulement si D ou est nul.
En dduire que lquation barycentrique dune droite (cest--dire la relation qui lie les
coordonnes barycentriques de ses points) est de la forme + + = 0 avec , ,
non tous gaux.

Accueil

Page de Titre

Sommaire

Beaucoup de figures gomtriques (comme la droite, cf. ci-dessus) sont


dfinies par une (ou plusieurs) relation(s) portant sur les coordonnes
cartsiennes. En passant aux coordonnes barycentriques, on voit quon
peut aussi dfinir la figure par une (ou plusieurs) relation(s) sur les coordonnes barycentriques. Pour certains problmes le systme de relations
ainsi obtenu est plus simple en barycentrique quen cartsien.

JJ

II

4.1.1. On reprend les notations de 3.7.4. Donner lquation barycentrique de la droite


(aa0 ) puis de la droite parallle (bc) passant par m.

4.1.2. On appelle Da , Db , Dc respectivement les droites passant par a, b, c et parallles (bc), (ca), (ab). Caractriser sur leurs coordonnes barycentriques les points de de
ces droites.
Soit a0 le point dintersection de Db et Dc et, de mme, b0 , c0 . Calculer les coordonnes
barycentriques de a0 , b0 , c0 sur (a, b, c). Dterminer le milieu de [b0 c0 ] et lisobarycentre de
a0 , b0 , c0 .
Interprter ces rsultats et les comparer avec 1.9.2.

Page 22 de 25

Retour

Plein cran

Fermer

Quitter

4.1.3. . Utiliser un dterminant pour donner une dmonstration du Thorme de Mnlaus ( IV.7.7.2).

4.2. Demi-droites
Dfinition : Soient a et b deux points distincts de E. La demi-droite [ab)

est lensemble des points p de (ab) tels que le segment semi-ouvert [bp[ (=
[bp] {p}) ne contienne pas a.

Accueil

Page de Titre

Sommaire

JJ

II

Page 23 de 25

Retour

Plein cran

Fermer

Quitter

= .
ab avec rel.
. Soit m un point de (ab). On a donc
am
a) Montrez que [ab) est lensemble des points m de (ab) tels que soit positif ou nul (on

am
note =
, cf. IV.4.1).
ab
b) Montrez que [ab) est lensemble des points de (ab) dont la coordonne barycentrique
sur b dans le repre (a, b) est positive.
c) Montrez enfin que si (a, b, c) est un repre affine dun plan affine E, alors [ab) est
lensemble des points m dont les coordonnes barycentriques sont de la forme (, , 0),
avec 0.

4.3. Demi-plans
Dfinition : Soient a, b et c trois points non aligns dun plan affine E. Le
demi-plan (ferm) dlimit par (bc) et contenant a (not E + dans la suite) est
lensemble des points m de E tels que (bc) ne coupe pas [am[ (i.e. (bc)
[am[= ).
4.3.1. Faites un dessin pour vous convaincre que cette dfinition correspond bien gomtriquement lintuition dun demi-plan. Quobtiendrait-on si dans la dfinition on remplaait ne coupe pas [am[ par ne coupe pas [am] ? Remarquez que a appartient E + .
Notre but est maintenant de transformer cette dfinition gomtrique en
une dfinition analytique ; nous nous donnons un repre affine (a0 , b0 , c0 )
de E o a0 est choisi comme origine. Nous allons caractriser les points
de E + , dabord par leurs coordonnes cartsiennes, puis par leurs coordonnes barycentriques dans le repre (a0 , b0 , c0 ).

4.3.2. Dans le repre affine (a0 , b0 , c0 ), on suppose que lquation de la droite (bc) est
donne par la forme affine f (cf. IV.2.6.5) :
m (bc) f (m) = 0
et que f (a) est positif. On veut montrer :
Accueil

m E + f (m) 0

Page de Titre

Sommaire

JJ

II

Page 24 de 25

Retour

Plein cran

Fermer

Quitter

Soient m un point de E et m la fonction de R dans R dfinie par :

m (t) = f (a + t
am).
(i) Montrez que m est une fonction polynme de degr au plus 1. Pour quels points m
est-elle constante ? En dduire quune quation de la droite passant par a et parallle
(bc) est f (m) = f (a).
(ii) Soit m tel que m nest pas constante, quand m sannule-t-elle ? Etudier son signe.
En dduire que si m nappartient pas , la droite (am) rencontre (bc) en un point unique
p et que E + est lensemble des points m qui vrifient f (m) 0. Explicitez cette criture en
coordonnes cartsiennes.
(iii) Montrez, laide des dfinitions gomtriques, que, si m nest pas sur , on a lquivalence :
m E + m [pa).
On cherche maintenant une condition ncessaire et suffisante sur les coordonnes barycentriques (, , ) de m dans le repre (a, b, c) pour que m appartienne E + .
e) Appliquer les rsultats prcdents au cas o le repre choisi est (b, c, a) : dterminer f
et f (a).
f) Caractriser les points de et de E + par leurs coordonnes barycentriques.
g) Dcrire lensemble des points vrifiant = 32 .

4.4. Barycentres, aires et triangle Soit un triangle abc dans un plan affine P . Soit
m un point du plan. Une base B de P~ tant donne, on appelle aire algbrique du triangle

et

ma,
construite sur les vecteurs
ma
mb dans cet ordre le nombre rel 12 detB (
mb) que lon
notera Aalg (mab). On pose :
0 = Aalg(mbc) ,

0 = Aalg(mca) et

0 = Aalg(mab).

Accueil

4.4.1.

Montrer que m est barycentre de (a, 0 ), (b, 0 ) et (c, 0 ).

Page de Titre

Sommaire

JJ

II

Page 25 de 25

Retour

Plein cran

Fermer

Quitter

4.4.2. On se place maintenant dans le plan affine euclidien et on suppose que m est dans
lintrieur du triangle. Pour retrouver le rsultat prcdent :
Utiliser le produit vectoriel en Terminale.
Utiliser la dfinition de laire gomtrique dun triangle laide de la hauteur au collge. (On pourra commencer par le cas o m est sur un ct du triangle.)
4.4.3. Application. Montrer que les mdianes et les cts dun triangle dfinissent six petits
triangles de mme aire.

4.5.

Suite de 1.9.3. Pour k gal 1 ou 2, on pose :


ak = b +

k
bc,
3

bk = c +

ca,
3

ck = a +

k
ab
3

c) Montrer que F contient les points a1 , a2 , b1 , b2 , c1 , c2 .


d) Donner un encadrement des coordonnes dun point g de F dans le repre affine
(a, b, c). Montrez que F est contenu dans un hexagone (intersection de 6 demi-plans) que
lon dessinera. (A suivre en III.2.6.4.)