Stewart's Theorem is the habit of relating a cevian's length to the side lengths it cuts. In contest math, that habit turns a crowded setup into a relation the student can test, bound, count, or compute. MathGrit teaches it as a recognizable signal, a deliberate move, and a final translation back to the original question.
$$b^2 n + c^2 m = a\,(d^2 + mn) \qquad (\text{man} + \text{dad} = \text{bmb} + \text{cnc}),\ \ m = DC,\ n = BD$$
Stewart's theorem gives the length of a cevian in terms of the triangle's three sides and the two pieces it cuts the opposite side into.
Why It Works
1
In $\triangle ABC$, let the cevian $AD = d$ hit side $BC = a$ at $D$, splitting it into $BD = n$ (next to $B$, where $AB = c$) and $DC = m$ (next to $C$, where $AC = b$), so $m + n = a$.
2
Apply the Law of Cosines in $\triangle ADC$ to angle $\angle ADC$: $b^2 = d^2 + m^2 - 2dm\cos\angle ADC$.
3
Apply it in $\triangle ADB$ to the supplementary angle $\angle ADB = 180^\circ - \angle ADC$, whose cosine is $-\cos\angle ADC$: $c^2 = d^2 + n^2 + 2dn\cos\angle ADC$.
4
Eliminate the cosine: multiply the first equation by $n$, the second by $m$, and add. The $\cos$ terms cancel ($-2dmn\cos + 2dmn\cos = 0$), leaving $b^2 n + c^2 m = (d^2)(m+n) + m^2 n + n^2 m$.
5
Since $m + n = a$ and $m^2 n + n^2 m = mn(m+n) = amn$, this is $b^2 n + c^2 m = a d^2 + a mn = a(d^2 + mn)$ — Stewart's theorem (with $m,n$ matched to $b,c$ as set up; the mnemonic 'man + dad = bmb + cnc' encodes it).
Worked Examples
Example 1
In $\triangle ABC$, $AB = 4$, $AC = 7$, and $BC = 9$. A cevian $AD$ meets $BC$ at $D$ with $BD = 6$ and $DC = 3$. Find the length $AD$.
1
Set up Stewart's with $a = BC = 9$, $b = AC = 7$, $c = AB = 4$, $m = DC = 3$ (next to $C$), $n = BD = 6$ (next to $B$), and $d = AD$.
2
Plug into $b^2 n + c^2 m = a(d^2 + mn)$ — note each side² multiplies the segment at the OPPOSITE end: $7^2\cdot 6 + 4^2\cdot 3 = 9\,(d^2 + 6\cdot 3)$.
$m_a^2 = \dfrac{2b^2 + 2c^2 - a^2}{4}$ (Stewart's with $m = n = a/2$).
Going Deeper
Generalization: Stewart's theorem is two Law-of-Cosines applications on the supplementary angles $\angle ADB$ and $\angle ADC$, fused so the cosine cancels — so it is really 'the Law of Cosines for a cevian.' Specializing the foot gives the median formula (foot at the midpoint) and combines with the angle-bisector ratio to give the bisector-length formula.
Where it appears: any AMC/AIME problem that gives all three sides AND a cevian's foot position (a median, an angle bisector, or a stated ratio) and asks for the cevian's length is a one-line Stewart computation. It is the standard alternative to placing coordinates.
Pitfall: the side-to-segment pairing is the universal trap. Each side SQUARED multiplies the segment at the segment's FAR (opposite) end: $b^2$ (= $AC^2$, side at $C$) multiplies $BD$ (the segment at $B$). Pairing a side with the adjacent segment instead — the seductive misreading of the 'bmb + cnc' mnemonic — gives a wrong length, as the corrected worked example shows.
Spot the Signal
Use it when you know the side lengths and a cevian and need its length, or the reverse.
You can describe the hard part as relating a cevian's length to the side lengths it cuts, but a direct attack starts producing clutter.
The problem rewards preserving structure instead of expanding, listing, or guessing too early.
Learn the Move
Start by labeling the cevian and its two sub-segments, then applying $man + dad = bmb + cnc$.
Name the relation that makes Stewart's Theorem legal before doing computation.
Use the new relation to replace the messiest part of the problem with a cleaner one.
Translate the result back to the quantity the problem actually asks for.
Avoid These Traps
Mismatching which sub-segment is $m$ versus $n$, or which side multiplies which.
Applying Stewart's Theorem because it sounds relevant, without checking the trigger first.
Stopping after spotting the technique instead of finishing the calculation or proof.
MathGrit Coach Note
Label the pieces once, carefully; then the formula does the rest.
Try it on:
Find a cevian or segment length in a triangle from the side lengths.