Coordonnées barycentriques

Cet article est une ébauche concernant la géométrie.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En géométrie affine, les coordonnées barycentriques d'un point par rapport à un repère barycentrique sont une famille de poids permettant de définir ce point comme un barycentre.

Définitions[modifier | modifier le code]

Base affine[modifier | modifier le code]

Article détaillé : Repère affine.

Une famille finie $(P 0,\dots, P k)$ de points d'un espace affine E est dite affinement libre, ou encore ces points sont dits affinement indépendants, quand aucun des points $P i$ n'appartient au sous-espace affine engendré par les k autres points. Dans le cas contraire il est dit affinement lié. Par exemple deux points distincts forment une famille affinement libre, de même 3 points non alignés, et 4 points non coplanaires^[1].

De façon équivalente une famille finie $(P 0,\dots, P k)$ est affinement libre quand l'une des conditions suivantes est réalisée :

aucun des points $P i$ n'est barycentre des autres points ;
la famille de vecteurs $\left({\overrightarrow {P_{0}P_{1}}},{\overrightarrow {P_{0}P_{2}}},\dots ,{\overrightarrow {P_{0}P_{k}}}\right)$ est libre (ou la condition analogue en prenant n'importe lequel des $P i$ comme origine).

Il suit de la seconde condition et des propriétés des familles libres des espaces vectoriels qu'une famille affinement libre d'un espace affine de dimension finie n est d'ordre au plus n + 1. On appelle alors base affine (et très souvent repère affine) une famille affinement libre maximale, et la seconde condition devient :

$(P 0,\dots, P n)$ est une base affine de l'espace affine E si et seulement si $\left({\overrightarrow {P_{0}P_{1}}},{\overrightarrow {P_{0}P_{2}}},\dots ,{\overrightarrow {P_{0}P_{n}}}\right)$ est une base vectorielle de la direction de E, c'est-à-dire si et seulement si $P 0$ muni de cette famille de vecteurs est un repère affine (très souvent appelé un repère cartésien) de E.

Une base affine d'un espace affine E de dimension finie n est donc une famille affine libre $(P 0,\dots, P n)$ de n + 1 points. Ainsi 2 points distincts d'une droite forment une base affine de celle-ci, 3 points non alignés d'un plan forment une base affine de ce plan, 4 points non coplanaires d'un espace de dimension 3 une base de celui-ci, etc.

L'espace affine engendré par $(P 0,\dots, P n)$ , c'est-à-dire le plus petit sous-espace affine contenant ces points, est l'espace affine E tout entier si ces points forment une base affine de E.

Coordonnées barycentriques[modifier | modifier le code]

Soit $(P 0,\dots, P n)$ une base affine, encore appelée repère barycentrique ou encore repère affine d'un espace affine E. Alors, tout point M de l'espace affine peut s'écrire comme un barycentre des points du repère, c'est-à-dire qu'il existe n + 1 scalaires $(\lambda _{0},\dots ,\lambda _{n})$ vérifiant :

\lambda _{0}{\overrightarrow {MP_{0}}}+\lambda _{1}{\overrightarrow {MP_{1}}}+\dots +\lambda _{n}{\overrightarrow {MP_{n}}}={\overrightarrow {0}}

avec

\lambda _{0}+\lambda _{1}+\dots +\lambda _{n}\neq 0

et de plus deux systèmes de scalaires vérifiant ceci sont multiples l'un de l'autre.

On appelle alors coordonnées barycentriques, ou coefficients barycentriques, du point M un tel système de « poids » $(\lambda _{0},\dots ,\lambda _{n})$ , et les coordonnées barycentriques de M ne sont pas uniques, mais seulement uniques à un coefficient multiplicateur non nul près. Elles peuvent être définies de manière unique en fixant la somme des coordonnées à 1 : de telles coordonnées sont dites normalisées.

Les coordonnées barycentriques sont parfois notées, surtout dans les textes anglais : $(\lambda _{0}:\lambda _{1}:\dots :\lambda _{n})$ , notation représentant la classe d'équivalence dans l'espace projectif $P_{n}(K)$ de $(\lambda _{0},\dots ,\lambda _{n})$ . Ce qui permet d'écrire par exemple $\left({\frac {1}{a}}:{\frac {1}{b}}:{\frac {1}{c}}\right)=\left(bc:ca:ab\right)$ .

Dans le plan[modifier | modifier le code]

Dans le plan, les trois sommets d'un triangle ABC non aplati constituent un repère barycentrique. Son centre de gravité G est le point de coordonnées barycentriques (1,1,1) par rapport au repère (A,B,C).

En notant I le milieu de [BC], G a pour coordonnées barycentriques (1,2) par rapport au repère (A,I) de la droite (AI).

Dans ce triangle, le point I est de coordonnées (0,1,1) par rapport au repère (A,B,C).

La notion d'aire, bien que souvent introduite en géométrie euclidienne, est une notion affine. Plus précisément, c'est l'aire algébrique d'un triangle orienté dans le plan que l'on définit, rapportée à l'aire d'un triangle orienté choisi comme unité (ou du parallélogramme d'une base constitué de deux vecteurs, l'ordre des vecteurs n'étant pas indifférent)^[2]. C'est en fait le rapport d'aires algébriques dans un même plan qui se définit par le déterminant.

