# Seven Circles Theorem

The applet below illustrates the Seven Circles Theorem:

Suppose we have a chain of five circles S_{1}, S_{2}, . . .,S_{5} each touching the preceding circle in the chain, and all touching a fixed circle C. There are then two circles S_{6} which can be drawn touching S_{1}, S_{5} and C, thus forming a closed loop of six touching circles, all touching C. Then one choice of S_{6} is such that the three lines joining opposite pairs of points of contact on C are concurrent.

What if applet does not run? |

The theorem is of a recent origin and first appeared in [Evelyn, Money-Coutts, Tyrrell, pp. 31-42]. (The 68 pages book is now a bibliographical rarity and can be had for a lofty price of about $500 - give or take a few cents.) A trigonometric proof has been published by H. Martin Cundy in 1978 and a practically elementary proof by Stanley Rabinowitz in 1975.

### References

- H. M. Cundy,
__The Seven-circles Theorem__,*Math. Gazette.*62(1978) 200-203. - C. J. A. Evelyn, G. B. Money-Coutts, J. A. Tyrrell,
*The seven circles theorem and other new theorems*, Stacey International (1974), pp. 31-42 - S. Rabinowitz,
__The Seven Circles Theorem__,*Pi Mu Epsilon Journal*, 8(1987) 441-449

|Activities| |Contact| |Front page| |Contents| |Geometry| |Eye opener|

Copyright © 1996-2018 Alexander BogomolnyRabinowitz's proof, although more restricted than the original, is a real beauty and is the one we shall present below.

The first step in the proof is a lemma found in [Coxeter] which Rabinowitz dubbed *Ceva's Theorem for Chords*.

### Lemma 1

Let A, B, C, D, E, and F be six consecutive points around the circumference of a circle. Then chords AD, BE, CF concur if and only if

(1)

AB · CD · EF = BC · DE · FA.

### Proof

First assume that the six points are such that the chords AD, BE, CF concur in point P. Observe the presence of three pairs of similar triangles. (In the diagram one pair is highlighted and pairs of equal angles are shown. One pair is of central angles; two pairs are inscribed subtended by the same arc.)

From similar triangles, we get the proportions:

AB/DE = PA/PE

CD/FA = PC/PA

EF/BC = PF/PB

PC/PE = PB/PF.

Multiplying these together gives us the desired result.

In the other direction, suppose (1) holds but the chords do not concur. Of the three arcs ABC, CDE, EFA, at least one must be smaller than a semicircle. Let it be the arc CDE. Denote P the intersection of BE and CF. Let X be the second point of intersection of AP with the circle.

By the above,

AB · CX · EF = BC · XE · FA.

Which compared to (1) gives

(2)

CX / XE = CD / DE.

If X and D are different then, say, CX > CD. But then

The second step in the proof is the following

### Lemma 2

Let two externally tangent circles, (P) and (Q), be internally tangent to circle (C) at points A and B respectively. If the radii of circles (C), (P), and (Q) are R, p, and q, respectively, then

AB² = 4R² f(p)·f(q),

where f(x) = x / (R - x).

### Proof

Triangles APM and ACD are isosceles with a common base angle at A. It follows that their other base angles (at M and D) are also equal. Therefore, CD||MP. Similarly, CE||MQ. But PMQ is a straight line and then so is DCE.

Observe also that, as inscribed angles subtended by the same arc,

∠EBA = ∠EDA and

∠BAD = ∠BED.

It follows there are three pairs of similar triangles: APM/ACD, BQM/BCE, and ABM/EDM which gives the following proportions:

AB/DE = AM/EM = BM/DM.

But DE = 2R. Thus we have

AB/2R · AB/2R | = AM/EM · BM/DM |

= AM/EM · BM/DM | |

= AM/DM · BM/EM | |

= AP/CP · BQ/CQ | |

= p(R - p) · q(R - q). |

### Proof of the Seven Circles Theorem

Assume the points of tangency of circle C with circles S_{k} are A_{k}, and that r_{k} denotes the radius of S_{k},

(A_{k}A_{k+1})² = 4R² f(r_{k})f(r_{k+1}),

k = 1, 2, ..., 6, and r_{7} = r_{0}. It follows that

(A_{1}A_{2}·A_{3}A_{4}·A_{5}A_{0})² = 64R^{6} f(r_{0})f(r_{1})f(r_{2})f(r_{3})f(r_{4})f(r_{5}) = (A_{0}A_{1}·A_{2}A_{3}·A_{4}A_{5})²

which of course implies

A_{1}A_{2}·A_{3}A_{4}·A_{5}A_{0} = A_{0}A_{1}·A_{2}A_{3}·A_{4}A_{5}

and by Lemma1 the three chords A_{0}A_{3}, A_{1}A_{4}, A_{2}A_{5} are concurrent.

The applet shows that the concurrency takes place in other configurations as well. For example, circles S_{k} may all be tangent to circle C externally. The above proof goes through in this case if the function f(x) is redefined: f(x) = x/(R + x).

In a special case where circles S_{1}, S_{3}, S_{5} expand into straight lines, the configuration becomes that of the incircle of a triangle with three additional circles inscribed into curvilinear triangles cut off by the incircle. If the radii of the latter shrinks to 0, the remaining points of tangency are none other than the intouch points and the point of concurrency is the point of Gergonne.

As can be grasped from the diagrams below, the theorem holds in a more general setting where the points of tangency A_{k} do not form a convex hexagon.

### References

|Activities| |Contact| |Front page| |Contents| |Geometry| |Eye opener|

Copyright © 1996-2018 Alexander Bogomolny