text:
Problem of Apollonius
In Euclidean plane geometry, Apollonius's problem is to construct circles that are tangent to three given circles in a plane (Figure 1). Apollonius of Perga (ca. 262 BC – ca. 190 BC) posed and solved this famous problem in his work Ἐπαφαί (Epaphaí, "Tangencies"); this work has been lost, but a 4th-century AD report of his results by Pappus of Alexandria has survived. Three given circles generically have eight different circles that are tangent to them (Figure 2), a pair of solutions for each way to divide the three given circles in two subsets (there are 4 ways to divide a set of cardinality 3 in 2 parts).
In the 16th century, Adriaan van Roomen solved the problem using intersecting hyperbolas, but this solution does not use only straightedge and compass constructions. François Viète found such a solution by exploiting limiting cases: any of the three given circles can be shrunk to zero radius (a point) or expanded to infinite radius (a line). Viète's approach, which uses simpler limiting cases to solve more complicated ones, is considered a plausible reconstruction of Apollonius' method. The method of van Roomen was simplified by Isaac Newton, who showed that Apollonius' problem is equivalent to finding a position from the differences of its distances to three known points. This has applications in navigation and positioning systems such as LORAN.
Later mathematicians introduced algebraic methods, which transform a geometric problem into algebraic equations. These methods were simplified by exploiting symmetries inherent in the problem of Apollonius: for instance solution circles generically occur in pairs, with one solution enclosing the given circles that the other excludes (Figure 2). Joseph Diaz Gergonne used this symmetry to provide an elegant straightedge and compass solution, while other mathematicians used geometrical transformations such as reflection in a circle to simplify the configuration of the given circles. These developments provide a geometrical setting for algebraic methods (using Lie sphere geometry) and a classification of solutions according to 33 essentially different configurations of the given circles.
Apollonius' problem has stimulated much further work. Generalizations to three dimensions—constructing a sphere tangent to four given spheres—and beyond have been studied. The configuration of three mutually tangent circles has received particular attention. René Descartes gave a formula relating the radii of the solution circles and the given circles, now known as Descartes' theorem. Solving Apollonius' problem iteratively in this case leads to the Apollonian gasket, which is one of the earliest fractals to be described in print, and is important in number theory via Ford circles and the Hardy–Littlewood circle method.
The general statement of Apollonius' problem is to construct one or more circles that are tangent to three given objects in a plane, where an object may be a line, a point or a circle of any size.[1][2][3][4] These objects may be arranged in any way and may cross one another; however, they are usually taken to be distinct, meaning that they do not coincide. Solutions to Apollonius' problem are sometimes called Apollonius circles, although the term is also used for other types of circles associated with Apollonius.
The property of tangency is defined as follows. First, a point, line or circle is assumed to be tangent to itself; hence, if a given circle is already tangent to the other two given objects, it is counted as a solution to Apollonius' problem. Two distinct geometrical objects are said to intersect if they have a point in common. By definition, a point is tangent to a circle or a line if it intersects them, that is, if it lies on them; thus, two distinct points cannot be tangent. If the angle between lines or circles at an intersection point is zero, they are said to be tangent; the intersection point is called a tangent point or a point of tangency. (The word "tangent" derives from the Latin present participle, tangens, meaning "touching".) In practice, two distinct circles are tangent if they intersect at only one point; if they intersect at zero or two points, they are not tangent. The same holds true for a line and a circle. Two distinct lines cannot be tangent in the plane, although two parallel lines can be considered as tangent at a point at infinity in inversive geometry (see below).[5][6]
The solution circle may be either internally or externally tangent to each of the given circles. An external tangency is one where the two circles bend away from each other at their point of contact; they lie on opposite sides of the tangent line at that point, and they exclude one another. The distance between their centers equals the sum of their radii. By contrast, an internal tangency is one in which the two circles curve in the same way at their point of contact; the two circles lie on the same side of the tangent line, and one circle encloses the other. In this case, the distance between their centers equals the difference of their radii. As an illustration, in Figure 1, the pink solution circle is internally tangent to the medium-sized given black circle on the right, whereas it is externally tangent to the smallest and largest given circles on the left.
Apollonius' problem can also be formulated as the problem of locating one or more points such that the differences of its distances to three given points equal three known values. Consider a solution circle of radius rs and three given circles of radii r1, r2 and r3. If the solution circle is externally tangent to all three given circles, the distances between the center of the solution circle and the centers of the given circles equal d1 = r1 + rs, d2 = r2 + rs and d3 = r3 + rs, respectively. Therefore, differences in these distances are constants, such as d1 − d2 = r1 − r2; they depend only on the known radii of the given circles and not on the radius rs of the solution circle, which cancels out. This second formulation of Apollonius' problem can be generalized to internally tangent solution circles (for which the center-center distance equals the difference of radii), by changing the corresponding differences of distances to sums of distances, so that the solution-circle radius rs again cancels out. The re-formulation in terms of center-center distances is useful in the solutions below of Adriaan van Roomen and Isaac Newton, and also in hyperbolic positioning or trilateration, which is the task of locating a position from differences in distances to three known points. For example, navigation systems such as LORAN identify a receiver's position from the differences in arrival times of signals from three fixed positions, which correspond to the differences in distances to those transmitters.[7][8]
A rich repertoire of geometrical and algebraic methods have been developed to solve Apollonius' problem,[9][10] which has been called "the most famous of all" geometry problems.[3] The original approach of Apollonius of Perga has been lost, but reconstructions have been offered by François Viète and others, based on the clues in the description by Pappus of Alexandria.[11][12] The first new solution method was published in 1596 by Adriaan van Roomen, who identified the centers of the solution circles as the intersection points of two hyperbolas.[13][14] Van Roomen's method was refined in 1687 by Isaac Newton in his Principia,[15][16] and by John Casey in 1881.[17]
Although successful in solving Apollonius' problem, van Roomen's method has a drawback. A prized property in classical Euclidean geometry is the ability to solve problems using only a compass and a straightedge.[18] Many constructions are impossible using only these tools, such as dividing an angle in three equal parts. However, many such "impossible" problems can be solved by intersecting curves such as hyperbolas, ellipses and parabolas (conic sections). For example, doubling the cube (the problem of constructing a cube of twice the volume of a given cube) cannot be done using only a straightedge and compass, but Menaechmus showed that the problem can be solved by using the intersections of two parabolas.[19] Therefore, van Roomen's solution—which uses the intersection of two hyperbolas—did not determine if the problem satisfied the straightedge-and-compass property.
Van Roomen's friend François Viète, who had urged van Roomen to work on Apollonius' problem in the first place, developed a method that used only compass and straightedge.[20] Prior to Viète's solution, Regiomontanus doubted whether Apollonius' problem could be solved by straightedge and compass.[21] Viète first solved some simple special cases of Apollonius' problem, such as finding a circle that passes through three given points which has only one solution if the points are distinct; he then built up to solving more complicated special cases, in some cases by shrinking or swelling the given circles.[1] According to the 4th-century report of Pappus, Apollonius' own book on this problem—entitled Ἐπαφαί (Epaphaí, "Tangencies"; Latin: De tactionibus, De contactibus)—followed a similar progressive approach.[11] Hence, Viète's solution is considered to be a plausible reconstruction of Apollonius' solution, although other reconstructions have been published independently by three different authors.[22]
Several other geometrical solutions to Apollonius' problem were developed in the 19th century. The most notable solutions are those of Jean-Victor Poncelet (1811)[23] and of Joseph Diaz Gergonne (1814).[24] Whereas Poncelet's proof relies on homothetic centers of circles and the power of a point theorem, Gergonne's method exploits the conjugate relation between lines and their poles in a circle. Methods using circle inversion were pioneered by Julius Petersen in 1879;[25] one example is the annular solution method of HSM Coxeter.[2] Another approach uses Lie sphere geometry,[26] which was developed by Sophus Lie.
Algebraic solutions to Apollonius' problem were pioneered in the 17th century by René Descartes and Princess Elisabeth of Bohemia, although their solutions were rather complex.[9] Practical algebraic methods were developed in the late 18th and 19th centuries by several mathematicians, including Leonhard Euler,[27] Nicolas Fuss,[9] Carl Friedrich Gauss,[28] Lazare Carnot,[29] and Augustin Louis Cauchy.[30]
Solution methods
Intersecting hyperbolas
The solution of Adriaan van Roomen (1596) is based on the intersection of two hyperbolas.[13][14] Let the given circles be denoted as C1, C2 and C3. Van Roomen solved the general problem by solving a simpler problem, that of finding the circles that are tangent to two given circles, such as C1 and C2. He noted that the center of a circle tangent to both given circles must lie on a hyperbola whose foci are the centers of the given circles. To understand this, let the radii of the solution circle and the two given circles be denoted as rs, r1 and r2, respectively (Figure 3). The distance d1 between the centers of the solution circle and C1 is either rs + r1 or rs − r1, depending on whether these circles are chosen to be externally or internally tangent, respectively. Similarly, the distance d2 between the centers of the solution circle and C2 is either rs + r2 or rs − r2, again depending on their chosen tangency. Thus, the difference d1 − d2 between these distances is always a constant that is independent of rs. This property, of having a fixed difference between the distances to the foci, characterizes hyperbolas, so the possible centers of the solution circle lie on a hyperbola. A second hyperbola can be drawn for the pair of given circles C2 and C3, where the internal or external tangency of the solution and C2 should be chosen consistently with that of the first hyperbola. An intersection of these two hyperbolas (if any) gives the center of a solution circle that has the chosen internal and external tangencies to the three given circles. The full set of solutions to Apollonius' problem can be found by considering all possible combinations of internal and external tangency of the solution circle to the three given circles.
Isaac Newton (1687) refined van Roomen's solution, so that the solution-circle centers were located at the intersections of a line with a circle.[15] Newton formulates Apollonius' problem as a problem in trilateration: to locate a point Z from three given points A, B and C, such that the differences in distances from Z to the three given points have known values.[31] These four points correspond to the center of the solution circle (Z) and the centers of the three given circles (A, B and C).
Instead of solving for the two hyperbolas, Newton constructs their directrix lines instead. For any hyperbola, the ratio of distances from a point Z to a focus A and to the directrix is a fixed constant called the eccentricity. The two directrices intersect at a point T, and from their two known distance ratios, Newton constructs a line passing through T on which Z must lie. However, the ratio of distances TZ/TA is also known; hence, Z also lies on a known circle, since Apollonius had shown that a circle can be defined as the set of points that have a given ratio of distances to two fixed points. (As an aside, this definition is the basis of bipolar coordinates.) Thus, the solutions to Apollonius' problem are the intersections of a line with a circle.
Viète's reconstruction
As described below, Apollonius' problem has ten special cases, depending on the nature of the three given objects, which may be a circle (C), line (L) or point (P). By custom, these ten cases are distinguished by three letter codes such as CCP.[32] Viète solved all ten of these cases using only compass and straightedge constructions, and used the solutions of simpler cases to solve the more complex cases.[1][20]
Viète began by solving the PPP case (three points) following the method of Euclid in his Elements. From this, he derived a lemma corresponding to the power of a point theorem, which he used to solve the LPP case (a line and two points). Following Euclid a second time, Viète solved the LLL case (three lines) using the angle bisectors. He then derived a lemma for constructing the line perpendicular to an angle bisector that passes through a point, which he used to solve the LLP problem (two lines and a point). This accounts for the first four cases of Apollonius' problem, those that do not involve circles.
To solve the remaining problems, Viète exploited the fact that the given circles and the solution circle may be re-sized in tandem while preserving their tangencies (Figure 4). If the solution-circle radius is changed by an amount Δr, the radius of its internally tangent given circles must be likewise changed by Δr, whereas the radius of its externally tangent given circles must be changed by −Δr. Thus, as the solution circle swells, the internally tangent given circles must swell in tandem, whereas the externally tangent given circles must shrink, to maintain their tangencies.
Viète used this approach to shrink one of the given circles to a point, thus reducing the problem to a simpler, already solved case. He first solved the CLL case (a circle and two lines) by shrinking the circle into a point, rendering it a LLP case. He then solved the CLP case (a circle, a line and a point) using three lemmas. Again shrinking one circle to a point, Viète transformed the CCL case into a CLP case. He then solved the CPP case (a circle and two points) and the CCP case (two circles and a point), the latter case by two lemmas. Finally, Viète solved the general CCC case (three circles) by shrinking one circle to a point, rendering it a CCP case.
Algebraic solutions
Apollonius' problem can be framed as a system of three equations for the center and radius of the solution circle.[33] Since the three given circles and any solution circle must lie in the same plane, their positions can be specified in terms of the (x, y) coordinates of their centers. For example, the center positions of the three given circles may be written as (x1, y1), (x2, y2) and (x3, y3), whereas that of a solution circle can be written as (xs, ys). Similarly, the radii of the given circles and a solution circle can be written as r1, r2, r3 and rs, respectively. The requirement that a solution circle must exactly touch each of the three given circles can be expressed as three coupled quadratic equations for xs, ys and rs:
The three numbers s1, s2 and s3 on the right-hand side, called signs, may equal ±1, and specify whether the desired solution circle should touch the corresponding given circle internally (s = 1) or externally (s = −1). For example, in Figures 1 and 4, the pink solution is internally tangent to the medium-sized given circle on the right and externally tangent to the smallest and largest given circles on the left; if the given circles are ordered by radius, the signs for this solution are "− + −". Since the three signs may be chosen independently, there are eight possible sets of equations (2 × 2 × 2 = 8), each set corresponding to one of the eight types of solution circles.
The general system of three equations may be solved by the method of resultants. When multiplied out, all three equations have xs2 + ys2 on the left-hand side, and rs2 on the right-hand side. Subtracting one equation from another eliminates these quadratic terms; the remaining linear terms may be re-arranged to yield formulae for the coordinates xs and ys
where M, N, P and Q are known functions of the given circles and the choice of signs. Substitution of these formulae into one of the initial three equations gives a quadratic equation for rs, which can be solved by the quadratic formula. Substitution of the numerical value of rs into the linear formulae yields the corresponding values of xs and ys.
The signs s1, s2 and s3 on the right-hand sides of the equations may be chosen in eight possible ways, and each choice of signs gives up to two solutions, since the equation for rs is quadratic. This might suggest (incorrectly) that there are up to sixteen solutions of Apollonius' problem. However, due to a symmetry of the equations, if (rs, xs, ys) is a solution, with signs si, then so is (−rs, xs, ys), with opposite signs −si, which represents the same solution circle. Therefore, Apollonius' problem has at most eight independent solutions (Figure 2). One way to avoid this double-counting is to consider only solution circles with non-negative radius.
The two roots of any quadratic equation may be of three possible types: two different real numbers, two identical real numbers (i.e., a degenerate double root), or a pair of complex conjugate roots. The first case corresponds to the usual situation; each pair of roots corresponds to a pair of solutions that are related by circle inversion, as described below (Figure 6). In the second case, both roots are identical, corresponding to a solution circle that transforms into itself under inversion. In this case, one of the given circles is itself a solution to the Apollonius problem, and the number of distinct solutions is reduced by one. The third case of complex conjugate radii does not correspond to a geometrically possible solution for Apollonius' problem, since a solution circle cannot have an imaginary radius; therefore, the number of solutions is reduced by two. Apollonius' problem cannot have seven solutions, although it may have any other number of solutions from zero to eight.[12][34]
Lie sphere geometry
The same algebraic equations can be derived in the context of Lie sphere geometry.[26] That geometry represents circles, lines and points in a unified way, as a five-dimensional vector X = (v, cx, cy, w, sr), where c = (cx, cy) is the center of the circle, and r is its (non-negative) radius. If r is not zero, the sign s may be positive or negative; for visualization, s represents the orientation of the circle, with counterclockwise circles having a positive s and clockwise circles having a negative s. The parameter w is zero for a straight line, and one otherwise.
In this five-dimensional world, there is a bilinear product similar to the dot product:
The Lie quadric is defined as those vectors whose product with themselves (their square norm) is zero, (X|X) = 0. Let X1 and X2 be two vectors belonging to this quadric; the norm of their difference equals
The product distributes over addition and subtraction (more precisely, it is bilinear):
Since (X1|X1) = (X2|X2) = 0 (both belong to the Lie quadric) and since w1 = w2 = 1 for circles, the product of any two such vectors on the quadric equals
where the vertical bars sandwiching c1 − c2 represent the length of that difference vector, i.e., the Euclidean norm. This formula shows that if two quadric vectors X1 and X2 are orthogonal (perpendicular) to one another—that is, if (X1|X2) = 0—then their corresponding circles are tangent. For if the two signs s1 and s2 are the same (i.e. the circles have the same "orientation"), the circles are internally tangent; the distance between their centers equals the difference in the radii
Conversely, if the two signs s1 and s2 are different (i.e. the circles have opposite "orientations"), the circles are externally tangent; the distance between their centers equals the sum of the radii
Therefore, Apollonius' problem can be re-stated in Lie geometry as a problem of finding perpendicular vectors on the Lie quadric; specifically, the goal is to identify solution vectors Xsol that belong to the Lie quadric and are also orthogonal (perpendicular) to the vectors X1, X2 and X3 corresponding to the given circles.
The advantage of this re-statement is that one can exploit theorems from linear algebra on the maximum number of linearly independent, simultaneously perpendicular vectors. This gives another way to calculate the maximum number of solutions and extend the theorem to higher-dimensional spaces.[26][35]
Inversive methods
A natural setting for problem of Apollonius is inversive geometry.[4][12] The basic strategy of inversive methods is to transform a given Apollonius problem into another Apollonius problem that is simpler to solve; the solutions to the original problem are found from the solutions of the transformed problem by undoing the transformation. Candidate transformations must change one Apollonius problem into another; therefore, they must transform the given points, circles and lines to other points, circles and lines, and no other shapes. Circle inversion has this property and allows the center and radius of the inversion circle to be chosen judiciously. Other candidates include the Euclidean plane isometries; however, they do not simplify the problem, since they merely shift, rotate, and mirror the original problem.
Inversion in a circle with center O and radius R consists of the following operation (Figure 5): every point P is mapped into a new point P' such that O, P, and P' are collinear, and the product of the distances of P and P' to the center O equal the radius R squared
Thus, if P lies outside the circle, then P' lies within, and vice versa. When P is the same as O, the inversion is said to send P to infinity. (In complex analysis, "infinity" is defined in terms of the Riemann sphere.) Inversion has the useful property that lines and circles are always transformed into lines and circles, and points are always transformed into points. Circles are generally transformed into other circles under inversion; however, if a circle passes through the center of the inversion circle, it is transformed into a straight line, and vice versa. Importantly, if a circle crosses the circle of inversion at right angles (intersects perpendicularly), it is left unchanged by the inversion; it is transformed into itself.
Circle inversions correspond to a subset of Möbius transformations on the Riemann sphere. The planar Apollonius problem can be transferred to the sphere by an inverse stereographic projection; hence, solutions of the planar Apollonius problem also pertain to its counterpart on the sphere. Other inversive solutions to the planar problem are possible besides the common ones described below.[36]
Pairs of solutions by inversion
Solutions to Apollonius' problem generally occur in pairs; for each solution circle, there is a conjugate solution circle (Figure 6).[1] One solution circle excludes the given circles that are enclosed by its conjugate solution, and vice versa. For example, in Figure 6, one solution circle (pink, upper left) encloses two given circles (black), but excludes a third; conversely, its conjugate solution (also pink, lower right) encloses that third given circle, but excludes the other two. The two conjugate solution circles are related by inversion, by the following argument.
In general, any three distinct circles have a unique circle—the radical circle—that intersects all of them perpendicularly; the center of that circle is the radical center of the three circles.[4] For illustration, the orange circle in Figure 6 crosses the black given circles at right angles. Inversion in the radical circle leaves the given circles unchanged, but transforms the two conjugate pink solution circles into one another. Under the same inversion, the corresponding points of tangency of the two solution circles are transformed into one another; for illustration, in Figure 6, the two blue points lying on each green line are transformed into one another. Hence, the lines connecting these conjugate tangent points are invariant under the inversion; therefore, they must pass through the center of inversion, which is the radical center (green lines intersecting at the orange dot in Figure 6).
Inversion to an annulus
If two of the three given circles do not intersect, a center of inversion can be chosen so that those two given circles become concentric.[2][12] Under this inversion, the solution circles must fall within the annulus between the two concentric circles. Therefore, they belong to two one-parameter families. In the first family (Figure 7), the solutions do not enclose the inner concentric circle, but rather revolve like ball bearings in the annulus. In the second family (Figure 8), the solution circles enclose the inner concentric circle. There are generally four solutions for each family, yielding eight possible solutions, consistent with the algebraic solution.
When two of the given circles are concentric, Apollonius' problem can be solved easily using a method of Gauss.[28] The radii of the three given circles are known, as is the distance dnon from the common concentric center to the non-concentric circle (Figure 7). The solution circle can be determined from its radius rs, the angle θ, and the distances ds and dT from its center to the common concentric center and the center of the non-concentric circle, respectively. The radius and distance ds are known (Figure 7), and the distance dT = rs ± rnon, depending on whether the solution circle is internally or externally tangent to the non-concentric circle. Therefore, by the law of cosines,
Here, a new constant C has been defined for brevity, with the subscript indicating whether the solution is externally or internally tangent. A simple trigonometric rearrangement yields the four solutions
This formula represents four solutions, corresponding to the two choices of the sign of θ, and the two choices for C. The remaining four solutions can be obtained by the same method, using the substitutions for rs and ds indicated in Figure 8. Thus, all eight solutions of the general Apollonius problem can be found by this method.
Any initial two disjoint given circles can be rendered concentric as follows. The radical axis of the two given circles is constructed; choosing two arbitrary points P and Q on this radical axis, two circles can be constructed that are centered on P and Q and that intersect the two given circles orthogonally. These two constructed circles intersect each other in two points. Inversion in one such intersection point F renders the constructed circles into straight lines emanating from F and the two given circles into concentric circles, with the third given circle becoming another circle (in general). This follows because the system of circles is equivalent to a set of Apollonian circles, forming a bipolar coordinate system.
Resizing and inversion
The usefulness of inversion can be increased significantly by resizing.[37][38] As noted in Viète's reconstruction, the three given circles and the solution circle can be resized in tandem while preserving their tangencies. Thus, the initial Apollonius problem is transformed into another problem that may be easier to solve. For example, the four circles can be resized so that one given circle is shrunk to a point; alternatively, two given circles can often be resized so that they are tangent to one another. Thirdly, given circles that intersect can be resized so that they become non-intersecting, after which the method for inverting to an annulus can be applied. In all such cases, the solution of the original Apollonius problem is obtained from the solution of the transformed problem by undoing the resizing and inversion.
Shrinking one given circle to a point
In the first approach, the given circles are shrunk or swelled (appropriately to their tangency) until one given circle is shrunk to a point P.[37] In that case, Apollonius' problem degenerates to the CCP limiting case, which is the problem of finding a solution circle tangent to the two remaining given circles that passes through the point P. Inversion in a circle centered on P transforms the two given circles into new circles, and the solution circle into a line. Therefore, the transformed solution is a line that is tangent to the two transformed given circles. There are four such solution lines, which may be constructed from the external and internal homothetic centers of the two circles. Re-inversion in P and undoing the resizing transforms such a solution line into the desired solution circle of the original Apollonius problem. All eight general solutions can be obtained by shrinking and swelling the circles according to the differing internal and external tangencies of each solution; however, different given circles may be shrunk to a point for different solutions.
Resizing two given circles to tangency
In the second approach, the radii of the given circles are modified appropriately by an amount Δr so that two of them are tangential (touching).[38] Their point of tangency is chosen as the center of inversion in a circle that intersects each of the two touching circles in two places. Upon inversion, the touching circles become two parallel lines: Their only point of intersection is sent to infinity under inversion, so they cannot meet. The same inversion transforms the third circle into another circle. The solution of the inverted problem must either be (1) a straight line parallel to the two given parallel lines and tangent to the transformed third given circle; or (2) a circle of constant radius that is tangent to the two given parallel lines and the transformed given circle. Re-inversion and adjusting the radii of all circles by Δr produces a solution circle tangent to the original three circles.
Gergonne's solution
Gergonne's approach is to consider the solution circles in pairs.[1] Let a pair of solution circles be denoted as CA and CB (the pink circles in Figure 6), and let their tangent points with the three given circles be denoted as A1, A2, A3, and B1, B2, B3, respectively. Gergonne's solution aims to locate these six points, and thus solve for the two solution circles.
Gergonne's insight was that if a line L1 could be constructed such that A1 and B1 were guaranteed to fall on it, those two points could be identified as the intersection points of L1 with the given circle C1 (Figure 6). The remaining four tangent points would be located similarly, by finding lines L2 and L3 that contained A2 and B2, and A3 and B3, respectively. To construct a line such as L1, two points must be identified that lie on it; but these points need not be the tangent points. Gergonne was able to identify two other points for each of the three lines. One of the two points has already been identified: the radical center G lies on all three lines (Figure 6).
To locate a second point on the lines L1, L2 and L3, Gergonne noted a reciprocal relationship between those lines and the radical axis R of the solution circles, CA and CB. To understand this reciprocal relationship, consider the two tangent lines to the circle C1 drawn at its tangent points A1 and B1 with the solution circles; the intersection of these tangent lines is the pole point of L1 in C1. Since the distances from that pole point to the tangent points A1 and B1 are equal, this pole point must also lie on the radical axis R of the solution circles, by definition (Figure 9). The relationship between pole points and their polar lines is reciprocal; if the pole of L1 in C1 lies on R, the pole of R in C1 must conversely lie on L1. Thus, if we can construct R, we can find its pole P1 in C1, giving the needed second point on L1 (Figure 10).
Gergonne found the radical axis R of the unknown solution circles as follows. Any pair of circles has two centers of similarity; these two points are the two possible intersections of two tangent lines to the two circles. Therefore, the three given circles have six centers of similarity, two for each distinct pair of given circles. Remarkably, these six points lie on four lines, three points on each line; moreover, each line corresponds to the radical axis of a potential pair of solution circles. To show this, Gergonne considered lines through corresponding points of tangency on two of the given circles, e.g., the line defined by A1/A2 and the line defined by B1/B2. Let X3 be a center of similitude for the two circles C1 and C2; then, A1/A2 and B1/B2 are pairs of antihomologous points, and their lines intersect at X3. It follows, therefore, that the products of distances are equal
which implies that X3 lies on the radical axis of the two solution circles. The same argument can be applied to the other pairs of circles, so that three centers of similitude for the given three circles must lie on the radical axes of pairs of solution circles.
In summary, the desired line L1 is defined by two points: the radical center G of the three given circles and the pole in C1 of one of the four lines connecting the homothetic centers. Finding the same pole in C2 and C3 gives L2 and L3, respectively; thus, all six points can be located, from which one pair of solution circles can be found. Repeating this procedure for the remaining three homothetic-center lines yields six more solutions, giving eight solutions in all. However, if a line Lk does not intersect its circle Ck for some k, there is no pair of solutions for that homothetic-center line.
Intersection theory
The techniques of modern algebraic geometry, and in particular intersection theory, can be used to solve Apollonius's problem. In this approach, the problem is reinterpreted as a statement about circles in the complex projective plane. Solutions involving complex numbers are allowed and degenerate situations are counted with multiplicity. When this is done, there are always eight solutions to the problem.[39]
Every quadratic equation in X, Y, and Z determines a unique conic, its vanishing locus. Conversely, every conic in the complex projective plane has an equation, and that equation is unique up to an overall scaling factor (because rescaling an equation does not change its vanishing locus). Therefore, the set of all conics may be parametrized by five-dimensional projective space P5, where the correspondence is
A circle in the complex projective plane is defined to be a conic that passes through the two points O+ = [1 : i : 0] and O− = [1 : −i : 0], where i denotes a square root of −1. The points O+ and O− are called the circular points. The projective variety of all circles is the subvariety of P5 consisting of those points which correspond to conics passing through the circular points. Substituting the circular points into the equation for a generic conic yields the two equations
Taking the sum and difference of these equations shows that it is equivalent to impose the conditions
Therefore, the variety of all circles is a three-dimensional linear subspace of P5. After rescaling and completing the square, these equations also demonstrate that every conic passing through the circular points has an equation of the form
which is the homogenization of the usual equation of a circle in the affine plane. Therefore, studying circles in the above sense is nearly equivalent to studying circles in the conventional sense. The only difference is that the above sense permits degenerate circles which are the union of two lines. The non-degenerate circles are called smooth circles, while the degenerate ones are called singular circles. There are two types of singular circles. One is the union of the line at infinity Z = 0 with another line in the projective plane (possibly the line at infinity again), and the other is union of two lines in the projective plane, one through each of the two circular points. These are the limits of smooth circles as the radius r tends to +∞ and 0, respectively. In the latter case, no point on either of the two lines has real coordinates except for the origin [0 : 0 : 1].
Let D be a fixed smooth circle. If C is any other circle, then, by the definition of a circle, C and D intersect at the circular points O+ and O−. Because C and D are conics, Bézout's theorem implies C and D intersect in four points total, when those points are counted with the proper intersection multiplicity. That is, there are four points of intersection O+, O−, P, and Q, but some of these points might collide. Appolonius' problem is concerned with the situation where P = Q, meaning that the intersection multiplicity at that point is 2; if P is also equal to a circular point, this should be interpreted as the intersection multiplicity being 3.
Let ZD be the variety of circles tangent to D. This variety is a quadric cone in the P3 of all circles. To see this, consider the incidence correspondence
For a curve that is the vanishing locus of a single equation f = 0, the condition that the curve meets D at r with multiplicity m means that the Taylor series expansion of f|D vanishes to order m at r; it is therefore m linear conditions on the coefficients of f. This shows that, for each r, the fiber of Φ over r is a P1 cut out by two linear equations in the space of circles. Consequently, Φ is irreducible of dimension 2. Since it is possible to exhibit a circle that is tangent to D at only a single point, a generic element of ZD must be tangent at only a single point. Therefore, the projection Φ → P2 sending (r, C) to C is a birational morphism. It follows that the image of Φ, which is ZD, is also irreducible and two dimensional.
To determine the shape of ZD, fix two distinct circles C0 and C∞, not necessarily tangent to D. These two circles determine a pencil, meaning a line L in the P3 of circles. If the equations of C0 and C∞ are f and g, respectively, then the points on L correspond to the circles whose equations are Sf + Tg, where [S : T] is a point of P1. The points where L meets ZD are precisely the circles in the pencil that are tangent to D.
There are two possibilities for the number of points of intersections. One is that either f or g, say f, is the equation for D. In this case, L is a line through D. If C∞ is tangent to D, then so is every circle in the pencil, and therefore L is contained in ZD. The other possibility is that neither f nor g is the equation for D. In this case, the function (f / g)|D is a quotient of quadratics, neither of which vanishes identically. Therefore, it vanishes at two points and has poles at two points. These are the points in C0 ∩ D and C∞ ∩ D, respectively, counted with multiplicity and with the circular points deducted. The rational function determines a morphism D → P1 of degree two. The fiber over [S : T] ∈ P1 is the set of points P for which f(P)T = g(P)S. These are precisely the points at which the circle whose equation is Tf − Sg meets D. The branch points of this morphism are the circles tangent to D. By the Riemann–Hurwitz formula, there are precisely two branch points, and therefore L meets ZD in two points. Together, these two possibilities for the intersection of L and ZD demonstrate that ZD is a quadric cone. All such cones in P3 are the same up to a change of coordinates, so this completely determines the shape of ZD.
To conclude the argument, let D1, D2, and D3 be three circles. If the intersection ZD1 ∩ ZD2 ∩ ZD3 is finite, then it has degree 23 = 8, and therefore there are eight solutions to the problem of Apollonius, counted with multiplicity. To prove that the intersection is generically finite, consider the incidence correspondence
There is a morphism which projects Ψ onto its final factor of P3. The fiber over C is ZC3. This has dimension 6, so Ψ has dimension 9. Because (P3)3 also has dimension 9, the generic fiber of the projection from Ψ to the first three factors cannot have positive dimension. This proves that generically, there are eight solutions counted with multiplicity. Since it is possible to exhibit a configuration where the eight solutions are distinct, the generic configuration must have all eight solutions distinct.
In the generic problem with eight solution circles, The reciprocals of the radii of four of the solution circles sum to the same value as do the reciprocals of the radii of the other four solution circles.[40]
Ten combinations of points, circles, and lines
Main article: Special cases of Apollonius' problem
Apollonius problem is to construct one or more circles tangent to three given objects in a plane, which may be circles, points, or lines. This gives rise to ten types of Apollonius' problem, one corresponding to each combination of circles, lines and points, which may be labeled with three letters, either C, L, or P, to denote whether the given elements are a circle, line or point, respectively (Table 1).[32] As an example, the type of Apollonius problem with a given circle, line, and point is denoted as CLP.
Some of these special cases are much easier to solve than the general case of three given circles. The two simplest cases are the problems of drawing a circle through three given points (PPP) or tangent to three lines (LLL), which were solved first by Euclid in his Elements. For example, the PPP problem can be solved as follows. The center of the solution circle is equally distant from all three points, and therefore must lie on the perpendicular bisector line of any two. Hence, the center is the point of intersection of any two perpendicular bisectors. Similarly, in the LLL case, the center must lie on a line bisecting the angle at the three intersection points between the three given lines; hence, the center lies at the intersection point of two such angle bisectors. Since there are two such bisectors at every intersection point of the three given lines, there are four solutions to the general LLL problem.
Points and lines may be viewed as special cases of circles; a point can be considered as a circle of infinitely small radius, and a line may be thought of an infinitely large circle whose center is also at infinity. From this perspective, the general Apollonius problem is that of constructing circles tangent to three given circles. The nine other cases involving points and lines may be viewed as limiting cases of the general problem.[32][12] These limiting cases often have fewer solutions than the general problem; for example, the replacement of a given circle by a given point halves the number of solutions, since a point can be construed as an infinitesimal circle that is either internally or externally tangent.
Table 1: Ten Types of Apollonius' Problem
Given Elements
(in general)
(solution in pink; given objects in black)
1 PPP three points 1
2 LPP one line and two points 2
3 LLP two lines and a point 2
4 CPP one circle and two points 2
5 LLL three lines 4
6 CLP one circle, one line, and a point 4
7 CCP two circles and a point 4
8 CLL one circle and two lines 8
9 CCL two circles and a line 8
10 CCC three circles (the classic problem) 8
The problem of counting the number of solutions to different types of Apollonius' problem belongs to the field of enumerative geometry.[12][41] The general number of solutions for each of the ten types of Apollonius' problem is given in Table 1 above. However, special arrangements of the given elements may change the number of solutions. For illustration, Apollonius' problem has no solution if one circle separates the two (Figure 11); to touch both the solid given circles, the solution circle would have to cross the dashed given circle; but that it cannot do, if it is to touch the dashed circle tangentially. Conversely, if three given circles are all tangent at the same point, then any circle tangent at the same point is a solution; such Apollonius problems have an infinite number of solutions. If any of the given circles are identical, there is likewise an infinity of solutions. If only two given circles are identical, there are only two distinct given circles; the centers of the solution circles form a hyperbola, as used in one solution to Apollonius' problem.
An exhaustive enumeration of the number of solutions for all possible configurations of three given circles, points or lines was first undertaken by Muirhead in 1896,[42] although earlier work had been done by Stoll[43] and Study.[44] However, Muirhead's work was incomplete; it was extended in 1974[45] and a definitive enumeration, with 33 distinct cases, was published in 1983.[12] Although solutions to Apollonius' problem generally occur in pairs related by inversion, an odd number of solutions is possible in some cases, e.g., the single solution for PPP, or when one or three of the given circles are themselves solutions. (An example of the latter is given in the section on Descartes' theorem.) However, there are no Apollonius problems with seven solutions.[34][43] Alternative solutions based on the geometry of circles and spheres have been developed and used in higher dimensions.[26][35]
Mutually tangent given circles: Soddy's circles and Descartes' theorem
If the three given circles are mutually tangent, Apollonius' problem has five solutions. Three solutions are the given circles themselves, since each is tangent to itself and to the other two given circles. The remaining two solutions (shown in red in Figure 12) correspond to the inscribed and circumscribed circles, and are called Soddy's circles.[46] This special case of Apollonius' problem is also known as the four coins problem.[47] The three given circles of this Apollonius problem form a Steiner chain tangent to the two Soddy's circles.
Either Soddy circle, when taken together with the three given circles, produces a set of four circles that are mutually tangent at six points. The radii of these four circles are related by an equation known as Descartes' theorem. In a 1643 letter to Princess Elizabeth of Bohemia,[48] René Descartes showed that
where ks = 1/rs and rs are the curvature and radius of the solution circle, respectively, and similarly for the curvatures k1, k2 and k3 and radii r1, r2 and r3 of the three given circles. For every set of four mutually tangent circles, there is a second set of four mutually tangent circles that are tangent at the same six points.[2][49]
Descartes' theorem was rediscovered independently in 1826 by Jakob Steiner,[50] in 1842 by Philip Beecroft,[2][49] and again in 1936 by Frederick Soddy.[51] Soddy published his findings in the scientific journal Nature as a poem, The Kiss Precise, of which the first two stanzas are reproduced below. The first stanza describes Soddy's circles, whereas the second stanza gives Descartes' theorem. In Soddy's poem, two circles are said to "kiss" if they are tangent, whereas the term "bend" refers to the curvature k of the circle.
For pairs of lips to kiss maybe
Involves no trigonometry.
'Tis not so when four circles kiss
Each one the other three.
To bring this off the four must be
As three in one or one in three.
If one in three, beyond a doubt
Each gets three kisses from without.
If three in one, then is that one
Thrice kissed internally.
Four circles to the kissing come.
The smaller are the benter.
The bend is just the inverse of
The distance from the center.
Though their intrigue left Euclid dumb
There's now no need for rule of thumb.
Since zero bend's a dead straight line
And concave bends have minus sign,
The sum of the squares of all four bends
Is half the square of their sum.
Sundry extensions of Descartes' theorem have been derived by Daniel Pedoe.[52]
Generalizations
Apollonius' problem can be extended to construct all the circles that intersect three given circles at a precise angle θ, or at three specified crossing angles θ1, θ2 and θ3;[50] the ordinary Apollonius' problem corresponds to a special case in which the crossing angle is zero for all three given circles. Another generalization is the dual of the first extension, namely, to construct circles with three specified tangential distances from the three given circles.[26]
Apollonius' problem can be extended from the plane to the sphere and other quadratic surfaces. For the sphere, the problem is to construct all the circles (the boundaries of spherical caps) that are tangent to three given circles on the sphere.[24][53][54] This spherical problem can be rendered into a corresponding planar problem using stereographic projection. Once the solutions to the planar problem have been constructed, the corresponding solutions to the spherical problem can be determined by inverting the stereographic projection. Even more generally, one can consider the problem of four tangent curves that result from the intersections of an arbitrary quadratic surface and four planes, a problem first considered by Charles Dupin.[9]
By solving Apollonius' problem repeatedly to find the inscribed circle, the interstices between mutually tangential circles can be filled arbitrarily finely, forming an Apollonian gasket, also known as a Leibniz packing or an Apollonian packing.[55] This gasket is a fractal, being self-similar and having a dimension d that is not known exactly but is roughly 1.3,[56] which is higher than that of a regular (or rectifiable) curve (d = 1) but less than that of a plane (d = 2). The Apollonian gasket was first described by Gottfried Leibniz in the 17th century, and is a curved precursor of the 20th-century Sierpiński triangle.[57] The Apollonian gasket also has deep connections to other fields of mathematics; for example, it is the limit set of Kleinian groups.[58]
The configuration of a circle tangent to four circles in the plane has special properties, which have been elucidated by Larmor (1891)[59] and Lachlan (1893).[60] Such a configuration is also the basis for Casey's theorem,[17] itself a generalization of Ptolemy's theorem.[37]
The extension of Apollonius' problem to three dimensions, namely, the problem of finding a fifth sphere that is tangent to four given spheres, can be solved by analogous methods.[9] For example, the given and solution spheres can be resized so that one given sphere is shrunk to point while maintaining tangency.[38] Inversion in this point reduces Apollonius' problem to finding a plane that is tangent to three given spheres. There are in general eight such planes, which become the solutions to the original problem by reversing the inversion and the resizing. This problem was first considered by Pierre de Fermat,[61] and many alternative solution methods have been developed over the centuries.[62]
Apollonius' problem can even be extended to d dimensions, to construct the hyperspheres tangent to a given set of d + 1 hyperspheres.[41] Following the publication of Frederick Soddy's re-derivation of the Descartes theorem in 1936, several people solved (independently) the mutually tangent case corresponding to Soddy's circles in d dimensions.[63]
The principal application of Apollonius' problem, as formulated by Isaac Newton, is hyperbolic trilateration, which seeks to determine a position from the differences in distances to at least three points.[8] For example, a ship may seek to determine its position from the differences in arrival times of signals from three synchronized transmitters. Solutions to Apollonius' problem were used in World War I to determine the location of an artillery piece from the time a gunshot was heard at three different positions,[9] and hyperbolic trilateration is the principle used by the Decca Navigator System and LORAN.[7] Similarly, the location of an aircraft may be determined from the difference in arrival times of its transponder signal at four receiving stations. This multilateration problem is equivalent to the three-dimensional generalization of Apollonius' problem and applies to global navigation satellite systems (see GPS#Geometric interpretation).[31] It is also used to determine the position of calling animals (such as birds and whales), although Apollonius' problem does not pertain if the speed of sound varies with direction (i.e., the transmission medium not isotropic).[64]
Apollonius' problem has other applications. In Book 1, Proposition 21 in his Principia, Isaac Newton used his solution of Apollonius' problem to construct an orbit in celestial mechanics from the center of attraction and observations of tangent lines to the orbit corresponding to instantaneous velocity.[9] The special case of the problem of Apollonius when all three circles are tangent is used in the Hardy–Littlewood circle method of analytic number theory to construct Hans Rademacher's contour for complex integration, given by the boundaries of an infinite set of Ford circles each of which touches several others.[65] Finally, Apollonius' problem has been applied to some types of packing problems, which arise in disparate fields such as the error-correcting codes used on DVDs and the design of pharmaceuticals that bind in a particular enzyme of a pathogenic bacterium.[66]
Apollonius point
Apollonius' theorem
Isodynamic point of a triangle
1 2 3 4 5 Dörrie H (1965). "The Tangency Problem of Apollonius". 100 Great Problems of Elementary Mathematics: Their History and Solutions. New York: Dover. pp. 154–160 (§32).
1 2 3 4 5 Coxeter HSM (1 January 1968). "The Problem of Apollonius". The American Mathematical Monthly. 75 (1): 5–15. doi:10.2307/2315097. ISSN 0002-9890. JSTOR 2315097.
1 2 Coolidge JL (1916). A Treatise on the Circle and the Sphere. Oxford: Clarendon Press. pp. 167–172.
1 2 3 Coxeter HSM, Greitzer SL (1967). Geometry Revisited. Washington: MAA. ISBN 978-0-88385-619-2.
↑ Coxeter, HSM (1969). Introduction to Geometry (2nd ed.). New York: Wiley. ISBN 978-0-471-50458-0.
↑ Needham, T (2007). Visual Complex Analysis. New York: Oxford University Press. pp. 140–141. ISBN 978-0-19-853446-4.
1 2 Hofmann-Wellenhof B, Legat K, Wieser M, Lichtenegger H (2003). Navigation: Principles of Positioning and Guidance. Springer. ISBN 978-3-211-00828-7.
1 2 Schmidt, RO (1972). "A new approach to geometry of range difference location". IEEE Transactions on Aerospace and Electronic Systems. AES-8 (6): 821–835. Bibcode:1972ITAES...8..821S. doi:10.1109/TAES.1972.309614.
1 2 3 4 5 6 7 Althiller-Court N (1961). "The problem of Apollonius". The Mathematics Teacher. 54: 444–452.
↑ Gabriel-Marie F (1912). Exercices de géométrie, comprenant l'exposé des méthodes géométriques et 2000 questions résolues (in French). Tours: Maison A. Mame et Fils. pp. 18–20, 673–677.
1 2 Pappus (1876). F Hultsch, ed. Pappi Alexandrini collectionis quae supersunt (in Latin) (3 volumes ed.).
1 2 3 4 5 6 7 Bruen A, Fisher JC, Wilker JB (1983). "Apollonius by Inversion". Mathematics Magazine. 56 (2): 97–103. doi:10.2307/2690380. JSTOR 2690380.
1 2 van Roomen A (1596). Problema Apolloniacum quo datis tribus circulis, quaeritur quartus eos contingens, antea a…Francisco Vieta…omnibus mathematicis…ad construendum propositum, jam vero per Belgam…constructum (in Latin). Würzburg: Typis Georgii Fleischmanni. (in Latin)
1 2 Newton I (1974). DT Whiteside, ed. The Mathematical Papers of Isaac Newton, Volume VI: 1684–1691. Cambridge: Cambridge University Press. p. 164. ISBN 0-521-08719-8.
1 2 Newton I (1687). Philosophiæ Naturalis Principia Mathematica. Book I, Section IV, Lemma 16.
↑ Newton I (1974). DT Whiteside, ed. The Mathematical Papers of Isaac Newton, Volume VI: 1684–1691. Cambridge: Cambridge University Press. pp. 162–165, 238–241. ISBN 0-521-08719-8.
1 2 Casey J (1886) [1881]. A sequel to the first six books of the Elements of Euclid. Hodges, Figgis & co. p. 122. ISBN 978-1-4181-6609-0.
↑ Courant R, Robbins H (1943). What is Mathematics? An Elementary Approach to Ideas and Methods. London: Oxford University Press. pp. 125–127, 161–162. ISBN 0-19-510519-2.
↑ Bold B (1982). Famous problems of geometry and how to solve them. Dover Publications. pp. 29–30. ISBN 0-486-24297-8.
1 2 Viète F. (1600). "Apollonius Gallus. Seu, Exsuscitata Apolloni Pergæi Περι Επαφων Geometria". In Frans van Schooten. Francisci Vietae Opera mathematica (in Latin). ex officina B. et A. Elzeviriorum (Lugduni Batavorum) (published 1646). pp. 325–346. (in Latin)
↑ Boyer CB, Merzbach UC (1991). "Apollonius of Perga". A History of Mathematics (2nd ed.). John Wiley & Sons, Inc. p. 322. ISBN 0-471-54397-7.
↑ Simson R (1734) Mathematical Collection, volume VII, p. 117.
Zeuthen HG (1886). Die Lehre von den Kegelschnitten im Altertum (in German). Copenhagen: Unknown. pp. 381–383.
Heath TL. A History of Greek Mathematics, Volume II: From Aristarchus to Diophantus. Oxford: Clarendon Press. pp. 181–185, 416–417.
↑ Poncelet J-V (January 1811). "Solutions de plusieurs problêmes de géométrie et de mécanique". Correspondance sur l'École Impériale Polytechnique (in French). 2 (3): 271–273.
1 2 Gergonne J (1813–1814). "Recherche du cercle qui en touche trois autres sur une sphère". Ann. Math. Pures Appl. (in French). 4.
↑ Petersen J (1879). Methods and Theories for the Solution of Problems of Geometrical Constructions, Applied to 410 Problems. London: Sampson Low, Marston, Searle & Rivington. pp. 94–95 (Example 403).
1 2 3 4 5 Zlobec BJ, Kosta NM (2001). "Configurations of Cycles and the Apollonius Problem". Rocky Mountain Journal of Mathematics. 31 (2): 725–744. doi:10.1216/rmjm/1020171586.
↑ Euler L (1790). "Solutio facilis problematis, quo quaeritur circulus, qui datos tres circulos tangat" (PDF). Nova Acta Academiae Scientiarum Imperialis Petropolitinae (in Latin). 6: 95–101. Reprinted in Euler's Opera Omnia, series 1, volume 26, pp. 270–275.
1 2 Gauss CF (1873). Werke, 4. Band (in German) (reprinted in 1973 by Georg Olms Verlag (Hildesheim) ed.). Göttingen: Königlichen Gesellschaft der Wissenschaften. pp. 399–400. ISBN 3-487-04636-9.
↑ Carnot L (1801). De la corrélation dans les figures de géométrie (in French). Paris: Unknown publisher. pp. No. 158–159.
Carnot L (1803). Géométrie de position (in French). Paris: Unknown publisher. pp. 390, §334.
↑ Cauchy AL (July 1806). "Du cercle tangent à trois cercles donnés". Correspondance sur l'École Polytechnique (in French). 1 (6): 193–195.
1 2 Hoshen J (1996). "The GPS Equations and the Problem of Apollonius". IEEE Transactions on Aerospace and Electronic Systems. 32 (3): 1116–1124. Bibcode:1996ITAES..32.1116H. doi:10.1109/7.532270.
1 2 3 Altshiller-Court N (1952). College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle (2nd edition, revised and enlarged ed.). New York: Barnes and Noble. pp. 222–227. ISBN 978-0-486-45805-2.
Hartshorne, Robin (2000). Geometry: Euclid and Beyond. New York: Springer Verlag. pp. 346–355, 496, 499. ISBN 978-0-387-98650-0.
Rouché, Eugène; Ch de Comberousse (1883). Traité de géométrie (in French) (5th edition, revised and augmented ed.). Paris: Gauthier-Villars. pp. 252–256. OCLC 252013267.
↑ Coaklay GW (1860). "Analytical Solutions of the Ten Problems in the Tangencies of Circles; and also of the Fifteen Problems in the Tangencies of Spheres". The Mathematical Monthly. 2: 116–126.
1 2 Pedoe D (1970). "The missing seventh circle". Elemente der Mathematik. 25: 14–15.
1 2 Knight RD (2005). "The Apollonius contact problem and Lie contact geometry". Journal of Geometry. 83: 137–152. doi:10.1007/s00022-005-0009-x.
↑ Salmon G (1879). A Treatise on Conic Sections, Containing an Account of Some of the Most Important Modern Algebraic and Geometric Methods. London: Longmans, Green and Co. pp. 110–115, 291–292. ISBN 0-8284-0098-9.
1 2 3 Johnson RA (1960). Advanced Euclidean Geometry: An Elementary treatise on the geometry of the Triangle and the Circle (reprint of 1929 edition by Houghton Mifflin ed.). New York: Dover Publications. pp. 117–121 (Apollonius' problem), 121–128 (Casey's and Hart's theorems). ISBN 978-0-486-46237-0.
1 2 3 Ogilvy, C. S. (1990). Excursions in Geometry. Dover. pp. 48–51 (Apollonius' problem), 60 (extension to tangent spheres). ISBN 0-486-26530-7.
↑ Eisenbud, David and Harris, Joe, 3264 and All That: A Second Course in Algebraic Geometry. Cambridge University Press, 2016. ISBN 978-1107602724. pp. 66–68.
↑ Milorad R. Stevanovic, Predrag B. Petrovic, and Marina M. Stevanovic, "Radii of circles in Apollonius' problem", Forum Geometricorum 17 (2017), 359--372: Theorem 1. http://forumgeom.fau.edu/FG2017volume17/FG201735.pdf
1 2 Dreschler K, Sterz U (1999). "Apollonius' contact problem in n-space in view of enumerative geometry". Acta Mathematica Universitatis Comenianae. 68 (1): 37–47.
↑ Muirhead RF (1896). "On the Number and nature of the Solutions of the Apollonian Contact Problem". Proceedings of the Edinburgh Mathematical Society. 14: 135–147, attached figures 44–114. doi:10.1017/S0013091500031898.
1 2 Stoll V (1876). "Zum Problem des Apollonius". Mathematische Annalen (in German). 6 (4): 613–632. doi:10.1007/BF01443201.
↑ Study E (1897). "Das Apollonische Problem". Mathematische Annalen (in German). 49 (3–4): 497–542. doi:10.1007/BF01444366.
↑ Fitz-Gerald JM (1974). "A Note on a Problem of Apollonius". Journal of Geometry. 5: 15–26. doi:10.1007/BF01954533.
↑ Eppstein D (1 January 2001). "Tangent Spheres and Triangle Centers". The American Mathematical Monthly. 108 (1): 63–66. arXiv:math/9909152 . doi:10.2307/2695679. ISSN 0002-9890. JSTOR 2695679.
↑ Oldknow A (1 April 1996). "The Euler-Gergonne-Soddy Triangle of a Triangle". The American Mathematical Monthly. 103 (4): 319–329. doi:10.2307/2975188. ISSN 0002-9890. JSTOR 2975188.
Weisstein, EW. "Four Coins Problem". MathWorld. Retrieved 2008-10-06.
↑ Descartes R, Œuvres de Descartes, Correspondance IV, (C. Adam and P. Tannery, Eds.), Paris: Leopold Cert 1901. (in French)
1 2 Beecroft H (1842). "Properties of Circles in Mutual Contact". The Lady's and Gentleman's Diary. 139: 91–96.
Beecroft H (1846). "Unknown title". The Lady's and Gentleman's Diary: 51. (MathWords online article)
1 2 Steiner J (1826). "Einige geometrische Betrachtungen". Journal für die reine und angewandte Mathematik. 1: 161–184, 252–288.
↑ Soddy F (20 June 1936). "The Kiss Precise". Nature. 137 (3477): 1021. Bibcode:1936Natur.137.1021S. doi:10.1038/1371021a0.
↑ Pedoe D (1 June 1967). "On a theorem in geometry". Amer. Math. Monthly. 74 (6): 627–640. doi:10.2307/2314247. ISSN 0002-9890. JSTOR 2314247.
↑ Carnot L (1803). Géométrie de position. Paris: Unknown publisher. pp. 415, §356.
↑ Vannson (1855). "Contact des cercles sur la sphère, par la geométrie". Nouvelles Annales de Mathématiques (in French). XIV: 55–71.
↑ Kasner E, Supnick F (December 1943). "The Apollonian Packing of Circles". Proc. Natl. Acad. Sci. USA. 29 (11): 378–384. Bibcode:1943PNAS...29..378K. doi:10.1073/pnas.29.11.378. ISSN 0027-8424. PMC 1078636 . PMID 16588629.
↑ Boyd DW (1973). "Improved Bounds for the Disk Packing Constants". Aequationes Mathematicae. 9: 99–106. doi:10.1007/BF01838194.
Boyd DW (1973). "The Residual Set Dimension of the Apollonian Packing". Mathematika. 20 (2): 170–174. doi:10.1112/S0025579300004745.
McMullen, Curtis T (1998). "Hausdorff dimension and conformal dynamics III: Computation of dimension" (PDF). American Journal of Mathematics. 120 (4): 691–721. doi:10.1353/ajm.1998.0031.
↑ Mandelbrot B (1983). The Fractal Geometry of Nature. New York: W. H. Freeman. p. 170. ISBN 978-0-7167-1186-5.
Aste T, Weaire D (2008). In Pursuit of Perfect Packing (2nd ed.). New York: Taylor and Francis. pp. 131–138. ISBN 978-1-4200-6817-7.
↑ Mumford D, Series C, Wright D (2002). Indra's Pearls: The Vision of Felix Klein. Cambridge: Cambridge University Press. pp. 196–223. ISBN 0-521-35253-3. CS1 maint: Multiple names: authors list (link)
↑ Larmor A (1891). "Contacts of Systems of Circles". Proceedings of the London Mathematical Society. 23: 136–157. doi:10.1112/plms/s1-23.1.135.
↑ Lachlan R (1893). An elementary treatise on modern pure geometry. London: Macmillan. pp. §383–396, pp. 244–251. ISBN 1-4297-0050-5.
↑ de Fermat P, Varia opera mathematica, p. 74, Tolos, 1679.
↑ Euler L (1810). "Solutio facilis problematis, quo quaeritur sphaera, quae datas quatuor sphaeras utcunque dispositas contingat" (PDF). Mémoires de l'Académie des Sciences de St.-Pétersbourg (in Latin). 2: 17–28. Reprinted in Euler's Opera Omnia, series 1, volume 26, pp. 334–343.
Carnot L (1803). Géométrie de position (in French). Paris: Imprimerie de Crapelet, chez J. B. M. Duprat. pp. 357, §416.
Hachette JNP (September 1808). "Sur le contact des sphères; sur la sphère tangente à quatre sphères données; sur le cercle tangent à trois cercles donnés". Correspondance sur l'École Polytechnique (in French). 1 (2): 27–28.
Français J (January 1810). "De la sphère tangente à quatre sphères données". Correspondance sur l'École Impériale Polytechnique (in French). 2 (2): 63–66.
Français J (January 1813). "Solution analytique du problème de la sphère tangente à quatre sphères données". Correspondance sur l'École Impériale Polytechnique (in French). 2 (5): 409–410.
Dupin C (January 1813). "Mémoire sur les sphères". Correspondance sur l'École Impériale Polytechnique (in French). 2 (5): 423.
Reye T (1879). Synthetische Geometrie der Kugeln (PDF) (in German). Leipzig: B. G. Teubner.
Serret JA (1848). "De la sphère tangente à quatre sphères donnèes". Journal für die reine und angewandte Mathematik (in French). 37: 51–57.
Coaklay GW (1859–1860). "Analytical Solutions of the Ten Problems in the Tangencies of Circles; and also of the Fifteen Problems in the Tangencies of Spheres". The Mathematical Monthly. 2: 116–126.
Alvord B (1 January 1882). "The intersection of circles and intersection of spheres". American Journal of Mathematics. 5 (1): 25–44, with four pages of Figures. doi:10.2307/2369532. ISSN 0002-9327. JSTOR 2369532.
↑ Gossett T (1937). "The Kiss Precise". Nature. 139 (3506): 62. Bibcode:1937Natur.139Q..62.. doi:10.1038/139062a0.
↑ Spiesberger, JL (2004). "Geometry of locating sounds from differences in travel time: Isodiachrons". Journal of the Acoustical Society of America. 116 (5): 3168–3177. Bibcode:2004ASAJ..116.3168S. doi:10.1121/1.1804625.
↑ Apostol TM (1990). Modular functions and Dirichlet series in number theory (2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-97127-8.
↑ Lewis RH, Bridgett S (2003). "Conic Tangency Equations and Apollonius Problems in Biochemistry and Pharmacology". Mathematics and Computers in Simulation. 61 (2): 101–114. doi:10.1016/S0378-4754(02)00122-2.
Properties of circles in mutual contact
French Wikisource has original text related to this article:
Poncelet's solution to the problem of Apollonius
Boyd, DW (1973). "The osculatory packing of a three-dimensional sphere". Canadian J. Math. 25: 303–322. doi:10.4153/CJM-1973-030-5.
Callandreau, Édouard (1949). Célèbres problèmes mathématiques (in French). Paris: Albin Michel. pp. 219–226. OCLC 61042170.
Camerer, JG (1795). Apollonii de Tactionibus, quae supersunt, ac maxime lemmata Pappi, in hos libros Graece nunc primum edita, e codicibus manuscriptis, cum Vietae librorum Apollonii restitutione, adjectis observationibus, computationibus, ac problematis Apolloniani historia (in Latin). Gothae: Ettinger.
Gisch D, Ribando JM (2004). "Apollonius' Problem: A Study of Solutions and Their Connections" (PDF). American Journal of Undergraduate Research. 3: 15–25.
Pappus of Alexandria (1933). Pappus d'Alexandrie: La collection mathématique (in French). Paris. OCLC 67245614. Trans., introd., and notes by Paul Ver Eecke.
Simon, M (1906). Über die Entwicklung der Elementargeometrie im XIX. Jahrhundert (in German). Berlin: Teubner. pp. 97–105.
Wells, D (1991). The Penguin Dictionary of Curious and Interesting Geometry. New York: Penguin Books. pp. 3–5. ISBN 0-14-011813-6.
Wikimedia Commons has media related to Problem of Apollonius.
"Ask Dr. Math solution". Mathforum. Retrieved 2008-05-05.
Weisstein, Eric W. "Apollonius' problem". MathWorld.
"Apollonius' Problem". Cut The Knot. Retrieved 2008-05-05.
Kunkel, Paul. "Tangent Circles". Whistler Alley. Retrieved 2008-05-05.
Austin, David (March 2006). "When kissing involves trigonometry". Feature Column at the American Mathematical Society website. Retrieved 2008-05-05.
Ancient Greek mathematics
Aristaeus the Elder
Apollonius
Autolycus
Callippus
Chrysippus
Cleomedes
Conon
Ctesibius
Dicaearchus
Diophantus
Dinostratus
Dionysodorus
Domninus
Eratosthenes
Eudemus
Eudoxus
Eutocius
Hypsicles
Isidore of Miletus
Marinus
Menaechmus
Menelaus
Nicomedes
Nicoteles
Oenopides
Pappus
Philon
Posidonius
Simplicius
Sosigenes
Sporus
Theaetetus
Theon of Alexandria
Theon of Smyrna
Thymaridas
Xenocrates
Zeno of Elea
Zeno of Sidon
Zenodorus
Treatises
Archimedes Palimpsest
Arithmetica
Conics (Apollonius)
Elements (Euclid)
On the Sizes and Distances (Aristarchus)
On Sizes and Distances (Hipparchus)
On the Moving Sphere (Autolycus)
The Sand Reckoner
Doubling the cube
Angle trisection
Library of Alexandria
Platonic Academy
Timeline of Ancient Greek mathematicians
De analysi per aequationes numero terminorum infinitas (1669, published 1711)
Method of Fluxions (1671)
De motu corporum in gyrum (1684)
Philosophiæ Naturalis Principia Mathematica (1687)
General Scholium (1713)
Opticks (1704)
The Queries (1704)
Arithmetica Universalis (1707)
Notes on the Jewish Temple
Quaestiones quaedam philosophicae
The Chronology of Ancient Kingdoms Amended (1728)
An Historical Account of Two Notable Corruptions of Scripture (1754)
and inventions
Fluxions
Newton disc
Newton polygon
Newton–Okounkov body
Newton's reflector
Newtonian telescope
Newton scale
Newton's metal
Newton's cradle
Kepler's laws of planetary motion
Newtonianism
Bucket argument
Newton's inequalities
Newton's law of cooling
Newton's law of universal gravitation
Post-Newtonian expansion
Parameterized post-Newtonian formalism
Newton–Cartan theory
Schrödinger–Newton equation
Gravitational constant
Newton's laws of motion
Newtonian dynamics
Newton's method in optimization
Gauss–Newton algorithm
Truncated Newton method
Newton's rings
Newton's theorem about ovals
Newton–Pepys problem
Newtonian potential
Newtonian fluid
Corpuscular theory of light
Leibniz–Newton calculus controversy
Newton's notation
Rotating spheres
Newton's cannonball
Newton–Cotes formulas
Generalized Gauss–Newton method
Newton's identities
Newton polynomial
Newton's theorem of revolving orbits
Newton–Euler equations
Newton number
Kissing number problem
Power number
Newton's quotient
Parallelogram of force
Newton–Puiseux theorem
Solar mass
Absolute space and time
Finite difference
Table of Newtonian series
Impact depth
Structural coloration
"Hypotheses non fingo"
"Standing on the shoulders of giants"
Cranbury Park
Woolsthorpe Manor
Occult studies
The Mysteryes of Nature and Art
Copernican Revolution
Catherine Barton
John Conduitt
William Clarke
Benjamin Pulleyn
William Stukeley
Isaac Barrow
Abraham de Moivre
John Keill
Cultural depictions
Newton (Blake)
Newton (Paolozzi)
Writing of Principia Mathematica
List of things named after Newton
Isaac Newton Institute
Isaac Newton Medal
Isaac Newton Group of Telescopes
Isaac Newton Telescope
Newton (unit)
Elements of the Philosophy of Newton
Isaac Newton S/O Philipose


1. (a) The Vendor warrants to Clifford Cross Auctions Ltd. and to the Buyer that he is the true Owner of the property or is properly authorised to sell the property by the true Owner and is able to transfer good and marketable title to the property free from any third party claims.
(b) The Vendor also warrants to Clifford Cross Auctions Ltd, that all the information supplied to Clifford Cross Auctions Ltd. is accurate and to indemnify Clifford Cross Auctions Ltd. against any liability howsoever arising in respect of items entered and/or sold at auction or in respect of any inaccuracies in the information supplied and against all costs and expenses by Clifford Cross Auctions Ltd. or their agents, acting on their behalf, in dealing with any claim arising in that respect.
(c) The Vendor authorises Clifford Cross Auctions Ltd. to deduct commission at the rate of 18% of the hammer price (Plus VAT). Specialist advertising and other agreed incidental expenses will be charged in addition.
The Vendor further acknowledges the right of Clifford Cross Auctions Ltd. to retain the premium payable by the Buyer.
(d) The Vendor agrees that Clifford Cross Auctions Ltd. may obtain a statutory electrical safety certificate from a qualified electrician in respect of each electrical item entered into the sale, unless the Vendor supplies such a certificate, issued within 6 months before the date of the sale. Such certificates must be forwarded to Clifford Cross Auctions Ltd. with the Vendor Entry Form for any such items. If Clifford Cross Auctions Ltd. Obtain the aforesaid safety certificate themselves then a charge of £3.50 (Plus VAT) per item, will be deducted from sale proceeds or charged directly to the Vendor in the event of the item being not sold.
In the event that a qualified electrician should fail to give his certificate in respect of any item, then the aforesaid charge of £3.50 (Plus VAT) per item, will still be applicable and will be made directly to the Vendor, who will be required to remove the uncertificated item forthwith and until such item is removed it will remain on the premises of Clifford Cross Auctions Ltd., entirely at the Vendors own risk. A preliminary inspection by Clifford Cross Auctions Ltd. may result in any item being refused from entry to the sale, due to its apparent age or condition.
2. Clifford Cross Auctions Ltd. will notify the Vendor of any lot not reaching its reserve price and such lot must be removed from the Auction Room within 7 days of the notification being sent to the Vendor, which will be deemed to have been received by the Vendor on the day following posting of the not sold notice. The lot or lots may be re-entered into forthcoming sales and if the lot or lots fail to reach their reserve on the second attempt, then the lots will have to be removed by the Vendor, from any further sales. If the Vendor fails to remove the lot or lots after this second sale, title will pass to Clifford Cross Auctions Ltd., who will dispose of the lot or lots, WITHOUT RESERVE and account to the Vendor for the price realised, less storage charges and expenses of sale. Clifford Cross Auctions Ltd. shall not be required to realise the best possible price in respect of such a sale.
3. Any item without a reserve which fails to obtain a bid, will be disposed of by Clifford Cross Auctions Ltd., immediately after the sale unless otherwise instructed by the Vendor and any cost incurred for this disposal will be recoverable from the Vendor.
4. In these Conditions the hammer price means the price at which a lot is sold by Clifford Cross Auctions Ltd. (on behalf of the Vendor) to the Buyer.
5. Whilst Clifford Cross Auctions Ltd. will take reasonable and practicable care of items entered for sale on delivery to the Sale Room, it is a condition of acceptance of items for Auction that Clifford Cross Auctions Ltd. are not liable for any loss or damage to any items submitted for Sale, howsoever arising, notwithstanding that they may be Bailees for reward. THE VENDOR IS THEREFORE STRONGLY RECOMMENDED TO INSURE AGAINST LOSS OR DAMAGE BY THEFT, MALICIOUS CAUSES AND ALL OTHER USUAL RISKS FOR THE PERIOD DURING WHICH SUCH ITEMS ARE IN THE CUSTODY OF CLIFFORD CROSS AUCTIONS LTD., AS WELL AS WHILE IN TRANSIT TO THE AUCTION ROOM.
6. The Vendor or Consignor of electrical or mechanical goods warrants and undertakes to Clifford Cross Auctions Ltd. that at the date of which the same are placed in the custody of Clifford Cross Auctions Ltd., or put under their care and control and except as previously disclosed to Clifford Cross Auctions Ltd., the same are safe if reasonably used for the purpose for which they are designed and are free from any defect not obvious on external inspection which could prove dangerous to human life and health and are not in such a condition which would create a breach of the regulations made under the Consumer Protection Act 1987 and will indemnify Clifford Cross Auctions Ltd, its Servants and Agents against loss or damage suffered by any of them in consequence of any breach of the above warranty and undertaking.
7. It is the Vendor�s responsibility to present all the items entered on the Entry Form for sale and to deliver the same to the Auction Room during normal Office hours or at the latest up to 12 noon on the Monday before the Sale on the Tuesday. If any of the Vendor�s items are catalogued from the Entry Form descriptions and are not available for sale at the Auction, then the Vendor could be liable to claims from prospective purchasers of the aforesaid items, for travelling and other out of pocket expenses for their abortive time in attending the Auction Sale.
8. Items may be accepted for sale after the closing date for entries has passed, but Clifford Cross Auctions Ltd. do not guarantee to be able to include these items in any catalogue or advertisements for the sale. Such items that are entered after the closing date for entries has passed are still subject to all the above conditions.
9. If you have entered any Motor Vehicles or Heavy Goods Trailers, then please send all Registration Documents, M.O.T. Certificates and Plating Certificates for these items to the Auction premises, along with your completed Entry Form.
10. There are certain items which Clifford Cross Auctions Ltd. cannot sell, namely combustible items that do not have a fire safety Certificate attached to them. These items usually include older three piece suites, mattresses, easy chairs and some dining chairs. Toys, paraffin heaters, gas and electrical items also have to meet a certain standard of construction and safety. Clifford Cross Auctions Ltd., will make a visual inspection of all items entered, to decide whether or not the items can be sold. If any items are removed from the sale after this inspection and unless otherwise instructed they will be disposed of and any cost incurred will be recoverable from the Vendor.
11. All payments to vendors will be made by cheque unless otherwise requested at the time of the signing of the entry form. Payment (without interest) will be made to the vendor within fourteen working days of the sale date, after deduction of the auctioneer's margin scheme and other expenses where appropriate. The Auctioneers shall not be Liable for payment to the Vendor until they themselves receive full payment from the purchaser.


Dr Dre Mini Solo HD Only £20 many colours .
Phonic MM1202 Analogue Mixer .
Phillips wac700 and 3x was700 ?
Sony Head unit(Cd player/aux) 45Wx4 .
APPLE IPOD TOUCH 4TH GEN 32 GB ?
Purple Beats by DR Dre Solo (unwanted gift) .
IPOD 4TH GEN. 8G. CRACKED SCREEN. MUST GO. !
Global CD Player PRH1F16 .
Gear4 iPod Dock Speakers - New ?
Goodmans Cd/Cassette/Radio/Mini Disc System !
Sony DAV-DZ111 DVD Home Theatre System !
Unwanted Creative 7.1 Gigaworks s750 ?
Subwoofer FLI TRAP 12 1000w bass box for car ?
Technics SL DZ 1200 pair of CDJ decks £800 ?
Cerwin vagas series 30 excellent condition ?
Beats by Dr. Dre Solo HD in black ?
Aiwa Surround Sound DVD Stereo System !
IPod Touch 4g Hardly used. ?
CAMBRIDGE AUDIO P500 STEREO POWER AMP BOXED !
Decks headphones and accessories !
NUMARK CD2 MIX ANTI SHOCK PRO CD PLAYERS AND MIXER ?
LG LHS-55TBW model Surround Sound/Home Cinema System !
Citronic DJ Twin CD mixer, mixing decks, professional CD-6, OPEN TO OFFERS, WILL POST ?
Ipod Nano 8GB 5th Generation .
Sony 32" LCD TV KDL-32S2510 !