Part II, Chapters IV–V — Analytical Summary

From Symmetric Conjugate Sums to $1 + e^{i\pi} = 0$ and Continuous Mechanical Quadrature

Culmination of the Treatise

Unit 10 crowns Famous Problems of Elementary Geometry by proving the Lindemann–Weierstrass Theorem (1882) via Gordan's umbral method (1893) and contrasting algebraic impossibility with continuous kinematic integration (Abdank-Abakanowicz, 1889):

  1. Lindemann’s Theorem on Conjugate Sums (Ch. IV, §§ 1–3): Multiplying by $\psi(h)$—scaled by leading-coefficient powers $a^{Np\cdots} b^{N'p\cdots}$ so symmetric sums over Galois conjugates $a k_\nu$ remain rational integers—proves $C_0 + \sum_j C_j \sum_\nu e^{k_{j,\nu}} \neq 0$ for non-zero conjugate sets and integer $C_0 \neq 0$.

  2. Lindemann’s Corollary via Galois Norm Products (Ch. IV, § 4): Multiplying $\sum_i C_i e^{\alpha_i}$ first across all Galois conjugates of the exponents $\alpha_i$ and then across all conjugates of the algebraic coefficients $C_i$ establishes that for any distinct algebraic numbers $\alpha_1, \dots, \alpha_m \in \overline{\mathbb{Q}}$, the exponentials $e^{\alpha_1}, \dots, e^{\alpha_m}$ are linearly independent over $\overline{\mathbb{Q}}$.

  3. Three Immediate Corollaries (Ch. IV, §§ 5–7):

    • $1 + e^{i\pi} = 0 \implies \pi \notin \overline{\mathbb{Q}}$: Quadrature of the circle is impossible by straightedge and compasses or by any algebraic curve.

    • $y = e^x$ ($x = \ln y$): Meets $\overline{\mathbb{Q}}^2$ solely at $(0, 1)$.

    • $y = \arcsin x$ ($2ix = e^{iy} - e^{-iy}$): Meets $\overline{\mathbb{Q}}^2$ solely at $(0, 0)$.

  4. Mechanical Quadrature via the Integraph (Ch. V / Anhang, §§ 1–3): Using a non-holonomic sharp-edged steering roller constrained to $\frac{dY}{dX} = \tan\vartheta = y$, Abdank-Abakanowicz's integraph integrates the circle $x^2 + y^2 = r^2$ into $Y = \frac{r^2}{2}\arcsin\frac{x}{r} + \frac{x}{2}\sqrt{r^2 - x^2}$, cutting off $\pm\frac{\pi r^2}{4}$ on $X = \pm r$ and $\pm\frac{\pi r^2}{2}$ on $X = 0$.