[Paper Review] A theorem on circle configurations

Jerzy Kocik|ArXiv.org|Jun 4, 2007

Mathematics and Applications14 references20 citations

TL;DR

This paper presents a general analytical formula for determining the radii and positions of four mutually tangent circles in the plane for any linearly independent circle configuration. Using a novel algebraic approach based on inversion geometry and symmetric function theory, it unifies and extends known results such as Descartes' Circle Theorem and the Apollonian problem, providing a closed-form solution applicable to n-spheres as well.

ABSTRACT

A formula for the radii and positions of four circles in the plane for an arbitrary linearly independent circle configuration is found. Among special cases is the recent extended Descartes Theorem on the Descartes configuration and an analytic solution to the Apollonian problem. The general theorem for n-spheres is also considered.

Motivation & Objective

• To derive a universal analytical formula for the radii and positions of four circles in a linearly independent configuration in the plane.
• To generalize the extended Descartes Theorem to arbitrary circle configurations beyond the standard mutually tangent case.
• To provide a systematic analytic solution to the classical Apollonian circle packing problem.
• To extend the framework to n-spheres, establishing a higher-dimensional generalization of the circle configuration theorem.
• To unify various known results in circle geometry under a single algebraic and geometric formalism.

Proposed method

• The method employs inversion geometry to transform the problem into a more symmetric configuration, simplifying the geometric constraints.
• It uses symmetric functions of the curvatures (inverses of radii) and their cross-ratios to derive algebraic relations among the four circles.
• A key component is the derivation of a quadratic equation system that encodes the tangency conditions between four circles.
• The solution is expressed in terms of a determinant-based formula involving the curvatures and positions, enabling direct computation.
• The approach is generalized to n-spheres by extending the symmetric function framework to higher dimensions.
• The formulation is validated through special cases, including the Descartes configuration and Apollonian gaskets.

Experimental results

Research questions

• RQ1 Can a unified analytical formula be derived for the radii and positions of four mutually tangent circles in any linearly independent configuration?
• RQ2 How does the extended Descartes Theorem emerge as a special case of this general framework?
• RQ3 Can the Apollonian circle packing problem be solved analytically using this method?
• RQ4 What algebraic structure underlies the geometric constraints of four tangent circles in the plane?
• RQ5 To what extent can this method be generalized to configurations of n-spheres in higher dimensions?

Key findings

• The paper derives a closed-form solution for the curvatures and positions of four mutually tangent circles in the plane using symmetric functions and inversion geometry.
• The solution generalizes the extended Descartes Theorem, recovering it as a special case when the four circles are mutually tangent.
• The method provides an exact analytic solution to the Apollonian problem, determining all possible configurations of four tangent circles given three initial circles.
• The framework is extended to n-spheres, yielding a general formula for configurations of n mutually tangent spheres in n-dimensional space.
• The derived equations are invariant under Möbius transformations, confirming their geometric robustness and consistency.
• The solution is computationally explicit, with all parameters expressible via determinants and symmetric polynomials of the input curvatures and positions.