Un heptadécagone est un polygone à 17 sommets, donc 17 côtés et 119 diagonales.

La somme des angles internes d'un heptadécagone non croisé vaut , soit

Dans l'heptadécagone régulier convexe, chaque angle interne vaut donc , soit environ 158,82°.

Heptadécagones réguliers

Un heptadécagone régulier est un heptadécagone dont les 17 côtés ont la même longueur et dont les angles internes ont même mesure. Il y en a huit : sept étoilés (les heptadécagrammes notés {17/k} pour k de 2 à 8) et un convexe (noté {17}). C'est de ce dernier qu'il s'agit lorsqu'on parle de « l'heptadécagone régulier ».

vignette|gauche|L'heptadécagone régulier et ses angles remarquables.

Construction à la règle et au compas

L'annonce de la construction à la règle et au compas de l'heptadécagone régulier a été faite par Carl Friedrich Gauss en 1796, et seulement dans un court article, Neue Entdeckungen, paru au numéro 66, du , de l'Intelligenzblatt der Allgemeinen Literatur-Zeitung de Iéna. Il fallut attendre cinq ans encore, avec la publication de ses Disquisitiones arithmeticae, pour découvrir la substance de cette construction (à l'article « », en fin d'ouvrage).

Le sinus et le cosinus de l'angle sont respectivement égaux à : ; .

Par définition, le problème de la construction de l'heptadécagone régulier revient à chercher les racines complexes du polynôme

On note , puis on pose , et , pour k entre 1 et 16, qui sont donc les racines recherchées. On va construire des sommes de ces racines à partir de périodes qui forment les racines de polynômes du second degré. On considère le tableau suivant, qui donne la valeur de, pour m entre 0 et 15, de 3 modulo 17 :

0123456789101112131415 1391013 5151116148741226

On utilise la congruence modulo 3 car ce nombre est une racine primitive de 17.

On pose donc les sommes :

Par les propriétés de symétrie, on peut observer que :

On peut remarquer, par les identités trigonométriques usuelles, que :

Ainsi, X et X sont les deux racines de , et une étude rapide de signe montre que X est la racine positive, et .

De même, on peut montrer que Y et Y sont les deux racines de , avec , et que Y et Y sont les deux racines de , avec .

Enfin, on peut vérifier que et sont les deux racines de , avec .

Il suffit dès lors de résoudre les équations du second degré et de ne retenir que les racines adéquates pour obtenir le résultat voulu.

On peut déduire des calculs précédents une construction de l'heptadécagone régulier à partir d'un cercle donné de centre O: poser A et B sur le cercle tel que construire I tel que OI = OB construire E sur [OA] tel que construire F sur (OA) tel que construire le cercle de diamètre AF, il coupe [OB] en K le cercle de centre E et de rayon EK coupe (OA) en N et N, avec N sur [OA] on construit P et P, les projetés de N et N sur le cercle d'origine. Ces deux points sont deux sommets de l'heptadécagone, car et

Références

Voir aussi

Catégorie:Polygone