Part II, Chapter II — Analytical Summary¶
Five Epochs of Circle Measurement from Ahmes to Gordan (§§ 1–5)
Chronological Architecture (Following Rudio 1892)¶
Drawing on Ferdinand Rudio's historical anthology (1892), Klein organizes $4000$ years of circle-squaring research into five methodological epochs:
Stage |
Key Figures & Dates |
Mathematical Milestone |
|---|---|---|
§ 1. Empirical |
Ahmes (c. 2000 B.C.); 1 Kings 7:23 |
Mensuration rules: Egyptian $\pi \approx (16/9)^2 \approx 3.1605$; Biblical $\pi \approx 3$. |
§ 2. Classical Greek |
Hippias, Dinostratus, Archimedes, Huygens (1654) |
Rigorous polygonal exhaustion ($3\frac{10}{71} < \pi < 3\frac{1}{7}$) and kinematic quadratrix $x = \frac{y}{\tan(\pi y/2)} \to \frac{2}{\pi}$. |
§ 3. Analytic Series |
Infinite series ($\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \dots$) and Euler’s bridge $e^{ix} = \cos x + i\sin x \implies 1 + e^{i\pi} = 0$. |
|
§ 4. Irrationality |
Continued-fraction proofs that $\pi \notin \mathbb{Q}$ and $\pi^2 \notin \mathbb{Q}$ (leaving open whether $\pi \in \overline{\mathbb{Q}}$). |
|
§ 5. Transcendence |
Hermite (1873), Lindemann (1882), Weierstrass (1885), Hilbert, Hurwitz, Gordan (1893) |
Proof that $e \notin \overline{\mathbb{Q}}$ and $\pi \notin \overline{\mathbb{Q}}$, reduced in Spring 1893 to purely elementary polynomial divisibility modulo $p$. |