Construction of the regular 257-gon by ruler and gauge (Q1912696)

David Hilbert hat 1899 prinzipiell gezeigt, daß jedes reguläre Polygon (in der euklidischen Ebene) von \(p\) Seiten, wo \(p\) eine Primzahl der Form \(2^n + 1\) \((n \in \mathbb{N}) \) ist, allein mit Lineal und Streckenübertrager (= Instrument, welches das Abtragen von Strecken ermöglicht) konstruierbar ist. Die vorliegende Note erarbeitet eine solche Konstruktion konkret für \(n = 8\), also das reguläre 257-Eck. Hierzu ist eine Lineal/Streckenübertrager-Konstruktion im wesentlichen für den Imaginärteil \(2y_1\) der Wurzel \(\cos (2 \pi/257) + i \cdot \sin (2 \pi/257)\) der Gleichung \[ (z^{257} - 1) : (z - 1) = 0 \tag{1} \] in der Gaußschen Zahlenebene anzugeben. Durch die Substitution \(z + (1/z) = : x \) geht (1) in eine algebraische Gleichung vom Grad 128 über: deren sämtliche Wurzeln \(x_1, \dots, x_{128}\) und aus diesen \(y_1\) lassen sich jeweils mittels Lineal und Streckenübertrager konstruieren.