Stewart's Theorem
Statement
If a cevian of length d is drawn and divides side a into segments m and n, then
Proof
For this proof, we will use the law of cosines and the identity .
Label the triangle with a cevian extending from onto , label that point . Let CA = n. Let DB = m. Let AD = d. We can write two equations:
When we write everything in terms of cos(CDA) we have:
Now we set the two equal and arrive at Stewart's theorem: . However, since can be written as a, we get the more common form: