Barycentre (géométrie euclidienne)

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Barycentre.

En géométrie, le barycentre est un point qui permet de résumer un ensemble géométrique sur lequel sont réparties des valeurs numériques. Ces valeurs peuvent représenter des poids pour déterminer le point d'équilibre d'un mobile. Mais le barycentre permet aussi de caractériser le centre d'inertie d'un solide ou concentrer un ensemble de charges électriques.

Mathématiquement, le barycentre s'obtient en annulant une relation vectorielle. Cette notion généralise la construction du milieu d'un segment ou du centre de gravité d'un triangle.

Sommaire

1 Barycentre de deux points
2 Barycentre de trois points dans le plan ou dans l'espace
3 Barycentre de n points
- 3.1 Réduction de fonctions vectorielles ou du second degré
- 3.2 Exemple pratique
4 Voir aussi

[modifier] Barycentre de deux points

[modifier] Point d'équilibre

Le terme de barycentre est formé sur la racine grecque barus (lourd) pour désigner un centre des poids ou centre d'équilibre. Sa conception est liée au théorème des moments découvert par Archimède au III^e siècle av. J.-C.

Point d'équilibre d'une balance

Pour que la balance soit en équilibre, il faut que les moments, c'est-à-dire les produits des longueurs de bras par les masses correspondantes, soient égaux. Autrement dit le point d'équilibre est caractérisé par la relation : $m_1\times OA = m_2 \times OB$ .

Par exemple, si la masse $m 1$ est 4 fois plus importante que la masse $m 2$ , il faudra que la longueur $O A$ soit 4 fois plus petite que la longueur $O B$ .

Ce principe des moments est d'ailleurs utilisé dans la balance dite romaine

Les poids peuvent également avoir une valeur numérique négative, si l'une des masses est remplacée par un ballon d'hélium, par exemple. Dans ce cas, le point d'équilibre se situe en dehors de l'espace délimité par les deux objets.

[modifier] Relation vectorielle

En géométrie affine, le point d'équilibre, ou barycentre, est noté $G$ et les poids des points fixes $A$ et $B$ sont notés usuellement $a$ et $b$ . Le théorème des moments est remplacé par la relation

$a\overrightarrow{GA}+ b\overrightarrow{GB}=\vec 0$ .

À l'aide de la relation de Chasles, cette relation peut se réécrire sous la forme

$a\overrightarrow{GA} + b(\overrightarrow{GA}+\overrightarrow{AB})=\vec 0$

c'est-à-dire $(a+b)\overrightarrow{GA} + b\overrightarrow{AB}=\vec 0$ ou de manière équivalente $(a+b)\overrightarrow{AG} = b\overrightarrow{AB}$ .

Si la somme $a + b$ est non nulle, il existe un unique point $G$ qui satisfait cette relation, donné par la relation $\overrightarrow{AG} = \frac{b}{a+b} \overrightarrow{AB}$ .

[modifier] Colinéarité

$a\overrightarrow{GA} + b\overrightarrow{GB} = \vec 0$

$a\overrightarrow{GA} = (-b)\overrightarrow{GB}$

$\overrightarrow{GA} = (-b/a)\overrightarrow{GB}$

$\overrightarrow{GA}$ et $\overrightarrow{GB}$ sont donc parallèles et ont un point en commun, G.

G appartient donc à la droite (AB)

Nous venons de démontrer que

si G est le barycentre de {(A,a),(B,b)} alors G appartient à la droite (AB).

Si G est sur le segment [AB] (entre A et B) alors

$\overrightarrow{GA}$ et $\overrightarrow{GB}$ sont de sens opposé

ce qui se traduit par $\overrightarrow{GA} = k\overrightarrow{GB}$ avec k<0

comme $\overrightarrow{GA} = (-b/a)\overrightarrow{GB}$

-(b/a)<0 => b/a >0 => b et a de même signe

Nous venons de démontrer que

Si G est sur le segment [AB] (entre A et B) alors a et b sont de même signe.

[modifier] Coordonnées barycentriques

