##  [Pappus's Theorem](/pappuss-theorem-0) 

 Definition

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

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

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

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

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

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

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

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

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.