If four circles are tangent to each other at six distinct points, and the circles have curvatures ki (for i = 1, .., 4), Descartes' theorem says: .
The ± sign reflects the fact that there are in general two solutions.