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

Das regelmäßige ${}9$-Eck ist

nicht mit Zirkel und Lineal konstruierbar.

Zum Beweis, Alternativen Beweis erstellen