Part II, Chapters IV–V — Critical & Symbolic Notes¶
Structural Collation (Anhang vs. Chapter V), Non-Zero Leading Terms in Galois Products, and Non-Holonomic Kinematics
Textual & Mathematical Notes¶
Structural Variant (*Anhang* in 1895 DE vs. *Chapter V* in 1897 EN): In the 1895 Teubner edition (S. 64–66), the three concluding sections on Abdank-Abakanowicz's integraph form an unnumbered appendix (Anhang: Der Integraph und die geometrische Construction von $\pi$), reflecting Klein’s live demonstration of Göttingen’s Coradi integraph from the Mathematical Collection at the close of his Easter 1895 teachers’ course. In the 1897 Ginn translation (pp. 78–80), Beman and Smith numbered this section as Part II, Chapter V. Grouping Ch. IV and Ch. V/Anhang into Unit 10 preserves 100% structural alignment across both editions.
Ensuring a Non-Vanishing Term When Expanding the Galois Product (§ 4): In § 4, when multiplying $\prod_\alpha \bigl(C'_0 + C'_1 e^{k_\alpha} + C'_2 e^{l_\beta} + \dots\bigr)$, distinct exponent sums $k_{\alpha_1} + l_{\beta_1}$ and $k_{\alpha_2} + l_{\beta_2}$ could occasionally coincide and cancel. As Weierstrass (1885) and Gordan (1893) noted, ordering complex numbers lexicographically (first by real part $\operatorname{Re}(z)$, then by imaginary part $\operatorname{Im}(z)$) guarantees a unique strictly maximal exponent $\alpha_{\max}$ in each factor whose sum $\sum \alpha_{\max}$ occurs once and only once in the expanded product with non-zero coefficient! Dividing or shifting so $0$ is among the surviving exponents then ensures $C_0 \neq 0$.
Why the Integraph Succeeds Where Algebraic Linkages Fail: By Kempe’s Universality Theorem (1876), any planar pin-jointed bar linkage (holonomic algebraic constraint) can trace only algebraic curves, and therefore by Ch. V § 1 can never construct $\pi$. Abdank-Abakanowicz's integraph (1889) transcends algebraic linkages precisely because its weighted knife-edge roller imposes a non-holonomic differential constraint $dY - y\,dX = 0$, physically integrating areas into ordinates!
Bridge to Book 2 (*The Erlangen Program*) and ``geometor/wildberger``: Klein closes Famous Problems by showing that transcendental functions ($e^x, \arcsin x$) completely avoid the algebraic lattice $\overline{\mathbb{Q}}^2$ save at $(0, 1)$ and $(0, 0)$. In Norman Wildberger's Divine Proportions (2005, geometor/wildberger), replacing transcendental angle measure $\theta = \arcsin s$ and distance $\sqrt{Q}$ by purely algebraic quadrance $Q$ and spread $s$ keeps trigonometry entirely inside the exact algebraic domain $\mathbb{Q}$ and its radical extensions—the very invariant arena organized globally by transformation groups in Book 2 (The Erlangen Program).