A very short proof of this theorem based on Casey's theorem on the bitangents of four circles tangent to a fifth circle was published by John Casey in 1866; Feuerbach's theorem has also been used as a test case for automated theorem proving.