- Barycentre (géométrie affine)
-
Pour les articles homonymes, voir Barycentre.
En géométrie affine, le barycentre de plusieurs points affectés de coefficients est un point annulant une certaine égalité vectorielle. Le calcul de barycentre est l'outil fondamental de la géométrie affine, comme la combinaison linéaire est celui de la géométrie vectorielle. Il permet de caractériser les sous-espace affines, les applications affines et la convexité.
Dans cet article, la notion de barycentre est présentée dans le cadre d'un espace affine quelconque sur un corps quelconque. Une présentation plus élémentaire est exposée dans l'article Barycentre (géométrie élémentaire).
Sommaire
Géométrie affine
Définition
Soient , n points d'un espace affine et soient , n scalaires de somme non nulle, le barycentre des points affectés des coefficients est l'unique point G tel que
- .
On trouve les notations suivantes pour le barycentre :
L'existence et l'unicité de ce point G, pour peu que la somme des coefficients soit non nulle, se prouve aisément en utilisant la relation de Chasles.
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é et dissociativité: Soit k un entier compris entre 1 et n-1, si , et , on peut parler de G1 = bar((Ai,ai))i = 1...k, et de G2 = bar((Ai,ai))i = k + 1...n, et l'on a l'égalité suivante :
Cette propriété se généralise à un regroupement de p sous-familles de coefficients.
Coordonnées barycentriques
Si l'espace affine E est associé à un espace vectoriel V de dimension n, et si sont n+1 points de l'espace affine, on dit que ces n+1 points forment un repère barycentrique si les vecteurs forment une base de V. On démontre, grâce à le relation de Chasles, que cette propriété est indépendante de l'ordre des points.
Si forment un repère barycentrique de l'espace alors tout point M de cet espace peut être trouvé comme barycentre des . La propriété d'homogénéité permet de dire que les coefficients ne sont pas uniques (les multiplier par un scalaire k non nul, ne changera pas la position de M), on privilégie alors les coefficients tels que leur somme vaut 1. Ils sont appelés coordonnées barycentriques de M.
Variété affine
On appelle variété affine d'un espace affine E toute partie de E stable par prise de barycentre. 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 , est le plus petit ensemble contenant ces n points et stable par prise de 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 M = bar((A,k),(B,1 − k)) où k est élément de [0;1], est une partie de la droite (AB) appelé segment [AB]. C'est aussi l'ensemble des points M = bar((A,a),(B,b)) où a et b sont deux réels positifs ou nuls.
Un ensemble stable par prise de barycentre avec coefficients toujours positifs ou nuls est un ensemble convexe.
L'ensemble des combinaisons convexes des points , c'est-à-dire de leurs barycentres à coefficients positifs ou nuls, est l'enveloppe convexe des points .
Application affine
Soit f une application de E1 dans E2 , on dit que f conserve le barycentre si pour tout point , on a . 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 E1 dans E2 conservant le barycentre coïncide avec celui des applications affines de E1 dans E2.
Certaines applications affines s'expriment bien à l'aide du barycentre.
Exemples :
- Soient A et B deux points, la transformation qui, au point M associe le point M' = bar((B,1),(A, − 1),(M,1)) est une translation, qui a pour vecteur .
- Soient C un point et k un scalaire non nul. La transformation qui au point M associe le point M' = bar((C,1 − k),(M,k)) est l'homothétie de centre C et rapport k.
Quelques usages des barycentres en mathématiques
En géométrie affine, les barycentres 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 Céva ou les propriétés du quadrilatère complet. Il sert aussi à simplifier les fonctions de Leibniz.
La notion de barycentre est aussi fondamentale dans la construction des courbes de Bézier.
Bibliographie
- Michèle Audin, Geometry, Universitext, Springer, ISBN 978-3540434986
- Marcel Berger, Géométrie [détail des éditions] (Tome 1)
- Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, 2009, ISBN 978-2-91-635208-4
- Petite encyclopédie de mathématique (Ed. Didier)
- Méthodes modernes en géométrie de Jean Fresnel
- D. Lehmann et R. Bkouche, Initiation à la géométrie, PUF 1988, ISBN 2 13 040160 0
Voir aussi
Wikimedia Foundation. 2010.