In projective geometry, points and lines are on perfectly equal footing. The principle of duality says that any true theorem remains true if you swap the words "point" and "line" (and adjust the language accordingly: "lies on" becomes "passes through," "collinear" becomes "concurrent," etc.). This is not a vague analogy — it is a rigorous metatheorem that doubles the content of every proof for free.
1. Dual Axioms
The projective plane is defined by axioms that are symmetric between points and lines:
Projective Plane Axioms:
Original
Dual
Two distinct points determine a unique line
Two distinct lines determine a unique point
Every line contains at least three points
Every point lies on at least three lines
There exist four points, no three collinear
There exist four lines, no three concurrent
Notice that the dual of each axiom is also an axiom (or provable from the axioms). This perfect symmetry is what drives the entire duality principle.
💡 In Euclidean geometry, two lines might not meet (parallel lines). In projective geometry, every two lines meet — this is what makes the duality work perfectly.
2. The Duality Dictionary
To form the dual of any statement, apply these substitutions:
Original term
Dual term
point
line
line
point
lies on
passes through
collinear (points on a line)
concurrent (lines through a point)
join of two points
intersection of two lines
triangle (3 non-collinear points)
trilateral (3 non-concurrent lines)
The key insight: incidence ("point P lies on line l") is symmetric. We can equally say "line l passes through point P." The relation between point and line is mutual.
3. The Duality Metatheorem
Principle of Duality: If a theorem T can be proved from the projective plane axioms, then its dual statement T* (obtained by swapping "point" and "line" throughout) is also a theorem.
Why it works: Take any proof of T. Every step either invokes an axiom, uses a previously proven lemma, or applies a rule of logic. Replace every axiom used with its dual. Since the dual of each axiom is also valid, we obtain a valid proof of T*.
This means: every proof is really two proofs. When you prove a theorem in projective geometry, you automatically get a second theorem for free by dualizing.
Example — Desargues' Theorem and its dual:
Desargues: If two triangles are perspective from a point, they are perspective from a line.
Dual: If two triangles are perspective from a line, they are perspective from a point.
The dual is the converse! Desargues' theorem is self-dual.
💡 Desargues' theorem is self-dual: dualizing the statement gives the converse, which is also true. Pascal's and Brianchon's theorems are duals of each other.
4. A Famous Dual Pair: Pascal and Brianchon
The most celebrated example of duality in action:
Pascal's Theorem (1639): If a hexagon is inscribed in a conic, then the three pairs of opposite sides meet in three collinear points.
Brianchon's Theorem (1806): If a hexagon is circumscribed about a conic, then the three main diagonals are concurrent.
Brianchon discovered his theorem by simply dualizing Pascal's. No new proof was needed — the duality principle guarantees the result. This was one of the first triumphs of the duality concept.
5. Self-Dual Configurations
A configuration is self-dual if it is isomorphic to its own dual. The most important examples:
Desargues configuration: 10 points and 10 lines, with 3 points on each line and 3 lines through each point
Fano plane: 7 points and 7 lines, each line has 3 points, each point has 3 lines
A configuration with p points, l lines, where each line contains r points and each point lies on s lines is called a (ps, lr) configuration. It is self-dual when p = l and r = s.
6. Algebraic Duality
In homogeneous coordinates, duality has a clean algebraic expression:
Points and lines in homogeneous coordinates:
A point is a triple [x : y : z] (not all zero, defined up to scalar multiple)
A line is a triple [a : b : c] (the line ax + by + cz = 0)
Incidence: Point [x:y:z] lies on line [a:b:c] when ax + by + cz = 0
The incidence condition is perfectly symmetric: the same equation determines whether a point lies on a line or a line passes through a point. Algebraically, points and lines are the same kind of object — both are elements of the projective plane, just viewed from different perspectives.
The dual map: Given a point P = [a : b : c], its dual is the line p with equation ax + by + cz = 0, and vice versa. This map sends collinear points to concurrent lines, and concurrent lines to collinear points. It is an involution: dualizing twice returns to the original.
💡 The equation ax + by + cz = 0 treats the point (x,y,z) and the line (a,b,c) with complete symmetry. This is the algebraic heart of duality.