vignette| Le petit polygone à 6 côtés d'aire maximale (à gauche) ; à droite le polygone régulier de même diamètre mais d'aire plus petite.|300x300px En géométrie, un plus grand petit polygone, pour un nombre de côtés, est un polygone convexe, de diamètre unité (dont la distance entre deux de ses points est au maximum égale à 1), qui a une aire maximale parmi tous les -gones de diamètre unité.

Pour = 4 une solution est le carré mais il y en a d'autres ; pour impair, la solution unique est le polygone régulier mais ceci est faux pour pair.

Cas des quadrilatères Pour = 4, l'aire d'un quadrilatère arbitraire est donnée par la formule où et sont les longueurs des diagonales du quadrilatère et est l'un des angles qu'elles forment l'une avec l'autre. Pour que le diamètre soit au plus égal à 1, et doivent eux-mêmes être au plus égaux à 1. Par conséquent, le quadrilatère a la plus grande aire lorsque les trois facteurs de la formule d'aire sont maximisés individuellement, soit lorsque et . La condition signifie que le quadrilatère est équidiagonal (diagonales de même longueur), et la condition signifie qu'il s'agit d'un quadrilatère orthodiagonal (ses diagonales se croisent à angle droit). Les quadrilatères de ce type comprennent le carré à diagonales unitaires, dont l'aire est égale à 1/2. Cependant, une infinité d'autres quadrilatères orthodiagonaux et équidiagonaux ont également un diamètre unité et ont la même aire que le carré (les pseudo-carrés) donc dans ce cas la solution n'est pas unique.

Cas d'un nombre impair de côtés Pour les valeurs impaires de , Karl Reinhardt a montré en 1922 que c'est le polygone régulier qui a la plus grande aire parmi tous les polygones de diamètre donné.

Cas d'un nombre pair de côtés Dans le cas = 6, le polygone optimal unique n'est pas régulier. La solution dans ce cas a été publiée en 1975 par Ronald Graham, en réponse à une question posée en 1956 par Hanfried Lenz. Elle prend la forme d'un pentagone équidiagonal irrégulier avec un triangle isocèle obtus fixé à l'un de ses côtés, avec la distance du sommet du triangle au sommet opposé du pentagone égale aux longueurs des diagonales du pentagone. Son aire est égale à 0,674981.... (), nombre non exprimable par radicaux car il a pour groupe de Galois S10, solution de l'équation :

4096 x10 +8192x 9 − 3008 x8 − 30848 x7 + 21056 x6 + 146496 x5 − 221360 x4 + 1232 x3 + 144464 x2 − 78488 x + 11993 = 0.

Graham a émis l'hypothèse que la solution optimale pour le cas général des valeurs paires de consiste de la même manière en un (−1)-gone équidiagonal avec un triangle isocèle fixé à l'un de ses côtés, son sommet à une distance égale à 1 du sommet opposé du (n−1)-gone. Dans le cas = 8 ceci a été vérifié par un calcul informatique par Audet et al . La preuve de Graham que son hexagone est optimal, et la preuve informatique du cas = 8, impliquaient toutes deux une analyse de cas de tous les "thrackles" à sommets possibles et arêtes rectilignes.

La conjecture de Graham, concernant le problème du plus grand petit polygone pour les valeurs paires de , a été prouvée en 2007 par Foster et Szabo. Leur démonstration construit un polygone — formé d'un polygone à côtés et à diagonales égales auquel on a ajouté un sommet — dont l'aire est supérieure à celle de tout polygone à côtés ne présentant pas cette forme. Toutefois, ils ne démontrent pas que leur construction produit des polygones optimaux. Ils laissent en suspens la question de savoir si la solution optimale est toujours unique et si elle possède un axe de symétrie.

Voir aussi

Petit octogone de Hansen Polygone de Reinhardt, polygone maximisant le périmètre, et la largeur pour un diamètre donné, et maximisant la largeur pour un périmètre donné.

Références

Liens externes

Graham's Largest Small Hexagon, sur Hall of Hexagons

Catégorie:Aire Catégorie:Polygone