Let ,
, and be the lengths of the tangents to a circle from the vertices of a triangle
with sides of lengths ,
, and . Then the condition that is tangent to the circumcircle
of the triangle is that
The theorem was discovered by Casey prior to Purser's independent discovery.