On démontre (à démontrer ultérieurement) que, si A et B sont distincts, tout point M de la droite (AB) peut s'écrire comme barycentre des points A et B. Les pondérations obtenues sont appelées les coordonnées barycentriques du point M.

[modifier] Homogénéité

Si G est le barycentre de

{(A, a);(B, b)}

alors

$a\overrightarrow{GA} + b\overrightarrow{GB} = \vec 0$

$k*(a\overrightarrow{GA} + b\overrightarrow{GB}) = \vec 0$

$(k*a)\overrightarrow{GA} + (k*b)\overrightarrow{GB} = \vec 0$

De plus

a+b étant non nul,

pour tout k réel non nul, k*(a+b) est non nul

(k*a) + (k*b) est non nul

alors G est le barycentre de

{(A, k * a);(B, k * b)}

Nous venons de démontrer que

si G est le barycentre de ${(A, a);(B, b)}$ alors pour tout k réel non nul, G est aussi le barycentre de ${(A, k * a);(B, k * b)}$ .

Cette propriété s'appelle l'homogénéité.

[modifier] Réduction

L'application de la relation de Chasles à $a\overrightarrow{MA} + b\overrightarrow{MB}$ , en introduisant le barycentre G de {(A,a), (B,b)} donne

$a\overrightarrow{MA} + b\overrightarrow{MB} = a(\overrightarrow{MG}+\overrightarrow{GA}) + b(\overrightarrow{MG}+\overrightarrow{GB}) = a\overrightarrow{MG} + b\overrightarrow{MG} + a\overrightarrow{GA}+ b\overrightarrow{GB}$ (1).

G étant barycentre de {(A,a), (B,b)} alors $a\overrightarrow{GA} + b\overrightarrow{GB} = \vec 0$ .

(1) devient $a\overrightarrow{MA} + b\overrightarrow{MB} =( a+b)\overrightarrow{MG}+ \vec 0 =( a+b)\overrightarrow{MG}$ .

Nous venons de démontrer que

si G est le barycentre de {(A,a), (B,b)} alors pour tout M, $a\overrightarrow{MA} + b\overrightarrow{MB} = (a+b)\overrightarrow{MG}$ .

C'est la propriété de réduction.

Elle permet de positionner le point G par rapport à tout point M. Si M est l'origine d'un repère du plan ou de l'espace, elle permet de définir les coordonnées du point G

$x_G = \frac{ax_A+bx_B}{a+b} \quad y_G = \frac{ay_A+by_B}{a+b}\quad z_G = \frac{az_A+bz_B}{a+b}$

[modifier] Barycentre de trois points dans le plan ou dans l'espace

La définition peut se généraliser à trois points : pour tous réels a, b et c tels que a + b + c soit non nul, il existe un unique point G tel que

$a\overrightarrow{GA} + b\overrightarrow{GB} + c\overrightarrow{GC}= \vec 0$

appelé barycentre du système pondéré ${(A, a);(B, b);(C, c)}$ . Les points G, A, B et C sont toujours coplanaires et on démontre que , si A, B, C définissent un plan, tous les points M de ce plan peuvent s'écrire comme barycentre de A, B et C. les pondérations s'appellent alors coordonnées barycentriques de M dans le repère A, B et C

Comme pour le barycentre de deux points, le barycentre de trois points permet de réduire l'expression vectorielle $a\overrightarrow{MA} + b\overrightarrow{MB} + c\overrightarrow{MC}$ , pour tout point M :

$a\overrightarrow{MA} + b\overrightarrow{MB} + c\overrightarrow{MC} = (a+b+c)\overrightarrow{MG}$

Ce qui permet, en remplaçant M par l'origine du repère, de donner les coordonnées du point G

$x_G = \frac{ax_A+bx_B + cx_c}{a+b+c} \quad y_G = \frac{ay_A+by_B+cy_c}{a+b+c} \quad z_G = \frac{az_A+bz_B+cz_c}{a+b+c}$

