When Points Become Circles: The Seven Circles Theorem for Arbitrary Closed Six-Circle Chains

Abstract

The Seven Circles Theorem states that if six circles form a closed chain and are tangent to a common circle, then the three lines joining opposite points of tangency on the common circle are concurrent. We extend this result to an arbitrary closed six-circle chain. Given such a chain, we consider two circles, each tangent to one of the two alternating triples of circles in the chain. For each circle in the chain, we then construct a circle tangent to it and to both of these circles. We prove that the three lines joining the centers of the newly constructed circles corresponding to opposite members of the chain are concurrent. In the classical configuration, the two circles associated with the alternating triples coincide with the common circle, while the six newly constructed circles degenerate to the six points of tangency, viewed as circles of radius zero. Thus, the classical Seven Circles Theorem is recovered as a degenerate case of our generalization.