Zirkel und Lineal/Regelmäßiges n-Eck konstruierbar/Euler ist Zweierpotenz/Fakt/Beweis

Aus Wikiversity
Beweis

Die Voraussetzung besagt, dass die primitive Einheitswurzel konstruierbar ist. Dann muss nach Fakt der Grad des Minimalpolynoms von eine Zweierpotenz sein. Nach Fakt ist das Minimalpolynom von das -te Kreisteilungspolynom, und dieses hat den Grad . Also muss eine Zweierpotenz sein.