View source for Descartes' theorem

{{short description|Equation for radii of tangent circles}}
{{good article}}
{{Other uses}}
{{Use mdy dates|cs1-dates=ly|date=June 2023}}
{{Use list-defined references|date=June 2023}}
{{CS1 config|mode=cs2}}
[[File:Descartes Circles.svg|thumb|Kissing circles. Given three mutually tangent circles ({{color|black|'''black'''}}), there are, in general, two possible answers ({{color|red|'''red'''}}) as to what radius a fourth tangent circle can have.]]
In [[geometry]], '''Descartes' theorem''' states that for every four kissing, or mutually [[tangent]] [[circle]]s, the radii of the circles satisfy a certain [[quadratic equation]]. By solving this equation, one can construct a fourth circle tangent to three given, mutually tangent circles. The theorem is named after [[René Descartes]], who stated it in 1643.

[[Frederick Soddy]]'s 1936 poem ''The Kiss Precise'' summarizes the theorem in terms of the ''bends'' (signed inverse radii) of the four circles:
{{blockquote|<poem>The sum of the squares of all four bends
Is half the square of their sum{{r|soddy}}</poem>}}

Special cases of the theorem apply when one or two of the circles is replaced by a straight line (with zero bend) or when the bends are [[integer]]s or [[square number]]s. A version of the theorem using [[complex number]]s allows the centers of the circles, and not just their radii, to be calculated. With an appropriate definition of curvature, the theorem also applies in [[spherical geometry]] and [[hyperbolic geometry]]. In higher dimensions, an analogous quadratic equation applies to systems of pairwise tangent spheres or hyperspheres.

==History==
Geometrical problems involving [[tangent circles]] have been pondered for millennia. In ancient Greece of the third century BC, [[Apollonius of Perga]] devoted an entire book to the topic, {{lang|grc|Ἐπαφαί}} [''Tangencies'']. It has been lost, and is known largely through a description of its contents by [[Pappus of Alexandria]] and through fragmentary references to it in [[medieval Islamic mathematics]].{{r|hogendijk}} However, Greek geometry was largely focused on [[straightedge and compass construction]]. For instance, the [[problem of Apollonius]], closely related to Descartes' theorem, asks for the construction of a circle tangent to three given circles which need not themselves be tangent.{{r|court}} Instead, Descartes' theorem is formulated using algebraic relations between numbers describing geometric forms. This is characteristic of [[analytic geometry]], a field pioneered by [[René Descartes]] and [[Pierre de Fermat]] in the first half of the 17th century.{{r|boyer}}

Descartes discussed the tangent circle problem briefly in 1643, in two letters to Princess [[Elisabeth of the Palatinate]].{{r|descartes-letters}} Descartes initially posed to the princess the problem of Apollonius. After Elisabeth's partial results revealed that solving the full problem analytically would be too tedious, he simplified the problem to the case in which the three given circles are mutually tangent, and in solving this simplified problem he came up with the equation describing the relation between the radii, or curvatures, of four pairwise tangent circles. This result became known as Descartes' theorem.{{r|shapiro|mac2}} Descartes did not provide the reasoning through which he found this relation.{{r|coxeter}}

[[Japanese mathematics]] frequently concerned problems involving circles and their tangencies,{{r|yanagihara}} and Japanese mathematician [[Yamaji Nushizumi]] stated a form of Descartes' circle theorem in 1751. Like Descartes, he expressed it as a polynomial equation on the radii rather than their curvatures.{{r|michiwaki|takinami-michiwaki}} The special case of this theorem for one straight line and three circles was recorded on a Japanese [[sangaku]] tablet from 1824.{{r|rotfug}}

