Let , , and be the lengths of the tangents to a Circle from the vertices of a Triangle with sidesof 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.See also Casey's Theorem, Circumcircle