Projective Geometry - Applications

TheoremPappus' Hexagon Theorem

Let $A$ , $B$ , $C$ be three distinct points on a line $\ell$ , and let $A'$ , $B'$ , $C'$ be three distinct points on another line $\ell'$ . Define:

$P = AB' \cap A'B$
$Q = BC' \cap B'C$
$R = CA' \cap C'A$

Then $P$ , $Q$ , $R$ are collinear.

Pappus' theorem, discovered by Pappus of Alexandria in the 4th century AD, is one of the most beautiful results in projective geometry. Its statement involves only incidence relations (which points lie on which lines), yet it has profound implications for the structure of projective planes.

The theorem's validity is equivalent to the commutativity of the coordinate division ring. Specifically:

Pappian planes (where Pappus' theorem holds) are coordinatized by fields
Non-Pappian Desarguesian planes are coordinatized by non-commutative division rings (quaternions, etc.)

ExamplePappus Implies Desargues

An elegant consequence: Pappus' theorem implies Desargues' theorem. This can be proven purely synthetically (without coordinates) using repeated applications of Pappus and basic incidence properties.

The converse is false—Desargues doesn't imply Pappus. There exist Desarguesian non-Pappian planes coordinatized by non-commutative fields.

The Pappus configuration consists of 9 points and 9 lines, each point on 3 lines and each line through 3 points. This is a simpler configuration than Desargues (which has 10 points and 10 lines).

DefinitionCollineation

A collineation of a projective space is a bijection that preserves collinearity. The fundamental theorem of projective geometry states that every collineation (in dimension $\geq 2$ ) is a projective transformation (induced by a linear map).

This characterizes projective transformations as the "symmetries" preserving the most basic incidence structure.

Projective geometry has applications in numerous fields:

Computer Vision: Camera imaging is modeled by projective transformations. Points in 3D space project onto a 2D image plane via a projection matrix. Cross-ratios provide invariants for matching features between different camera views.

Algebraic Geometry: Projective varieties (zero sets of homogeneous polynomials) are fundamental objects. The projective setting ensures compactness and eliminates boundary issues. Bézout's theorem, stating that curves of degrees $m$ and $n$ intersect in $mn$ points, holds precisely in projective space.

Coding Theory: Projective planes over finite fields provide geometric constructions of error-correcting codes. The incidence structure of points and lines yields codes with good parameters.

Remark

The relationship between geometry and algebra manifests clearly in projective geometry:

Geometric incidence axioms correspond to field axioms
Pappus' theorem $\Leftrightarrow$ commutativity
Desargues' theorem $\Leftrightarrow$ associativity (division ring structure)

This correspondence, developed in the 19th and 20th centuries, unified synthetic geometry and algebraic approaches.

Projective duality provides a powerful proof technique: prove a theorem for points, and immediately obtain the dual theorem for lines. Many classical results come in dual pairs, like Pascal's and Brianchon's theorems for conics.