Ce barycentre possède en outre une propriété dite d'associativité ou de barycentre partiel : si a + b est non nul et si $G 1$ est le barycentre du système ${(A, a);(B, b)}$ , alors G est le barycentre du système ${(G 1, a + b);(C, c)}$ . Cela signifie que la construction du barycentre de trois points peut se ramener à la construction de barycentres de deux points.

Cette propriété simplifie grandement les problèmes d'alignement et de concours.

En considérant ces trois points comme les sommets d’un triangle, le centre de gravité est le point d'intersection de ses 3 médianes.

Propriété' : Il est situé aux $\frac{2}{3}$ d'une médiane en partant du sommet.
Autrement dit, soit un triangle ABC, A' le milieu de [BC], B' le milieu de [AC], et C' le milieu de [AB] et G son centre de gravité.

Alors : $\overrightarrow{AG}=\frac{2}{3}\overrightarrow{AA'}$ , $\overrightarrow{BG}=\frac{2}{3}\overrightarrow{BB'}$ et $\overrightarrow{CG}=\frac{2}{3}\overrightarrow{CC'}$ .

Le centre de gravité est aussi l' isobarycentre des sommets du triangle, c'est-à-dire que $\overrightarrow{GA} + \overrightarrow{GB} + \overrightarrow{GC} = \overrightarrow{0}$ .

[modifier] Barycentre de n points

On peut généraliser la définition à n points dans un espace affine E quelconque. On définit alors une fonction f de E dans $\vec E$ , appelée fonction vectorielle de Leibniz :

$\overrightarrow{f(M)} = \sum_{i = 1}^n a_i\overrightarrow{MA_i}$

On démontre que si $\sum_{i = 1}^n a_i$ est non nul, la fonction s'annule pour un unique point G appelé barycentre du système ${(A i, a i)} i = 1... n$ . Ce point G est toujours dans le sous-espace affine engendré par les $(A i)$ . Réciproquement, si les $A i$ constituent une famille libre de n points d'un sous-espace affine F de dimension n - 1, tout point M de F peut s'écrire comme barycentre des points ( $A i$ ). Les pondérations s'appellent les coordonnées barycentriques de G dans le repère ( $A i$ ).

[modifier] Réduction de fonctions vectorielles ou du second degré

Article détaillé : Fonctions de Leibniz.

À partir du barycentre il est possible de réduire des expressions vectorielles. Prenons l'exemple de 3 points seulement A B C de poids a b c et leur barycentre G. La formule du premier degré est celle du barycentre :

$a\overrightarrow{MA} + b\overrightarrow{MB} + c\overrightarrow{MC} = (a+b+c)\overrightarrow{MG}$ qui permet de nombreux calculs du premier degré sur les vecteurs.

A partir du barycentre il est possible de définir une formule du second degré, au sens du produit scalaire des vecteurs : Que peut-on dire de la formule du second degré suivante, dont le résultat est un nombre r.

$r= a\overrightarrow{MA}^2 + b\overrightarrow{MB}^2 + c\overrightarrow{MC}^2 ?$

Remplaçons chaque vecteur MA etc par (MG+GA) et appliquons la formule du carré d'une somme:

$r= a\overrightarrow{MA}^2 + b\overrightarrow{MB}^2 + c\overrightarrow{MC}^2 = a( \overrightarrow{MG}+ \overrightarrow{GA} )^2 + b(\overrightarrow{MG}+ \overrightarrow{GB})^2 + c(\overrightarrow{MG}+ \overrightarrow{GC})^2$

$r= a( \overrightarrow{MG}^2+ \overrightarrow{GA}^2 + 2*\overrightarrow{MG}.\overrightarrow{GA})+ b(...)+c(...)$

$r= (a+b+c)\overrightarrow{MG}^2+a\overrightarrow{GA}^2 + b\overrightarrow{GB}^2 + c\overrightarrow{GC}^2 + 2\overrightarrow{MG}.(a\overrightarrow{GA} + b\overrightarrow{GB} + c\overrightarrow{GC})$