Maths WorkshopMaths problems with full solutions
Exercise 640Geometry › Plane geometryM1Added 5 Nov 2026

Stewart's theorem and its consequences

#Stewart's theorem#medians#angle bisector#law of cosines

Statement

Let ABCABC be a triangle with BC=aBC=a, CA=bCA=b, AB=cAB=c. Let DD be a point of the segment BCBC with BD=mBD=m, DC=nDC=n (so m+n=am+n=a) and AD=dAD=d.

  1. Prove Stewart's theorem: b2m+c2n=a (d2+mn)b^2m+c^2n=a\,(d^2+mn).
  2. Deduce the length of the median from AA: d2=2b2+2c2−a24d^2=\dfrac{2b^2+2c^2-a^2}{4}.
  3. Deduce the length ℓ\ell of the internal bisector from AA: ℓ2=bc(1−a2(b+c)2)\ell^2=bc\left(1-\dfrac{a^2}{(b+c)^2}\right).
  4. Compute the median and the bisector from AA in the triangle with a=14a=14, b=15b=15, c=13c=13.
Hint

The angles ∠ADB\angle ADB and ∠ADC\angle ADC are supplementary, so their cosines are opposite. Write the law of cosines in triangles ABDABD and ACDACD and eliminate the cosine.

Show solutionHide solution

Solution

1. Let θ=∠ADB\theta=\angle ADB, so ∠ADC=180∘−θ\angle ADC=180^\circ-\theta and cos⁡∠ADC=−cos⁡θ\cos\angle ADC=-\cos\theta. The law of cosines gives
c2=d2+m2−2dmcos⁡θ,b2=d2+n2+2dncos⁡θ.c^2=d^2+m^2-2dm\cos\theta,\qquad b^2=d^2+n^2+2dn\cos\theta.
Multiply the first by nn, the second by mm, and add: the cosine terms cancel and
c2n+b2m=d2(m+n)+mn(m+n)=a (d2+mn).c^2n+b^2m=d^2(m+n)+mn(m+n)=a\,(d^2+mn).

2. For the median, m=n=a2m=n=\frac a2: a2(b2+c2)=a(d2+a24)\frac a2(b^2+c^2)=a\left(d^2+\frac{a^2}4\right), hence d2=b2+c22−a24=2b2+2c2−a24d^2=\frac{b^2+c^2}2-\frac{a^2}4=\frac{2b^2+2c^2-a^2}4.

3. By the angle bisector theorem mn=cb\frac mn=\frac cb, so m=acb+cm=\frac{ac}{b+c} and n=abb+cn=\frac{ab}{b+c}. Then
b2m+c2n=abc (b+c)b+c=abc,b^2m+c^2n=\frac{abc\,(b+c)}{b+c}=abc,
and Stewart gives d2=bc−mn=bc−a2bc(b+c)2=bc(1−a2(b+c)2)d^2=bc-mn=bc-\frac{a^2bc}{(b+c)^2}=bc\left(1-\frac{a^2}{(b+c)^2}\right).

4. Median: 2⋅225+2⋅169−1964=148\frac{2\cdot225+2\cdot169-196}4=148, so the median is 148=237≈12.17\sqrt{148}=2\sqrt{37}\approx12.17. Bisector: ℓ2=195(1−196784)=195⋅34=146.25\ell^2=195\left(1-\frac{196}{784}\right)=195\cdot\frac34=146.25, so ℓ≈12.09\ell\approx12.09.

Remark. Stewart's theorem also gives the length of an altitude or any cevian once mm and nn are known.

Lesson. When two angles are supplementary, write the law of cosines in both triangles and eliminate the cosine.