In an earlier sketch, I tackled a classic problem of Apollonius: Construct a circle tangent to three arbitrary circles. I was later advised by an acquaintance, John Del Grande, that my solution was incomplete. A circle may be seen as a point or a line, these being the limiting cases as the radius approaches zero or infinity. Rather than use three circles, we should be using any combination of three from points, lines, and circles.
Dr. Del Grande listed all of the ten combinations in a textbook, Mathematics 12, by J. J. Del Grande, G. F. D. Duff, and J. C. Egsgard (1965 W. J. Gage Limited). All of those combinations are presented here in Geometer's Sketchpad files. Some of them are quite complex. The files should display the solutions for every arrangement. Because of the limitations of the program, some of the solutions will disappear when they approach lines.
All of the files observe these conventions. The independent objects are red. The dependent circles are blue. If an independent object is a circle, then it may be manipulated by moving its center, or by moving a point on the circle, which controls the radius. If the independent object is a line, then it is controlled by two points on the line. Independent points may be moved freely.
That last construction is simply a circle through three points. It is covered in most elementary geometry courses. Some of the other constructions are extremely complicated. If you doubt that, then open the Sketchpad version of the Three Circles drawing and execute the Show All Hidden command. You will see something similar to the picture at right. This is one case in which it is difficult to dispute the value of dynamic geometry software. With so many interdependent objects, I would never be able to complete this drawing using straightedge and compass. It would be too difficult to distinguish between the different objects, the precision would be compromised with each step, and so many construction marks could not be cleanly erased.
Inversion geometry is used in the more difficult constructions. If you have never studied it, or if you need a refresher on the terminology, this link may be helpful: Inversion Geometry
This begins with my own construction. I later learned of several others, at least one of which is much more elegant. This one comes first, however, because it is my own.
It would seem difficult to find a circle that is tangent to three given circles, but if two of those circles were concentric, then it would not be so difficult at all. Given any two non-intersecting circles, it is possible to define an inversion such that the circles images are concentric. Invert all three circles, construct tangent circles, and run the solutions through the same transformation. Their images will be tangent to the original circles.
What if the original circles intersect? That makes it even easier. Two intersecting circles can be inverted so that their images are intersecting lines. That would simplify the three-circle problem into a problem of two lines and one circle. Below is the same sequence of steps, beginning with intersecting circles.
The Gergonne Solution
Notice that the construction above is actually two constructions. The one to use depends on whether any of the given circles intersect. That would not have been such an issue in the third century BC, but we now live with dynamic geometry software, and the given conditions can change even after the construction is complete. It would be better to have one solution that fits all cases.
The construction below was published by Joseph-Diaz Gergonne in 1816. It too makes use of inversion geometry. One great advantage is that the same construction works for all but a few special configurations of the given circles. For three given circles, the Gergonne construction will render all solutions and will not result in any rogue circles, which are not solutions. This makes it work especially well with dynamic geometry. Do the construction once, and it will hold together while the arrangement of the given circles is changed.Proof of the Gergonne solution can be found in the paper below. It is a journal article discussing solutions by François Viète, Isaac Newton, and Gergonne.
The Gergonne construction:
The dilation point or center of homothety of two circles is the point from which one of the circles may be dilated onto the other. For two circles, there are generally two dilation points.
From a set of three circles, three different pairs can be taken. For each pair, construct the two dilation points. That results in six points. Through these six points, it is possible to draw four lines, each containing three of the dilation points. Three of the lines separate one circle center from the other two centers. The fourth line has all three center points on the same side.
Geometers Sketchpad File
Below is a Geometer's Sketchpad document with constructed solutions for each of the ten cases. Most of the constructions are based on Gergonnes's solution.
Last update: January 26, 2012 ... Paul Kunkel firstname.lastname@example.org
For email to reach me, the word geometry must appear in the body of the message.