Ontify
Theorem describing a relation between the lengths of the sides and the length of a cevian in a triangle.