Stewart's Theorem
A theorem relating the length of a cevian to the lengths of the sides of a triangle. This theorem is easily proven using the law of cosines.
See also
Cevas Theorem, Menelauss Theorem