Heptagone

Un heptagone est un polygone à sept sommets, donc sept côtés et quatorze diagonales.

La somme des angles internes d'un heptagone non croisé vaut Modèle:Unité.

Un heptagone régulier est un heptagone dont tous les côtés sont égaux et dont tous les angles internes sont égaux. Il y en a trois : deux étoilés (les heptagrammes réguliers) et un convexe. C'est de ce dernier qu'il s'agit lorsqu'on parle de « l'heptagone régulier ».

L'heptagone régulier est le plus petit des polygones réguliers non constructibles à la règle et au compas. Il est cependant possible de réaliser une construction à la règle et au compas si l'on s'aide d'autres outils géométriques ou si la règle peut être graduée (construction par neusis). Il est aussi possible d'en tracer une version approchée, aux erreurs faibles, avec le compas et la règle non graduée.

Caractéristiques de l'heptagone régulier

• Les angles internes sont tous égaux à Modèle:Unité.
• Les angles au centre sont tous égaux à Modèle:Unité.
• Si le côté a pour longueur Modèle:Mvar :
  • le rayon Modèle:Mvar du cercle circonscrit est égal àModèle:Retrait
  • le rayon Modèle:Mvar du cercle inscrit est égal àModèle:Retrait
  • l'aire est égale àModèle:Retrait

Non-constructibilité par règle et compas

L'heptagone régulier n'est pas constructible à la règle et au compas car le nombre premier 7 n'est pas un nombre de Fermat (théorème de Gauss-Wantzel). On peut aussi démontrer cette propriété de non-constructibilité sans faire appel aux nombres de Fermat, en utilisant seulement le théorème de Wantzel : Modèle:Article connexe Notons Modèle:Math et Modèle:Math. Si l'heptagone était constructible alors Modèle:Mvar serait un nombre constructible. Les angles Modèle:Math et Modèle:Math ayant pour somme Modèle:Math, on a

<math>\cos(4a)=\cos(3a)</math>

qui, par les formules d'angle multiple, se réécrit

<math>8x^4 - 8x^2 + 1 = 4x^3 - 3x</math>

ou encore

<math>(x-1)(8x^3+4x^2-4x-1)=0</math>.

Pour Modèle:Mvar non multiple de 7, le réel Modèle:Mvar est donc racine de Modèle:Math, qui est irréductible sur <math>\Q</math> et de degré 3. Ceci est en contradiction avec le résultat établi par Wantzel, qui énonce que le polynôme minimal d'un nombre constructible a toujours pour degré une puissance de 2. Donc Modèle:Math n'est pas constructible si Modèle:Mvar n'est pas multiple de 7, par conséquent l'heptagone n'est pas constructible.

Construction par intersection de coniques

Fichier:Heptagone coniques(2).svg

Construction par intersection de coniques.

L'heptagone est cependant constructible à l'aide de coniques, puisque<ref>Voir théorème 3.6, p. 195 de Modèle:Article.</ref> 7 est premier de la forme Modèle:Math, ou encore : puisque<ref>Voir les Modèle:P. de Modèle:Article.</ref> l'heptagone est constructible par neusis Modèle:Infra.

La figure jointe<ref>Cette figure est abondamment détaillée dans le livre de Modèle:Ouvrage.</ref> offre une construction de l'heptagone à l'aide du cercle unité et d'une hyperbole équilatère de centre Modèle:Math et passant par Modèle:Math. Dans cette construction, quatre des sept sommets apparaissent comme points d'intersection du cercle circonscrit et de cette hyperbole équilatère, d'équation :

<math>y=\frac{\sqrt7\pm\sqrt{(4x-1)^2-2}}4</math>.

Construction par neusis

Une construction par neusis ou par inclinaison est un procédé de construction utilisant une règle graduée et consistant à construire un segment de longueur donnée dont les extrémités se trouvent sur deux courbes données. Il s'agit ici de construire un angle de Modèle:Math.

Une construction préliminaire

Fichier:Heptagone triangle.png

Dans la figure jointe, ABCDEFGA est un polygone où tous les segments sont de longueur 1. ABFD sont alignés et AGCE aussi.

On prouve que l'angle DAE vaut Modèle:Math :

on note cet angle Modèle:Mvar, qui est également l'angle BAC

