# proof of Stewart’s theorem

Let $\theta$ be the angle $\angle AXB$.

Cosines law on $\triangle AXB$ says $c^{2}=m^{2}+p^{2}-2pm\cos\theta$ and thus

 $\cos\theta=\frac{m^{2}+p^{2}-c^{2}}{2pm}$

Using cosines law on $\triangle AXC$ and noting that $\psi=\angle AXC=180^{\circ}-\theta$ and thus $\cos\theta=-\cos\psi$ we get

 $\cos\theta=\frac{b^{2}-n^{2}-p^{2}}{2pn}.$

From the expressions above we obtain

 $2pn(m^{2}+p^{2}-c^{2})=2pm(b^{2}-n^{2}-p^{2}).$

By cancelling $2p$ on both sides and collecting we are led to

 $m^{2}n+mn^{2}+p^{2}n+p^{2}m=b^{2}m+c^{2}n$

and from there $mn(m+n)+p^{2}(m+n)=b^{2}m+c^{2}n$. Finally, we note that $a=m+n$ so we conclude that

 $a(mn+p^{2})=b^{2}m+c^{2}n.$

QED

Title proof of Stewart’s theorem ProofOfStewartsTheorem 2013-03-22 12:38:37 2013-03-22 12:38:37 Mathprof (13753) Mathprof (13753) 7 Mathprof (13753) Proof msc 51-00 StewartsTheorem ApolloniusTheorem CosinesLaw ProofOfApolloniusTheorem2