Apollonius' Problem

Given three objects, each of which may be a point, line, or circle, draw a circle that is tangent to each. There are a total of ten cases. The two easiest involve three points or three lines, and the hardest involves three circles. Euclid solved the two easiest cases in his Elements, and the others (with the exception of the three circle problem), appeared in the Tangencies of Apollonius which was, however, lost. The general problem is, in principle, solvable by straightedge and compass alone.

The three-circle problem was solved by Viète (Boyer 1968), and the solutions are called Apollonius circles. There are eight total solutions. The simplest solution is obtained by solving the three simultaneous quadratic equations

(1)

(2)

(3)

in the three unknowns , , for the eight triplets of signs (Courant and Robbins 1996). Expanding the equations gives

(4)

for , 2, 3. Since the first term is the same for each equation, taking and gives

(5)

(6)

where

			(7)
			(8)
			(9)
			(10)

and similarly for , , and (where the 2 subscripts are replaced by 3s). Solving these two simultaneous linear equations gives

			(11)
			(12)

which can then be plugged back into the quadratic equation (1) and solved using the quadratic formula.

Perhaps the most elegant solution is due to Gergonne. It proceeds by locating the six homothetic centers (three internal and three external) of the three given circles. These lie three by three on four lines (illustrated above). Determine the inversion poles of one of these with respect to each of the three circles and connect the inversion poles with the radical center of the circles. If the connectors meet, then the three pairs of intersections are the points of tangency of two of the eight circles (Petersen 1879, Johnson 1929, Dörrie 1965). To determine which two of the eight Apollonius circles are produced by the three pairs, simply take the two which intersect the original three circles only in a single point of tangency. The procedure, when repeated, gives the other three pairs of circles.

If the three circles are mutually tangent, then the eight solutions collapse to two, known as the Soddy circles.

Larmor (1891) and Lachlan (1893, pp. 244-251) consider the problem of four circles having a common tangent circle.
Wolfram