Part I, Chapter IV — Analytical Summary

Architecture of the Gauss–von Staudt–Schröter–Klein Regular Heptadecagon (§§ 1–9)

Overview of the Two-Stage Demonstration

Chapter IV is the constructive centerpiece of Part I, turning Gauss's algebraic discovery of March 30, 1796 (1801) into a complete single-circle straightedge construction governed by the Poncelet–Steiner theorem.

Stage I — Algebraic Tower of Gaussian Periods (§§ 1–6)

Using the primitive root $g = 3 \pmod{17}$, the $16$ primitive $17$-th roots of unity are arranged into the cyclic orbit $\varepsilon_{3^m}$ ($m = 1, \dots, 16$) and partitioned by alternating decimation into Gaussian periods:

Quadratic Period Tower of the Regular $17$-Gon

Level

EN / DE Symbols

Quadratic Equation

Exact Sign & Root Value

$8$-periods

$x_1, x_2$ / $\eta_0, \eta_1$

$(\xi): x^2 + x - 4 = 0$

$x_1 = \frac{-1 + \sqrt{17}}{2} > 0 > x_2$

$4$-periods (even)

$y_1, y_2$ / $\eta'_0, \eta'_1$

$(\eta): y^2 - x_1 y - 1 = 0$

$y_1 = \frac{x_1 + \sqrt{x_1^2 + 4}}{2} > 0 > y_2$

$4$-periods (odd)

$y_4, y_3$ / $(\eta'_0), (\eta'_1)$

$(\eta'): y^2 - x_2 y - 1 = 0$

$y_4 = \frac{x_2 + \sqrt{x_2^2 + 4}}{2} > 0 > y_3$

$2$-periods

$z_1, z_2$ / $\eta''_0, \eta''_1$

$(\zeta): z^2 - y_1 z + y_4 = 0$

$z_1 = 2\cos\frac{2\pi}{17} > z_2 = 2\cos\frac{8\pi}{17} > 0$

  • Semicircle Chord Inequality (§ 5): Representing every $2$-period via $S_k = 2\sin\frac{k\pi}{34}$ proves geometrically that $y_3 < y_2 < y_4 < y_1$ and $x_2 < x_1$.

  • Radical Dependence (§ 6): Because $(y_1 - y_2)(y_4 - y_3) = 2(x_1 - x_2)$, the third radical satisfies $\sqrt{x_1^2 + 4}\,\sqrt{x_2^2 + 4} = 2\sqrt{17}$, confirming that $\mathbb{Q}(\cos\frac{2\pi}{17})$ has degree $2^3 = 8$ (not $16$) over $\mathbb{Q}$.

Stage II — Projective Single-Circle Realization (§§ 7–9)

Following Poncelet (1822), Steiner (1833), von Staudt (1842), and Schröter (1872), every quadratic $t^2 - pt + q = 0$ is solved on the single fixed circle $C_0: x^2 + y(y - 2) = 0$ using straightedge lines alone:

  1. Staudt Transversal (§ 8): Join $\left(\frac{q}{p}, 0\right)$ on $y = 0$ to $\left(\frac{4}{p}, 2\right)$ on $y = 2$, and project the circle intersections from $A(0, 2)$ onto $y = 0$.

  2. Projective Involution (§ 9): Stereographic projection from $A(0, 2)$ followed by projection from $O(0, 0)$ implements the rational map $x \mapsto x' = \frac{4}{x}$ between the two parallel tangents; harmonic projection through $\left(0, \frac{2}{5}\right)$ and $\left(0, \frac{2y_4}{y_4 - 4}\right)$ constructs $-\frac{1}{x_1}$, $-\frac{1}{x_2}$, and $\frac{y_4}{y_1}$ without ever resetting compasses.

  3. Direct Cosine Bisection: The final projecting ray from $A(0, 2)$ to $(z_1, 0)$ cuts the horizontal diameter $y = 1$ at $K_1 = \left(\cos\frac{2\pi}{17}, 1\right)$, whose vertical chord inscribes $V_1$ and $V_{16}$ directly on $C_0$.