Let a Cevian be drawn on a triangle
, and denote the lengths
and
, with
. Then Stewart's theorem, also called Apollonius' theorem,
states that
In particular, if
is the fraction of the distance of
from vertex
to vertex
and
, then
,
, and
giving the above identity.
Bottema (1979) extended the formula to simplices in higher dimensions, and Bottema (1980-1981) explicitly considered the tetrahedron.