Un visiteur observait sur le forum M@th en Ligne que le centre de gravité d’un parallélogramme est le milieu du segment joignant les centres de gravité des triangles déterminés dans le parallélogramme par une diagonale. Songeant généraliser ce fait, il se posait la question suivante : l’isobarycentre d’un polygone est-il l’isobarycentre des centres de gravité des triangles formés par un sommet donné et les côtés du polygone ne contenant pas ce sommet? Il se trouve que l’on peut faire à propos de ce problème quelques observations amusantes dont je vais vous faire part. Pour simplifier la rédaction de ce texte, nous dirons dans la suite d’un sommet pour lequel la réponse à la question est oui qu’il a la propriété B.
Commençons par étudier le cas des quadrilatères. Le résultat est très simple :
Le centre de gravité d’un quadrilatère
est le milieu du segment délimité par les centres de gravité des triangles
et
si, et seulement si, c’est un parallélogramme
Dans cet énoncé, les sommets sont consécutifs. La vérification est immédiate. Le fait que le centre de gravité du quadrilatère soit le milieu du segment délimité par les centres de gravité des triangles en question s’écrit
condition dont on voit immédiatement qu’elle équivaut à
qui exprime que le quadrilatère donné est un parallélogramme.
Ainsi, pour les quadrilatères, si un sommet a la propriété B, les autres l’ont aussi. Nous allons voir que c’est propre à ces polygones.
Donnons-nous points
d’un espace affine (de dimension quelconque). Le point
et les côtés
(*) ne le contenant pas forment
triangles et le fait que
ait la propriété B s’écrit
ce qui, après calculs, se met sous la forme de l’équation
(1)
Dans cette équation, le sommet ayant la propriété B a le coefficient , ses voisins immédiats ont le même coefficient,
, et les autres ont le coefficient
. En particulier, les coefficients des équations exprimant que les autres sommets ont la propriété B s’obtiennent en permutant circulairement ceux de l’équation ci-dessus. Les équations relatives à tous les sommets forment donc un système dont la matrice des coefficients est la matrice « circulante »
J’affirme que
Pour
, le rang de la matrice
est
.
Nous allons voir, en effet, que est une valeur propre simple de la matrice
. Ses valeurs propres sont les zéros du déterminant de la matrice
qui est aussi circulante. Par suite, vu un résultat de ce billet, les valeurs propres en question sont les nombres
pour , où
La valeur propre est nulle car c’est la somme des coefficients de l’équation (1). Par ailleurs, un peu de calcul montre que, pour
,
La valeur propre est donc nulle si, et seulement si,
Cette égalité est vérifiée lorsque . Pour
, elle ne peut l’être car les cosinus des angles
ne sont pas rationnels. Pour
, elle ne l’est manifestement pas non plus et pour
, elle ne saurait pas l’être car son membre de droite est alors strictement plus grand que 1. Ainsi, pour
et
,
, comme souhaité.
En fait vu la symétrie circulaire, lorsque ,
lignes de
sont toujours linéairement indépendantes. Cela implique, par exemple, que
Si
et si
sommets ont la propriété B, alors l’enveloppe affine de
est de dimension au plus
.
En particulier, lorsque ou
sommets ont la propriété B alors les
sont confondus et, pour
sommets, ils sont alignés. Dès lors, si on souhaite qu’ils forment un vrai polygone (i.e. que trois consécutifs d’entre eux ne soient jamais alignés), alors au plus
sommets peuvent avoir la propriété B.
Je ne sais pas encore si, lorsque et
, il y a toujours des configurations polygonales présentant
sommets ayant la propriété B. J’y réfléchirai et, en attendant, dans un prochain billet, je vous détaillerai le cas des pentagones. 😉
__________
(*) Les indices des sont pris modulo
, comme dans tout ce qui suit.
Il faut préciser, et il me semble que tu ne l’as pas fait(*), que ce que tu appelles isobarycentre d’un polygone, c’est l’isobarycentre de l’ensemble de ses sommets. On sait que pour les triangles, cet isobarycentre coïncide avec celui de l’intérieur du triangle (mais pas avec celui du bord) ; et que ceci n’est plus vrai pour les polygones à davantage de côtés.
Or, il me semble que la propriété serait plus intéressante à étudier pour les polygones « pleins » décomposés en triangles « pleins ».
😉
(*) Tu avais posé la question, sur M@th en Ligne, mais elle était restée sans réponse.
Merci! Tu as raison d’apporter cette précision.
Plus intéressante (dans le sens de plus naturelle), mais facile : cette propriété-là a lieu si et seulement si les triangles en lesquels le polygone est découpé sont tous de même aire, il me semble.
🙂
La question telle que je l’ai traitée m’a surpris : je ne m’attendais pas à ce qu’on puisse raconter quelque chose un tant soi peu significatif sur le sujet. C’est ce qui m’a conduit à rédiger le billet. Naturellement, ta question est intéressante également! A ce propos, tu as une preuve de ce que tu avances ou c’est une conjecture?
Je pense avoir une preuve. Je ne sais pas si je vais réussir à la taper ici.
😉
Bon, je me lance ; mais sans possibilité de prévisualiser pour se relire, c’est assez suicidaire.
😉
Si
est un « domaine » du plan, les coordonnées
(
) de son isobarycentre
sont
Si
est la réunion disjointe
, en notant
l’isobarycentre de
,


.
sont tous de même aire, chaque fraction vaut
et
est l’isobarycentre des
.
Si les
Pas trop mal réussi ! Pierre, si tu pouvais enlever les disgrâcieux « \\ »…
Merci.
🙂
Voilà, les corrections — mineures — sont faites et la preuve est claire!
Merci de l’avoir postée!
Cela dit, ce que tu as démontré, c’est cet énoncé : si on découpe une plaque en morceaux, son isobarycentre est le barycentre des isobarycentres des morceaux pondérés par leurs aires.
Eh oui.
🙂