Voir la source de Barycentre

{{Sources à lier|date=janvier 2021}}

{{Confusion|texte=Ne doit pas être confondu avec la notion de [[centre d'inertie]] (aussi appelé centre de masse) et de [[centre de gravité]] en [[physique]].}}

[[Image:Tetraedre Isobarycentre.png|thumb|300px|Le point G est l'isobarycentre des sommets du [[tétraèdre]] ABCD.]]

En [[mathématiques]], le '''barycentre''' d'un [[ensemble fini]] de [[point (mathématiques)|points]] du plan ou de l'espace est un point qui permet de réduire certaines [[combinaison linéaire|combinaisons linéaires]] de [[vecteur]]s. Les [[Système de coordonnées|coordonnées]] de ce barycentre dans un [[repère (mathématiques)|repère cartésien]] correspondent alors aux [[moyenne arithmétique|moyennes arithmétiques]] des coordonnées homologues de chacun des points considérés, éventuellement affectés des [[moyenne pondérée|coefficients de pondération]]. Lorsque ces coefficients de pondération sont égaux, le barycentre est appelé '''isobarycentre''', et généralise ainsi la notion de [[Triangle#Médianes et centre de gravité|centre de gravité d’un triangle]].

La notion de barycentre est utilisée en [[physique]] notamment pour déterminer le [[équilibre|point d'équilibre]] d'un ensemble fini de [[point matériel|masses ponctuelles]]. 

{{Article détaillé|Utilisation du barycentre en physique}}

Plus généralement, le barycentre peut se définir dans le cadre d'un [[espace affine]] sur un [[Corps commutatif|corps]] quelconque. Le barycentre est un outil central en [[géométrie affine]] qui permet de caractériser et étudier les [[sous-espace affine]]s, les [[application affine|applications affines]] et la [[ensemble convexe|convexité]].

La version continue de la notion du barycentre est celle de [[centre de masse (mathématiques)|centre de masse]], qui traduit la notion correspondante de [[centre d'inertie]] pour un solide en [[mécanique classique]].

== Historique et origine physique ==
{{Article détaillé|Utilisation du barycentre en physique}}

Le terme de barycentre est formé sur la racine grecque {{Grec ancien|βαρύς|barús}}, « pesant, lourd » pour désigner un centre des poids ou centre d'équilibre. Sa conception est liée au théorème des [[Moment (mécanique)|moments]] découvert par [[Archimède]] au {{s-|III}} av. J.-C. Il écrit dans son traité ''De l’équilibre de figures'' ''planes'' :
{{début citation}}Tout corps pesant a un centre de gravité bien défini en lequel tout le poids du corps peut être considéré comme concentré.{{fin citation}}

Son principe des [[Moment (mécanique)|moments]] et des leviers permet de déterminer assez simplement le barycentre ''O'' de deux points de masses ''m''{{sub|1}} et ''m''{{sub|2}} différentes.

[[Fichier:barycentre1.png|600 px|center|thumb|Point d'équilibre d'une balance.]]

Pour que la balance soit en équilibre, il faut que les [[moment (mécanique)|moments]] ''m''<sub>1</sub>⋅''OA''⋅''g'' et ''m''<sub>2</sub>⋅''OB''⋅''g'' soient égaux dans le champ de pesanteur ''g''. Si par exemple la masse ''m''<sub>1</sub> est 4 fois plus importante que la masse ''m''<sub>2</sub>, il faudra que la longueur ''OA'' soit 4 fois plus petite que la longueur ''OB''. Cette condition se traduit par l'égalité vectorielle
: <math> m_1\,\overrightarrow{OA}+ m_2\,\overrightarrow{OB} = \overrightarrow 0.</math>

Ce principe des moments est d'ailleurs utilisé dans la [[Balance romaine|balance dite romaine]].

Les poids ''apparents'' 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 : la [[poussée d'Archimède]] s'ajoute au poids et la résultante est une force pouvant s'exercer vers le haut. Dans ce cas, le point d'équilibre se situe en dehors de l'espace délimité par les deux objets.

== Barycentre de deux points dans le plan ==
=== Définition du barycentre par une relation vectorielle ===

On définit le barycentre de deux points ''A'' et ''B'' du plan affectés des coefficients de pondération ''a'' et ''b'' (avec la somme ''a'' + ''b'' non nulle) comme l'unique point ''G'' vérifiant la relation vectorielle
:<math> a\, \overrightarrow{GA}+ b\, \overrightarrow{GB}=\overrightarrow 0 \, .</math>

En effet, à l'aide de la [[relation de Chasles]], cette relation peut se réécrire sous la forme
:<math> a\, \overrightarrow{GA} + b\, (\overrightarrow{GA}+\overrightarrow{AB})=\overrightarrow 0 \, , </math>
c'est-à-dire
:<math> (a+b)\, \overrightarrow{GA} + b\, \overrightarrow{AB}=\overrightarrow 0 \, , </math>
ou de manière équivalente
:<math> (a+b)\, \overrightarrow{AG} = b\, \overrightarrow{AB}\ .</math>

Comme la somme ''a'' + ''b'' est non nulle, il existe donc un unique point ''G'' qui satisfait cette équation. Il est donné par la relation
:<math>\overrightarrow{AG} = \frac{b}{a+b}\, \overrightarrow{AB}\, .</math>
On dit alors que ''G'' est le barycentre des points ''A'' et ''B'' affectés des coefficients de pondération ''a'' et ''b'' ; on note ''G'' = ''bar''{(''A'',''a''),(''B'',''b''). On remarque, d'après l'égalité vectorielle ci-dessus que ''G'' appartient à la droite (''AB'').

La réciproque est d'ailleurs vraie : tout point de la droite (''AB'') peut être considéré comme un barycentre des points ''A'' et ''B''

Si les coefficients de pondération sont de même signe le barycentre des points ''A'' et ''B'' sera situé sur le segment [''AB'']

Dans le cas particulier où {{nobr|''a'' {{=}} ''b''}}, on parle plutôt d'isobarycentre. Dès lors, l'isobarycentre de deux points ''A'' et ''B'' correspond au [[milieu d'un segment|milieu]] de ces deux points.

Les points ''A'' et ''B'' étant donnés, la construction géométrique du barycentre ''G'' de ces deux points se fait grâce au [[théorème de Thalès]].

Certains logiciels de géométrie dynamique (LGD) définissent {{nobr|''G'' {{=}} bar{(''A'',''a''),(''B'',''b'')}<nowiki/>}} par {{nobr|''G'' {{=}} ''a''×''A'' + ''b''×''B''}}.

=== Colinéarité ===
De la définition
:<math>a\,\overrightarrow{GA} + b\,\overrightarrow{GB} = \overrightarrow 0,</math>
on tire que
:<math>a\,\overrightarrow{GA} = (-b)\,\overrightarrow{GB}</math>
ou encore que
:<math>\overrightarrow{GA} = -\frac{b}{a}\, \overrightarrow{GB}.</math>
En d'autres termes, ces deux vecteurs sont colinéaires. Ils ont de plus un point en commun, ''G''. Par conséquent, ''G'' appartient à la droite (''AB''). Ainsi
{{énoncé|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
:<math>\overrightarrow{GA} = k\, \overrightarrow{GB}</math>
pour un certain ''k''< 0 puisque ces deux vecteurs sont de sens opposé. Mais, comme dans le même temps
:<math>\overrightarrow{GA} = -\frac{b}{a}\, \overrightarrow{GB},</math>
on en déduit que ''b'' et ''a'' sont de même signe. Ainsi
{{énoncé|Si ''G'' est sur le segment [''AB''] (entre ''A'' et ''B'') alors ''a'' et ''b'' sont de même signe.}}

=== Homogénéité ===
Si ''G'' est le barycentre de {(''A'',''a''),(''B'',''b'')} alors
:<math>a\,\overrightarrow{GA} + b\,\overrightarrow{GB} = \overrightarrow 0</math>
et il vient que pour tout réel ''k'' on a
:<math>k\,\left(a\,\overrightarrow{GA} + b\,\overrightarrow{GB}\right) = \overrightarrow 0.</math>
Autrement dit, on obtient
:<math>(ka)\,\overrightarrow{GA} + (kb)\,\overrightarrow{GB} = \overrightarrow 0.</math>
De plus, comme {{nobr|''a'' + ''b''}} est non nul, pour tout ''k'' réel non nul, {{nobr|''k''(''a'' + ''b'')}} est également non nul. Alors ''G'' est le barycentre de {(''A'',''ka''),(''B'',''kb'')}. Ainsi
{{énoncé|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'',''ka''),(''B'',''kb'')}.}}

Autrement dit le barycentre de deux points reste inchangé si les coefficients de pondération de ces points sont multipliés par un même réel.

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

=== Réduction ===
L'application de la relation de Chasles
:<math>a\,\overrightarrow{MA} + b\,\overrightarrow{MB}</math>
en introduisant le barycentre ''G'' de {(''A'',''a''),(''B'',''b'')} donne
:<math>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}.</math>
''G'' étant barycentre de {(''A'',''a''),(''B'',''b'')} alors :
:<math>a\,\overrightarrow{GA} + b\,\overrightarrow{GB} = \overrightarrow 0.</math>
La relation précédente devient:
: <math>a\,\overrightarrow{MA} + b\,\overrightarrow{MB} =a\,\overrightarrow{MG} + b\,\overrightarrow{MG}+ \overrightarrow 0 = ( a+b)\,\overrightarrow{MG}. </math>
Ainsi
{{énoncé|Si ''G'' est le barycentre de {(''A'',''a''),(''B'',''b'')} alors pour tout point ''M'' du plan,
<math display=block>a\,\overrightarrow{MA} + b\,\overrightarrow{MB} = (a+b)\,\overrightarrow{MG}</math>
}}
C'est la propriété dite de '''réduction''', ou '''réduction de somme vectorielle'''.

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 (''x{{ind|G}}'', ''y{{ind|G}}'') du point ''G'' dans ce repère en fonction des coordonnées (''x{{ind|A}}'', ''y{{ind|A}}'') et (''x{{ind|B}}'', ''y{{ind|B}}'') des points ''A'' et ''B'' dans ce repère:
:<math>x_G = \frac{a\,x_A+b\,x_B}{a+b},</math>
:<math>y_G = \frac{a\,y_A+b\,y_B}{a+b}.</math>

== Barycentre de trois points dans le plan ou dans l'espace ==
La définition peut se généraliser à trois points du plan ou de l'espace : pour tous réels ''a'', ''b'' et ''c'' tels que ''a + b + c'' soit non nul, il existe un unique point ''G'' tel que
:<math>a\,\overrightarrow{GA} + b\,\overrightarrow{GB} + c\,\overrightarrow{GC}= \overrightarrow 0</math>
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''.

Dans le cas particulier où {{nobr|''a'' {{=}} ''b'' {{=}} ''c''}}, on parle plutôt d'isobarycentre que de barycentre.

Comme pour le barycentre de deux points, le barycentre de trois points permet de réduire l'expression vectorielle
:<math>a\,\overrightarrow{MA} + b\,\overrightarrow{MB} + c\,\overrightarrow{MC} </math>
pour tout point ''M'' :
:<math>a\,\overrightarrow{MA} + b\,\overrightarrow{MB} + c\,\overrightarrow{MC} = (a+b+c)\,\overrightarrow{MG}.</math>
Cela permet, en remplaçant ''M'' par l'origine du repère, de donner les coordonnées (''x{{ind|G}}'', ''y{{ind|G}}'', ''z{{ind|G}}'') du point ''G'' dans ce repère en fonction des coordonnées (''x{{ind|A}}'', ''y{{ind|A}}'', ''z{{ind|A}}''), (''x{{ind|B}}'', ''y{{ind|B}}'', ''z{{ind|B}}'') et (''x{{ind|C}}'', ''y{{ind|C}}'', ''z{{ind|C}}'') des points ''A'', ''B'' et ''C'' dans ce repère:
:<math>x_G = \frac{a\,x_A+b\,x_B + c\,x_c}{a+b+c},</math>
:<math>y_G = \frac{a\,y_A+b\,y_B+c\,y_c}{a+b+c},</math>
:<math>z_G = \frac{a\,z_A+b\,z_B+c\,z_c}{a+b+c}.</math>

Le barycentre possède en outre une propriété dite d'associativité ou de barycentre partiel : si ''a + b'' est non nul et si ''H'' est le barycentre du système {(''A'',''a''),(''B'',''b'')}, alors ''G'' est le barycentre du système {(''H'',''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.

[[Fichier:Centre gravite.png|250px|thumb|Le triangle ''ABC'' et son centre de gravité ''G'', à la fois isobarycentre des sommets et point intersection des médianes.]]
En considérant trois points ''A'', ''B'' et ''C'' distincts et non alignés , le [[Triangle#Médianes_et_centre_de_gravité|centre de gravité du triangle]] ''ABC'' est par définition le point d'intersection de ses trois [[médiane (géométrie)|médianes]]. Il est situé aux 2/3 d'une médiane en partant du [[sommet (géométrie)|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
:<math>\overrightarrow{AG}=\frac{2}{3}\,\overrightarrow{AA'}, </math>
:<math>\overrightarrow{BG}=\frac{2}{3}\,\overrightarrow{BB'}, </math>
:<math>\overrightarrow{CG}=\frac{2}{3}\,\overrightarrow{CC'}</math>
Ainsi, le centre de gravité du triangle est exactement l'isobarycentre des sommets du triangle, c'est-à-dire que
:<math>\overrightarrow{GA} + \overrightarrow{GB} + \overrightarrow{GC} = \overrightarrow{0}.</math>
{{Clr}}

Remarque :
il existe une encyclopédie de points remarquables d'un triangle ''ABC'' : chacun de ces points remarquables est défini comme barycentre des trois points ''A'', ''B'' et ''C''[https://faculty.evansville.edu/ck6/encyclopedia/ETC.html]

== Applications ==
=== En géométrie ===
[[Fichier:CevaGrad.svg|250px|thumb|Figure 1.]] En géométrie affine, les barycentres (et tout particulièrement les isobarycentres) facilitent grandement les problèmes d'alignement et de concours (trois points sont alignés dès que l'un des points est barycentre des deux autres) et permettent des démonstrations élégantes de théorèmes comme le [[théorème de Ménélaüs]], le [[théorème de Ceva]] ou les propriétés du [[quadrilatère complet]].

{{Article détaillé|Théorème de Ceva}}

Par exemple, pour le théorème de Ceva, considérons la figure ci-contre (figure 1), les graduations sur chaque côté sont régulières. Le théorème de Ceva affirme que les droites (''AM''), (''BN'') et (''CP'') sont concourantes.

{{démonstration | titre=Démonstration | contenu=
La lecture de la figure permet de dire que :
* ''P'' est barycentre du système {(''A'' ; 2), (''B'' ; 1)} ;
* ''N'' est barycentre du système {(''A'' ; 3), (''C'' ; 1)} ;
* ''M'' est barycentre du système {(''B'' ; 3), (''C'' ; 2)}.
La propriété d'homogénéité du barycentre permet de dire que :
* ''P'' est barycentre du système {(''A'' ; 6), (''B'' ; 3)} ;
* ''N'' est barycentre du système {(''A'' ; 6), (''C'' ; 2)} ;
* ''M'' est barycentre du système {(''B'' ; 3), (''C'' ; 2)}.
Il suffit alors de créer un point G barycentre du système {(''A'' ; 6), (''B'' ; 3) ; (''C'' ; 2)} et d'utiliser trois fois la propriété d'associativité :
* ''G'' est barycentre du système {(''P'' ; 9), (''C'' ; 2)} donc ''G'' est sur la droite (''PC'') ;
* ''G'' est barycentre du système {(''N'' ; 8), (''B'' ; 3)} donc ''G'' est sur la droite (''NB'') ;
* ''G'' est barycentre du système {(''M'' ; 5), (''A'' ; 6)} donc ''G'' est sur la droite (''AM'').
''G'' est donc le point de concours des trois droites.
| déroulante=oui }}
{{Clr}}

=== Réduction des fonctions de Leibniz ===
{{Article détaillé|Fonction de Leibniz}}

Grâce à la notion de barycentre, il est possible de réduire des expressions vectorielles.

Prenons l'exemple de 3 points ''A'', ''B'' et ''C'' de poids ''a'', ''b'' et ''c'' (de somme non nulle) et considérons le barycentre ''G'' de ces trois points. La formule du premier degré est celle du barycentre :
:<math>a\,\overrightarrow{MA} + b\,\overrightarrow{MB} + c\,\overrightarrow{MC} = (a+b+c)\,\overrightarrow{MG}</math>
qui permet de nombreux calculs du premier degré sur les vecteurs.

À partir du barycentre il est possible de définir une formule du second degré, au sens du [[produit scalaire]] des vecteurs, qui permet de calculer la quantité
:<math>r= a\,\overrightarrow{MA}^2 + b\,\overrightarrow{MB}^2 + c\,\overrightarrow{MC}^2.</math>
Pour cela, remplaçons chaque vecteur <math>\textstyle\overrightarrow{MX}</math> par <math>\textstyle(\overrightarrow{MG}+\overrightarrow{GX})</math> et appliquons la formule du carré d'une somme:
:<math>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 </math>
:<math>r= (a+b+c)\,\overrightarrow{MG}^2+a\,\overrightarrow{GA}^2 + b\,\overrightarrow{GB}^2 + c\,\overrightarrow{GC}^2 + 2\overrightarrow{MG}\cdot(a\,\overrightarrow{GA} + b\,\overrightarrow{GB} + c\,\overrightarrow{GC})</math>
Les doubles produits s'annulent, d'où
:<math>a\,\overrightarrow{MA}^2 + b\,\overrightarrow{MB}^2 + c\,\overrightarrow{MC}^2 = (a+b+c)\,\overrightarrow{MG}^2+(a\,\overrightarrow{GA}^2 + b\,\overrightarrow{GB}^2 + c\,\overrightarrow{GC}^2) </math>
au second degré.

=== En physique ===
{{Article détaillé|Utilisation du barycentre en physique|Centre d'inertie}}

Le barycentre est tout d'abord un outil utilisé pour calculer des points d'équilibre de [[point matériel|points matériels]], et plus généralement ensuite de [[centre d'inertie|centres d'inertie]] (aussi appelé centre de masse) dans certains cas. La notion même de centre d'inertie peut être vue comme une généralisation du barycentre à un [[continuum]] de points matériels.

En effet, si on considère un domaine ''D'' de volume fini de l'espace dont la [[masse volumique]] au point ''M'' est donnée par ''g''(''M''), alors le centre d'inertie ''G'' de ''D'' est défini comme le point de l'espace vérifiant
:<math>\int_\mathrm{D} g(M)\overrightarrow{GM}\, \mathrm{d}V = \overrightarrow 0</math>
qui généralise la formule
:<math>\sum_{i = 1}^n a_i\overrightarrow{GA_i} = \overrightarrow 0</math>.
définissant le barycentre ''G'' des points matériels ''A''{{sub|''i''}} de masse ''a''{{sub|''i''}} = ''g''(''A''{{sub|''i''}}).

Les coordonnées du centre d'inertie sont données par
:<math>x_{j, \mathrm{G}} = \frac{\iiint g(x_1 , x_2 , x_3) \, x_j~\mathrm dx_1\mathrm dx_2 \mathrm dx_3}{\iiint g(x_1 , x_2 , x_3)~\mathrm dx_1\mathrm dx_2 \mathrm dx_3},\quad j \in \{1,2,3\},</math>
qui généralise celles des coordonnées du barycentre ''G'' des points matériels ''A''{{sub|''i''}} de masse ''a''{{sub|''i''}} données par
:<math>x_{j, \mathrm{G}} = \frac{\sum_{i = 1}^n a_i x_{j, A_i} }{\sum_{i = 1}^n a_i },\quad j \in \{1,2,3\}.</math>

Dans certains cas particuliers, le calcul du centre d'inertie se ramène à un simple calcul de barycentre. Par exemple, on peut se servir des barycentres pour calculer le [[Centre de masse d'une plaque homogène|centre d'inertie d'une plaque homogène]] ayant une forme polygonale.

[[image:orbit2.gif|thumb|right|200px|Animation impliquant deux corps de faible différence de masse. Le barycentre se trouve à l'extérieur du corps principal comme dans le cas du couple [[Pluton (planète naine)|Pluton]]/[[Charon (lune)|Charon]].]]

{{Article détaillé|Coordonnées barycentriques (astronomie)}}

Le barycentre est également utilisé en [[astronomie]]. On parle de '''barycentre''' en ce qui concerne le couple formé par un corps stellaire et l'un de ses satellites. Le barycentre est le point autour duquel l'objet secondaire gravite.
{{Clr}}

== Généralisation à la notion de barycentre de ''n'' points d'un espace affine ==
Les définitions et résultats énoncés plus haut pour deux ou trois points du plan ou de l'espace usuels se généralisent à ''n'' points d'un [[espace affine]] ''E'' sur un [[corps commutatif|corps]] (commutatif) ''K'' quelconque.

=== Définition ===
Soient {{math|(''A''{{ind|1}}, … , ''A{{ind|n}}'')}} des points de ''E'' et soient {{math|(''a''{{ind|1}}, … , ''a{{ind|n}}'')}} des [[scalaire (mathématiques)|scalaires]] (c'est-à-dire d'éléments de ''K'') ''de somme non nulle''.

Le barycentre des points {{math|(''A''{{ind|1}}, … , ''A{{ind|n}}'')}} affectés des coefficients {{math|(''a''{{ind|1}}, … , ''a{{ind|n}}'')}} est l'unique point {{mvar|G}} de ''E'' tel que
:<math> \sum_{i=1}^n a_i\,\overrightarrow{GA_i}= \overrightarrow 0</math>.
L'existence et l'unicité de ce point se prouvent aisément en utilisant la [[relation de Chasles]].

On peut noter {{math|bar(''A{{ind|i}}'', ''a{{ind|i}}''){{sub|1=''i''=1, … ,''n''}}}}, ou <math>\text{bar}\begin{pmatrix} A_1 & \cdots&A_n \\ a_1 & \cdots&a_n \end{pmatrix}</math>, ou encore <math>\frac1{\sum a_i}\sum a_iA_i</math>, le barycentre des points {{math|(''A''{{ind|1}}, … , ''A{{ind|n}}'')}} affectés des coefficients {{math|(''a''{{ind|1}}, … , ''a{{ind|n}}'')}}.

Dans le cas particulier où {{math|1=''a''{{sub|1}} = ''a''{{sub|2}} = … = ''a{{sub|n}}''}}, on parle d'isobarycentre.

=== Propriétés immédiates ===
* '''Commutativité''' : on peut changer l'ordre des points sans changer la valeur du barycentre tant que les points conservent leur coefficient.
* '''Homogénéité''' : on peut multiplier tous les coefficients par un même scalaire ''k'' non nul sans changer la valeur du barycentre. On privilégie alors souvent les coefficients dont la somme vaut 1.
* '''Associativité''' : si
:<math>a:=\sum a_i \ne 0, \quad b:=\sum b_j\ne 0\quad \text{et} \quad c:=a+b\ne 0</math>,
on peut définir
:<math>A=\frac1a\sum a_iA_i\quad \text{et} \quad B=\frac1b\sum b_jB_j</math>
et l'on a l'égalité suivante :
: <math>\frac1c\left(\sum a_iA_i+\sum b_jB_j\right)=\frac1c\left(aA+bB\right)</math>.
Cette propriété se généralise à un regroupement de ''p'' sous-familles de coefficients.

=== Coordonnées barycentriques ===
{{Article détaillé|Coordonnées barycentriques}}

Si l'espace affine ''E'' est associé à un espace vectoriel ''V'' de dimension ''n'', et si (''A''{{sub|0}},...,''A''{{sub|n}}) sont ''n'' + 1 points de ''E'', on dit que ces ''n''+1 points forment un repère barycentrique si les vecteurs
:<math>\left(\overrightarrow{A_0A_i}\right)_{i=1...n}</math>
forment une [[Base (algèbre linéaire)|base]] de ''V''. On démontre, grâce à la relation de Chasles, que cette propriété est indépendante de l'ordre des points.

Si (''A''{{sub|0}},...,''A''{{sub|n}}) forment un repère barycentrique de ''E'' alors tout point ''M'' de ''E'' peut être trouvé comme barycentre des (''A''{{sub|0}},...,''A''{{sub|n}}) avec, par homogénéité {{supra|Propriétés immédiates}}, des coefficients (''a''{{sub|0}},...,''a''{{sub|n}}) de somme 1. Ils sont appelés les [[coordonnées barycentriques]] de ''M''.

=== Variété affine ===
On appelle variété affine d'un espace affine ''E'' toute partie de ''E'' [[Partie stable|stable]] par barycentres. On démontre que cette définition coïncide avec celle de [[sous-espace affine]].

Le [[sous-espace affine engendré]] par une famille de ''n'' points (''A''{{sub|1}},...,''A''{{sub|n}}) est le plus petit ensemble contenant ces points et stable par barycentres.

Par exemple, le sous-espace affine engendré par deux points non confondus est une droite affine, et le sous-espace affine engendré par trois points non alignés est un plan affine.

=== Segments, ensemble convexe ===
Soit ''E'' un espace affine sur '''R'''. Si ''A'' et ''B'' sont deux points distincts de ''E'', l'ensemble des points
:<math>M = \mathrm{bar}((A,k),(B,1-k)),</math>
où ''k'' est un élément de [0, 1], est une partie de la droite (''AB'') appelé [[Segment (mathématiques)|segment]] [''AB'']. C'est aussi l'ensemble des points
:<math>M = \mathrm{bar}((A,a),(B,b))</math>
où ''a'' et ''b'' sont deux [[Nombre réel|réels]] [[Nombre positif|positifs]] (au sens large).

Un ensemble stable par barycentres à coefficients positifs est un [[ensemble convexe]].

L'ensemble des [[Combinaison convexe|combinaisons convexes]] des points (''A''{{sub|1}},...,''A''{{sub|n}}), c'est-à-dire de leurs barycentres à coefficients positifs, est l'[[enveloppe convexe]] des points (''A''{{sub|1}},...,''A''{{sub|n}}).

=== Application affine ===
Soit ''E''{{sub|1}} et ''E''{{sub|2}} deux espaces affines et soit ''f'' une application de ''E''{{sub|1}} dans ''E''{{sub|2}}. On dit que ''f'' conserve le barycentre si pour tout barycentre
:<math>G = \mathrm{bar}(\left(A_i, a_i)\right)_{i=1...n}</math>
de ''E''{{sub|1}}, on a
:<math>f(G) = \mathrm{bar}(\left(f(A_i), a_i)\right)_{i=1...n},</math>
c'est-à-dire que l'image de ''G'' par ''f'' est le barycentre appartenant à ''E''{{sub|2}} des points ''f''(''A''{{sub|''i''}}) affectés des points ''a''{{sub|''i''}}.

La propriété d'associativité du barycentre permet de se limiter à vérifier la conservation pour tout barycentre de deux points.

On démontre que l'ensemble des applications de ''E''{{sub|1}} vers ''E''{{sub|2}} conservant le barycentre coïncide avec celui des [[application affine|applications affines]] de ''E''{{sub|1}} vers ''E''{{sub|2}}.

Certaines applications affines s'expriment bien à l'aide du barycentre. Voici deux exemples.
* Soient ''A'' et ''B'' deux points, la transformation qui, au point ''M'' associe le point
::<math>M' = \mathrm{bar}((B,1), (A,-1), (M,1))</math>
:est une [[translation (géométrie)|translation]], qui a pour vecteur <math>\textstyle \overrightarrow{AB}</math>.
* Soient ''C'' un point et ''k'' un scalaire non nul. La transformation qui au point ''M'' associe le point
::<math>M'= \mathrm{bar}((C,1-k),(M,k))</math>
:est l'[[homothétie]] de centre ''C'' et rapport ''k''.

== Voir aussi ==
=== Articles connexes ===
{{Autres projets|wiktionary=Barycentre|wikiversity=Barycentre}}
* [[Théorème de Leibniz]]
* [[Centre de masse (géométrie riemannienne)]]
* [[Centre de gravité d'un arc de courbe]]
* [[Moyenne pondérée]]

=== Bibliographie ===
* {{Ouvrage|prénom1=Michèle|nom1=Audin|lien auteur1=Michèle Audin|titre=Géométrie|éditeur=[[EDP Sciences]]|année=2006|numéro d'édition=3|pages totales=428|page=29|isbn=978-2-7598-0180-0|présentation en ligne={{Google Livres|n1EdG4fcor0C|page=29}}}}<!--{{en}} Michèle Audin, ''Geometry'', Universitext, Springer {{ISBN|978-3540434986}}, {{Google Livres|U_cTJMCIzdUC|aperçu}}-->
* {{Berger2}} ([[Référence:Géométrie (Berger)#Nathan (Tome 1)|Tome 1)]]
* ''Petite encyclopédie de mathématique'', [[Didier (maison d'édition)|Didier]]
* Jean-Denis Eiden, [[Géométrie analytique]] classique, Calvage & Mounet, 2009 {{ISBN|978-2-91-635208-4}}
* Jean Fresnel, ''Méthodes modernes en géométrie''
* Bruno Ingrao, ''Coniques projectives, affines et métriques'', Calvage & Mounet {{ISBN|978-2916352121}}
* D. Lehmann et [[Rudolf Bkouche]], ''Initiation à la géométrie'', [[PUF]], 1988 {{ISBN|2 13 040160 0}}

{{Portail|mathématiques|géométrie}}

[[Catégorie:Géométrie affine]]
[[Catégorie:Construction géométrique]]
[[Catégorie:Géométrie vectorielle]]
[[Catégorie:Point]]
[[Catégorie:Moyenne]]