Descartes' theorem was rediscovered in 1826 by [[Jakob Steiner]],{{r|steiner}} in 1842 by Philip Beecroft,{{r|beecroft}} and in 1936 by [[Frederick Soddy]]. Soddy chose to format his version of the theorem as a poem, ''The&nbsp;Kiss Precise'', and published it in ''[[Nature (journal)|Nature]]''. The kissing circles in this problem are sometimes known as '''Soddy circles'''. Soddy also extended the theorem to spheres,{{r|soddy}} and in another poem described the chain of six spheres each tangent to its neighbors and to three given mutually tangent spheres, a configuration now called [[Soddy's hexlet]].{{r|hexlet|barnes}} [[Thorold Gosset]] and several others extended the theorem and the poem to arbitrary dimensions; Gosset's version was published the following year.{{r|gardner|gosset}} The generalization is sometimes called the ''Soddy–Gosset theorem'',{{r|lmw}} although both the hexlet and the three-dimensional version were known earlier, in sangaku and in the 1886 work of Robert Lachlan.{{r|rotfug|hk|lachlan}} A generalization for multiple kissing circles in two dimensions was proved in 2025.{{r|mz}}

Multiple proofs of the theorem have been published. Steiner's proof uses [[Pappus chain]]s and [[Viviani's theorem]]. Proofs by Philip Beecroft and by [[H. S. M. Coxeter]] involve four more circles, passing through triples of tangencies of the original three circles; Coxeter also provided a proof using [[inversive geometry]]. Additional proofs involve arguments based on symmetry, calculations in [[exterior algebra]], or algebraic manipulation of [[Heron's formula]] (for which see {{slink||Soddy circles of a triangle}}).{{r|levrie|pedoe}} The result also follows from the observation that the [[Cayley–Menger determinant]] of the four coplanar circle centers is zero.{{r|bradford}}

==Statement==
[[File:Three "Kissing" Circles without Appolonian Circles PNG.png|thumb|Here, as all three circles are tangent to each other at the same point, Descartes' theorem does not apply.]]
Descartes' theorem is most easily stated in terms of the circles' [[curvature]]s.{{r|mackenzie}} The ''signed curvature'' (or ''bend'') of a circle is defined {{nowrap|as <math>k=\pm1/r</math>,}} where <math>r</math> is its radius. The larger a circle, the smaller is the [[Magnitude (mathematics)|magnitude]] of its curvature, and vice versa. The sign in <math>k=\pm1/r</math> (represented by the <math>\pm</math> symbol) is positive for a circle that is ''externally'' tangent to the other circles. For an ''internally'' tangent circle that ''circumscribes'' the other circles, the sign is negative. If a straight line is considered a [[degeneracy (mathematics)|degenerate]] circle with zero curvature (and thus infinite radius), Descartes' theorem also applies to a line and three circles that are all three mutually tangent (see [[Generalized circle]]).{{r|soddy}}

For four circles that are tangent to each other at six distinct points, with curvatures <math>k_i</math> {{nowrap|for <math>i=1,\dots, 4</math>,}} Descartes' theorem says:
{{bi|left=1.6|style=max-width:40em;|{{NumBlk||<math>(k_1 + k_2 + k_3+k_4)^2=2\,(k_1^2+k_2^2+k_3^2+k_4^2).</math>|{{EquationRef|1|<math>(1)</math>}}|RawN=.}}}}
If one of the four curvatures is considered to be a variable, and the rest to be constants, this is a [[quadratic equation]].
To find the radius of a fourth circle tangent to three given kissing circles, the quadratic equation can be solved as{{r|steiner|wilker}}
{{bi|left=1.6|style=max-width:40em;|{{NumBlk||<math> k_4 = k_1 + k_2 + k_3 \pm2 \sqrt{k_1 k_2 + k_2 k_3 + k_3 k_1}. </math>|{{EquationRef|2|<math>(2)</math>}}|RawN=.}}}}
The <math>\pm</math> symbol indicates that in general this equation has ''two'' solutions, and any triple of tangent circles has two tangent circles (or degenerate straight lines). Problem-specific criteria may favor one of these two solutions over the other in any given problem.{{r|levrie}}

The theorem does not apply to systems of circles with more than two circles tangent to each other at the same point. It requires that the points of tangency be distinct.{{r|coxeter}} When more than two circles are tangent at a single point, there can be infinitely many such circles, with arbitrary curvatures; see [[pencil of circles]].{{r|gso}}

==Locating the circle centers==
To determine a circle completely, not only its radius (or curvature), but also its center must be known. The relevant equation is expressed most clearly if the [[Cartesian coordinate system|Cartesian coordinates]] <math>(x,y)</math> are interpreted as a [[complex number]] <math>z=x+iy</math>. The equation then looks similar to Descartes' theorem and is therefore called the ''complex Descartes theorem''. Given four circles with curvatures <math>k_i</math> and centers <math>z_i</math> {{nowrap|for <math>i\in\{1,2,3,4\}</math>,}} the following equality holds in addition to {{nowrap|[[#math 1|equation (1)]]}}:
{{bi|left=1.6|style=max-width:40em;|{{NumBlk||<math>(k_1z_1+k_2z_2+k_3z_3+k_4z_4)^2=2\,(k_1^2z_1^2+k_2^2z_2^2+k_3^2z_3^2+k_4^2z_4^2).</math>|{{EquationRef|3|<math>(3)</math>}}|RawN=.}}}}
Once <math>k_4</math> has been found using {{nowrap|[[#math 2|equation (2)]]}}, one may proceed to calculate <math>z_4</math> by solving {{nowrap|[[#math 3|equation (3)]]}} as a quadratic equation, leading to a form similar to {{nowrap|[[#math 2|equation (2)]]}}:

<math display=block>z_4 = \frac{z_1 k_1 + z_2 k_2 + z_3 k_3 \pm 2 \sqrt{k_1 k_2 z_1 z_2 +  k_2 k_3 z_2 z_3 + k_1 k_3 z_1 z_3} }{k_4}.</math>

Again, in general there are two solutions {{nowrap|for <math>z_4</math>}} corresponding to the two solutions {{nowrap|for <math>k_4</math>.}} The plus/minus sign in the above formula {{nowrap|for <math>z_4</math>}} does not necessarily correspond to the plus/minus sign in the formula {{nowrap|for <math>k_4</math>.{{r|lmw|northshield|tupan}}}}

==Special cases==
[[File:Soddy–Steiner chain of congruent circles.png|thumb|Three congruent mutually tangent circles of curvatures {{math|1=''k'' = 1/√3}} are all tangent to two circles of respective curvatures {{math|1=''k'' = √3 ± 2}}.]]

=== Three congruent circles ===
When three of the four circles are congruent, their centers form an equilateral triangle, as do their points of tangency. The two possibilities for a fourth circle tangent to all three are concentric, and {{nowrap|[[#math 2|equation (2)]]}} reduces to{{r|concentric}}

<math display=block>k_4 = (3 \pm2 \sqrt{3})k_1.</math>

===One or more straight lines===
[[File:KissingCircles2.png|thumb|Descartes' theorem still applies when one of the circles is replaced by a straight line of zero curvature.]]
If one of the three circles is replaced by [[Tangent lines to circles|a straight line tangent to the remaining circles]], then its curvature is zero and drops out of {{nowrap|[[#math 1|equation (1)]].}} For instance, {{nowrap|if <math>k_3=0</math>,}} then {{nowrap|[[#math 1|equation (1)]]}} can be factorized {{nowrap|as{{r|hajja}}}}

<math display=block>\begin{align}
& \bigl(\sqrt{k_1} + \sqrt{k_2} + \sqrt{k_4}\bigr)
\bigl({\sqrt{k_2} + \sqrt{k_4} - \sqrt{k_1}}\bigr) \\[3mu]
& \quad {} \cdot 
\bigl(\sqrt{k_1} + \sqrt{k_4} - \sqrt{k_2}\bigr)
\bigl(\sqrt{k_1} + \sqrt{k_2} - \sqrt{k_4}\bigr) = 0,
\end{align}</math>

and {{nowrap|[[#math 2|equation (2)]]}} simplifies {{nowrap|to{{r|dergiades}}}}

<math display=block>k_4=k_1+k_2\pm2\sqrt{k_1k_2}.</math>

Taking the [[square root]] of both sides leads to another alternative formulation of this case {{nowrap|(with <math>k_1\ge k_2</math>),}}

<math display=block>\sqrt{k_4}=\sqrt{k_1}\pm \sqrt{k_2},</math>

which has been described as "a sort of demented version of the [[Pythagorean theorem]]".{{r|mackenzie}}

If two circles are replaced by lines, the tangency between the two replaced circles becomes a parallelism between their two replacement lines. In this case, {{nowrap|with <math>k_2=k_3=0</math>,}} {{nowrap|[[#math 2|equation (2)]]}} is reduced to the trivial

<math display=block>\displaystyle k_4=k_1.</math>

This corresponds to the observation that, for all four curves to remain mutually tangent, the other two circles must be {{nowrap|congruent.{{r|lmw|wilker}}}}

===Integer curvatures===
[[File:ApollonianGasket-10 18 23 27-Labels.png|thumb|An Apollonian gasket with integer curvatures, generated by four mutually tangent circles with curvatures &minus;10 (the outer circle), 18, 23, and 27]]
When four tangent circles described by {{nowrap|[[#math 2|equation (2)]]}} all have integer curvatures, the alternative fourth circle described by the second solution to the equation must also have an integer curvature. This is because both solutions differ from an integer by the square root of an integer, and so either solution can only be an integer if this square root, and hence the other solution, is also an integer. Every four integers that satisfy the equation in Descartes' theorem form the curvatures of four tangent {{nowrap|circles.{{r|glmwy}}}} Integer quadruples of this type are also closely related to [[Heronian triangle]]s, triangles with integer sides and {{nowrap|area.{{r|bradley}}}}

Starting with any four mutually tangent circles, and repeatedly replacing one of the four with its alternative solution ([[Vieta jumping]]), in all possible ways, leads to a system of infinitely many tangent circles called an [[Apollonian gasket]]. When the initial four circles have integer curvatures, so does each replacement, and therefore all of the circles in the gasket have integer curvatures. Any four tangent circles with integer curvatures belong to exactly one such gasket, uniquely described by its ''root quadruple'' of the largest four largest circles and four smallest curvatures. This quadruple can be found, starting from any other quadruple from the same gasket, by repeatedly replacing the smallest circle by a larger one that solves the same Descartes equation, until no such reduction is possible.{{r|glmwy}}

A root quadruple is said to be ''primitive'' if it has no nontrivial [[common divisor]]. Every primitive root quadruple can be found from a factorization of a sum of two squares, {{nowrap|<math>n^2+m^2=de</math>,}} as the {{nowrap|quadruple <math>(-n,\,d+n,\,e+n,\,d+e+n-2m)</math>.}} To be primitive, it must satisfy the additional {{nowrap|conditions <math>\gcd(n,d,e)=1</math>,}} {{nowrap|and <math>-n\le 0\le 2m\le d\le e</math>.}} Factorizations of sums of two squares can be obtained using the [[sum of two squares theorem]]. Any other integer Apollonian gasket can be formed by multiplying a primitive root quadruple by an arbitrary integer, and any quadruple in one of these gaskets (that is, any integer solution to the Descartes equation) can be formed by reversing the replacement process used to find the root quadruple. For instance, the gasket with root {{nowrap|quadruple <math>(-10,18,23,27)</math>,}} shown in the figure, is generated in this way from the factorized sum of two squares {{nowrap|<math>10^2+2^2=8\cdot 13</math>.{{r|glmwy}}}}
{{Clear}}

===Ford circles===
[[File:Ford circles colour.svg|thumb|[[Ford circle]]s in the unit interval]]
{{main|Ford circle}}
The special cases of one straight line and integer curvatures combine in the [[Ford circle]]s. These are an infinite family of circles tangent to the {{nowrap|<math>x</math>-axis}} of the [[Cartesian coordinate system]] at its rational points. Each [[fraction]] <math>p/q</math> (in lowest terms) has a circle tangent to the line at the point <math>(p/q,0)</math> with curvature <math>2q^2</math>. Three of these curvatures, together with the zero curvature of the axis, meet the conditions of Descartes' theorem whenever the denominators of two of the corresponding fractions sum to the denominator of the third. The two Ford circles for fractions <math>p/q</math> and <math>r/s</math> (both in lowest terms) are tangent {{nowrap|when <math>|ps-qr|=1</math>.}} When they are tangent, they form a quadruple of tangent circles with the {{nowrap|<math>x</math>-axis}} and with the circle for their [[Mediant (mathematics)|mediant]] <math>(p+r)/(q+s)</math>.{{r|mcgonagle-northshield}}

The Ford circles belong to a special Apollonian gasket with root {{nowrap|quadruple <math>(0,0,1,1)</math>,}} bounded between two parallel lines, which may be taken as the {{nowrap|<math>x</math>-axis}} and the {{nowrap|line <math>y=1</math>.}} This is the only Apollonian gasket containing a straight line, and not bounded within a negative-curvature circle. The Ford circles are the circles in this gasket that are tangent to the {{nowrap|<math>x</math>-axis}}.{{r|glmwy}}
{{Clear}}

===Geometric progression===
{{main|Coxeter's loxodromic sequence of tangent circles}}
[[File:Coxeter circles.png|thumb|[[Coxeter's loxodromic sequence of tangent circles]]. Each circle is labeled by an integer {{mvar|i}}, its position in the sequence; it has radius {{mvar|&rho;<sup>i</sup>}} and curvature {{mvar|&rho;<sup>&minus;i</sup>}}.]]
When the four radii of the circles in Descartes' theorem are assumed to be in a [[geometric progression]] with {{nowrap|ratio <math>\rho</math>,}} the curvatures are also in the same progression (in reverse). Plugging this ratio into the theorem gives the equation

<math display=block>2(1+\rho^2+\rho^4+\rho^6)=(1+\rho+\rho^2+\rho^3)^2,</math>

which has only one real solution greater than one, the ratio

<math display=block>\rho=\varphi + \sqrt{\varphi} \approx 2.89005 \ ,</math>

where <math>\varphi</math> is the [[golden ratio]]. If the same progression is continued in both directions, each consecutive four numbers describe circles obeying Descartes' theorem. The resulting double-ended geometric progression of circles can be arranged into a single [[Doyle spiral|spiral pattern of tangent circles]], called [[Coxeter's loxodromic sequence of tangent circles]]. It was first described, together with analogous constructions in higher dimensions, by [[Harold Scott MacDonald Coxeter|H. S. M. Coxeter]] in 1968.{{r|coxlox|weiss}}
{{Clear}}

==Soddy circles of a triangle==
{{main|Soddy circles of a triangle}}
Any [[triangle]] in the plane has three externally tangent circles centered at its vertices. Letting <math>A, B, C</math> be the three points, <math>a, b, c</math> be the lengths of the opposite sides, and <math display=inline>s = \tfrac12(a + b + c)</math> be the [[semiperimeter]], these three circles have radii {{nowrap|<math>s-a, s-b, s-c</math>.}} By Descartes' theorem, two more circles, sometimes called ''Soddy circles'', are tangent to these three circles. They are separated by the [[incircle]], one interior to it and one {{nowrap|exterior.{{r|lemoine|veldkamp|grmg}}}} Descartes' theorem can be used to show that the inner Soddy circle's curvature {{nowrap|is <math display=inline>(4R + r + 2s) / \Delta</math>,}} where <math>\Delta</math> is the triangle's area, <math>R</math> is its [[circumradius]], and <math>r</math> is its [[inradius]]. The outer Soddy circle has curvature {{nowrap|<math display=inline>(4R + r - 2s) / \Delta</math>.{{r|jackson}}}} The inner curvature is always positive, but the outer curvature can be positive, negative, or zero. Triangles whose outer circle degenerates to a straight line with curvature zero have been called "Soddyian triangles".{{r|jackson}}

[[File:Descartes' theorem from Soddy circles.png|thumb|upright=1.25|Four triangles with vertices at the centers of Soddy circles]]
One of the many proofs of Descartes' theorem is based on this connection to triangle geometry and on [[Heron's formula]] for the area of a triangle as a function of its side lengths.
If three circles are externally tangent, with radii <math>r_1, r_2, r_3,</math> then their centers <math>P_1, P_2, P_3</math> form the vertices of a triangle with side lengths <math>r_1+r_2,</math> <math>r_1+r_3,</math> and <math>r_2+r_3,</math> and semiperimeter <math>r_1+r_2+r_3.</math> By Heron's formula, this triangle <math>\triangle P_1P_2P_3</math> has area

<math display=block>\sqrt{r_1r_2r_3(r_1+r_2+r_3)}.</math>

Now consider the inner Soddy circle with radius <math>r_4,</math> centered at point <math>P_4</math> inside the triangle. Triangle <math>\triangle P_1P_2P_3</math> can be broken into three smaller triangles <math>\triangle P_1P_2P_4,</math> <math>\triangle P_4P_2P_3,</math> and <math>\triangle P_1P_4P_3,</math> whose areas can be obtained by substituting <math>r_4</math> for one of the other radii in the area formula above. The area of the first triangle equals the sum of these three areas:

<math display=block>\begin{align}
\sqrt{r_1r_2r_3(r_1+r_2+r_3)}
= {} & \sqrt{r_1r_2r_4(r_1+r_2+r_4)}+{}\\
&\sqrt{r_1r_3r_4(r_1+r_3+r_4)}+{}\\
&\sqrt{r_2r_3r_4(r_2+r_3+r_4)}.
\end{align}</math>

Careful algebraic manipulation shows that this formula is equivalent to {{nowrap|[[#math 1|equation (1)]]}}, Descartes' theorem.{{r|levrie}}

[[File:Descartes' theorem from Soddy circles 2.png|thumb|upright=1.25|Here the outer Soddy center lies outside the triangle.]]

This analysis covers all cases in which four circles are externally tangent; one is always the inner Soddy circle of the other three. The cases in which one of the circles is internally tangent to the other three and forms their outer Soddy circle are similar. Again the four centers <math>P_1, P_2, P_3, P_4</math> form four triangles, but (letting <math>P_4</math> be the center of the outer Soddy circle) the triangle sides incident to <math>P_4</math> have lengths that are differences of radii, <math>r_4 - r_1,</math> <math>r_4 - r_1,</math> and <math>r_4 - r_3,</math> rather than sums. <math>P_4</math> may lie inside or outside the triangle formed by the other three centers; when it is inside, this triangle's area equals the sum of the other three triangle areas, as above. When it is outside, the quadrilateral formed by the four centers can be subdivided by a diagonal into two triangles, in two different ways, giving an equality between the sum of two triangle areas and the sum of the other two triangle areas. In every case, the area equation reduces to Descartes' theorem. This method does not apply directly to the cases in which one of the circles degenerates to a line, but those can be handled as a limiting case of circles.{{r|levrie}}

==Generalizations==

=== Arbitrary four-circle configurations ===

Descartes' theorem can be expressed as a matrix equation and then generalized to other configurations of four [[oriented circle]]s by changing the matrix. Let <math>\mathbf{k}</math> be a [[column vector]] of the four circle curvatures and let <math>\mathbf{Q}</math> be a [[symmetric matrix]] whose coefficients <math>q_{i,j}</math> represent the relative orientation between the {{mvar|i}}th and {{mvar|j}}th oriented circles at their intersection point:
<math display=block>
\mathbf{Q} = \begin{bmatrix}
  \phantom{-}1 & -1 & -1 & -1 \\
  -1 & \phantom{-}1 & -1 & -1 \\
  -1 & -1 & \phantom{-}1 & -1 \\
  -1 & -1 & -1 & \phantom{-}1 \\
\end{bmatrix}, \qquad
\mathbf{Q}^{-1} = \frac14 \begin{bmatrix}
  \phantom{-}1 & -1 & -1 & -1 \\
  -1 & \phantom{-}1 & -1 & -1 \\
  -1 & -1 & \phantom{-}1 & -1 \\
  -1 & -1 & -1 & \phantom{-}1 \\
\end{bmatrix}.
</math>

Then {{nowrap|[[#math 1|equation (1)]]}} can be rewritten as the [[matrix (mathematics)|matrix]] equation{{r|lmw|kocik}}

<math display=block>\mathbf{k}^\mathsf{T}\mathbf{Q}^{-1}\mathbf{k} = 0.</math>

As a generalization of Descartes' theorem, a modified symmetric matrix <math>\mathbf{Q}</math> can represent any desired configuration of four circles by replacing each coefficient with the ''inclination'' <math>q_{i,j}</math> between two circles, defined as

<math display=block>
q_{i,j} = \frac{r_i^2 + r_j^2 - d_{i,j}^2}{2 r_i r_j},
</math>

where <math>r_i, r_j</math> are the respective radii of the circles, and <math>d_{i,j}</math> is the [[Euclidean distance]] between their centers.{{r|coolidge|mauldon|rigby}} When the circles intersect, {{nowrap|<math>q_{i,j} = \cos(\theta_{i,j})</math>,}} the cosine of the intersection angle between the circles. The inclination, sometimes called [[inversive distance]], is <math>1</math> when the circles are tangent and oriented the same way at their point of tangency, <math>-1</math> when the two circles are tangent and oriented oppositely at the point of tangency, <math>0</math> for [[orthogonal circles]], outside the interval <math>[-1, 1]</math> for non-intersecting circles, and <math>\infty</math> in the limit as one circle degenerates to a {{nowrap|point.{{r|kocik|weiss}}}}

The equation <math>\mathbf{k}^\mathsf{T}\mathbf{Q}^{-1}\mathbf{k} = 0</math> is satisfied for any arbitrary configuration of four circles in the plane, provided <math>\mathbf{Q}</math> is the appropriate matrix of pairwise inclinations.{{r|kocik}}

===Spherical and hyperbolic geometry===
[[File:Descartes' circle theorem on the sphere.svg|thumb|A special case of Descartes' theorem on the sphere has three circles of radius {{math|60°}} ({{math|1=''k'' = 1/√3}}, in blue) for which both circles touching all three (in green) have the same radius ({{math|30°}}, {{math|1=''k'' = √3}}).]]

Descartes' theorem generalizes to mutually tangent [[circle of a sphere|great or small circle]]s in [[spherical geometry]] if the curvature of the <math>j</math>th circle is defined as <math display=inline>k_j = \cot \rho_j,</math> the [[geodesic curvature]] of the circle relative to the sphere, which equals the [[cotangent]] of the oriented [[great-circle distance|intrinsic radius]] <math>\rho_j.</math> Then:{{r|lmw|mauldon}}

<math display=block>(k_1 + k_2 + k_3+k_4)^2 = 2(k_1^2+k_2^2+k_3^2+k_4^2) + 4.</math>

Solving for one of the curvatures in terms of the other three,

<math display=block> k_4 = k_1 + k_2 + k_3 \pm2 \sqrt{k_1 k_2 + k_2 k_3 + k_3 k_1 - 1}. </math>

As a matrix equation,

<math display=block>\mathbf{k}^\mathsf{T}\mathbf{Q}^{-1}\mathbf{k} = -1.</math>

The quantity <math>1/k_j = \tan \rho_j</math> is the "stereographic diameter" of a small circle. This is the Euclidean length of the diameter in the [[stereographic projection|stereographically projected]] plane when some point on the circle is projected to the origin. For a great circle, such a stereographic projection is a straight line through the origin, so <math>k_j = 0</math>.{{r|stereographic-distance}}

[[File:Generalized circles in the hyperbolic plane.png|thumb|right|Four generalized circles through the origin of the [[Poincaré disk model]] of the hyperbolic plane: Circle (blue), horocycle (red), hypercycle (purple), and geodesic (green). The boundary of [[ideal point]]s is represented with a dashed stroke, and the shaded region is outside the plane.]]
Likewise, the theorem generalizes to mutually tangent [[Hyperbolic geometry#Circles and disks|circles]] in [[hyperbolic geometry]] if the curvature of the <math>j</math>th cycle is defined as <math display=inline>k_j = \coth \rho_j,</math> the geodesic curvature of the circle relative to the hyperbolic plane, the [[hyperbolic cotangent]] of the oriented intrinsic radius <math>\rho_j.</math> Then:{{r|lmw|mauldon}}

<math display=block>(k_1 + k_2 + k_3+k_4)^2 = 2(k_1^2+k_2^2+k_3^2+k_4^2) - 4.</math>

Solving for one of the curvatures in terms of the other three,

<math display=block> k_4 = k_1 + k_2 + k_3 \pm2 \sqrt{k_1 k_2 + k_2 k_3 + k_3 k_1 + 1}. </math>

As a matrix equation,

<math display=block>\mathbf{k}^\mathsf{T}\mathbf{Q}^{-1}\mathbf{k} = 1.</math>

This formula also holds for mutually tangent configurations in hyperbolic geometry including [[Hyperbolic geometry#Hypercycles and horocycles|hypercycles and horocycles]], if <math>k_j</math> is the geodesic curvature of the cycle relative to the hyperbolic plane, the reciprocal of the stereographic diameter of the cycle. This is the diameter under stereographic projection (the [[Poincaré disk model]]) when one endpoint of the diameter is projected to the origin.{{r|pseudo-chordal-distance}} Hypercycles do not have a well-defined center or intrinsic radius and horocycles have an [[ideal point]] for a center and infinite intrinsic radius, but <math>|k_j| > 1</math> for a hyperbolic circle, <math>|k_j| = 1</math> for a horocycle, <math>|k_j| < 1</math> for a hypercycle, and <math>k_j = 0</math> for a [[geodesic]].{{r|eriksson-lagarias}}

===Higher dimensions===
[[File:Hexlet problem.svg|thumb|upright=1|[[Soddy's hexlet]]. Any pair of adjacent green spheres together with the two red spheres and the outer gray sphere satisfy the three-dimensional case of Descartes' theorem.]]
In <math>n</math>-dimensional [[Euclidean space]], the maximum number of mutually tangent [[n-sphere|hyperspheres]] is <math>n+2</math>. For example, in 3-dimensional space, five spheres can be mutually tangent. The curvatures of the hyperspheres satisfy

<math display=block>\biggl(\sum_{i=1}^{n+2} k_i\biggr)^{\!2} = n\,\sum_{i=1}^{n+2} k_i^2</math>

with the case <math>k_i=0</math> corresponding to a flat [[hyperplane]], generalizing the 2-dimensional version of the theorem.{{r|lmw|mauldon}} Although there is no 3-dimensional analogue of the complex numbers, the relationship between the positions of the centers can be re-expressed as a [[matrix (mathematics)|matrix]] equation, which also generalizes to <math>n</math> dimensions.{{r|lmw}}

In three dimensions, suppose that three mutually tangent spheres are fixed, and a fourth sphere <math>S_1</math> is given, tangent to the three fixed spheres. The three-dimensional version of Descartes' theorem can be applied to find a sphere <math>S_2</math> tangent to <math>S_1</math> and the fixed spheres, then applied again to find a new sphere <math>S_3</math> tangent to <math>S_2</math> and the fixed spheres, and so on. The result is a [[Cyclic order|cyclic sequence]] of six spheres each tangent to its neighbors in the sequence and to the three fixed spheres, a configuration called [[Soddy's hexlet]], after Soddy's discovery and publication of it in the form of another poem in 1936.{{r|hexlet|barnes}}

Higher-dimensional configurations of mutually tangent hyperspheres in spherical or hyperbolic geometry, with [[#Spherical and hyperbolic geometry|curvatures defined as above]], satisfy

<math display=block>\biggl(\sum_{i=1}^{n+2} k_i\biggr)^{\!2} = nC + n\,\sum_{i=1}^{n+2} k_i^2,</math>

where <math>C = 2</math> in spherical geometry and <math>C = -2</math> in hyperbolic geometry.{{r|mauldon|lmw}}

==See also==
* [[Circle packing in a circle]]
* [[Euler's four-square identity]]
* [[Malfatti circles]]

==References==
{{reflist|refs=

<ref name=barnes>{{citation
 | last = Barnes | first = John
 | year = 2012
 | contribution = Soddy's hexlet
 | title = Gems of Geometry
 | edition = 2nd
 | publisher = Springer | location = Heidelberg
 | pages = 173–177
 | doi = 10.1007/978-3-642-30964-9_7
 | isbn = 978-3-642-30963-2
 | mr = 2963305
 }}</ref>

<ref name=beecroft>{{citation
 | last = Beecroft | first = Philip
 | year = 1842
 | title = Properties of circles in mutual contact
 | journal = [[The Lady's and Gentleman's Diary]]
 | issue = 139
 | pages = 91–96
 | url = https://babel.hathitrust.org/cgi/pt?id=mdp.39015065987789&view=1up&seq=175
 }}</ref>

<ref name=boyer>{{citation
 | last = Boyer | first = Carl B. | author-link = Carl Benjamin Boyer
 | year = 1956
 | title = History of Analytic Geometry
 | publisher = Scripta Mathematica | location = New York
 | chapter = Chapter 5: Fermat and Descartes
 | pages = 74–102
 | chapter-url = https://archive.org/details/historyofanalyti0000boye/page/74/
 | chapter-url-access = limited
 }}; Reprinted by Dover, 2004, {{isbn|978-0-486-43832-0}}</ref>

<ref name=bradford>{{citation
 | last = Bradford | first = Alden
 | year = 2023
 | title = An even more straightforward proof of Descartes's circle theorem
 | journal = [[The Mathematical Intelligencer]]
 | volume = 45
 | issue = 3
 | pages = 263–265
 | doi = 10.1007/s00283-022-10234-6
 | mr = 4645170
 | arxiv = 2211.05539
 }}</ref>

<ref name=bradley>{{citation
 | last = Bradley | first = Christopher J.
 | date = March 2003
 | title = Heron triangles and touching circles
 | journal = [[The Mathematical Gazette]]
 | volume = 87
 | issue = 508
 | pages = 36–41
 | doi = 10.1017/s0025557200172080
 | jstor = 3620562
 | s2cid = <!-- 125024700; unhelpful -->
 }}</ref>

<ref name=concentric>This is a special case of a formula for the radii of circles in a [[Steiner chain]] with concentric inner and outer circles, given by {{citation
 | last = Sheydvasser | first = Arseniy
 | year = 2023
 | contribution = 3.1 Steiner's porism and 3.6 Steiner's porism revisited
 | pages = 75–81, 99–101
 | title = Linear Fractional Transformations
 | publisher = Springer
 | series = Undergraduate Texts in Mathematics
 | doi = 10.1007/978-3-031-25002-6
 | isbn = 978-3-031-25001-9
 | s2cid = <!-- 258177153; unhelpful -->
 }}</ref>

<ref name=coolidge>{{citation
 | last = Coolidge | first = Julian Lowell | author-link = Julian Lowell Coolidge
 | year = 1916
 | title = [[A Treatise on the Circle and the Sphere]]
 | publisher = Clarendon
 | chapter = X. The Oriented Circle
 | chapter-url = https://archive.org/details/circleandsphere00coolrich/page/n354/
 | pages = 351–407; also see [https://archive.org/details/circleandsphere00coolrich/page/n112 p. 109], [https://archive.org/details/circleandsphere00coolrich/page/n411/ p. 408]
 }}</ref>

<ref name=court>{{citation
 | last = Court | first = Nathan Altshiller | author-link = Nathan Altshiller Court
 | date = October 1961
 | title = The problem of Apollonius
 | journal = [[The Mathematics Teacher]]
 | volume = 54
 | issue = 6
 | jstor = 27956431
 | pages = 444–452
 | doi = 10.5951/MT.54.6.0444
 }}</ref>

<ref name=coxeter>{{citation
 | last = Coxeter | first = H. S. M. | author-link = Harold Scott MacDonald Coxeter
 | date = January 1968
 | title = The problem of Apollonius
 | journal = [[The American Mathematical Monthly]]
 | volume = 75
 | issue = 1
 | pages = 5–15
 | doi = 10.1080/00029890.1968.11970941
 | jstor = 2315097
 }}</ref>

<ref name=coxlox>{{citation
 | last = Coxeter | first = H. S. M. | author-link = Harold Scott MacDonald Coxeter
 | year = 1968
 | title = Loxodromic sequences of tangent spheres
 | journal = [[Aequationes Mathematicae]]
 | volume = 1
 | issue = 1–2 
 | pages = 104–121
 | doi = 10.1007/BF01817563
 | mr = 235456
 | s2cid = <!-- 119897862; unhelpful -->
 }}</ref>

<ref name=dergiades>{{citation
 | last = Dergiades | first = Nikolaos
 | year = 2007
 | title = The Soddy circles
 | journal = [[Forum Geometricorum]]
 | volume = 7
 | pages = 191–197
 | url = https://forumgeom.fau.edu/FG2007volume7/FG200726.pdf
 | mr = 2373402
 }}</ref>

<ref name="descartes-letters">{{citation
 | last = Descartes | first = René | author-link = René Descartes
 | year = 1901
 | title = Oeuvres de Descartes
 | volume = 4: Correspondance Juillet 1643 – Avril 1647
 | editor1-last = Adam | editor1-first = Charles
 | editor2-last = Tannery | editor2-first = Paul
 | publisher = Léopold Cerf | location = Paris
 | language = fr
 | at = [https://archive.org/details/oeuvresdedesca04desc/page/37/ "325. Descartes a Elisabeth"], {{pgs|37–42}}; [https://archive.org/details/oeuvresdedesca04desc/page/45/ "328. Descartes a Elisabeth"], {{pgs|45–50}}
 }}
{{pb}}{{citation
 | last = Bos | first = Erik-Jan 
 | year = 2010
 | title = Princess Elizabeth of Bohemia and Descartes' letters (1650–1665)
 | journal = [[Historia Mathematica]]
 | volume = 37
 | number = 3
 | pages = 485–502
 | doi = 10.1016/j.hm.2009.11.004 | doi-access = free
 }}
</ref>

<ref name = eriksson-lagarias>{{citation 
 | last1 = Eriksson | first1 = Nicholas 
 | last2 = Lagarias | first2 = Jeffrey C. | author2-link = Jeffrey Lagarias
 | year = 2007
 | title = Apollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings 
 | journal = [[The Ramanujan Journal]] 
 | volume = 14 
 | number = 3 
 | pages = 437–469 
 | doi = 10.1007/s11139-007-9052-6 
 | arxiv = math/0403296 
 | s2cid = <!-- 14024662 ; unhelpful -->
 }}</ref>

<ref name=gardner>{{citation
 | last = Gardner | first = Martin | author-link = Martin Gardner
 | date = May 1968
 | issue = 5
 | journal = [[Scientific American]]
 | jstor = 24926234
 | pages = 130–139
 | title = Mathematical Games: Circles and spheres, and how they kiss and pack
 | volume = 218
 | doi = 10.1038/scientificamerican0568-130
 }}</ref>

<ref name=glmwy>{{citation
 | last1 = Graham | first1 = Ronald L. | author1-link = Ronald Graham
 | last2 = Lagarias | first2 = Jeffrey C. | author2-link = Jeffrey Lagarias
 | last3 = Mallows | first3 = Colin L. | author3-link = Colin Lingwood Mallows
 | last4 = Wilks | first4 = Allan R.
 | last5 = Yan | first5 = Catherine H. | author5-link = Catherine Yan
 | doi = 10.1016/S0022-314X(03)00015-5
 | issue = 1
 | journal = [[Journal of Number Theory]]
 | mr = 1971245
 | pages = 1–45
 | title = Apollonian circle packings: number theory
 | volume = 100
 | year = 2003
 | arxiv = math/0009113 
 | s2cid = <!-- 16607718 ; unhelpful -->
 }}</ref>

<ref name=gosset>{{citation
 | date = January 1937
 | title = The Kiss Precise 
 | journal = [[Nature (journal)|Nature]]
 | volume = 139
 | issue = 3506
 | page = 62
 | doi = 10.1038/139062a0 | doi-access = free
 | bibcode = <!-- 1937Natur.139Q..62. ; unhelpful -->
 }}</ref>

<ref name=grmg>{{citation
 | last1 = Garcia | first1 = Ronaldo
 | last2 = Reznik | first2 = Dan
 | last3 = Moses | first3 = Peter
 | last4 = Gheorghe | first4 = Liliana
 | year = 2022
 | title = Triads of conics associated with a triangle
 | journal = KoG
 | issue = 26
 | pages = 16–32
 | publisher = Croatian Society for Geometry and Graphics
 | url = https://hrcak.srce.hr/file/417127
 | doi = 10.31896/k.26.2
 | arxiv = 2112.15232
 | s2cid = <!-- 245634505 ; unhelpful -->
 }}</ref>

<ref name=gso>{{citation
 | last1 = Glaeser | first1 = Georg | author1-link = Georg Glaeser
 | last2 = Stachel | first2 = Hellmuth
 | last3 = Odehnal | first3 = Boris
 | year = 2016
 | contribution = The parabolic pencil – a common line element
 | title = The Universe of Conics
 | publisher = Springer
 | page = 327
 | doi = 10.1007/978-3-662-45450-3_7
 | isbn = 978-3-662-45449-7
 }}</ref>

<ref name=hajja>{{citation
 | last = Hajja | first = Mowaffaq
 | year = 2009
 | title = 93.33 on a Morsel of Ross Honsberger
 | journal = [[The Mathematical Gazette]]
 | volume = 93
 | number = 527 
 | pages = 309–312
 | jstor = 40378744
 }}</ref>

<ref name=hexlet>{{citation
 | last = Soddy | first = Frederick | author-link = Frederick Soddy
 | date = December 1936
 | title = The hexlet
 | journal = [[Nature (journal)|Nature]]
 | volume = 138
 | issue = 3501
 | pages = 958
 | doi = 10.1038/138958a0 | doi-access = free
 | bibcode = <!-- 1936Natur.138..958S ; unhelpful -->
 | s2cid = <!-- 28170211 ; unhelpful -->
 }}</ref>

<ref name=hk>{{citation
 | last1 = Hidetoshi | first1 = Fukagawa
 | last2 = Kazunori | first2 = Horibe
 | year = 2014
 | title = Bridges Seoul Conference Proceedings
 | pages = 111–118
 | publisher = Tessellations Publishing
 | editor1-last = Greenfield | editor1-first = Gary
 | editor2-last = Hart | editor2-first = George
 | editor3-last = Sarhangi | editor3-first = Reza
 | contribution = Sangaku – Japanese Mathematics and Art in the 18th, 19th and 20th Centuries
 | contribution-url = https://archive.bridgesmathart.org/2014/bridges2014-111.html
 }}</ref>

<ref name=hogendijk>{{citation
 | last = Hogendijk | first = Jan P. | author-link = Jan Hogendijk
 | year = 1986
 | title = Arabic traces of lost works of Apollonius
 | journal = [[Archive for History of Exact Sciences]]
 | volume = 35
 | issue = 3
 | pages = 187–253
 | doi = 10.1007/BF00357307
 | jstor = 41133783
 | mr = 851067
 | s2cid = <!-- 121613986 ; unhelpful -->
 }}</ref>

<ref name=jackson>{{citation
 | last = Jackson | first = Frank M.
 | year = 2013
 | title = Soddyian Triangles
 | journal = [[Forum Geometricorum]]
 | volume = 13
 | pages = 1–6
 | url = https://forumgeom.fau.edu/FG2013volume13/FG201301.pdf
 }}</ref>

<!-- Kocik (2010) is peer reviewed, but more useful details are in Kocik (2007) which has been cited repeatedly including in peer-reviewed publications, and Kocik (2019) is a follow-up. -->
<ref name=kocik>{{citation
 | last = Kocik | first = Jerzy
 | year = 2007
 | title = A theorem on circle configurations
 | arxiv = 0706.0372
 }} {{pb}} {{citation
 | last = Kocik | first = Jerzy
 | year = 2010
 | title = Golden window
 | journal = [[Mathematics Magazine]]
 | volume = 83
 | number = 5 | pages = 384–390
 | url = http://lagrange.math.siu.edu/Kocik/papers/gwindow.pdf
 | id = [[Doi (identifier)|doi]]:[https://www.tandfonline.com/doi/abs/10.4169/002557010x529815 10.4169/002557010x529815]
 | jstor = 10.4169/002557010x529815
 }} {{pb}}
{{citation
 | last = Kocik | first = Jerzy
 | year = 2019
 | title = Proof of Descartes circle formula and its generalization clarified
 | arxiv = 1910.09174 
 }}</ref>

<ref name=lachlan>{{citation
 | last = Lachlan | first = Robert
 | year = 1886
 | title = On Systems of Circles and Spheres
 | journal = [[Philosophical Transactions of the Royal Society of London]]
 | at = {{pgs|481–625}}, see [https://archive.org/details/philosphicaltran1771roya/page/585/ "Spheres touching one another"], {{pgs|585–587}}
 | volume = 177
 | url = https://archive.org/details/philosphicaltran1771roya/page/481/
 | jstor = 109492
 }}</ref>

<ref name=lemoine>{{cite conference
 | last = Lemoine  | first = Émile | author-link = Émile Lemoine 
 | year = 1891
 | title = Compte rendu de la 19me session de l'association française pour l'avancement des sciences, pt. 2 
 | language = fr
 | conference = Congrès de Limoges 1890 
 | location = Paris 
 | publisher = Secrétariat de l'association 
 | contribution = Sur les triangles orthologiques et sur divers sujets de la géométrie du triangle 
 | trans-contribution = On orthologic triangles and on various subjects of triangle geometry
 | contribution-url = https://gallica.bnf.fr/ark:/12148/bpt6k201173h/f114.item 
 | at = {{pgs|111–146}}, especially §4 {{lang|fr|italic=unset|[https://gallica.bnf.fr/ark:/12148/bpt6k201173h/f131.item "Sur les intersections deux a deux des coniques qui ont pour foyers-deux sommets d'un triangle et passent par le troisième"]}} [On the intersections in pairs of the conics which have as foci two vertices of a triangle and pass through the third], {{pgs|128–144}} 
 }}</ref>

<ref name=levrie>{{citation
 | last = Levrie | first = Paul
 | year = 2019
 | title = A straightforward proof of Descartes's circle theorem
 | journal = [[The Mathematical Intelligencer]]
 | volume = 41
 | issue = 3
 | pages = 24–27
 | doi = 10.1007/s00283-019-09883-x
 | hdl = 10067/1621880151162165141  | hdl-access = free
 | mr = 3995314
 | s2cid = <!-- 253818666 ; unhelpful -->
 }}</ref>

<ref name=lmw>{{citation
 | last1 = Lagarias | first1 = Jeffrey C. | author1-link = Jeffrey Lagarias
 | last2 = Mallows | first2 = Colin L. | author2-link = Colin Lingwood Mallows
 | last3 = Wilks | first3 = Allan R.
 | year = 2002
 | title = Beyond the Descartes circle theorem
 | journal = [[The American Mathematical Monthly]]
 | volume = 109
 | issue = 4
 | pages = 338–361
 | doi = 10.2307/2695498
 | arxiv = math/0101066
 | jstor = 2695498
 | mr = 1903421
 }}</ref>

<ref name = mackenzie>{{citation
 | last = Mackenzie | first = Dana
 | date = January–February 2010
 | title = A tisket, a tasket, an Apollonian gasket
 | magazine = [[American Scientist]]
 | department = Computing Science
 | volume = 98
 | issue = 1
 | pages = 10–14
 | jstor = 27859441
 | quote = All of these reciprocals look a little bit extravagant, so the formula is usually simplified by writing it in terms of the curvatures or the bends of the circles.
 }}</ref>

<ref name = mac2>{{citation
 | last = Mackenzie | first = Dana
 | date = March–April 2023
 | title = The princess and the philosopher
 | magazine = [[American Scientist]]
 | volume = 111
 | issue = 2
 | pages = 80–84
 | url = https://www.americanscientist.org/article/the-princess-and-the-philosopher
 | id = {{ProQuest | 2779946948}}
 }}</ref>

<ref name=mauldon>{{citation
 | last = Mauldon | first = J. G. | author-link = Jim Mauldon
 | year = 1962
 | title = Sets of equally inclined spheres
 | journal = [[Canadian Journal of Mathematics]]
 | volume = 14
 | pages = 509–516
 | doi = 10.4153/CJM-1962-042-6 | doi-access = free
 }}</ref>

<ref name=mcgonagle-northshield>{{citation
 | last1 = McGonagle | first1 = Annmarie
 | last2 = Northshield | first2 = Sam
 | year = 2014
 | title = A new parameterization of Ford circles
 | journal = [[Pi Mu Epsilon Journal]]
 | volume = 13
 | issue = 10
 | pages = 637–643
 | jstor = 24345283
 | mr = 3235834
 }}</ref>

<ref name=michiwaki>{{citation
 | last = Michiwaki | first = Yoshimasa
 | year = 2008
 | contribution = Geometry in Japanese mathematics
 | pages = 1018–1019
 | editor-last = Selin | editor-first = Helaine
 | title = [[Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures]]
 | publisher = Springer Netherlands
 | doi = 10.1007/978-1-4020-4425-0_9133
 | isbn = 978-1-4020-4559-2
 }}</ref>

<ref name=mz>{{citation
 | last1 = Mathews | first1 = Daniel V.
 | last2 = Zymaris | first2 = Orion
 | year = 2025
 | title = Spinors and the Descartes circle theorem
 | journal = [[Journal of Geometry and Physics]]
 | volume = 212
 | pages = 105458
 | doi = 10.1016/j.geomphys.2025.105458 | doi-access = free
 }}</ref>

<ref name=northshield>{{citation
 | last = Northshield | first = Sam
 | year = 2014
 | title = Complex Descartes circle theorem
 | journal = [[The American Mathematical Monthly]]
 | volume = 121
 | issue = 10
 | pages = 927–931
 | doi = 10.4169/amer.math.monthly.121.10.927
 | jstor = 10.4169/amer.math.monthly.121.10.927
 | hdl = 1951/69912 | hdl-access = free
 | mr = 3295667
 | s2cid = <!-- 16335704 ; unhelpful -->
 }}</ref>

<ref name=pedoe>{{citation
 | last = Pedoe | first = Daniel | author-link = Daniel Pedoe
 | year = 1967
 | title = On a theorem in geometry
 | journal = [[The American Mathematical Monthly]]
 | volume = 74
 | issue = 6
 | pages = 627–640
 | doi = 10.2307/2314247
 | jstor = 2314247
 | mr = 215169
 }}</ref>

<ref name = pseudo-chordal-distance>This concept of distance was called the "pseudo-chordal distance" for the complex unit disk as a model for the hyperbolic plane by {{citation 
 | last = Carathéodory | first = Constantin | author-link = Constantin Carathéodory
 | year = 1954 | orig-year = 1950
 | translator-last = Steinhardt | translator-first = Fritz
 | title = Theory of Functions of a Complex Variable
 | volume = I
 | publisher = Chelsea 
 | chapter = §§1.3.86–88 Chordal and Pseudo-chordal Distance 
 | pages = 81–86
 | chapter-url = https://archive.org/details/theory-of-functions-of-a-complex-variable-v-i-ii-by-c.-caratheodory-clr/page/n92/ 
 | mr = 0060009 
 }}</ref>

<ref name=rigby>{{citation
 | last = Rigby | first = J. F.
 | year = 1981
 | chapter = The geometry of cycles, and generalized Laguerre inversion
 | title = The Geometric Vein: The Coxeter Festschrift
 | editor1-last = Davis | editor1-first = Chandler
 | editor2-last = Grünbaum |editor2-first=Branko
 | editor3-last = Sherk |editor3-first = F.A.
 | publisher = Springer
 | pages = 355–378
 | chapter-url = https://archive.org/details/geometricveincox0000unse/page/355/ | chapter-url-access = limited
 | doi = 10.1007/978-1-4612-5648-9_26
 | isbn = 978-1-4612-5650-2
 }}</ref>

<ref name=rotfug>{{citation
 | last1 = Rothman | first1 = Tony | author1-link = Tony Rothman
 | last2 = Fugakawa | first2 = Hidetoshi
 | date = May 1998
 | title = Japanese temple geometry
 | journal = [[Scientific American]]
 | volume = 278
 | issue = 5
 | pages = 84–91
 | doi = 10.1038/scientificamerican0598-84
 | jstor = 26057787
 | bibcode = <!-- 1998SciAm.278e..84R ; unhelpful -->
 }}; see top illustration, p. 86. Another tablet from 1822 (center, p. 88) concerns [[Soddy's hexlet]], a configuration of three-dimensional tangent spheres.</ref>

<ref name=shapiro>{{citation
 | last = Shapiro | first = Lisa | author-link = Lisa Shapiro
 | year = 2007
 | title = The Correspondence between Princess Elisabeth of Bohemia and René Descartes
 | publisher = University of Chicago Press
 | pages = 37–39, 73–77
 | series = The Other Voice in Early Modern Europe
 | isbn = 978-0-226-20444-4
 }}</ref>

<ref name=soddy>{{citation
 | last = Soddy | first = F. | author-link = Frederick Soddy
 | date = June 1936
 | title = The Kiss Precise
 | journal = [[Nature (journal)|Nature]]
 | volume = 137
 | issue = 3477
 | page = 1021
 | doi = 10.1038/1371021a0 | doi-access = free
 | bibcode = <!-- 1936Natur.137.1021S ; unhelpful -->
 | s2cid = <!-- 6012051 ; unhelpful -->
 }}</ref>

<ref name=steiner>{{citation
 | last = Steiner | first = Jakob | author-link = Jakob Steiner
 | date = January 1826
 | title = Fortsetzung der geometrischen Betrachtungen (Heft 2, S. 161)
 | trans-title = Continuation of the geometric considerations
 | journal = [[Journal für die reine und angewandte Mathematik]]
 | volume = 1826
 | issue = 1
 | at = {{pgs|252–288}}, [https://archive.org/details/journalfurdierei1218unse/page/n405/mode/1up fig. 2–25 taf. III]
 | language = de
 | url = https://archive.org/details/journalfurdierei1218unse/page/n263/
 | doi = 10.1515/crll.1826.1.252
 | s2cid = <!-- 121590578 ; unhelpful -->
 }}</ref>

<ref name = stereographic-distance>A definition of stereographic distance can be found in {{citation 
 | last1 = Li | first1 = Hongbo 
 | last2 = Hestenes | first2 = David | author2-link = David Hestenes
 | last3 = Rockwood | first3 = Alyn
 | year = 2001
 | chapter = Spherical conformal geometry with geometric algebra
 | title = Geometric Computing with Clifford Algebras
 | publisher = Springer
 | pages = 61–75
 | chapter-url = https://davidhestenes.net/geocalc/pdf/CompGeom-ch3.pdf
 | doi = 10.1007/978-3-662-04621-0_3
 | isbn = 978-3-642-07442-4
 | citeseerx = 10.1.1.412.4949
 }}</ref>

<ref name=takinami-michiwaki>{{citation
 | last1 = Takinami | first1 = Susumu
 | last2 = Michiwaki | first2 = Yoshimasa
 | year = 1984
 | title = On the Descartes circle theorem
 | journal = Journal for History of Mathematics
 | volume = 1
 | issue = 1
 | pages = 1–8
 | publisher = Korean Society for History of Mathematics
 | url = https://koreascience.kr/article/JAKO198411921896693.pdf
 }}</ref>

<ref name=tupan>{{citation
 | last = Tupan | first = Alexandru
 | year = 2022
 | title = On the complex Descartes circle theorem
 | journal = [[The American Mathematical Monthly]]
 | volume = 129
 | issue = 9
 | pages = 876–879
 | doi = 10.1080/00029890.2022.2104084
 | mr = 4499753
 | s2cid = <!-- 251417228 ; unhelpful -->
 }}</ref>

<ref name=veldkamp>{{citation
 | last = Veldkamp |first = G. R.
 | year = 1985
 | title = The Isoperimetric Point and the Point(s) of Equal Detour in a Triangle
 | journal = [[The American Mathematical Monthly]]
 | volume = 92
 | issue = 8
 | pages = 546–558
 | doi = 10.1080/00029890.1985.11971677 
 | jstor = 2323159
 }}</ref>

<ref name=weiss>{{citation
 | last = Weiss | first = Asia
 | year = 1981
 | chapter = On Coxeter's Loxodromic Sequences of Tangent Spheres
 | title = The Geometric Vein: The Coxeter Festschrift
 | editor1-last = Davis | editor1-first = Chandler
 | editor2-last = Grünbaum |editor2-first = Branko
 | editor3-last = Sherk |editor3-first = F.A.
 | publisher = Springer
 | pages = 241–250
 | chapter-url = https://archive.org/details/geometricveincox0000unse/page/243/ | chapter-url-access = limited
 | doi = 10.1007/978-1-4612-5648-9_16
 | isbn = 978-1-4612-5650-2
 }}</ref>

<ref name=wilker>{{citation
 | last = Wilker | first = J. B.
 | year = 1969
 | title = Four proofs of a generalization of the Descartes circle theorem
 | journal = [[The American Mathematical Monthly]]
 | volume = 76
 | issue = 3
 | pages = 278–282
 | doi = 10.2307/2316373
 | jstor = 2316373
 | mr = 246207
 }}</ref>

<ref name=yanagihara>{{citation
 | last = Yanagihara | first = K.
 | year = 1913
 | title = On some geometrical propositions in Wasan, the Japanese native mathematics
 | journal = [[Tohoku Mathematical Journal]]
 | volume = 3
 | pages = 87–95
 | jfm = 44.0052.02
 }}</ref>

}}

== Further reading ==

* {{citation
 | last1 = Maehara | first1 = Hiroshi
 | last2 = Martini | first2 = Horst
 | year = 2024
 | chapter = Chapter 2: Bend Formulas
 | pages = 31–48
 | title = Circles, Spheres and Spherical Geometry
 | publisher = Birkhäuser
 | doi = 10.1007/978-3-031-62776-7_2
 | isbn = 978-3-031-62775-0
 }}


[[Category:Euclidean plane geometry]]
[[Category:Theorems about circles]]
[[Category:Analytic geometry]]
[[Category:Circle packing]]