Desargues' Theorem
Theorem
Let $\triangle ABC$ and $\triangle A'B'C'$ be triangles lying in the same or different planes.
Let the lines $AA'$, $BB'$ and $CC'$ intersect in the point $O$.
Then:
- $BC$ meets $B'C'$ in $L$
- $CA$ meets $C'A'$ in $M$
- $AB$ meets $A'B'$ in $N$
where $L, M, N$ are collinear.
Converse
Let $\triangle ABC$ and $\triangle A'B'C'$ be triangles lying in the same or different planes.
Let:
- $BC$ meet $B'C'$ in $L$
- $CA$ meet $C'A'$ in $M$
- $AB$ meet $A'B'$ in $N$
where $L, M, N$ are collinear.
Then the lines $AA'$, $BB'$ and $CC'$ intersect in the point $O$.
Proof
Let $\triangle ABC$ and $\triangle A'B'C'$ be in different planes $\pi$ and $\pi'$ respectively.
Since $BB'$ and $CC'$ intersect in $O$, it follows that $B$, $B'$, $C$ and $C'$ lie in a plane.
Thus $BC$ must meet $B'C'$ in a point $L$.
By the same argument, $CA$ meets $C'A'$ in a point $M$ and $AB$ meets $A'B'$ in a point $N$.
These points $L, M, N$ are in each of the planes $\pi$ and $\pi'$.
By Two Planes have Line in Common they are therefore collinear on the line where $\pi$ and $\pi'$ meet.
Now let $\triangle ABC$ and $\triangle A'B'C'$ be in the same plane $\pi$.
Let $OPP'$ be any line through $O$ which does not lie in $\pi$.
Then since $PP'$ meets $AA'$ in $O$, the four points $P, P', A, A$ are coplanar.
Thus $PA$ meets $P'A'$ at a point $A$.
Similarly $PB$ meets $P'B'$ at a point $B$, and $PC$ meets $P'C'$ at a point $C$.
The lines $BC, B'C'$ and $BC$ are the three lines of intersection of the three planes $PBC$, $P'B'C'$ and $\pi$ taken in pairs.
So $BC$, $B'C'$ and $BC$ meet in a point $L$.
Similarly $CA$, $C'A'$ and $CA$ meet in a point $M$ and $AB$, $A'B'$ and $AB$ meet in a point $N$.
The two triangles $\triangle ABC$ and $\triangle ABC$ are in different planes, and $AA$, $BB$ and $CC$ meet in $P$.
Thus $L$, $M$ and $N$ are collinear by the first part of this proof.
$\blacksquare$
Also see
Source of Name
This entry was named for Girard Desargues.
Sources
- 1937: Eric Temple Bell: Men of Mathematics ... (previous) ... (next): Chapter $\text{V}$: "Greatness and Misery of Man"
- 1952: T. Ewan Faulkner: Projective Geometry (2nd ed.) ... (previous) ... (next): Chapter $1$: Introduction: The Propositions of Incidence: $1.3$: Desargues' Theorem
- 1986: David Wells: Curious and Interesting Numbers ... (previous) ... (next): $10$
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): Desargues' theorem
- 1997: David Wells: Curious and Interesting Numbers (2nd ed.) ... (previous) ... (next): $10$
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Desargues' theorem
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Desargues' theorem
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Desargues' Theorem