le triangle ABC étant isocèle, l'angle opposé ACB vaut Modèle:Mvar lui aussi ;

la somme des angles d'un triangle vaut Modèle:Math, l'angle ABC vaut Modèle:Math et l'angle complémentaire CBD vaut Modèle:Math ;

le triangle BCD étant isocèle, l'angle opposé CDB a également la même valeur (Modèle:Math) et l'angle BCD vaut Modèle:Math ;

la somme des angles ACB (qui vaut Modèle:Mvar), BCD (Modèle:Math) et DCE vaut Modèle:Math, donc DCE vaut Modèle:Math.

Le triangle CDE étant isocèle, l'angle opposé DEC vaut lui aussi Modèle:Math ; l'angle DEA est le même.

Le triangle ADE étant isocèle, c'est aussi la valeur de l'angle EDA, et la somme des angles vaut Modèle:Math, mais aussi Modèle:Math

donc Modèle:Math.

On prouve que la longueur BE vaut Modèle:Sqrt :

On note Modèle:Mvar et Modèle:Mvar les longueurs BF et FD.

Le triangle FDE étant isocèle, Modèle:Math.

Les droites (FC) et (DE) étant parallèles, l'angle ACF vaut Modèle:Math. Comme l'angle ACB vaut Modèle:Mvar, l'angle BCF vaut Modèle:Math. Le triangle BFC est donc isocèle et FC = FB = Modèle:Mvar

Le même parallélisme permet de dire, d'après le théorème de Thalès, que

<math>\frac{1+s}{1+s+t}=\frac s1</math>

qui, par produit en croix et simplification, donne Modèle:Math.

Le théorème d'Al-Kashi dans le triangle BDE donne alors

<math>BE^2 = BD^2 + DE^2 - 2.BD.DE.\cos(EDF) = 1 + (s+t)^2-t(s+t) = 1 + s^2+st = 2</math>.

La construction par neusis

Fichier:Heptagone neusis.svg

Il s'agit de construire un point A sur la médiatrice d'un segment [DE] et un point B sur le segment [AD] tels que AB = 1 et BE = Modèle:Sqrt. On aura alors reconstitué le triangle précédent.

On construit un carré CDEF de côté 1, on trace la médiatrice (d) de [DE], et aussi de [CF], ainsi que le cercle de centre E et de rayon EC.

On place l'origine de la règle sur la médiatrice, la règle s'appuie sur le point D, on fait glisser le long de la médiatrice l'origine de la règle vers le haut de la figure tout en conservant l'appui sur D, jusqu'à ce que le cercle (C) traverse la règle à la graduation 1. On obtient alors les points B et A aux graduations 0 et 1 respectivement.