Il est alors possible d'interpréter les coordonnées barycentriques dans le plan en termes d'aire^[3].

Coordonnées barycentriques, déterminant et aire[modifier | modifier le code]

Soit $ABC$ un triangle non plat, c'est-à-dire que ( $A, B, C$ ) est un repère barycentrique. Alors un point quelconque du plan du triangle $P$ , a pour coordonnées les trois déterminants suivants (relatifs à une base quelconque du plan) :

\alpha =\det \left({\overrightarrow {PB}},{\overrightarrow {PC}}\right),\ \beta =\det \left({\overrightarrow {PC}},{\overrightarrow {PA}}\right),\ \gamma =\det \left({\overrightarrow {PA}},{\overrightarrow {PB}}\right)

c'est-à-dire que :

\alpha {\overrightarrow {PA}}+\beta {\overrightarrow {PB}}+\gamma {\overrightarrow {PC}}={\overrightarrow {0}}

avec :

\alpha +\beta +\gamma =\det \left({\overrightarrow {PB}},{\overrightarrow {PC}}\right)+\det \left({\overrightarrow {PC}},{\overrightarrow {PA}}\right)+\det \left({\overrightarrow {PA}},{\overrightarrow {PB}}\right)=\det \left({\overrightarrow {AB}},{\overrightarrow {AC}}\right)\neq 0

.

Si la base choisie est $\left({\overrightarrow {AB}},{\overrightarrow {AC}}\right)$ , les réels $α, β, γ$ sont alors les coordonnées normalisées de $P$ , vérifiant

\alpha +\beta +\gamma =1

et ces coordonnées normalisées s'interprètent comme des rapports d'aires algébriques de la façon suivante :

{\begin{cases}\alpha ={\frac {Aire(PBC)}{Aire(ABC)}}\\\beta ={\frac {Aire(APC)}{Aire(ABC)}}\\\gamma ={\frac {Aire(ABP)}{Aire(ABC)}}.\end{cases}}

En géométrie réelle, l'aire géométrique usuelle est la valeur absolue de l'aire algébrique. Le résultat vaut pour l'aire géométrique si le point est à l'intérieur du triangle. S'il est à l'extérieur, les signes des coefficients dépendent de l'orientation des triangles considérés (positif si l'orientation est la même que celle du triangle $ABC$ , négative dans le cas contraire, voir schéma).

Coordonnées barycentriques et angles[modifier | modifier le code]

En géométrie euclidienne, une autre façon de calculer les coordonnées barycentriques d'un point P consiste à considérer les angles orientés :

x={\widehat {BPC}},\,y={\widehat {CPA}},\,z={\widehat {APB}}

.

