Menelaus' Theorem
Menelaus' theorem relates ratios obtained by a line cutting the sides of a triangle. The converse of the theorem (i.e. three points on a triangle are collinear if and only if they satisfy certain criteria) is also true and is extremely powerful in proving that three points are collinear.
Ceva's theorem is essentially the counterpart of this theorem and can be used to prove three lines are concurrent at a single point. Both theorems possess similar structures and are widely applicable in various geometry problem types.
Theorem
Collinear points \(D,E,F\) on \(AB,BC,AC\) respectively
Menelaus' theorem states that if a line intersects \(\triangle ABC\) or extended sides at points \(D\), \(E\), and \(F\), the following statement holds:
\[\frac{AD}{DB}\times\frac{BE}{EC}\times\frac{CF}{FA}=1.\]
Converse of Menelaus' Theorem: Suppose three points \(D,E,F\) are on sides (or extension) \(AB,BC,AC\) respectively, such that \(1\) or \(3\) of them are in the extensions of the sides. Then points \(D,E,F\) are collinear if and only if
\[\frac{AD}{DB}\times\frac{BE}{EC}\times\frac{CF}{FA}=1.\]
The Converse of Menelaus' Theorem is very powerful in proving that three points are collinear, especially in Olympiad problems.
Construct lines \(AA'\), \(BB'\), and \(CC'\) that are perpendicular to the yellow line.
Now, since \(\triangle AA'D\sim \triangle BB'D\), \[\frac{AD}{DB}=\frac{AA'}{BB'}.\] Since \(\triangle AA'F\sim \triangle CC'F\), \[\frac{CF}{FA}=\frac{CC'}{AA'}.\] Since \(\triangle BB'E\sim \triangle CC'E\), \[\frac{BE}{EC}=\frac{BB'}{CC'}.\]
Hence, \[\frac{AD}{DB}\times\frac{BE}{EC}\times\frac{CF}{FA}=\frac{AA'}{BB'}\times\frac{BB'}{CC'}\times\frac{CC'}{AA'}=1.\ _\square\]
Note:
- The equality still holds even when the yellow line does not intersect the triangle at all (that means the yellow line intersects at the extended parts of all sides of the triangle).
- If the yellow line intersects one of the vertices of the triangle, then a 0 will appear in the denominator of the equation, which is undefined; to solve this problem, the Menelaus' theorem could also be rewritten as \(AD\times BE\times CF=DB\times EC\times FA\).
Menelaus drew triangle \(ABC\) with \(BC = 13\) before crossing two red lines \(BD = 10\) and \(CE = 15,\) both intersecting at point \(P\) and reaching the triangle's sides at points \(D\) and \(E,\) respectively, as shown above.
Menelaus: Mark this, lad. Point \(P\) does not only divide all the red segments into integer lengths, but points \(D\) and \(E\) also divide the triangle's sides into integer lengths.
Pupil: O, so true, master! Any length between any two of those points is always a whole integer!
Menelaus: Then thou shalt tell me. What is the perimeter of triangle \(ABC?\)
In the figure, let
\[a = \dfrac{PS\cdot QB\cdot RT}{BR\cdot TP\cdot SQ},\quad b =\dfrac{ZV\cdot YW\cdot XC}{WZ\cdot VX\cdot CY}.\]
What is the value of \(a-b?\)
Application - Ratios
From vertex \(C\) of the right angle of \( \triangle ABC,\) height \(CK\) is dropped, and in \(\triangle ACK\) bisector \(CE\) is drawn. The line passing through point \(B\) parallel to \(CE\) meets \(CK\) at point \(F\). Prove that line \(EF\) divides segment \(AC\) in halves.
Since \(\angle BCE=90° - \frac{\angle B}{2}\), we have \(\angle BCE = \angle BEC\) and therefore \(BE=BC\). Hence,
\[CF : KF = BE : BK = BC : BK, \quad AE : KE = CA : CK = BC : BK.\]
Let line \(EF\) intersect \(AC\) at point \(D\). By Menelaus' theorem \(\frac{AD}{CD} \cdot \frac{CF}{KF} \cdot \frac{KE}{AE} =1\). Taking into account the fact that \(CF : KF = AE : KE ,\) we get our required statement. \(_\square\)
The following problem is a good example to invoke this theorem. Please try it out!
The numbers \(3,4,\) and \(6\) denote the areas enclosed by their respective triangles.
What is the area of the yellow region?
Application - Collinearity
Converse of Menelaus' Theorem: Suppose three points \(D,E,F\) are on sides (or extension) \(AB,BC,AC\) respectively, such that \(1\) or \(3\) of them are in the extensions of the sides. Then points \(D,E,F\) are collinear if and only if
\[\frac{AD}{DB}\times\frac{BE}{EC}\times\frac{CF}{FA}=1.\]
This can be used to prove Pascal's Theorem, which states that
Given 6 points (which can be coincident) on the circumference of a circle labelled \(A, C, E, B, F,\) and \(D\) in that order around the circle, the intersections of \(AB\) and \(DE\), \(AF\) and \(CD\), and \(BC\) and \(EF\) are collinear.
Let \(G\) be the intersection of \(\overline{CD}\) and \(\overline{FA},\) let \(H\) be the intersection of \(\overline{AB}\) and \(\overline{DE},\) and let \(I\) be the intersection of \(\overline{BC}\) and \(\overline{EF}.\) We will prove these three points are collinear.
Let \(U\) be the intersection of \(\overline{CD}\) and \(\overline{EF},\) let \(V\) be the intersection of \(\overline{AB}\) and \(\overline{EF},\) and let \(W\) be the intersection of \(\overline{AB}\) and \(\overline{CD}.\) By Menelaus in \(\triangle UVW\) and line \(HDE\), we have
\[\dfrac {VH}{WH} \cdot \dfrac {WD}{UD} \cdot \dfrac {UE}{VE} = 1.\]
By Menelaus in \(\triangle UVW\) and line \(AGF\), we have
\[\dfrac {VA}{WA} \cdot \dfrac {WG}{UG} \cdot \dfrac {UF}{VF} = 1.\]
By Menelaus in \(\triangle UVW\) and line \(BCI\), we have
\[\dfrac {VB}{WB} \cdot \dfrac {WC}{UC} \cdot \dfrac {UI}{VI} = 1.\]
Multiplying these out, we get
\[\dfrac {VH}{WH} \cdot \dfrac {WD}{UD} \cdot \dfrac {UE}{VE} \cdot \dfrac {VA}{WA} \cdot \dfrac {WG}{UG} \cdot \dfrac {UF}{VF} \cdot \dfrac {VB}{WB} \cdot \dfrac {WC}{UC} \cdot \dfrac {UI}{VI} = 1.\]
Upon rearranging, we get
\[\dfrac {WD}{UD} \cdot \dfrac {UE}{VE} \cdot \dfrac {VA}{WA} \cdot \dfrac {UF}{VF} \cdot \dfrac {VB}{WB} \cdot \dfrac {WC}{UC} \cdot \dfrac {VH}{WH} \cdot \dfrac {WG}{UG} \cdot \dfrac {UI}{VI} = 1.\]
Notice that by power of a point, we have
\[\begin{align} \dfrac {WD}{UD} \cdot \dfrac {UE}{VE} \cdot \dfrac {VA}{WA} \cdot \dfrac {UF}{VF} \cdot \dfrac {VB}{WB} \cdot \dfrac {WC}{UC} &= \dfrac {WD \times WC}{WA \times WB} \cdot \dfrac {VA \times VB}{VE \times VF} \cdot \dfrac {UE \times UF}{UC \times UD}\\\\ &= 1. \end{align}\]
Thus, the product above simplifies as
\[\dfrac {VH}{WH} \cdot \dfrac {WG}{UG} \cdot \dfrac {UI}{VI} = 1.\]
So, by Menelaus, \(G, H,\) and \(I\) are collinear. \(_\square\)