Prefaces & Introduction — Critical & Symbolic Notes

Philological Provenance, Field-Theoretic Formalization, and Sister-Corpus Concordance

Textual & Copyright Provenance (1895 / 1897 Witnesses)

• Pure Public-Domain Witnesses: Both the German editio princeps (Teubner, 1895, v + 66 S.) and the authorized first English translation by W. W. Beman and D. E. Smith (Ginn & Co., 1897, ix + 80 pp.) are strictly public-domain nineteenth-century texts. Later twentieth-century reprints (1930 Stechert / 1956 Dover) appended supplementary bibliographic notes by R. C. Archibald; this GEOMETOR codex excludes all post-1930 additions and restores the pure 1895/1897 treatises paired with original exact SymPy verifiers.

• Chicago 1893 & Göttingen 1895 Nexus: Beman and Smith’s 1897 Preface highlights Klein's 1893 visit to the Chicago World’s Fair Mathematical Congress and Evanston Colloquium—the very same year M. W. Haskell published the authorized English translation of Klein’s Erlangen Program (Book 2 of this Codex).

Algebraic Formalization in geometor.klein

Let $K_0 = \mathbb{Q}(a_1, \dots, a_r)$ denote the ground domain of rationality generated by the coordinates of the given configuration. Klein’s Hauptsatz states that a coordinate $x \in \mathbb{C}$ is straightedge-and-compass constructible over $K_0$ if and only if there exists a finite tower of quadratic field extensions

\[K_0 \subset K_1 \subset K_2 \subset \dots \subset K_m, \qquad K_j = K_{j-1}\!\left(\sqrt{\rho_{j-1}}\right), \quad \rho_{j-1} \in K_{j-1},\]

such that $x \in K_m$ (with real intermediate radicands $\rho_{j-1} > 0$ when tracking real planar intersections). In geometor.klein.constructibility.analyze_constructibility(), this criterion is tested symbolically over $\mathbb{Q}$ without a single floating-point operation.

Cross-Corpus Links Across GEOMETOR

• Euclidean Postulates (`geometor/euclid` & `geometor/elements`): Euclid’s Postulates 1–2 (straightedge) generate rational field operations via Book VI, Prop. 12 (fourth proportional), while Postulate 3 (compass) generates square-root extractions via Book II, Prop. 14 and Book VI, Prop. 13 (mean proportional).

• Julius Petersen (`geometor/petersen`): Klein’s explicit tribute on p. 2 / S. 2 points directly to Petersen's Methods and Theories (1879) and Theorie der algebraischen Gleichungen (1878).

• Hilbert’s Gauge-Compass Refinement (`geometor/hilbert`): Four years after Klein’s Göttingen lectures, David Hilbert (Grundlagen der Geometrie, 1899, Ch. VII, §§ 36–39) refined Klein’s square-root tower by characterizing the Pythagorean sub-tower ($\sqrt{1 + \omega^2}$) constructible with straightedge and a fixed unit segment-transferrer (Eichmaß) alone.

• Erlangen Program Connection: In terms of Erlangen § 1, theoretical constructibility is an invariant property under the Principal Group of similarities, since isotropic rescaling, rotation, and translation leave coordinate ratios in $K_0$ unchanged.