On construit le cercle circonscrit au triangle isocèle ADE (par la méthode de l'intersection des médiatrices de deux de ses côtés, qui détermine le centre O du cercle à construire, le positionnement le plus précis étant de prendre les deux côtés les plus longs qui doit aussi coïncider sur la médiatrice déjà tracée (d) de DE), qui se trouve être aussi le cercle circonscrit de l'heptagone DEGHAIJ de base DE, qu'il suffit de construire en reportant au compas autour du cercle circonscrit la longueur de son premier arc DE en partant des points D, E et A déjà tracés (DE = EG = GH = HA = AI = IJ = JD).

Cette méthode permettant de tracer au moins un heptagone régulier de côté 1 (mais de rayon circonscrit au départ inconnu) permet ensuite de diviser un disque en 7 parties égales, en déplaçant le centre de cet heptagone de référence au centre du cercle à diviser, puis en utilisant la règle en s'appuyant sur le centre commun et les sommets du premier heptagone pour tracer les rayons coupant le cercle à découper en 7 arcs égaux :

Cette seconde construction ne nécessite que la règle et le compas pour faire « glisser » l'heptagone unitaire déjà construit pour faire coïncider les centres de l'heptagone déplacé avec le centre du cercle à diviser.

Il suffit juste de tracer une première droite joignant le centre du premier heptagone avec le centre du cercle à diviser, puis de tracer les parallèles passant par les sommets du premier heptagone, et de reporter au compas sur ces parallèles la distance entre les deux centres.

Une fois le second heptagone unitaire tracé et aligné au centre du cercle à diviser, il ne reste qu'à l'utiliser pour tracer les 7 rayons coupant le cercle à diviser et passant par les sommets de l'heptagone unitaire déplacé, pour obtenir un heptagone régulier de rayon quelconque inscrit dans le disque à diviser en 7 parts égales.

Constructions approchées

À l'aide d'un triangle équilatéral

Fichier:Heptagon construction 1.svg

Le rapport entre le côté de l'heptagone et le rayon du cercle circonscrit est de <math> 2\sin(\pi/7) \approx 0{,}8677</math>. Ce nombre est très voisin de <math>\frac{\sqrt3}2\approx 0{,}866</math> et ce nombre est très facile à obtenir à l'aide d'un triangle équilatéral.

D'où la construction suivante :

Tracer un cercle de rayon 1 et de centre M.

Prendre un point X sur le cercle. Le cercle de centre X et de rayon XM rencontre le cercle précédent en A et Y

Les droites (AY) et (MX) se coupent en H.

La longueur AH est une bonne approximation du côté de l'heptagone inscrit dans ce même cercle.

Par cette méthode l'angle au centre est d'environ 51,32 degrés au lieu des 51,43 (environ) attendus, soit une erreur relative de 2,15 pour mille.

Heptagone régulier dans la vie courante

Fichier:Rose à sept pointes de la façade occidentale.JPG

Rosace heptagonale, église de l'abbaye de Beaulieu-en-Rouergue.

Fichier:Yuyuan ventana heptagonal.JPG

Fenêtre heptagonale dans le jardin Yu de Shanghai (Chine).

• La découpe de la pièce de 20 centimes d'euro est basée sur un heptagone régulier.
• Les pièces britanniques de 20 et de 50 pence sont des heptagones de Reuleaux.

Fragments d'histoire

L'heptagone est le premier polygone régulier à n'être pas constructible à la règle et au compas. Il est donc naturel qu'après la construction du pentagone et de l'hexagone, les Grecs puis les Arabes se soient penchés sur la construction de l'heptagone. Le seul texte d'origine grecque dont on ait trace sur une construction exacte de l'heptagone est attribué à Archimède : Sur la division d'un cercle en sept parties égales. Il nous est parvenu par une traduction arabe de Thābit ibn Qurra<ref>Modèle:Article, Modèle:P..</ref>. La méthode de construction utilise une étape intermédiaire consistant à construire un point égalisant l'aire de deux triangles<ref>Modèle:Lien web.</ref> mais les détails de cette construction ne sont pas donnés. Les avis des commentateurs sont donc partagés : est-ce un trou dans la démonstration ? - la construction absente faisait-elle appel à une construction par neusis<ref>{{#invoke:Langue|indicationDeLangue}} Roshdi Rashed, Ibn Al-Haytham's Theory of Conics, Geometrical Constructions and Practical Geometry: A History of Arabic Sciences and Mathematics, vol. 3, Modèle:Google Livres.</ref> ? - le point a-t-il été obtenu par intersection de coniques ?

Nombreux sont les mathématiciens arabes à avoir commenté ce texte d'Archimède et dès le Modèle:Lien siècleModèle:Vérification siècle, des méthodes de construction utilisant l'intersection de deux coniques (deux hyperboles ou une hyperbole et une parabole) sont proposées, soit pour combler la lacune de la démonstration d'Archimède, soit pour proposer d'autres constructions (Abū al-Jūd, Al-Sijzi, Modèle:Lien, Abū Sahl al-Qūhī, Ibn Sahl, Ibn al Haytham, Kamal al-Din ibn Yunus (mort vers 1242))<ref>Modèle:Harvsp.</ref>. La relation existant entre la construction de l'heptagone et la résolution d'une équation de degré trois est étudiée dès Abu Nasr Mansur<ref>Modèle:Harvsp.</ref>.

De tous ces traités sur l'heptagone, il semble qu'aucun n'ait été traduit en latin. On trouve cependant trace d'une construction de l'heptagone faisant référence à la méthode d'Archimède dans le De Triangularis de Jordanus Nemorarius<ref>Modèle:Harvsp.</ref>.

Voir aussi

Article connexe

Formules trigonométriques en kπ/7

Liens externes

• Baptiste Gorin, À propos de l'heptagone régulier et de sa construction Modèle:Pdf
• Autre construction approchée (GeoGebra avec règle et compas) . Précision : 0,1% .