Beruflich Dokumente
Kultur Dokumente
La taverne de l'Irlandais
vous prsente
La ballade du barycentre
racompte par Jrme ONILLON,
Prof. dsagrg de Math
Diffuse exclusivement par la taverne de l'Irlandais (www.tanopah.com).
Il aurait pu vous la chanter mais le temps tait dj suffisamment perturb comme a.
Un mot d'introduction
A l'origine notion purement physique, le barycentre a volu en un puissant
instrument mathmatique.
Le premier se pencher sur cette question fut d'ailleurs le physicien allemand
August Ferdinand Mbius (1790-1868), plus clbre pour son ruban sans fin que
pour son mmoire Der barycentrische Calcul.
Hier entirement trait en Terminale, le barycentre est aujourd'hui pulvris sur
les deux annes de ce qui reste de la section scientifique.
A ceux que cela intresse et aux autres, nous allons compter cette ballade d'abord
thorique puis concrte, une ballade en vert et blanc, celle du barycentre.
Au sommaire :
Un mot d'introduction.......................................................................................................................................... 1
Barycentre : de la thorie et de ses consquences..................................................................................................... 2
Dfinition de barycentre d'un systme de n points pondrs ............................................................................................. 2
La notion de barycentre est commutative.................................................................................................................... 3
La notion de barycentre est homogne ....................................................................................................................... 3
Tous les coefficients sont gaux : isobarycentre ............................................................................................................ 3
Rduction d'une somme vectorielle........................................................................................................................... 4
La notion de barycentre est associative ...................................................................................................................... 4
Les coordonnes d'un barycentre ............................................................................................................................. 5
Pour conclure : on aurait pu faire pire ! ...................................................................................................................... 5
Etudes de quelques cas particuliers........................................................................................................................ 6
Le barycentre de deux points .................................................................................................................................. 6
Le barycentre de trois points................................................................................................................................... 7
Le barycentre de quatre points ................................................................................................................................ 9
Quelques bonnes raisons de recourir au barycentre............................................................................................... 12
L'ensemble des points M vrifiant MA/MB = k ............................................................................................................12
L'ensemble des points M vrifiant 3.MA + 5.MB + 2.MC = k........................................................................................14
Quelques grands classiques pour terminer .................................................................................................................15
La ballade du barycentre
La prochaine tape qui se profile clairement, est une division par la somme 1 + 2 + ... + n .
Mais le pouvons-nous ? Car diviser par zro est un crime capital ! Deux cas se prsentent.
1. La somme 1 + 2 + ...+ n est nulle
A ce moment-l, il est impossible
dediviser par
celle-ci.
Il vient alors que :
2 .A 1 A 2 + ... + n .A 1 A n = o
Tous les points G de l'espace (ou du plan pour les timides) vrifient alors l'galit.
2. La somme 1 + 2 + ...+ n n'est pas nulle
Il est alors possible de diviser. Notre
dernire
relation
vectorielle
devient alors :
.A A + ... + .A A
n 1 n
A1G = 2 1 2
1 + 2 + ... + n
Les points A 1 , A 2 ,..., A n tant fixs, il n'existe alors qu'un seul point G vrifiant cette
relation vectorielle. En sa personne, nous tenons et dfinissons le barycentre (ou le
centre d'inertie) du systme de points pondrs A 1 ( 1 ) ,..., A n ( n ) .
Dfinition de barycentre d'un systme de n points pondrs
Dfinition du barycentre d'un systme de n points pondrs
A 1 ( 1 ) , A 2 ( 2 ) , .... et A n ( n ) sont n points pondrs de l'espace (ou du plan).
Si la somme des coefficients 1 + 2 + ... + n est non nulle alors il existe un unique point
G tel que :
.A A + ... + .A A
2 1 2
n 1 n
1 .GA 1 + 2 .GA 2 + ... + n .GA n = o
ou
A1G =
1 + 2 + ... + n
Le point G est appel barycentre du systme de points pondrs A 1 ( 1 ) ,..., A n ( n )
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 2 sur 17
La ballade du barycentre
Chez les physiciens, au lieu de barycentre, on parle plus volontiers de centre de gravit voire
de centre d'inertie. Mais tout cela ne nous regarde pas !
Parmi les autres choses que nous pourrions prciser est que les points A 1 , A 2 ,..., A n ne sont
pas ncessairement tous distincts. Certains peuvent tre confondus.
De mme, il n'est pas interdit d'avoir un coefficient k gal 0. Mais alors, tout se passe
comme si le point A k n'existait pas car le terme k .GA k disparat de la relation vectorielle.
Notre dfinition a plusieurs consquences. Dtaillons-les !
Quand on parle d'un systme de points pondrs A 1 ( 1 ) ,..., A n ( n ) , peu importe l'ordre.
Pour viter toute ambigut, prcisons qu'il existe une grande diffrence entre le systme de
points A(2) ; B(7) et le systme A(7) ; B(2) . Il s'agit l de deux systmes distincts.
En effet, les coefficients affects aux points dans les deux cas ne sont pas les mmes.
Thorme
Si le point G est le barycentre du systme A 1 ( 1 ) ,..., A n ( n ) alors il est aussi celui du
systme de points pondrs A 1 ( k 1 ) ,..., A n ( k n ) o k est un rel non nul.
La consquence de tout cela est qu'au lieu de s'intresser au barycentre des points pondrs
A(-28) et B(-56), on peut trs bien se rabattre sur celui des points A(1) et B(2).
La ballade du barycentre
.GA 1 + .GA 2 + .... + .GA n = o . GA 1 + GA 2 + .... + GA n = o
On divise
par
GA 1 + GA 2 + .... + GA n = o
En fait, on fait comme si tous les coefficients taient gaux 1. Ou bien on les omet carrment.
=o
car G est le barycentre de A( 1 ),...,A( n )
= ( 1 + 2 + ... + n ) .MG
D'une improbable somme vectorielle comportant de nombreux termes, nous sommes passs
un simple produit. Comme quoi, un barycentre peut vous simplifier la vie.
Thorme de rduction d'une somme vectorielle
Si G est le barycentre du systme de points pondrs A 1 ( 1 ) , A 2 ( 2 ) ,.., A n ( n ) alors
pour tout point M de
l'espace
ou du
plan :
1 .MA 1 + 2 .MA 2 + .... + n .MA n = ( 1 + 2 + ... + n ) .MG
La notion de barycentre est associative
Pour placer le barycentre G d'un systme de n points pondrs A 1 ( 1 ) ,..., A n ( n ) , nous ne
disposons pour l'instant que de la relation
de la dfinition.
A savoir
:
.A A + ... + .A A
n 1 n
A1G = 2 1 2
1 + 2 + ... + n
C'est une belle relation mais qui est peu pratique lorsque le nombre n de points devient
important.
Heureusement, en utilisant le prcdent thorme, il est possible de se simplifier la vie.
Expliquons dans quelle mesure !
Comme G est le barycentre du systme de points pondrs A 1 ( 1 ) ,..., A n ( n ) alors :
1 .GA 1 + 2 .GA 2 + ... + n .GA n = o
Par bonheur, nous savons que le point G' est le barycentre du systme de k points pondrs
A 1 ( 1 ) ,..., A k ( k ) .
La relation prcdent devient alors :
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 4 sur 17
La ballade du barycentre
1 .GA 1 + .... + k .GA k + k +1 .GA k +1 ... + n .GA n = o
On rduit cette somme avec G'
( 1 + ... + k ) .GG ' + k +1 .GA k +1 ... + n .GA n = o
Donc G est aussi le barycentre du systme de points G ' ( 1 + ... + k ) , A k +1 ( k +1 ) ,..., A n ( n ) .
Nous avons un nouveau thorme !
Le progrs introduit par une telle dmarche rside dans la rduction du nombre de points
pondrs constituant le systme. Ce qui permet parfois de placer le barycentre plus aisment.
Nous verrons cela ultrieurement.
Quant au point G, il est toujours l'ternel barycentre des points pondrs A 1 ( 1 ) ,..., A n ( n ) .
Appliquant notre thorme de rduction partir point O, il vient alors :
1 .x A 1 + ... + n .x A n
1 + ... + n
xG
.OA + .... + .OA
1 .y A 1 + ... + n .y A n
1
n
n
OG = 1
yG =
1 + ... + n
1 + ... + n
z
G
1 .z A 1 + ... + n .z A n
1 + ... + n
Car ne l'oublions pas : deux vecteurs gaux ont des coordonnes gales !
Pour le amis du plan complexe, il existe galement un quivalent complexe !
.OA + .... + .OA
1 .z A 1 + .... + n .z A n
1
1
n
n
OG =
zG =
1 + ... + n
1 + ... + n
o zG , z A ,..., z A dsignent les affixes respectives des points G, A 1 ,..., A n .
1
La ballade du barycentre
G ou G''
G'
C
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 6 sur 17
La ballade du barycentre
Ce qui ressort de tous nos cas particuliers est que le barycentre de deux points est toujours
plac sur la droite que dfinissent ces derniers.
Ce qui est normal car le barycentre repose avant tout sur une relation de colinarit
impliquant trois points. En effet, si G est le barycentre des points pondrs A() et B() alors
.GA + .GB = o .GA + . GA + GB = o AG =
.AB
+
Donc G est un point de la droite (AB).
Mais rciproquement tout point d'une droite (AB) peut tre vu comme tant un barycentre de
ces deux points. Il suffit juste de dterminer les bons coefficients
de pondration.
En effet, si H est un point de la
droite (AB)
alors
les
vecteurs
AH
et
AB sont colinaires.
Donc il existe un rel k tel que AH = k.AB . Travaillons cette galit.
AH = k.AB AH = k. AH + HB o = ( 1 k ) .HA + k.HB
Comme la somme des coefficients est gale 1 et est surtout non nulle, alors le point H est le
barycentre des points pondrs A ( 1 k ) et B ( k ) . Cela nous amne au thorme suivant :
Thorme
La droite (AB) est l'ensemble des barycentres des points A et B.
Pour tre complet, prcisons que pour que le barycentre fasse partie du segment [AB], il faut
et il suffit que les deux coefficients de pondration des points A et B soient de mme signe.
Enfin si le coefficient de l'un des points est nul alors le barycentre est confondu avec l'autre
point.
Mais quid de l'isobarycentre de deux points A et B ?
Dire que le point G est l'isobarycentre des points A et B signifie que GA + GB = o .
De fil en aiguille, on en arrive la relation :
1
AG = .AB
2
L'isobarycentre de deux points est donc le milieu du segment qu'ils dfinissent.
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 7 sur 17
La ballade du barycentre
J
I
G
C
B
Et ce qui a t fait avec le milieu I de [AB], peut tre refait avec les milieux J et K des
cts [AC] et [BC]. Notre isobarycentre G fait aussi partie des mdianes (BJ) et (AK).
Ainsi, l'isobarycentre des trois points A, B et C est le centre de gravit du triangle ABC.
Et si le centre de gravit d'un triangle se trouve aux deux tiers de chacune des mdianes
partir du sommet, c'est parce qu'il est aussi un isobarycentre...
I barycentre
de A(4) et B(-7)
9
Finalement, on aboutit : IG = .IC = 1,5 IC . Le point G se construit alors tout seul !
6
C
Une remarque : nous avons pris le duo A(4) et B(-7). Mais nous aurions trs bien pu
nous intresser au couple A(4) et C(9) voire B(-7) et C(9). Nous avons considr le
premier qui s'est prsent mais parfois, certains sont plus indiqus que d'autres !
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 8 sur 17
La ballade du barycentre
Cela n'aura chapp qu'aux cancres et aux endormis mais trois points non aligns A, B et C
sont toujours coplanaires. C'est--dire qu'ils se trouvent dans
mme
plan
un
!
Etant lis ceux-ci par une relation vectorielle du type .GA + .GB + .GC = o , tous leurs
barycentres G font partie du plan (ABC).
G
.
A
B
Mais rciproquement, si un point G fait partie du plan (ABC) alors il existe deux rels k et l
tels que :
AG = k.AB + l.AC
Ces deux rels ne sont rien d'autre que les coordonnes du point G dans le repre A; AB, AC
) (
Comme la somme des coefficients ( 1 k l ) + k + l = 1 est non nulle alors on peut dire que G
est le barycentre des points pondrs A ( 1 k l ) , B ( k ) et C ( l ) .
Finalement, nous aboutissons donc au thorme :
Thorme
A, B et C sont trois points de l'espace non aligns.
Le plan (ABC) est l'ensemble des barycentres des points A, B et C.
Nous avons l un thorme similaire celui qui avait t tabli pour le barycentre de deux
points. Car si deux points distincts dfinissent une droite, trois points non aligns dfinissent
un plan ! A condition de bosser dans l'espace bien sr !
La ballade du barycentre
+
=
+
+
=
4
G' isobarycentre
de B, C et D
Le point G est donc situ aux trois quarts du segment reliant le sommet A et le centre
de gravit G' du triangle oppos BCD.
A
G
B
G'
C
Or ce qui a t fait en particulier pour le sommet A et sa face oppose BCD, peut tre
reproduit avec les trois autres sommets. De cela, on en dduit le thorme suivant :
Thorme
Dans un ttradre, les quatre droites joignant chacun des quatre sommets au
centre de gravit de sa face triangulaire oppose sont concourantes en un point
qui est le centre de gravit d'un ttradre.
G''''
G''
G
G'
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 10 sur 17
La ballade du barycentre
2.GI
+
2.GJ
=
o
GI
+ GJ = o
Isobarycentre I
Isobarycentre J
K
M
G
N
L
J
C
Thorme.
Dans un ttradre, les trois segments joignant les milieux des artes opposes ont
mme milieu. Leur point de concours est le centre de gravit du ttradre.
Tout cela illustre le fait que le barycentre peut servir bien d'autres choses que des simples
problmes de centre de gravit. Le calcul barycentrique est un outil qui peut se rvler trs
utile et puissant.
Nous pourrions prsent nous lancer dans le placement du barycentre de cinq points mais de
toute bonne chose, il ne faut jamais excder. Et puis, nous tenons aussi mnager notre gentil
lecteur.
Dans le prochain paragraphe, nous allons voir toute la puissance du barycentre. Nous allons
voir comment il permet de solutionner certains problmes d'ensemble de points..
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 11 sur 17
La ballade du barycentre
MA 2 = ( k.MB ) MA 2 ( k.MB ) = 0
Nous arrivons donc une identit remarquable. Apparemment, nous n'avons fait que dplacer
le problme. En fait, nous nous sommes mis en position de pouvoir introduire le produit
scalaire. Ceci car :
2
D'une part, nous savons que : MA 2 = MA = MA.MA
De l'autre, il existe des identits remarquables pour le produit scalaire.
2
2
2
Ainsi : MA 2 ( k.MB ) = MA k.MB = MA + k.MB . MA k.MB
Par suite :
Si le point M fait partie de l'ensemble E alors MA + k.MB . MA k.MB = 0
MA + k.MB . MA k.MB = 0 ( 1 + k ) .MG . ( 1 k ) .MG ' = 0 MG.MG ' = O
On peut diviser par
1+k et 1-k qui sont
non nuls
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 12 sur 17
La ballade du barycentre
Or si les deux vecteurs MG et MG ' ont leur produit scalaire nul, c'est qu'ils sont orthogonaux.
Nous pourrions aussi dire que le triangle GG'M est rectangle en M ou encore que M appartient
au cercle ou la sphre de diamtre [GG'].
Quoiqu'il en soit, nous pouvons conclure :
Si M fait parti de E alors M fait parti du cercle ou de la sphre de diamtre [GG'].
A prsent, la question qui se pose est :
Tous les points du cercle ou de la sphre de diamtre [GG'] font-ils partie de l'ensemble E ?
Pertinente question qui trouve sa rponse dans ce qui vient d'tre fait. En effet
:
Si M fait partie du cercle ou de la sphre de diamtre [GG'] alors les vecteurs MG et MG '
sont orthogonaux.
Donc le produit scalaire de ces deux l est nul. Par suite :
MG.MG ' = 0
On multiplie par les rels
non nuls 1 + k et 1 - k
1 + k ) .MG . ( 1 k ) .MG ' = 0
(
Certaines des
galits vues
prcdemment sont
toujours vraies
G barycentre
G' barycentre
de A(1) et B( k ) de A(1) et B(- k )
)(
MA + k.MB . MA k.MB = 0
MA 2 ( k.MB ) = 0
2
Identit remarquable du
produit scalaire...
MA 2 = ( k.MB )
L, nous ne devons pas perdre de vue que les deux nombres MA et k.MB sont des nombres
positifs. Donc si leurs carrs sont gaux, c'est qu'eux-mmes le sont !
Par suite, nous en arrivons donc :
2
MA
=k
MB
Ce qui rsout notre problme et nous permet finalement d'affirmer ce qui suit !
Thorme.
k est un rel strictement positif et, A et B sont deux points distincts du plan (ou de l'espace).
MA
On appelle l'ensemble des points M vrifiant l'galit
=k.
MB
Si k = 1 alors E est la mdiatrice (ou le plan mdiateur) du segment [AB].
Si k 1 alors E est le cercle (ou la sphre) de diamtre [GG']
o G et G' sont les barycentres des systmes A ( 1 ) ; B ( k ) et A(1) ; B ( -k ) .
MA
= 3.
MB
Pour dfinir cet ensemble, nous devons auparavant parler de deux points.
3
G est le barycentre des points A(1) et B(3) GA + 3.GB = o AG = .AB
4
3
G' est le barycentre des points A(1) et B(-3) G ' A 3.G 'B = o AG ' = .AB
2
D'aprs notre thorme, l'ensemble E est donc le cercle de diamtre [GG'].
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 13 sur 17
La ballade du barycentre
B
G'
=k
=k
Il s'agit de
produit scalaire
=k
=k
On dveloppe
et rordonne...
=o
Car G est leur barycentre
La ballade du barycentre
kh
.
10
Si k h est positif alors E est le cercle (ou la sphre dans l'espace) de centre G
kh
et de rayon
.
10
Il n'est gure possible de faire mieux avec les conditions que nous nous sommes fixes. En fait,
il apparat clairement que beaucoup de choses dpendent des positions des points A, B et C
ainsi que de celle de leur barycentre G car ce sont elles qui donnent sa valeur h.
Mais l encore, c'est le recours un barycentre qui nous a tir d'affaire !
Quelques grands classiques pour terminer
Pour achever notre ballade, nous allons voquer ce qu'il est convenu d'appeler des "grands
classiques" o l'introduction du barycentre permet de rsoudre le problme. Nous viterons
de nous lancer dans de grandes chevauches thoriques qui n'aboutissent rien. Non, nous
allons travailler sur des cas concrets qui pourront vous servir d'exemples.
L'ensemble E des points M tels que 4.MA + 3.MB + 5.MC .u = k
Prcisons le dcor. Nous travaillons dansle plan ou dans l'espace. A, B et C sont des
points fixes, k est un rel quelconque et u est un vecteur quelconque.
Appelons G le barycentre des points pondrs A(4), B(3) et C(5). Celui-ci existe car la
somme des coefficients 4 + 3 + 5 = 12 est non nulle.
D'aprs le thorme de rduction, nous
pouvons
crire
que
:
4.MA + 3.MB + 5.MC = 12.MG
Devant faire appel aux proprits du produit scalaire, nous conseillons aux dfavoriss
ce sujet de consulter le chapitre qui y est consacr.
Mais revenons plutt notre ensemble E.
Dire qu'un point M fait partie de E quivaut dire que :
k
4.MA + 3.MB + 5.MC .u = k 12.MG.u = k MG.u =
12
L, plusieurs cas sont envisager suivant la nullit du paramtre k.
Si k = 0 alors l'galit devient MG.u = 0
L'ensemble E est alors la droite ou le plan passant par G et dont u est un vecteur
normal.
Si k 0 alors le point G et le vecteur directeur u dfinissent une droite D.
k
On appelle H le point de cette droite D tel que GH =
2 .u .
12 u
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 15 sur 17
La ballade du barycentre
Ce point H existe et est unique ! De plus : HG.u =
2
12 u
.u.u =
2 k
=
u
2
12
12 u
MH.u
=0
12
12
12
=k/12
Donc M appartient la droite (ou du plan) passant par H dont u est l'un des vecteurs
normaux. Pour les gars, est aussi la perpendiculaire la droite D passant par H.
Rciproquement, on voit sans problme que tout point de fait aussi partie de E.
L'ensemble E est la droite (ou le plan) dont u est l'un des vecteurs normaux et
passant par le point H qui lui est dfini par :
k
GH =
2 .u
12 u
Reprsentons un tel ensemble E dans le plan. La figure qui suit est indicative.
E
A
H
u
G
B
C
L'ensemble des points M tels que 5.MA + 3.MB = 3.MA - 4.MC
Plantons le dcor ! A, B et C sont trois points distincts du plan ou de l'espace.
Notre mission (que nous acceptons) est de dterminer l'ensemble E des points M
vrifiant l'galit 5.MA + 3.MB = 3.MA 4.MC .
L encore, le salut viendra de l'introduction de barycentres. Remarquez que si ce n'tait
pas le cas, nous n'en n'aurions sans doute pas parl dans notre belle ballade !
On appelle G le barycentre des points A(5) et B(3). G' est celui des points A(3) et C(-1)
qui existent car les sommes des coefficients 5 + 3 et 3 + ( 1) sont non nulles
D'emble par
une
du thorme
simple
application
de rduction,
il
vient :
5.MA + 4.MB = 9.MG
et
3.MA MC = MG '
Ainsi :
M E 5.MA + 3.MB = 3.MA MC 8.MG = 2.MG ' 8.MG = 2.MG '
MG '
=4
MG
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 16 sur 17
La ballade du barycentre
suivre...
Une ballade racompte par Jrme ONILLON et diffuse par la taverne de l'Irlandais (www.tanopah.com)
Page 17 sur 17