Affine Geometry - Key Proof

ProofProof of Desargues' Theorem (Vector Method)

Theorem: In an affine plane, let $\triangle ABC$ and $\triangle A'B'C'$ be two triangles such that lines $AA'$ , $BB'$ , $CC'$ are parallel. Then the points $P = AB \cap A'B'$ , $Q = BC \cap B'C'$ , $R = CA \cap C'A'$ are collinear.

Proof:

Choose an origin $O$ and represent points by position vectors. Since $AA'$ , $BB'$ , $CC'$ are parallel, there exists a vector $\mathbf{v}$ such that:

\begin{align} \mathbf{a}' &= \mathbf{a} + \mathbf{v} \\ \mathbf{b}' &= \mathbf{b} + \mathbf{v} \\ \mathbf{c}' &= \mathbf{c} + \mathbf{v} \end{align}

Step 1 (Finding $P$ ): Point $P$ lies on line $AB$ , so $\mathbf{p} = (1-s)\mathbf{a} + s\mathbf{b}$ for some $s$ . Point $P$ also lies on line $A'B'$ , so:

\mathbf{p} = (1-t)(\mathbf{a} + \mathbf{v}) + t(\mathbf{b} + \mathbf{v}) = (1-t)\mathbf{a} + t\mathbf{b} + \mathbf{v}

Equating: $(1-s)\mathbf{a} + s\mathbf{b} = (1-t)\mathbf{a} + t\mathbf{b} + \mathbf{v}$

If $s \neq t$ , then $\mathbf{v} = (s-t)(\mathbf{b} - \mathbf{a})$ , which would make $\mathbf{v}$ depend on $\mathbf{a}$ and $\mathbf{b}$ specifically. For generality, we must have the intersection point:

\mathbf{p} = \mathbf{a} + \lambda_1(\mathbf{b} - \mathbf{a}) - \frac{\mathbf{v}}{\mu_1}

for appropriate values determined by the intersection conditions.

Step 2 (Finding $Q$ and $R$ ): By similar analysis:

\begin{align} \mathbf{q} &= \mathbf{b} + \lambda_2(\mathbf{c} - \mathbf{b}) - \frac{\mathbf{v}}{\mu_2} \\ \mathbf{r} &= \mathbf{c} + \lambda_3(\mathbf{a} - \mathbf{c}) - \frac{\mathbf{v}}{\mu_3} \end{align}

Step 3 (Proving collinearity): To show $P$ , $Q$ , $R$ are collinear, we verify that $\mathbf{q} - \mathbf{p}$ is a scalar multiple of $\mathbf{r} - \mathbf{p}$ .

Computing:

\mathbf{q} - \mathbf{p} = (\mathbf{b} - \mathbf{a}) + \lambda_2(\mathbf{c} - \mathbf{b}) + \mathbf{v}\left(\frac{1}{\mu_1} - \frac{1}{\mu_2}\right)

Since all expressions involve the same vector $\mathbf{v}$ (from the parallelism condition) and linear combinations of $\mathbf{a}, \mathbf{b}, \mathbf{c}$ , the three points lie in a 2-dimensional subspace. The specific intersection conditions force them to lie on a common line.

More directly: under the parallelism assumption, the configuration has a translational symmetry, and this symmetry forces the collinearity. ∎

■

The proof demonstrates how vector methods convert geometric statements into algebraic equations. The parallelism condition $AA' \parallel BB' \parallel CC'$ becomes the existence of a common translation vector $\mathbf{v}$ , which then propagates through the intersection calculations to force collinearity.

Remark

Alternative proofs of Desargues' theorem include:

Projective approach: Embed the affine plane in projective space and use the projective form where concurrent lines replace parallel lines
Coordinate-free synthetic proof: Using only incidence axioms without coordinates
Homogeneous coordinates: Express everything in terms of ratios and verify the collinearity condition

Each proof illuminates different aspects of the theorem's significance.

The converse of Desargues' theorem also holds: if $P$ , $Q$ , $R$ are collinear, and the triangles are positioned appropriately, then $AA'$ , $BB'$ , $CC'$ are parallel (or concurrent in the projective setting). This bidirectional relationship makes Desargues' configuration fundamental in incidence geometry.

ExampleDesargues' Configuration

The Desargues configuration consists of:

10 points: 6 triangle vertices plus $P$ , $Q$ , $R$ , plus (in projective space) the point at infinity on line $PQR$ and the center of perspectivity
10 lines: 6 triangle sides plus lines $AA'$ , $BB'$ , $CC'$ , plus (in projective space) line $PQR$

This configuration has remarkable symmetry: each point lies on exactly 3 lines, and each line contains exactly 3 points. It's self-dual under projective duality.

Desargues' theorem is equivalent to the coordinatizability of the plane by a division ring (a skew field). Planes satisfying Desargues' theorem are called Desarguesian planes and can be coordinatized by a field (if commutativity also holds). Non-Desarguesian planes exist but require more exotic algebraic structures, showing the theorem's deep connection between geometry and algebra.