A classical projective theorem: given two distinct lines and three points A,B,C on the first and A',B',C' on the second, the three intersection points of cross‑connections (for example, AB'∩A'B, AC'∩A'C, BC'∩B'C) are collinear. The theorem holds in projective planes coordinatizable over a commutative field (Pappian planes).

Principle

Incidence relations produced by connecting points on two lines create new collinearities whose existence reflects an underlying commutative algebraic structure of coordinates; the combinatorial incidence pattern forces collinearity independent of metric notions.

Demonstration

Take two distinct projective lines ℓ and m with points A,B,C on ℓ and A',B',C' on m. Construct the three intersection points P = AB'∩A'B, Q = AC'∩A'C, R = BC'∩B'C and check P,Q,R are collinear. In a coordinate model over a field, write coordinates for the six points and verify the determinant condition that yields collinearity.

Misapplication

Applying Pappus in a projective plane that is not Pappian (i.e., not coordinatizable over a commutative field) or using coincident or degenerate choices of points that collapse constructed intersections invalidates the conclusion. Treating it as a metric statement rather than a purely incidence one leads to confusion.

Consequence

When valid, Pappus' Theorem provides a powerful incidence constraint that implies commutativity of the coordinate ring and enables many classical projective constructions; it is a diagnostic for the algebraic nature of a projective plane and a source of collinearity relations used in proofs and constructions.

Reversal

Negating Pappus—configurations where the three constructed points fail to be collinear—signals a non‑Pappian plane and hence noncommutative coordinate algebra; conversely, enforcing collinearity can be used to derive commutativity conditions on coordinates.

Boundary

Holds in Pappian projective planes (those coordinatizable by a commutative field) and in the real or complex projective plane; it can fail in non‑Pappian or exotic projective planes. Degenerate placements (overlapping points, equal lines) must be excluded or interpreted via projective closure.

Semantic Tension

Tension with Desargues: both are projective incidence theorems but Pappus is strictly stronger in algebraic consequences (Pappus implies the coordinate ring is commutative), so satisfying Desargues but failing Pappus highlights noncommutative coordinatizations.

Synthesis

Pappus' Theorem asserts a specific collinearity produced by cross‑connecting points on two lines in Pappian projective planes; it serves as both a combinatorial incidence law and an algebraic criterion detecting commutativity of the underlying coordinate field.