TOPICS
Search

Tangent Spheres


Any four mutually tangent spheres determine six points of tangency. A pair of tangencies (t_i,t_j) is said to be opposite if the two spheres determining t_i are distinct from the two spheres determining t_j. The six tangencies are therefore grouped into three opposite pairs corresponding to the three ways of partitioning four spheres into two pairs. These three pairs of opposite tangencies are coincident (Altshiller-Court 1979, p. 231; Eppstein 2001).

Hexlet

A special case of tangent spheres is given by Soddy's hexlet, which consists of a chain of six spheres externally tangent to two mutually tangent spheres and internally tangent to a circumsphere. The bends of the circles in the chain obey the relationship

 1/(r_1)+1/(r_4)=1/(r_2)+1/(r_5)=1/(r_3)+1/(r_6).
(1)
IcosidodecahedronSpheres
Archimedean04

A Sangaku problem from 1798 asks to distribute 30 identical spheres of radius r such that they are tangent to a single central sphere of radius R and to four other small spheres. This can be accomplished (left figure) by placing the spheres at the vertices of an icosidodecahedron (right figure) of side length a, where the radii r and R are given by

r=1/2a
(2)
R=1/2sqrt(5)a
(3)

(Rothman 1998).

In general, the bends of five mutually tangent spheres are related by

 3(kappa_1^2+kappa_2^2+kappa_3^2+kappa_4^2+kappa_5^2)=(kappa_1+kappa_2+kappa_3+kappa_4+kappa_5)^2.
(4)

Solving for kappa_5 gives

 kappa_5^+/-=1/2{kappa_1+kappa_2+kappa_3+kappa_4+/-[6(kappa_1kappa_2+kappa_1kappa_3+kappa_1kappa_4+kappa_2kappa_3+kappa_2kappa_4+kappa_3kappa_4)-3(kappa_1^2+kappa_2^2+kappa_3^2+kappa_4^2)]^(1/2)}.
(5)

(Soddy 1937a). Gosset (1937) pointed out that the expression under the square root sign is given by

 {6(kappa_1kappa_2+kappa_1kappa_3+kappa_1kappa_4+kappa_2kappa_3+kappa_2kappa_4+kappa_3kappa_4) 
 -3(kappa_1^2+kappa_2^2+kappa_3^2+kappa_4^2)}^(1/2)=3sqrt(3)Vkappa_1kappa_2kappa_3kappa_4,
(6)

where V is the volume of the tetrahedron having vertices at the centers of the corresponding four spheres. Therefore, the equation for kappa_5 can be written simplify as

 kappa_5=1/2sigma_2+sqrt(3)epsilon,
(7)

where

sigma=kappa_1+kappa_2+kappa_3+kappa_4
(8)
epsilon=3/2Vkappa_1kappa_2kappa_3kappa_4.
(9)

(Soddy 1937b).

In addition, the tetrahedra formed by joining the four points of contact of any one sphere with the other four (when all five are in mutual contact) have opposite edges whose product is the constant

 4sqrt((kappa_1+kappa_5)(kappa_2+kappa_5)(kappa_3+kappa_5)(kappa_4+kappa_5))
(10)

and the volume of these tetrahedra is

 V=2/(sqrt(3))(kappa_5)/((kappa_1+kappa_5)(kappa_2+kappa_5)(kappa_3+kappa_5)(kappa_4+kappa_5))
(11)

(Soddy 1937b). Gosper has further extended this result to n+2 mutually tangent n-dimensional hyperspheres, whose curvatures satisfy

 (sum_(i=0)^(n+1)kappa_i)^2-nsum_(i=0)^(n+1)kappa_i^2=0.
(12)

Solving for kappa_(n+1) gives

 kappa_(n+1)=(sqrt(n)sqrt((sum_(i=0)^(n)kappa_i)^2-(n-1)sum_(i=0)^(n)kappa_i^2)+sum_(i=0)^(n)kappa_i)/(n-1).
(13)

For (at least) n=2 and 3, the radical equals

 f(n)Vkappa_0kappa_1...kappa_n,
(14)

where V is the content of the simplex whose vertices are the centers of the n+1 independent hyperspheres. The radicand can also become negative, yielding an imaginary kappa_(n+1). For n=3, this corresponds to a sphere touching three large bowling balls and a small BB, all mutually tangent, which is an impossibility.


See also

Apollonian Gasket, Bowl of Integers, Hexlet, Soddy Circles, Sphere, Tangent Circles, Tetrahedron, Wada Basin

Explore with Wolfram|Alpha

References

Altshiller-Court, N. Modern Pure Solid Geometry. New York: Chelsea, 1979.Eppstein, D. "Tangent Spheres and Triangle Centers." Amer. Math. Monthly 108, 63-66, 2001.Gosset, T. "The Hexlet." Nature 139, 251-252, 1937.Rothman, T. "Japanese Temple Geometry." Sci. Amer. 278, 85-91, May 1998.Soddy, F. "The Kiss Precise." Nature 137, 1021, 1936.Soddy, F. "The Bowl of Integers and the Hexlet." Nature 139, 77-79, 1937a.Soddy, F. Nature 139, 252, 1937b.

Referenced on Wolfram|Alpha

Tangent Spheres

Cite this as:

Weisstein, Eric W. "Tangent Spheres." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/TangentSpheres.html

Subject classifications