28.06.2013 Views

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 ...

SHOW MORE
SHOW LESS

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 -

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!