Unit 1 Critical Notes: From Parallel Sheaves to Pasch & Lemoine

Scholarly & Constructive Commentary on Geometrie der Lage (1847), §§ 1–5

• Straightedge-Only Complexity (``S = R``): By forbidding compass circles from the outset (Vorwort), von Staudt restricts every construction to pure straightedge incidences (assert_straightedge_only(model) in geometor.staudt.projective). In Émile Lemoine’s Geometrography (geometor/lemoine), every operation in geometor.staudt belongs exclusively to straightedge primitives $R_1$ (placing the ruler through a point) and $R_2$ (drawing the straight line), with compass count $C_1 = C_2 = C_3 = 0$.

• From Euclid’s Fifth Postulate to Ideal Sheaves: In § 2 (arts. 16–22), von Staudt still presupposes Euclidean parallelism to define ideal points as common directions. Thirty-five years later, Moritz Pasch (1882 §§ 8–9, see Codex II Unit 2) purged even this Euclidean parallel postulate by defining an ideal point intrinsically as a spatial sheaf of lines (Strahlenbündel) generated by two coplanar lines or three planes—a construction valid equally in hyperbolic, elliptic, and Euclidean space!

• Steiner’s Straightedge Parallel Specialization: When an affine carrier $\ell = [AB]$ is accompanied by a single parallel rail $m = [U_0 U_1] \parallel \ell$ representing the shared ideal point $P_\infty$, construct_parallel_straightedge in geometor.staudt.throws executes Jakob Steiner’s (1833) two-stage trapezoid midpoint and harmonic cevian construction—including automatic dualization across the midline locus where $m$ bisects $R$ and $\ell$.

• Cyclical Separation vs. Open Betweenness: Von Staudt’s insight in § 4 (art. 36) that a single point cannot divide a closed projective line, whereas two pairs $(A, B)$ and $(C, D)$ can mutually separate, became the direct starting point for Giovanni Vailati (1895) and Bertrand Russell (1903 Ch. XLV).