 Descartes' circle theorem

ID: descartes-circle-theorem

k_{i}

satisfy

(k_{1} + k_{2} + k_{3} + k_{4})^{2} = 2 (k_{1}^{2} + k_{2}^{2} + k_{3}^{2} + k_{4}^{2})

. Curvature is the reciprocal of the radius, with an enclosing circle assigned negative curvature. Given three curvatures, solving the quadratic equation gives

k_{4} = k_{1} + k_{2} + k_{3} \pm 2 k_{1} k_{2} + k_{2} k_{3} + k_{3} k_{1}

, providing the two completions of the configuration.

 New to topics? Read the docs here!