Menelaus' Theorem

A proof of Menelaus' theorem: three points on the sides (or extensions) of a triangle are collinear if and only if the signed ratio product equals -1.

Keywords: Menelaus' theorem, collinearity, transversal, signed ratios

Prerequisites: area-proof · Difficulty: intermediate

Menelaus' Theorem (c. 100 AD): Points $D$ on $BC$, $E$ on $CA$, $F$ on $AB$ (or their extensions) are collinear if and only if:

\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = -1
    

where the ratios are signed (negative if the point is outside the segment).

Proof Strategy

Draw a line through $A$ parallel to $BC$, meeting line $DEF$ at point $G$. By similar triangles:

• $\triangle AGF \sim \triangle BDF$ gives $AF/FB = AG/BD$
• $\triangle AGE \sim \triangle CDE$ gives $CE/EA = CD/AG$

Multiplying: $\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB} = \frac{BD}{DC}\cdot\frac{CD}{AG}\cdot\frac{AG}{BD} = -1$, where the sign comes from an odd number of external divisions.

Comparison with Ceva

• Ceva: product $= +1$ ↔ cevians are concurrent
• Menelaus: product $= -1$ ↔ points are collinear

The sign difference reflects the geometric distinction: concurrent cevians have an even number (0 or 2) of external points, while a transversal always has an odd number (1 or 3).

The Proof

Step 1: A Transversal Line

Start with triangle $ABC$. A transversal is a line that crosses each of the three sides — or their extensions — at points $D$, $E$, $F$ respectively.

Each crossing point can land on the side itself or on the extension, depending on where the transversal is drawn. Menelaus' theorem handles every such configuration through the signed ratios introduced in the next step.

Step 2: Signed Ratios

Menelaus' theorem uses signed ratios. For each side, the corresponding ratio is positive when the crossing point lies between the two vertices (internal) and negative when it lies on the extension (external).

• $BD/DC$ is positive if $D$ is between $B$ and $C$, negative if $D$ is on the extension of $BC$
• $CE/EA$ is positive if $E$ is between $C$ and $A$, negative if $E$ is on the extension of $CA$
• $AF/FB$ is positive if $F$ is between $A$ and $B$, negative if $F$ is on the extension of $AB$

A transversal always crosses an odd number of side extensions, so an odd number of these ratios are negative — which is what makes the product $-1$ rather than $+1$.

Step 3: Menelaus' Theorem

Menelaus' Theorem (c. 100 AD): three points $D$, $E$, $F$ on the sides of $\triangle ABC$ (or their extensions) are collinear if and only if the signed-ratio product equals $-1$:

\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = -1
    

The sign is $-1$ rather than $+1$ (as in Ceva) because a transversal always crosses an odd number of side extensions.

Step 4: Sketch of the Proof

Draw a line through $A$ parallel to side $BC$, and let $G$ be the point where this auxiliary line meets the transversal. The parallel construction creates two pairs of similar triangles.

First similarity: $\triangle AGF \sim \triangle BDF$. They share $\angle F$, and $AG \parallel BD$ gives equal alternate angles. So:

\frac{AF}{FB} = \frac{AG}{BD}
    

Second similarity: $\triangle AGE \sim \triangle CDE$. They share $\angle E$, and $AG \parallel CD$ gives equal alternate angles. So:

\frac{CE}{EA} = \frac{CD}{AG}
    

Substituting both into the signed product:

\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB}
    = \frac{BD}{DC} \cdot \frac{CD}{AG} \cdot \frac{AG}{BD} = -1
    

$BD$ and $AG$ each cancel, leaving $\frac{CD}{DC} = -1$ — the same segment traversed in opposite signed directions.

Step 5: Compare: Ceva vs Menelaus

Ceva's Theorem: product $= +1$ ↔ cevians concurrent

Menelaus' Theorem: product $= -1$ ↔ points collinear

These dual theorems provide a complete framework for concurrency and collinearity problems in triangle geometry.

Conclusion

Menelaus' Theorem: Points $D$, $E$, $F$ on sides $BC$, $CA$, $AB$ (or extensions) are collinear if and only if:

\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = -1
    

Together with Ceva's theorem, this provides a complete toolkit for concurrency and collinearity problems in triangle geometry.