Zirkel und Lineal/Das regelmäßige 9-Eck ist nicht konstruierbar/Fakt/Beweis

Beweis

Wäre das regelmäßige ${}9$-Eck konstruierbar, so müsste nach Fakt ${}{\varphi (9)}$ eine Zweierpotenz sein. Es ist aber ${}{\varphi (9)}=2\cdot 3=6$.

Zur bewiesenen Aussage