MathLabs
TheoremProved

Desargues' Theorem

Statement

Let triangles ABCABC and A′B′C′A'B'C' be such that lines AA′AA', BB′BB', CC′CC' meet at a common point OO (the triangles are in perspective from a point). Then the three points P=BC∩B′C′P = BC \cap B'C', Q=CA∩C′A′Q = CA \cap C'A', R=AB∩A′B′R = AB \cap A'B' are collinear (the triangles are in perspective from a line).

Why is it true?

Working purely inside the flat plane, the claim looks delicate because it mixes many different lines. Lifting the picture into three-dimensional space turns every incidence into an intersection of planes, and two distinct planes always meet in a line, which forces the three points onto one common line.

Proof sketch

Regard the two triangles as lying in a plane π\pi inside R3\mathbb{R}^3, and construct, above π\pi, a spatial configuration: a point O^\widehat{O} not in π\pi, and two triangles A^B^C^\widehat{A}\widehat{B}\widehat{C} and A′^B′^C′^\widehat{A'}\widehat{B'}\widehat{C'} in two different planes through space, positioned so that lines A^A′^\widehat{A}\widehat{A'}, B^B′^\widehat{B}\widehat{B'}, C^C′^\widehat{C}\widehat{C'} all pass through O^\widehat{O}, and so that projecting this spatial picture back onto π\pi recovers the original triangles ABCABC and A′B′C′A'B'C' in perspective from OO.

In this spatial picture, the line B^C^\widehat{B}\widehat{C} and the line B′^C′^\widehat{B'}\widehat{C'} both lie in the plane spanned by O^,B^,C^\widehat{O}, \widehat{B}, \widehat{C} (since B′^\widehat{B'} and C′^\widehat{C'} lie on lines through O^\widehat{O} and B^,C^\widehat{B}, \widehat{C} respectively), so these two lines meet at a point P^\widehat{P}; similarly Q^\widehat{Q} and R^\widehat{R} exist in space as the analogous intersections for sides CACA and ABAB.

The three points P^,Q^,R^\widehat{P}, \widehat{Q}, \widehat{R} all lie in the plane containing triangle A^B^C^\widehat{A}\widehat{B}\widehat{C}, since each is built from a pair of its sides, and simultaneously in the plane containing A′^B′^C′^\widehat{A'}\widehat{B'}\widehat{C'}. Hence P^,Q^,R^\widehat{P}, \widehat{Q}, \widehat{R} lie on the line where these two planes intersect, because any two distinct planes in space meet in exactly one line.

Projecting this spatial configuration back down onto the plane π\pi sends P^,Q^,R^\widehat{P}, \widehat{Q}, \widehat{R} to P,Q,RP, Q, R and preserves collinearity, since a projection from a point sends any line to a line. Therefore P,Q,RP, Q, R are collinear in π\pi, which is exactly Desargues' theorem.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. H. S. M. Coxeter (1974). Projective Geometry
  2. Jürgen Richter-Gebert (2011). Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry
  3. Wikipedia contributors (2026). Pascal's theorem — Wikipedia
  4. Wikipedia contributors (2026). Lam's problem — Wikipedia