La question, rapportée par un de mes étudiants fraîchement sorti du secondaire, est de savoir si, dans un triangle de centre de gravité
, les triangles
et
ont même aire. La réponse est oui, et on peut en donner plusieurs vérifications, de la plus élémentaire à la plus sophistiquée. J’en propose trois, ci-dessous. Les deux premières répondent strictement à la question. L’une est rapide mais difficile et l’autre est élémentaire. La dernière repose sur une information générale qui explique bien, et facilement, l’origine du résultat.
Une première réponse, sophistiquée
L’argument suivant repose sur les propriétés des affinités et sur l’observation, banale, que dans le cas d’un triangle équilatéral les aires des triangles considérés sont évidemment égales. Considérons donc un triangle
. Il existe une affinité transformant
en
respectivement. Elle transforme le centre de gravité
de
en le centre de gravité
de
. Elle transforme donc les triangles
, etc. en leurs homologues
, etc. En général, une affinité ne conserve pas les aires. Elle conserve par contre les rapports entre deux aires. En particulier, deux figures de même aire sont transformées en deux figures d’aires égales. D’où la conclusion : les aires des triangles
et
sont égales comme le sont les aires des triangles dont ils sont les images.
Une deuxième réponse, élémentaire
Avec les notations de la figure ci-dessus, les hauteurs et
des triangles
et
sont entre elles comme
et
car les triangles
et
sont semblables. Les aires des triangles
et
sont donc également entre elles comme
et
. Lorsque
est le centre de gravité
du triangle
, cela montre que l’aire de
est égale au tiers de l’aire de
. Les aires des triangles
, etc. sont donc égales.
La dernière réponse: explications
Nous allons utiliser la notion de coordonnées barycentriques. Pour rappel, les coordonnées barycentriques d’un point
par rapport à un triangle
sont des nombres tels que
et
Etant donné un point , quelconque, on obtient
à partir de ses coordonnées barycentriques en faisant subir à
la translation de vecteur
Les coordonnées barycentriques de peuvent être calculées en terme de rapports d’aires orientées. En désignant par
l’aire orientée d’un ensemble
, il vient
Les coordonnées barycentriques
d’un point
par rapport à un triangle
sont les rapports
des aires orientées des triangles
à celle du triangle
.
Cette propriété résout immédiatement notre question initiale car les coordonnées barycentriques du centre de gravité d’un triangle par rapport à celui-ci sont .
J’avoue, un peu honteux, avoir ignoré relativement longtemps cette propriété — à présent , ce n’est guère possible, en googlant avec les mots clés coordonnées barycentriques, on obtient facilement des pages web où cela vous est rappelé dès les premiers paragraphes. Une raison est sans doute que la notion d’aire, orientée ou non, n’est pas affine — comme dit plus haut, seuls les rapports de deux aires sont conservés par affinités — et je n’étais donc pas enclin à faire le rapprochement.
Le statut de la notion d’aire en géométrie élémentaire n’est d’ailleurs pas très clair, au niveau de l’enseignement secondaire, voire en début d’études universitaires. On aurait plutôt tendance à la ranger au rayon des notions métriques, ce qu’elle n’est pas. S’il est vrai qu’une métrique définit une mesure canonique, il n’est pas nécessaire d’avoir d’un produit scalaire pour disposer d’une notion d’aire.
Une façon de voir les choses est de comparer les groupes d’invariance associés à chaque structure. En dimension , celui d’une métrique est le groupe des isométries, plus exactement celui,
, des matrices orthogonales de dimension
. Celui de la structure affine est le groupe linéaire général
. Pour les aires, volumes, etc. il s’agit du groupe unimodulaire(*), formé des matrices carrées de déterminant égal à
. Il est strictement intercalé entre les deux précédents :
ce qui explique que toute métrique définit une structure unimodulaire(**) mais qu’une telle structure ne provient pas canoniquement d’une métrique ni n’est préservée par toutes les affinités de l’espace affine sur lequel elle est définie.
Les choses sont parfois un peu compliquées…
😉
__________
(*) Certains réservent ce nom au groupe des matrices de déterminant égal à 1 qui est le groupe de structure permettant de définir des aires, volumes, etc. orientés. Je ne connais pas de notation officielle pour le groupe dont je parle ici. Nous le noterons donc, de façon purement ponctuelle et locale,
.
(**) C’est le mot que j’utilise pour la notion d’aire, volume, etc. en dimension quelconque.
Pingback: Coordonnées barycentriques et aires orientées | Blog de Pierre Lecomte