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.
