Descartes' Theorem: (k₁+k₂+k₃+k₄)² = 2(k₁²+k₂²+k₃²+k₄²) — four mutually tangent circles, curvature k = 1/r