Soit p un nombre premier impair.
On admet le théorème de Wantzel et on en déduit que si un nombre réel est constructible alors il est algébrique et que son degré sur Q est une puissance de 2.
On montre que si le polygone régulier à p côtés est constructible alors p est un nombre de Fermat, en justifiant l'irréductibilité sur Q du p-ième polynôme cyclotomique.
On finit par la construction du pentagone régulier.