Four mutually tangent circles satisfy (k₁+k₂+k₃+k₄)² = 2(k₁²+k₂²+k₃²+k₄²), where kᵢ = 1/rᵢ is the curvature. The outer circle has negative curvature.