# Four Touching Circles

What Is this About?

A Mathematical Droodle

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

### Four Touching Circles

The applet suggests the following theorem:

Let there be 4 circles S_{1}, S_{2}, S_{3}, and S_{4} each tangent cyclically to its neighbors, so that S_{1} touches S_{2} and S_{4}, S_{2} also touches S_{3}, and the latter touches S_{4}. Prove that the four tangency points are concyclic, i.e. lie on a circle.

Check the "Inverted diagram" box. You'll see two parallel lines, two tangent circles, each of which is tangent to one of the parallel lines and a line that goes through the three points of tangency. What is this about?

Assume we indeed have a chain of four circles, each touching two of its neighbors. Make an inversion with one point of tangency as the center. Two circles tangent at that point will map on two parallel lines. The other two circles map onto tangent circles each touching one of the parallel lines. (Because of the angle preservation property tangent curves are mapped onto tangent curves.) Observe that

Two parallel lines are homothetic with any point in the plane (but not on the lines) as a legitimate center of homothety.

Two tangent circles are homothetic with the common point of tangency as the center.

This means that that the whole (inverted) configuration is homothetic with the center of homothety at the point of tangency of the two (inverted) circles. Necessarily the points of tangency of the circles with the parallel lines are images of each other under that homothety, such that the three points of tangency are collinear. By the inversion at hand, the line those points are on, is mapped onto a circle passing through the center of inversion.

The proof may now proceed as follows. We used 1 of the points of tangency of the circles S_{1}, S_{2}, S_{3}, and S_{4} as the center of inversion. The other three points are of course concyclic. Let them lie on circle S. Under the inversion, the images of the three points are collinear. Therefore that circle S passes through the center of inversion - the fourth point of tangency.

### Remark

Years after this page was written it came to my attention that the theorem as it was stated above is in fact incorrect. A modification is not difficult and is easily verifiable. The simplest variant is the one proven: if all four tangencies are external the proof goes through without a modifications. It remains also valid if the number of external tangencies is even: 0, 2, or 4. The proof fails and the theorem no longer holds if the number of external tangencies is odd: 1 or 3.

I do not remember my original source for the problem. However, it appears in the second volume (in Russian) of I. M. Yaglom's *Geometric Transformations* (Problem 216) in a wrong formulation and also in volume 2 of V. V. Prasolov's *Problems in Planimetry* (Problem 28.5) in a limited formulation (all tangencies are required to be external.)

Observe that the inverted diagram lets you modify the circle configuration. However all possible modifications will result in an even number of external tangencies.

While trying to ascertain the properties of the four circle configuration I wrote another applet with an elementary but an incomplete proof of the theorem. The applet allows for a more direct handling of the configuration without invoking the inversion.

The third applet is the most general and offers a direct observation of the phenomenon: in case of the odd number of external tangencies the four contact points cease to be concyclic.

### Relevant pages:

- The Four Touching Circles Problem
- The Four Touching Circles Problem II
- The Four Touching Circles Problem III
- The Four Touching Circles Problem IV

### Inversion - Introduction

- Angle Preservation Property
- Apollonian Circles Theorem
- Archimedes' Twin Circles and a Brother
- Bisectal Circle
- Chain of Inscribed Circles
- Circle Inscribed in a Circular Segment
- Circle Inversion: Reflection in a Circle
- Circle Inversion Tool
- Feuerbach's Theorem: a Proof
- Four Touching Circles
- Hart's Inversor
- Inversion in the Incircle
- Inversion with a Negative Power
- Miquel's Theorem for Circles
- Peaucellier Linkage
- Polar Circle
- Poles and Polars
- Ptolemy by Inversion
- Radical Axis of Circles Inscribed in a Circular Segment
- Steiner's porism
- Stereographic Projection and Inversion
- Tangent Circles and an Isosceles Triangle
- Tangent Circles and an Isosceles Triangle II
- Three Tangents, Three Secants
- Viviani by Inversion
- Simultaneous Diameters in Concurrent Circles
- An Euclidean Construction with Inversion
- Construction and Properties of Mixtilinear Incircles
- Two Quadruplets of Concyclic Points
- Seven and the Eighth Circle Theorem
- Invert Two Circles Into Equal Ones

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

71072580