Unit 4 Critical Notes: Division Rings, Pappus Commutativity & Golden Throws

Scholarly & Constructive Commentary on Beiträge Heft 2 (1857), §§ 19, 20, 29

• Desargues Gives a Division Ring; Pappus Gives Commutativity: Modern projective algebra (Hilbert 1899 Kap. V–VI, Hessenberg 1905, Veblen & Young 1910 Ch. VI) revealed the exact axiomatic anatomy inside von Staudt’s 1857 constructions:

  • Desargues’s Theorem alone suffices to prove that construct_von_staudt_addition and construct_von_staudt_multiplication are independent of $(U, V)$, that $(\ell \setminus \{P_\infty\}, +)$ is an abelian group (even over a non-commutative skew-field!), and that $(\ell \setminus \{P_0, P_\infty\}, \cdot)$ is an associative group distributing over $+$, making $\ell \setminus \{P_\infty\}$ a division ring (skew-field).

  • Pappus’s Hexagon Theorem (geometor/pappus VII.139) is necessary and sufficient for projective multiplication to be commutative ($X \cdot Y = Y \cdot X$)! And by Gerhard Hessenberg’s theorem (1905), Pappus’s theorem in a projective plane automatically implies Desargues’s theorem.

• Exact Projective Abscissa Formula in ``geometor.staudt``: Relative to finite gauge points $P_0, P_1, P_\infty$ on $\ell$, projective_abscissa(P0, P1, Pinf, X) evaluates the exact invariant $(X, P_1; P_0, P_\infty)$. For instance, on $P_0 = (0, 0)$, $P_1 = (1, 0)$, $P_\infty = (8, 0)$, a point $P_k$ of projective abscissa $k$ has exact rational Cartesian coordinate:

  \[x(P_k) = \frac{8k}{k + 7},\]

  so $P_1 = (1, 0)$, $P_2 = \left(\frac{16}{9}, 0\right)$, $P_3 = \left(\frac{12}{5}, 0\right)$, $P_5 = \left(\frac{10}{3}, 0\right)$, and $P_6 = \left(\frac{48}{13}, 0\right)$—matching construct_von_staudt_addition ($P_2 + P_3 = P_5$) and construct_von_staudt_multiplication ($P_2 \cdot P_3 = P_6$) identically!

• The Golden Throw Identity over $\mathbb{Q}(\phi)$ (``geometor/divine`` Bridge): In verify_golden_throw_identity, placing the golden abscissa $\phi = \frac{1 + \sqrt{5}}{2}$ at $P_\phi = \left(\frac{4 + 28\sqrt{5}}{55}, 0\right)$ on the horizon-8 carrier and executing both von Staudt’s straightedge product $P_\phi \cdot P_\phi$ and straightedge sum $P_\phi + P_1$ produces the exact same symbolic point $\left(\frac{92 + 28\sqrt{5}}{71}, 0\right)$ of abscissa $\phi^2 = \phi + 1 = \frac{3 + \sqrt{5}}{2}$, while its Galois conjugate $\hat{\phi} = 1 - \phi$ satisfies $P_\phi + P_{\hat{\phi}} = P_1$ (trace $1$) and $P_\phi \cdot P_{\hat{\phi}} = P_{-1}$ (norm $-1$).