Leçon 25 : Définition et propriétés du barycentre de n points ...
Leçon 25 : Définition et propriétés du barycentre de n points ...
Leçon 25 : Définition et propriétés du barycentre de n points ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Leçon</strong> <strong>25</strong><br />
<strong>Définition</strong> <strong>et</strong> <strong>propriétés</strong> <strong>du</strong> <strong>barycentre</strong> <strong>de</strong> n <strong>points</strong> pondérés. Application à l’étu<strong>de</strong> <strong>de</strong><br />
configurations <strong>du</strong> plan ou <strong>de</strong> l’espace.<br />
→<br />
On se placera dans E plan affine ou espace affine suivant les cas <strong>de</strong> direction E.<br />
1. <strong>Définition</strong> <strong>du</strong> <strong>barycentre</strong> <strong>de</strong> n <strong>points</strong> pondérés :<br />
1.1 <strong>Définition</strong>s :<br />
<strong>Définition</strong> 1 : On appelle point pondéré tous couple (A , α) où A est un point <strong>de</strong> E <strong>et</strong> α un réel appelé coefficient (ou<br />
masse, ou poids) <strong>de</strong> A.<br />
Soit n ∈ V * , on appelle système <strong>de</strong> n <strong>points</strong> pondérés toute famille { (Ai , α i ) 1 < i < n } <strong>de</strong> n <strong>points</strong> pondérés.<br />
n<br />
Le réel α = ∑ α i est appelé poids total <strong>du</strong> système.<br />
i = 1<br />
Lorsque α ≠ 0 <strong>et</strong> seulement dans ce cas, le <strong>barycentre</strong> <strong>du</strong> système est le point G ∈ E caractérisé par :<br />
n<br />
⎯→ →<br />
⎯→<br />
∑ α i GAi = 0 ce qui est équivalent à OG =<br />
i = 1<br />
1<br />
α ∑<br />
n<br />
⎯→<br />
α i OAi où O est une origine quelconque.<br />
i = 1<br />
n<br />
n<br />
⎯→ ⎯→ ⎯→ → ⎯→ ⎯→ ⎯→<br />
Equivalence <strong>de</strong>s <strong>de</strong>ux écritures : On écrit GAi = OAi - OG ⇔ 0 = ∑ α i GAi = ∑ α i OAi - α OG<br />
i = 1<br />
i = 1<br />
Remarque : D’après la <strong>de</strong>uxième écriture, on voit que le point G est défini <strong>de</strong> manière unique.<br />
On s’intéresse uniquement ici à <strong>de</strong>s coefficients réels.<br />
<strong>Définition</strong> 2 : Lorsque les α i sont tous égaux, on dit que G est l’iso<strong>barycentre</strong> <strong>du</strong> système.<br />
Exemple : L’iso<strong>barycentre</strong> <strong>de</strong> <strong>de</strong>ux <strong>points</strong> est leur milieu.<br />
1.2 Fonction <strong>de</strong> Leibniz :<br />
<strong>Définition</strong> 3 : On appelle fonction vectorielle <strong>de</strong> Leibniz associée au système pondéré { (Ai , α i ) 1 < i < n } l’application :<br />
→<br />
→<br />
f : E → E<br />
n<br />
⎯→<br />
M ï ∑ α i MAi<br />
i = 1<br />
Proposition 1 : La fonction vectorielle <strong>de</strong> Leibniz est constante si <strong>et</strong> seulement si α = ∑ α i = 0. Dans le cas contraire,<br />
i = 1<br />
→<br />
c’est une bijection <strong>de</strong> E dans E s’annulant en le <strong>barycentre</strong> <strong>du</strong> système.<br />
Démonstration : Soit M un point <strong>de</strong> E. La relation <strong>de</strong> Chasles entraîne que<br />
→<br />
Donc<br />
n<br />
f est constante si <strong>et</strong> seulement si α = ∑<br />
i = 1<br />
→ → n<br />
f (M) = f (O) + ∑<br />
i = 1<br />
α i<br />
Hannon.J - 1 -<br />
α i = 0. Dans le cas contraire, ∀<br />
→ →<br />
f (M) -<br />
⎯→ →<br />
⎯→<br />
MO = u a une unique solution en le point M donnée par : OM =<br />
n<br />
n<br />
f (O)= ∑<br />
i = 1<br />
α i<br />
→ →<br />
u ∈ E, l’équation<br />
⎯→<br />
MO (O origine)<br />
→ →<br />
f (O) - u<br />
, c’est donc bien une<br />
α
<strong>Leçon</strong> <strong>25</strong><br />
n<br />
→ → →<br />
⎯→<br />
bijection <strong>de</strong> E dans E. f (M) = 0 ⇔ ∑ α i MAi ⇔ M est le <strong>barycentre</strong> <strong>du</strong> système { (Ai , α i ) }.<br />
i = 1<br />
n<br />
→<br />
⎯→<br />
Remarque : Lorsque α = 0 on ne peut pas définir le <strong>barycentre</strong> <strong>du</strong> système, mais le vecteur f (M) = ∑ α i MAi<br />
i = 1<br />
est alors indépendant <strong>du</strong> point M.<br />
2. Propriétés <strong>du</strong> <strong>barycentre</strong> :<br />
2.1 Propriétés :<br />
n<br />
Propriété 1 : Soit G = bar { (Ai , α i )1 < i < n } avec α = ∑<br />
i = 1<br />
Hannon.J - 2 -<br />
α i ≠ 0. On a les <strong>propriétés</strong> suivantes :<br />
i) G reste inchangé lorsque qu’on lui rajoute un point <strong>de</strong> masse nulle.<br />
ii) G = bar { (Aσ(j) , α σ(j) ) 1 < j < n } où σ est une permutation <strong>de</strong> {1,…, n} (commutativité <strong>du</strong> <strong>barycentre</strong>)<br />
iii) G reste inchangé si l’on multiplie tous ses coefficients par un réel non nul (Homogénéité <strong>du</strong> <strong>barycentre</strong>)<br />
G = bar { (Ai , λ α i )1 < i < n } ∀ λ ∈ Y *<br />
iv) G reste inchangé si l’on remplace un ou plusieurs <strong>points</strong> pondérés par le <strong>barycentre</strong> correspondant à ces<br />
<strong>points</strong> affecté <strong>du</strong> coefficient égal à la somme <strong>de</strong>s coefficients <strong>de</strong>s <strong>points</strong> concernés (Associativité)<br />
Démonstration : Les <strong>points</strong> i), ii) <strong>et</strong> iii) sont clairs en utilisant la première définition <strong>du</strong> <strong>barycentre</strong>.<br />
Montrons iii) : Soit 1< p < n. Supposons que l’on veuille remplacer p <strong>points</strong>, par le ii) on peut supposer que se sont les<br />
p premiers (quitte à réordonner les indices).<br />
n<br />
p<br />
n<br />
⎯→<br />
⎯→<br />
⎯→ →<br />
On a ∑ α i GAi = ∑ α i GAi + ∑ α i GAi = 0<br />
i = 1<br />
i = 1<br />
i = p + 1<br />
p<br />
Soit H = bar { (Ai , α i ) 1 < i < p } <strong>et</strong> µ = ∑ α i . On a ∑<br />
i = 1<br />
i = 1<br />
n<br />
⎯→<br />
⎯→<br />
soit µ GH + ∑ α i GAi =<br />
i = p + 1<br />
p<br />
α i<br />
p<br />
⎯→<br />
GH + ∑<br />
i = 1<br />
α i<br />
n<br />
⎯→<br />
⎯→<br />
HAi + ∑ α i GAi =<br />
i = p + 1<br />
→<br />
0 ⇒ G est le <strong>barycentre</strong> <strong>du</strong> système formé par (H , µ) <strong>et</strong> les autres <strong>points</strong> pondérés.<br />
Remarques : On a vu qu’on pouvait rajouter un point dans le système en lui affectant une masse nulle, un autre moyen<br />
d’intro<strong>du</strong>ire le point A est la suivante, on rajoute : (A , α) <strong>et</strong> (A , -α).<br />
2.2 Iso<strong>barycentre</strong> :<br />
On a déjà vu que l’iso<strong>barycentre</strong> <strong>de</strong> <strong>de</strong>ux <strong>points</strong> est leur milieu.<br />
<strong>Définition</strong> 4 : L’iso<strong>barycentre</strong> G d’un triangle ABC est appelé encore centre <strong>de</strong> gravité <strong>du</strong> triangle ABC.<br />
Proposition 2 : Les 3 médianes d’un triangle ABC sont concourantes en un point G situé au 2/3 <strong>de</strong>s longueurs en<br />
partant <strong>de</strong>s somm<strong>et</strong>s.<br />
Démonstration : L’iso<strong>barycentre</strong> G <strong>du</strong> triangle ABC est le <strong>barycentre</strong> <strong>de</strong> (A,1) (B,1) (C,1) <strong>et</strong> est aussi le <strong>barycentre</strong> <strong>de</strong><br />
(A,1) (I,2) où I est le milieu <strong>de</strong> [BC] (propriété 1, iv ).<br />
⎯→<br />
Ainsi AG = 2<br />
⎯→<br />
⎯→<br />
AI . De même on montrerait BG =<br />
3<br />
2<br />
⎯→<br />
⎯→<br />
BJ où J milieu <strong>de</strong> [AC] <strong>et</strong> CG =<br />
3<br />
2<br />
⎯→<br />
CKoù K milieu <strong>de</strong> [AB]<br />
3<br />
D’où le résultat.<br />
→<br />
0
<strong>Leçon</strong> <strong>25</strong><br />
Exemple 1 : On s’intéresse maintenant à l’iso<strong>barycentre</strong> G d’un quadrilatère ABCD. G est <strong>barycentre</strong> <strong>de</strong> (A,1) (B,1)<br />
(C,1) (D,1).<br />
On regroupe (A,1) (C,1) ensemble <strong>et</strong> (B,1) (D,1) ensemble. Soit I milieu <strong>de</strong> [AC] <strong>et</strong> J milieu <strong>de</strong> [BD].<br />
Alors G est aussi <strong>barycentre</strong> <strong>de</strong> (I,2) (J,2) c’est à dire que G est l’iso<strong>barycentre</strong> <strong>de</strong> [IJ].<br />
⇒ G est le milieu <strong>de</strong> [IJ]<br />
On obtient <strong>de</strong> plus que si ABCD est un parallélogramme, comme I = J alors G = I = J. G est l’intersection <strong>de</strong>s<br />
diagonales.<br />
Exemple 2 : On se place désormais dans l’espace <strong>et</strong> on considère un tétraèdre ABCD. On cherche à caractériser<br />
l’iso<strong>barycentre</strong> G.<br />
G <strong>barycentre</strong> <strong>de</strong> (A,1) (B,1) (C,1) (D,1). En reprenant la même démarche que précé<strong>de</strong>mment <strong>et</strong> en regroupant les <strong>points</strong><br />
2 par 2 à chaque fois on arrive à la conclusion suivante :<br />
Proposition 3 : Dans un tétraèdre, les 3 segments joignant les milieux <strong>de</strong>s arêtes opposées ont même milieu :<br />
l’iso<strong>barycentre</strong> G <strong>de</strong>s 4 somm<strong>et</strong>s.<br />
2.3 Coordonnées barycentriques :<br />
<strong>Définition</strong> 5 : Supposons que E soit <strong>de</strong> dimension n. Un repère affine <strong>de</strong> E est une (n+1) liste (A0, …, An) <strong>de</strong> <strong>points</strong> <strong>de</strong> E<br />
⎯→ ⎯→<br />
→<br />
tels que la famille ( A0A1 , … , A0An ) soit une base <strong>de</strong> E.<br />
Théorème 1 : Supposons que (A0 , … , An) est un repère affine <strong>de</strong> E, alors :<br />
- ∀ M ∈ E, ∃ (α0 , … , αn+1) ∈ Y n+1 tel que M = bar{ (Ai , α i)0 < i < n }<br />
- Si M = bar{ (Ai , α i)0 < i < n } <strong>et</strong> M = bar{ (Ai , β i)0 < i < n } alors les suites (α0 , … , αn+1) <strong>et</strong> (β0 , … , βn+1) sont<br />
proportionnelles.<br />
- ∀ M ∈ E, ∃ ! (α0 , … , αn+1) ∈ Y n+1 n<br />
tel que M = bar{ (Ai , α i)0 < i < n } <strong>et</strong> ∑<br />
i = 0<br />
Démonstration : i) Tout point M <strong>de</strong> e s’écrit <strong>de</strong> manière unique sous la forme<br />
⎯→ ⎯→<br />
→<br />
( A0A1 , … , A0An ) est une base <strong>de</strong> E. Par Chasles, on obtient :<br />
⇔ ⎝ ⎜ ⎛<br />
n<br />
∑<br />
i = 1<br />
λ i − 1<br />
⎞<br />
⎟<br />
⎠<br />
⎯→<br />
MA0 - ∑ i = 1<br />
Hannon.J - 3 -<br />
n<br />
λ i<br />
⎯→<br />
n<br />
A0M - ∑<br />
i = 1<br />
λ i<br />
α i = 1<br />
n<br />
⎯→<br />
A0M = ∑<br />
i = 1<br />
n<br />
⎯→<br />
A0M = ∑<br />
i = 1<br />
⎯→ ⎯→<br />
λi A0Ai car<br />
⎯→<br />
λ i MAi<br />
A0M ∈<br />
→<br />
E <strong>et</strong><br />
⎯→ →<br />
n<br />
MAi = 0 . On pose α0 = ∑ λ i – 1 ; αi = -λ i ∀ i ∈ {1, …, n} <strong>et</strong> on a le résultat.<br />
i = 1<br />
ii) Si M = bar{ (Ai , α i)0 < i < n } <strong>et</strong> M = bar{ (Ai , β i)0 < i < n } alors ∑ i = 0<br />
n<br />
∑<br />
i = 0<br />
n<br />
⎯→<br />
β i A0M = ∑<br />
i = 1<br />
βi<br />
⎯→<br />
A0Ai ⇒<br />
⎯→<br />
A0M =<br />
n<br />
∑ βi<br />
i = 1<br />
n<br />
∑<br />
i = 0<br />
⎯→<br />
A0Ai<br />
β i<br />
=<br />
n<br />
∑<br />
i = 1<br />
α i<br />
n<br />
∑ α i<br />
i = 0<br />
n<br />
⎯→<br />
A0Ai<br />
α i<br />
n<br />
⎯→<br />
⎯→<br />
A0M = ∑ α i A0Ai <strong>et</strong><br />
i = 1<br />
⇒ α i<br />
n<br />
∑<br />
i = 0<br />
αi<br />
= β i<br />
n<br />
∑<br />
i = 0<br />
β i<br />
∀ i ∈ {0, …, n}
<strong>Leçon</strong> <strong>25</strong><br />
⇒ αi =<br />
n<br />
∑<br />
α i<br />
i = 0<br />
n<br />
∑<br />
i = 0<br />
β i<br />
β i d’où le résultat.<br />
iii) conséquence <strong>de</strong> i) <strong>et</strong> ii)<br />
<strong>Définition</strong> 6 : Dans les conditions <strong>du</strong> théorème précé<strong>de</strong>nt, la liste (α0 , … , αn+1) est appelée système <strong>de</strong> coordonnées<br />
n<br />
barycentriques <strong>du</strong> point M dans le repère affine (A0 , … , An). Lorsque <strong>de</strong> plus ∑<br />
i = 0<br />
normalisé.<br />
Hannon.J - 4 -<br />
α i = 1 , on dit que le système est<br />
Conséquence : Si (xj,1 , …. , xj,n) désignent les coordonnées normalisées <strong>de</strong> Aj dans un repère affine <strong>de</strong> E, les<br />
α j xj,i<br />
j = 1<br />
coordonnées (g1 , … , gn) <strong>de</strong> G = bar { (Aj , αj)1 < j < n } sont gi = n<br />
∑ α j<br />
j = 1<br />
3. Applications :<br />
3.1 Lecture <strong>de</strong> <strong>barycentre</strong> :<br />
On considère les 2 figures ci-<strong>de</strong>ssous, <strong>et</strong> l’on <strong>de</strong>man<strong>de</strong> d’exprimer D comme <strong>barycentre</strong> <strong>de</strong>s <strong>points</strong> A, B <strong>et</strong> C.<br />
Dans la <strong>de</strong>uxième figure, ABCD est un parallélogramme.<br />
Dans la 1 ère figure, D est le milieu <strong>de</strong> [CT] donc D est <strong>barycentre</strong> <strong>de</strong> (C,3) (T,3). Or T est <strong>barycentre</strong> <strong>de</strong> (A,2) (B,1) <strong>et</strong><br />
donc par associativité D est <strong>barycentre</strong> <strong>de</strong> (A,2) (B,1) (C,3)<br />
⎯→ ⎯→ → ⎯→ ⎯→ ⎯→ →<br />
Dans la <strong>de</strong>uxième figure, DA + BC = 0 ⇒ DA – DB+ DC= 0 <strong>et</strong> donc D est <strong>barycentre</strong> <strong>de</strong> (A,1) (B,-1) (C,1)<br />
3.2 Ensembles <strong>de</strong> <strong>points</strong> :<br />
Théorème 2 : Soit G <strong>barycentre</strong> <strong>de</strong> { (Ai , α i ) 1 < i < n } . Alors ∀ M ∈ E, on a :<br />
⎯→ ⎯→ n ⎯→<br />
MA1+ … + MAn = ∑ α i MG<br />
i = 1<br />
Démonstration : Evi<strong>de</strong>nt en utilisant Chasles <strong>et</strong> le fait que G <strong>barycentre</strong> <strong>de</strong> { (Ai , α i ) 1 < i < n }<br />
Application : Soit A, B, C trois <strong>points</strong> <strong>de</strong> l’espace non alignés <strong>et</strong> k un réel <strong>de</strong> l’intervalle [-1 , 1]<br />
Soit Gk le <strong>barycentre</strong> <strong>du</strong> système (A,k² + 1) (B,k) (C,-k)<br />
⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→<br />
1. Déterminer l’ensemble <strong>de</strong>s <strong>points</strong> M <strong>de</strong> l’espace tels que || 2MA<br />
+ MB– MC|| = || 2MA<br />
– MB + MC||<br />
⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→<br />
2. Déterminer l’ensemble <strong>de</strong>s <strong>points</strong> M <strong>de</strong> l’espace tels que || 2MA<br />
+ MB– MC|| = || 2MA<br />
– MB - MC||<br />
Solution : 1. G1 <strong>barycentre</strong> <strong>de</strong> (A,2) (B,1) (C,-1) donc pour tout point M <strong>de</strong> l’espace 2<br />
⎯→<br />
MA +<br />
⎯→<br />
MB–<br />
⎯→<br />
MC = 2<br />
⎯→<br />
MG1<br />
n<br />
∑
<strong>Leçon</strong> <strong>25</strong><br />
⎯→ ⎯→ ⎯→ ⎯→<br />
G-1 <strong>barycentre</strong> <strong>de</strong> (A,2) (B,-1) (C,1) donc pour tout point M <strong>de</strong> l’espace 2MA<br />
- MB + MC = 2 MG-1<br />
⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→<br />
⎯→ ⎯→<br />
Ainsi || 2MA<br />
+ MB– MC|| = || 2MA<br />
– MB + MC|| ⇔ || 2 MG1 || = || 2 MG-1 || ⇔ 2 MG1 = 2 MG-1 ⇔ MG1 = MG-1<br />
L’ensemble cherché est le plan médiateur <strong>du</strong> segment [G1G-1]<br />
⎯→ ⎯→ ⎯→ ⎯→<br />
2. On sait que 2MA<br />
+ MB– MC = 2 MG1.<br />
⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→<br />
2MA<br />
– MB - MC = 2 MA - MA - AB - MA - AC = - ( AB + AC)<br />
⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→<br />
⇒ || 2MA<br />
– MB - MC|| = || - ( AB + AC) || = || AB + AC ||<br />
⎯→ ⎯→ ⎯→<br />
Soit D le point tel que ABDC soit un parallélogramme, AB + AC = AD.<br />
⎯→ ⎯→<br />
On appelle I le milieu <strong>de</strong> [BC], alors AD = 2 AI<br />
⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→ ⎯→<br />
Alors || 2MA<br />
+ MB– MC|| = || 2MA<br />
– MB - MC|| ⇔ || 2 MG1 || = || 2 AI || ⇔ MG1 = AI<br />
L’ensemble cherché est la sphère <strong>de</strong> centre G1 <strong>et</strong> <strong>de</strong> rayon AI<br />
Hannon.J - 5 -