[Math] circle tangent to three circles

conic sectionsgeometryintersection-theory

To-day I want to look at CCC – one circle tangent to three circles whose radii and positions of their centers are known.

How does one solve this.. old fashioned ways like ruler and compass, or modern ways like intersection theory?

these Apollonius problems are all very classical but good treatments are hard to find. here is a different such problem

construct circle tangent to two given circles and a straight line

Best Answer

Here is an outline of the a procedure. Assume first that you want to find a circle that encloses all three others and touches them from the outside.

  1. Observe that if you increase the radii of all the three circles by the same amount, then the center of the surrounding circle will stay at the same point. Only its radius will increase (by the same amount). Therefore without loss of generality we can assume that two of the three circles intersect at a point $A$. After all we can achieve this by adjusting their radii.
  2. Invert the whole picture w.r.t. a circle with center $A$ (pick one, doesn't matter which one you use). Remember that inversion preserves tangency, and takes circles to circles (or to lines in an important special case!). Because two circles passed via $A$, those two circles become lines in the inversion. Now we have the task of finding a circle that is tangent to a given circle and to given two lines.
  3. Reusing the idea of the first stage we then shrink the remaining circle to have radius zero, i.e. shrink it to a point. At the same time we shrink the radii of the two lines by parallel transporting them by the same amount. Again, in this process the center of the sought after circle does not move.
  4. We now face the problem of finding a circle that is tangent to two given lines and passes through a given point. Solving this is easy. Draw any circle tangent to the two lines (its center will be on the bisector of the angle formed by the two lines et cetera). That circle probably won't go through the point, but a simple application of homothety will fix that.
  5. Undo steps 3,2 and 1 in that order. Inversion is its own inverse, and the other steps have the obvious inverse operations. Rejoice!

If you want to vary the way of tangency (inside/outside), then you may need to shrink some of the three circles instead of expanding their radii in step 1. Altogether there may be as many as eight solutions, for the fourth circle may be tangent to the other three in two ways. Some of those alternatives may not work. For example, if one of the three original circles is inside another, we get obvious problems. Also, should the three initial circles be concentric, there cannot be a solution, and in such a case already step 1 fails.