Circles of Apollonius

Several sets of circles associated with Apollonius of Perga

The circles of Apollonius are any of several sets of circles associated with Apollonius of Perga, a renowned Greek geometer. Most of these circles are found in planar Euclidean geometry, but analogs have been defined on other surfaces; for example, counterparts on the surface of a sphere can be defined through stereographic projection.

The main uses of this term are fivefold:

1. Apollonius showed that a circle can be defined as the set of points in a plane that have a specified ratio of distances to two fixed points, known as foci. This Apollonian circle is the basis of the Apollonius pursuit problem. It is a particular case of the first family described in #2.
2. The Apollonian circles are two families of mutually orthogonal circles. The first family consists of the circles with all possible distance ratios to two fixed foci (the same circles as in #1), whereas the second family consists of all possible circles that pass through both foci. These circles form the basis of bipolar coordinates.
3. The circles of Apollonius of a triangle are three circles, each of which passes through one vertex of the triangle and maintains a constant ratio of distances to the other two. The isodynamic points and Lemoine line of a triangle can be solved using these circles of Apollonius.
4. Apollonius' problem is to construct circles that are simultaneously tangent to three specified circles. The solutions to this problem are sometimes called the circles of Apollonius.
5. The Apollonian gasket—one of the first fractals ever described—is a set of mutually tangent circles, formed by solving Apollonius' problem iteratively.

## Apollonius' definition of a circle

[edit]

Main article: Circle § Circle of Apollonius

Apollonius' definition of a circle

A circle is usually defined as the set of points P at a given distance r (the circle's radius) from a given point (the circle's center). However, there are other, equivalent definitions of a circle. Apollonius discovered that a circle could be defined as the set of points P that have a given ratio of distances k = ⁠d1/d2⁠ to two given points (labeled A and B in the figure). These two points are sometimes called the foci.

### Proof using vectors in Euclidean spaces

[edit]

Let d1, d2 be non-equal positive real numbers. Let C be the internal division point of AB in the ratio d1 : d2 and D the external division point of AB in the same ratio, d1 : d2.

P C → = d 2 P A → + d 1 P B → d 2 + d 1 ,   P D → = d 2 P A → − d 1 P B → d 2 − d 1 . {\displaystyle {\overrightarrow {\mathrm {PC} }}={\frac {d_{2}{\overrightarrow {\mathrm {PA} }}+d_{1}{\overrightarrow {\mathrm {PB} }}}{d_{2}+d_{1}}},\ {\overrightarrow {\mathrm {PD} }}={\frac {d_{2}{\overrightarrow {\mathrm {PA} }}-d_{1}{\overrightarrow {\mathrm {PB} }}}{d_{2}-d_{1}}}.}

Then,

P A : P B = d 1 : d 2 . ⇔ d 2 | P A → | = d 1 | P B → | . ⇔ d 2 2 | P A → | 2 = d 1 2 | P B → | 2 . ⇔ ( d 2 P A → + d 1 P B → ) ⋅ ( d 2 P A → − d 1 P B → ) = 0. ⇔ d 2 P A → + d 1 P B → d 2 + d 1 ⋅ d 2 P A → − d 1 P B → d 2 − d 1 = 0. ⇔ P C → ⋅ P D → = 0. ⇔ P C → = 0 → ∨ P D → = 0 → ∨ P C → ⊥ P D → . ⇔ P = C ∨ P = D ∨ ∠ C P D = 90 ∘ . {\displaystyle {\begin{aligned}&\mathrm {PA} :\mathrm {PB} =d_{1}:d_{2}.\\\\\Leftrightarrow {}&d_{2}|{\overrightarrow {\mathrm {PA} }}|=d_{1}|{\overrightarrow {\mathrm {PB} }}|.\\\\\Leftrightarrow {}&d_{2}^{2}|{\overrightarrow {\mathrm {PA} }}|^{2}=d_{1}^{2}|{\overrightarrow {\mathrm {PB} }}|^{2}.\\\\\Leftrightarrow {}&(d_{2}{\overrightarrow {\mathrm {PA} }}+d_{1}{\overrightarrow {\mathrm {PB} }})\cdot (d_{2}{\overrightarrow {\mathrm {PA} }}-d_{1}{\overrightarrow {\mathrm {PB} }})=0.\\\\\Leftrightarrow {}&{\frac {d_{2}{\overrightarrow {\mathrm {PA} }}+d_{1}{\overrightarrow {\mathrm {PB} }}}{d_{2}+d_{1}}}\cdot {\frac {d_{2}{\overrightarrow {\mathrm {PA} }}-d_{1}{\overrightarrow {\mathrm {PB} }}}{d_{2}-d_{1}}}=0.\\\\\Leftrightarrow {}&{\overrightarrow {\mathrm {PC} }}\cdot {\overrightarrow {\mathrm {PD} }}=0.\\\\\Leftrightarrow {}&{\overrightarrow {\mathrm {PC} }}={\vec {0}}\vee {\overrightarrow {\mathrm {PD} }}={\vec {0}}\vee {\overrightarrow {\mathrm {PC} }}\perp {\overrightarrow {\mathrm {PD} }}.\\\\\Leftrightarrow {}&\mathrm {P} =\mathrm {C} \vee \mathrm {P} =\mathrm {D} \vee \angle {\mathrm {CPD} }=90^{\circ }.\end{aligned}}}

Therefore, the point P is on the circle which has the diameter CD.

### Proof using the angle bisector theorem

[edit]

Proof of Apollonius' definition of a circle

First consider the point  C {\displaystyle C} on the line segment between  A {\displaystyle A} and  B {\displaystyle B} , satisfying the ratio. By the definition  | A P | | B P | = | A C | | B C | {\displaystyle {\frac {|AP|}{|BP|}}={\frac {|AC|}{|BC|}}} and from the converse of the angle bisector theorem, the angles  α = ∠ A P C {\displaystyle \alpha =\angle APC} and  β = ∠ C P B {\displaystyle \beta =\angle CPB} are equal.

Next take the other point  D {\displaystyle D} on the extended line  A B {\displaystyle AB} that satisfies the ratio. So  | A P | | B P | = | A D | | B D | . {\displaystyle {\frac {|AP|}{|BP|}}={\frac {|AD|}{|BD|}}.} Also take some other point  Q {\displaystyle Q} anywhere on the extended line  A P {\displaystyle AP} . Again by the converse of the angle bisector theorem, the line  P D {\displaystyle PD} bisects the exterior angle  ∠ Q P B {\displaystyle \angle QPB} . Hence,  γ = ∠ B P D {\displaystyle \gamma =\angle BPD} and  δ = ∠ Q P D {\displaystyle \delta =\angle QPD} are equal and  β + γ = 90 ∘ {\displaystyle \beta +\gamma =90^{\circ }} . Hence by Thales's theorem P {\displaystyle P} lies on the circle which has  C D {\displaystyle CD} as a diameter.

### Apollonius pursuit problem

[edit]

The Apollonius pursuit problem is one of finding whether a ship leaving from one point A at speed vA will intercept another ship leaving a different point B at speed vB. The minimum time in interception of the two ships is calculated by means of straight-line paths. If the ships' speeds are held constant, their speed ratio is defined by μ. If both ships collide or meet at a future point, I, then the distances of each are related by the equation:[1]

a = μ b {\displaystyle a=\mu b}

Squaring both sides, we obtain:

a 2 = b 2 μ 2 {\displaystyle a^{2}=b^{2}\mu ^{2}}
a 2 = x 2 + y 2 {\displaystyle a^{2}=x^{2}+y^{2}}
b 2 = ( d − x ) 2 + y 2 {\displaystyle b^{2}=(d-x)^{2}+y^{2}}
x 2 + y 2 = [ ( d − x ) 2 + y 2 ] μ 2 {\displaystyle x^{2}+y^{2}=[(d-x)^{2}+y^{2}]\mu ^{2}}

Expanding:

x 2 + y 2 = [ d 2 + x 2 − 2 d x + y 2 ] μ 2 {\displaystyle x^{2}+y^{2}=[d^{2}+x^{2}-2dx+y^{2}]\mu ^{2}}

Further expansion:

x 2 + y 2 = x 2 μ 2 + y 2 μ 2 + d 2 μ 2 − 2 d x μ 2 {\displaystyle x^{2}+y^{2}=x^{2}\mu ^{2}+y^{2}\mu ^{2}+d^{2}\mu ^{2}-2dx\mu ^{2}}

Bringing to the left-hand side:

x 2 − x 2 μ 2 + y 2 − y 2 μ 2 − d 2 μ 2 + 2 d x μ 2 = 0 {\displaystyle x^{2}-x^{2}\mu ^{2}+y^{2}-y^{2}\mu ^{2}-d^{2}\mu ^{2}+2dx\mu ^{2}=0}

Factoring:

x 2 ( 1 − μ 2 ) + y 2 ( 1 − μ 2 ) − d 2 μ 2 + 2 d x μ 2 = 0 {\displaystyle x^{2}(1-\mu ^{2})+y^{2}(1-\mu ^{2})-d^{2}\mu ^{2}+2dx\mu ^{2}=0}

Dividing by  1 − μ 2 {\displaystyle 1-\mu ^{2}}  :

x 2 + y 2 − d 2 μ 2 1 − μ 2 + 2 d x μ 2 1 − μ 2 = 0 {\displaystyle x^{2}+y^{2}-{\frac {d^{2}\mu ^{2}}{1-\mu ^{2}}}+{\frac {2dx\mu ^{2}}{1-\mu ^{2}}}=0}

Completing the square:

( x + d μ 2 1 − μ 2 ) 2 − d 2 μ 4 ( 1 − μ 2 ) 2 − d 2 μ 2 1 − μ 2 + y 2 = 0 {\displaystyle \left(x+{\frac {d\mu ^{2}}{1-\mu ^{2}}}\right)^{2}-{\frac {d^{2}\mu ^{4}}{(1-\mu ^{2})^{2}}}-{\frac {d^{2}\mu ^{2}}{1-\mu ^{2}}}+y^{2}=0}

Bring non-squared terms to the right-hand side:

( x + d μ 2 1 − μ 2 ) 2 + y 2 = d 2 μ 4 ( 1 − μ 2 ) 2 + d 2 μ 2 1 − μ 2 = d 2 μ 4 ( 1 − μ 2 ) 2 + d 2 μ 2 1 − μ 2 ( 1 − μ 2 ) ( 1 − μ 2 ) = d 2 μ 4 + d 2 μ 2 − d 2 μ 4 ( 1 − μ 2 ) 2 = d 2 μ 2 ( 1 − μ 2 ) 2 {\displaystyle {\begin{aligned}\left(x+{\frac {d\mu ^{2}}{1-\mu ^{2}}}\right)^{2}+y^{2}&={\frac {d^{2}\mu ^{4}}{(1-\mu ^{2})^{2}}}+{\frac {d^{2}\mu ^{2}}{1-\mu ^{2}}}\\\&={\frac {d^{2}\mu ^{4}}{(1-\mu ^{2})^{2}}}+{\frac {d^{2}\mu ^{2}}{1-\mu ^{2}}}{\frac {(1-\mu ^{2})}{(1-\mu ^{2})}}\\\&={\frac {d^{2}\mu ^{4}+d^{2}\mu ^{2}-d^{2}\mu ^{4}}{(1-\mu ^{2})^{2}}}\\\&={\frac {d^{2}\mu ^{2}}{(1-\mu ^{2})^{2}}}\end{aligned}}}

Then:

( x + d μ 2 1 − μ 2 ) 2 + y 2 = ( d μ 1 − μ 2 ) 2 {\displaystyle \left(x+{\frac {d\mu ^{2}}{1-\mu ^{2}}}\right)^{2}+y^{2}=\left({\frac {d\mu }{1-\mu ^{2}}}\right)^{2}}

Therefore, the point must lie on a circle as defined by Apollonius, with their starting points as the foci.

## Circles sharing a radical axis

[edit]

Main article: Apollonian circles

A set of Apollonian circles. Every blue circle intersects every red circle at a right angle, and vice versa. Every red circle passes through the two foci, which correspond to points A and B in the figure above.

The circles defined by the Apollonian pursuit problem for the same two points A and B, but with varying ratios of the two speeds, are disjoint from each other and form a continuous family that cover the entire plane; this family of circles is known as a hyperbolic pencil. Another family of circles, the circles that pass through both A and B, are also called a pencil, or more specifically an elliptic pencil. These two pencils of Apollonian circles intersect each other at right angles and form the basis of the bipolar coordinate system. Within each pencil, any two circles have the same radical axis; the two radical axes of the two pencils are perpendicular, and the centers of the circles from one pencil lie on the radical axis of the other pencil.

## Solutions to Apollonius' problem

[edit]

Main article: Problem of Apollonius

Apollonius' problem may have up to eight solutions. The three given circles are shown in black, whereas the solution circles are colored.

In Euclidean plane geometry, Apollonius's problem is to construct circles that are tangent to three given circles in a plane.

Three given circles generically have eight different circles that are tangent to them and each solution circle encloses or excludes the three given circles in a different way: in each solution, a different subset of the three circles is enclosed.

## Apollonian gasket

[edit]

Main article: Apollonian gasket

A symmetrical Apollonian gasket, also called the Leibniz packing, after its inventor Gottfried Leibniz

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.[2] This gasket is a fractal, being self-similar and having a dimension d that is not known exactly but is roughly 1.3,[3] 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.[4] The Apollonian gasket also has deep connections to other fields of mathematics; for example, it is the limit set of Kleinian groups;[5] see also Circle packing theorem.

## Isodynamic points of a triangle

[edit]

The circles of Apollonius may also denote three special circles  C 1 , C 2 , C 3 {\displaystyle {\mathcal {C}}_{1},{\mathcal {C}}_{2},{\mathcal {C}}_{3}} defined by an arbitrary triangle  A 1 A 2 A 3 {\displaystyle \mathrm {A_{1}A_{2}A_{3}} } . The circle  C 1 {\displaystyle {\mathcal {C}}_{1}} is defined as the unique circle passing through the triangle vertex  A 1 {\displaystyle \mathrm {A_{1}} } that maintains a constant ratio of distances to the other two vertices  A 2 {\displaystyle \mathrm {A_{2}} } and  A 3 {\displaystyle \mathrm {A_{3}} } (cf. Apollonius' definition of the circle above). Similarly, the circle  C 2 {\displaystyle {\mathcal {C}}_{2}} is defined as the unique circle passing through the triangle vertex  A 2 {\displaystyle \mathrm {A_{2}} } that maintains a constant ratio of distances to the other two vertices  A 1 {\displaystyle \mathrm {A_{1}} } and  A 3 {\displaystyle \mathrm {A_{3}} } , and so on for the circle  C 3 {\displaystyle {\mathcal {C}}_{3}} .

All three circles intersect the circumcircle of the triangle orthogonally. All three circles pass through two points, which are known as the isodynamic points S {\displaystyle S} and  S ′ {\displaystyle S^{\prime }} of the triangle. The line connecting these common intersection points is the radical axis for all three circles. The two isodynamic points are inverses of each other relative to the circumcircle of the triangle.

The centers of these three circles fall on a single line (the Lemoine line). This line is perpendicular to the radical axis, which is the line determined by the isodynamic points.

## See also

[edit]

Wikimedia Commons has media related to Circles of Apollonius.

* Apollonius point
* Ellipse

## References

[edit]

1. ^ Weintraub, Isaac; Garcia, Eloy; Pachter, Meir (2020). "Optimal guidance strategy for the defense of a non-manoeuvrable target in 3-dimensions". IET Control Theory & Applications. 14 (11): 1531–1538\. doi:10.1049/iet-cta.2019.0541.
2. ^ Kasner, E.; Supnick, F. (1943). "The Apollonian packing of circles". Proceedings of the National Academy of Sciences USA. 29 (11): 378–384\. Bibcode:1943PNAS...29..378K. doi:10.1073/pnas.29.11.378. PMC 1078636. PMID 16588629.
3. ^ Boyd, David W. (1973). "Improved Bounds for the Disk Packing Constants". Aequationes Mathematicae. 9: 99–106\. doi:10.1007/BF01838194. S2CID 121089590.
Boyd, David W. (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. S2CID 15928775.`{{cite journal}}`: CS1 maint: multiple names: authors list (link)
4. ^ Mandelbrot, B. (1983). The Fractal Geometry of Nature. New York: W.H. Freeman. p. 170. ISBN 978-0-7167-1186-5.
Aste, T., and Weaire, D. (2008). The Pursuit of Perfect Packing (2nd ed.). New York: Taylor and Francis. pp. 131–138. ISBN 978-1-4200-6817-7.`{{cite book}}`: CS1 maint: multiple names: authors list (link)
5. ^ Mumford, D., Series, C., and Wright, D. (2002). Indra's Pearls: The Vision of Felix Klein. Cambridge: Cambridge University Press. pp. 196–223. ISBN 0-521-35253-3.`{{cite book}}`: CS1 maint: multiple names: authors list (link)

## Bibliography

[edit]

* Ogilvy, C.S. (1990) Excursions in Geometry, Dover. ISBN 0-486-26530-7.
* Johnson, R.A. (1960) Advanced Euclidean Geometry, Dover.

* v
* t
* e

Ancient Greek mathematics

Mathematicians
(timeline)|

* Anaxagoras
* Anthemius
* Apollonius
* Archimedes
* Archytas
* Aristaeus the Elder
* Aristarchus
* Autolycus
* Bion
* Bryson
* Callippus
* Carpus
* Chrysippus
* Cleomedes
* Conon
* Ctesibius
* Democritus
* Dicaearchus
* Dinostratus
* Diocles
* Dionysodorus of Caunus
* Dionysodorus of Amisene
* Diophantus
* Domninus
* Eratosthenes
* Euclid
* Eudemus
* Eudoxus
* Eutocius
* Geminus
* Heliodorus
* Heron
* Hipparchus
* Hippasus
* Hippias
* Hippocrates
* Hypatia
* Hypsicles
* Isidore of Miletus
* Leon
* Marinus
* Menaechmus
* Menelaus
* Metrodorus
* Nicomachus
* Nicomedes
* Nicoteles
* Oenopides
* Pandrosion
* Pappus
* Perseus
* Philolaus
* Philon
* Philonides
* Porphyry of Tyre
* Posidonius
* Proclus
* Ptolemy
* Pythagoras
* Serenus
* Sosigenes
* Sporus
* Thales
* Theaetetus
* Theodorus
* Theodosius
* Theon of Alexandria
* Theon of Smyrna
* Thymaridas
* Xenocrates
* Zeno of Elea
* Zeno of Sidon
* Zenodorus

Treatises|

* Almagest
* Arithmetica
* Conics (Apollonius)
* Catoptrics
* Data (Euclid)
* Elements (Euclid)
* Little Astronomy
* Measurement of a Circle
* On Conoids and Spheroids
* On the Sizes and Distances (Aristarchus)
* On Sizes and Distances (Hipparchus)
* On the Moving Sphere (Autolycus)
* Optics (Euclid)
* On Spirals
* On the Sphere and Cylinder
* Ostomachion
* Phaenomena (Euclid)
* Planisphaerium
* Spherics (Theodosius)
* Spherics (Menelaus)
* The Quadrature of the Parabola
* The Sand Reckoner

Concepts
and definitions|

* Chord
* Circles of Apollonius
* Apollonian circles
* Apollonian gasket
* Problem of Apollonius
* Commensurability
* Diophantine equation
* Euclidean geometry
* Golden ratio
* Lune of Hippocrates
* Method of exhaustion
* Parallel postulate
* Platonic solid
* Regular polygon
* Straightedge and compass construction
* Angle trisection
* Doubling the cube
* Squaring the circle
* Quadratrix of Hippias
* Neusis construction

Results|

| In Elements|

* Angle bisector theorem
* Exterior angle theorem
* Euclidean algorithm
* Euclid's theorem
* Geometric mean theorem
* Hinge theorem
* Inscribed angle theorem
* Intercept theorem
* Intersecting chords theorem
* Intersecting secants theorem
* Law of cosines
* Pons asinorum
* Pythagorean theorem
* Tangent-secant theorem
* Thales's theorem
* Theorem of the gnomon

|

* Apollonius's theorem
* Aristarchus's inequality
* Heron's formula
* Law of sines
* Menelaus's theorem
* Pappus's area theorem
* Problem II.8 of Arithmetica
* Ptolemy's inequality
* Ptolemy's table of chords
* Ptolemy's theorem
* Spiral of Theodorus

Centers/Schools|

* Cyrene
* Platonic Academy
* Pythagoreanism
* School of Chios

Related|

* Ancient Greek astronomy
* Attic numerals
* Greek numerals

History of|

* A History of Greek Mathematics
* by Thomas Heath
* Archimedes Palimpsest
* algebra
* timeline
* arithmetic
* timeline
* calculus
* timeline
* geometry
* timeline
* logic
* timeline
* mathematics
* timeline
* numbers
* prehistoric counting
* numeral systems
* list

Other cultures|

* Arabian/Islamic
* Babylonian
* Chinese
* Egyptian
* Incan
* Indian
* Japanese

Ancient Greece portal •  Mathematics portal
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template