The seven circles theorem revisited

Abstract

The circles C1, & , Cn form a chain of length n if Ci touches Ci + 1, for i = 1, & , n − 1, and the chain is closed if also Cn touches C1. A cyclic chain is a chain for which all the circles touch another circle S, the base circle of the chain. If Ci touches S at Pi, then P1, & , Pn are the base points of the chain. Sometimes there may be coincidences among the base points; in particular, if Pi = Pj, then the line PiPj should be interpreted as the tangent S to at Pi.The seven circles theorem first appeared in [1, §3.1], and some historical details of its genesis can be found in John Tyrrell's obituary [2]. The theorem concerns a closed cyclic chain of length 6, and says that, if a certain extra condition is satisfied, then the lines P1P4, P2P5, P3P6 joining opposite base points are concurrent. Here and throughout, ‘concurrent’ should be read as ‘concurrent or all parallel’, that is, the point of concurrency might be at infinity.