Prefaces & Introduction — Analytical Summary

Structural Synopsis of Klein’s Göttingen Easter 1895 Programme and Algebraic Criterion

Historical Occasion & Pedagogical Mission

At Easter 1895, Felix Klein delivered a holiday lecture series at Göttingen for secondary-school mathematics and physics teachers (Oberlehrer). Redacted by Friedrich Tägert as a Festschrift for the Whitsuntide 1895 Göttingen convention of the Verein zur Förderung des mathematischen und naturwissenschaftlichen Unterrichts (Leipzig: Teubner, 1895) and translated into English two years later by W. W. Beman and D. E. Smith (Boston: Ginn & Co., 1897), the monograph inaugurated Klein’s lifelong program of bridging the gulf (“double discontinuity”) between university research and elementary school geometry.

Core Distinctions of the Introduction

  1. Practical Approximation vs. Theoretical Exactitude: Empirical drawing (graduated scales, protractors, mechanical linkages) operates within bounded physical tolerances where every problem admits arbitrarily close numerical approximation. Theoretical constructibility, by contrast, is an exact deductive question: whether a magnitude belongs to the algebraic closure generated by finitely many ideal straightedge-and-compass incidences (Euclid, Elements I, Postulates 1–3).

  2. Critique of Textbook Dogmatism & Tribute to Julius Petersen: Klein observes that school geometries routinely assert the impossibility of doubling the cube, trisecting the angle, constructing the regular heptagon, and squaring the circle as unproved dogma—commending Julius Petersen (1878/1879) as virtually the sole textbook author supplying elementary algebraic proofs.

  3. Analytic Translation & Klein’s Fundamental Criterion (*Hauptsatz*): Line–line intersections perform rational field operations ($+, -, \times, \div$); line–circle and circle–circle intersections solve quadratic equations, adjoining square roots $\sqrt{R}$. Conversely, fourth proportionals and semicircle altitudes construct every rational operation and square root. Hence Euclidean constructibility is identical with membership in a finite iterated quadratic extension tower over the domain of rationality of the given segments.

  4. Bifurcation of the Treatise: * Part I (Chapters I–V): Algebraic equations and constructible vs. non-constructible algebraic numbers (Wantzel, Gauss, Eisenstein, von Staudt, Schröter). * Part II (Chapters I–V): Transcendental numbers (Cantor, Hermite, Lindemann, Gordan) and continuous transcendental integration (Abdank-Abakanowicz).