Sieben schließt sich nicht
Kein Zirkel und kein Lineal können ein echtes Siebeneck zeichnen: Gauß sprach es 1801 aus, und Wantzel bewies es 1837. Das Werkstattbüchlein Geometria deutsch druckt diese Lösung und nennt sie ein rechtes Siebeneck; Dürer druckte sie 1525 noch einmal. Man nehme die halbe Seite des einbeschriebenen Dreiecks als Seite. Sie ist 0,20 Prozent zu kurz, sodass sieben Schritte 0,8 Grad offen lassen, hier rot umringt. So ruht jedes siebenteilige Rosenfenster auf einer Näherung, ob dieser oder einem sorgfältigen Probieren mit dem Stechzirkel.
Quellen
- Carl Friedrich Gauß, Disquisitiones arithmeticae, 1801
- Pierre Wantzel, 1837
- Albrecht Dürer, Underweysung der Messung, 1525