Konstruktionen Zirkel Lineal/Regelmäßige n-Ecke/Charakterisierung mit Fermatsche Primzahlen/Fakt

Ein reguläres ${}n$ -Eck ist genau dann mit Zirkel und Lineal konstruierbar, wenn die Primfaktorzerlegung von ${}n$ die Gestalt

{}n=2^{\alpha }p_{1}\cdots p_{k}\,

hat, wobei die ${}p_{i}$ verschiedene Fermatsche Primzahlen sind.