Alors les coordonnées barycentriques de P sont^[4] :

{\frac {1}{\cot A-\cot x}},\,{\frac {1}{\cot B-\cot y}},\,{\frac {1}{\cot C-\cot z}}

.

Exemples[modifier | modifier le code]

Voici les coordonnées barycentriques de quelques points remarquables du triangle :

$A(1,0,0)$
$B(0,1,0)$
$C(0,0,1)$
milieu de $[BC]\,(0,1,1)$
milieu de $[CA]\,(1,0,1)$
milieu de $[AB]\,(1,1,0)$
centre de gravité $G(1,1,1)$
centre du cercle inscrit $I(a,b,c)$ ou $(\sin {\widehat {A}},\sin {\widehat {B}},\sin {\widehat {C}}).$
centre du cercle circonscrit $O(a\cos {\widehat {A}},b\cos {\widehat {B}},c\cos {\widehat {C}})$ ou $(\sin 2{\hat {A}},\sin 2{\hat {B}},\sin 2{\hat {C}})$ ou encore $\left(a^{2}(b^{2}+c^{2}-a^{2}),b^{2}(c^{2}+a^{2}-b^{2}),c^{2}(a^{2}+b^{2}-c^{2})\right)$ .
orthocentre $H(a/\cos {\widehat {A}},b/\cos {\widehat {B}},c/\cos {\widehat {C}})$ ou $(\tan {\widehat {A}},\tan {\widehat {B}},\tan {\widehat {C}})$
centre du cercle d'Euler $\Omega (a\cos({\widehat {B}}-{\widehat {C}}),b\cos({\widehat {C}}-{\widehat {A}}),c\cos({\widehat {A}}-{\widehat {B}}))$
point symédian $(a^{2},b^{2},c^{2})$

On trouvera dans l'encyclopédie des centres de triangle (ETC) les coordonnées barycentriques de milliers de points remarquables du triangle.

Convexité[modifier | modifier le code]

L'enveloppe convexe d'un ensemble de points E rassemble tous les points admettant des coordonnées barycentriques à coefficients tous positifs par rapport à une famille de points de E^[5].

Lien avec les coordonnées cartésiennes[modifier | modifier le code]

Dans un espace vectoriel muni d'une base $(e_{1},\dots ,e_{n})$ , la famille de vecteurs $(0,e_{1},\dots ,e_{n})$ constitue un repère barycentrique pour la structure d'espace affine canonique et tout vecteur de coordonnées $(\lambda _{1},\dots ,\lambda _{n})$ relativement à la base $(e_{1},\dots ,e_{n})$ , correspond au point affine de coordonnées barycentriques $(1-s,\lambda _{1},\dots ,\lambda _{n})$ , où $s$ est la somme des coefficients $\lambda _{i}$ .

Lien avec les coordonnées projectives[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Les coordonnées projectives peuvent être interprétées comme des coordonnées barycentriques dans un repère formé de l'origine et des points à l'infini des axes.

Notes et références[modifier | modifier le code]

↑ Par exemple Ladegaillerie 2003, p. 27-28, et pour l'ensemble du paragraphe.
↑ Ladegaillerie 2003, p. 24.
↑ Ladegaillerie 2003, p. 49.
↑ (en) Nikolaos Dergiades, « A Simple Barycentric Coordinates Formula », Forum Geometricorum, vol. 9,‎ 2009, pp. 225–228 (ISSN 1534-1178, lire en ligne)
↑ Marcel Berger, Géométrie [détail des éditions], Prop. 11.1.8.4, tome 3, p. 26 dans l'édition de 1978.

Bibliographie[modifier | modifier le code]

Yves Ladegaillerie, Géométrie : affine, projective, euclidienne et anallagmatique, Paris, Ellipses, 2003, 515 p. (ISBN 2-7298-1416-7).
Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, 2009 (ISBN 978-2-916352-08-4)
Petite encyclopédie de mathématique, éd. Didier
Jean Fresnel, Méthodes modernes en géométrie