TOPICS
Search

Bowl of Integers


Bowl
BowlCircles

The bowl of integers is the arrangement of two solid spheres of radius 1/2 inside a hollow sphere of radius 1, with the two smaller spheres touching at the center of the enclosing sphere and tangent to it at opposite ends of a diameter (Soddy 1937). In Soddy's construction, the packing of spheres generated by the following replacements has integral bends. For five mutually tangent spheres, replacing one by the other sphere tangent to the remaining four replaces its bend b_i by sum_(j!=i)b_j-b_i. Starting with the five bends -1, 2, 2, 3, and 3 therefore preserves integrality.

In this packing, the spheres tangent to the enclosure and exactly one of the initial bend-2 spheres, together with the initial bend 2, have distinct bends 2, 5, 6, 9, 11, 14, 15, 18, 21, 23, 27, 29, 30, 33, 38, ... (OEIS A046160). Let Q=a^2+ab+b^2 for integers a and b, so that Q is a Löschian number. Inversion at a point of contact of the enclosure and an initial sphere transforms this subpacking to equal spheres on a triangular lattice between parallel planes. Transforming back gives kappa=Q+2, excluding Q=1, which gives the six equatorial spheres of bend 3 touching both initial spheres.

The table gives the first few distinct bends, with the enclosing sphere prepended. Here (R_n,phi_n,z_n) are cylindrical coordinates of the centers, with the initial centers at (0,0,+/-1/2). For kappa_n>=5, z_n=1-3/kappa_n and R_n=2sqrt(kappa_n-2)/kappa_n. The listed angles are representatives, repeated under rotations by multiples of pi/3. Reflection in z=0 gives the corresponding lower-half spheres.

nkappa_nz_nR_nphi_n
1-100--
221/20--
352/52/5sqrt(3)1/6pi
461/22/30
592/32/9sqrt(7)+/-tan^(-1)(1/2sqrt(3))
6118/(11)6/(11)0
714(11)/(14)2/7sqrt(3)1/6pi
8154/52/(15)sqrt(13)+/-tan^(-1)(2sqrt(3))
9185/64/90
10216/72/(21)sqrt(19)+/-tan^(-1)(3/7sqrt(3))
1123(20)/(23)2/(23)sqrt(21)+/-tan^(-1)(1/9sqrt(3))
12278/9(10)/(27)0
1329(26)/(29)6/(29)sqrt(3)1/6pi
14309/(10)2/(15)sqrt(7)+/-tan^(-1)(1/5sqrt(3))
1533(10)/(11)2/(33)sqrt(31)+/-tan^(-1)(1/(11)sqrt(3))
1638(35)/(38)6/(19)0
BowlMidplane
BowlMidplaneCircles
Bowl1
Bowl2

The equatorial spheres have centers in the plane tangent to the two initial spheres of bend 2, each of radius 1/2 (Soddy 1937). For this subpacking, inversion at the origin gives equal spheres on a triangular lattice, and their bends are kappa=4Q-1 for positive Löschian numbers Q. They are 3, 11, 15, 27, 35, 47, 51, 63, 75, 83, ... (OEIS A046159). For five mutually tangent spheres, setting kappa_3=kappa_4=2 gives the larger solution

 kappa(kappa_1,kappa_2)
 =1/2(4+kappa_1+kappa_2+sqrt(3[kappa_2(8-kappa_2)+2kappa_1(kappa_2+4)-kappa_1^2])).

For example, kappa(3,3)=11, kappa(3,11)=15, kappa(11,15)=27, kappa(15,27)=35, and kappa(27,27)=47. The table gives the first few distinct equatorial bends, with the enclosure and initial spheres prepended. Equatorial centers have z_n=0 and R_n=sqrt(kappa_n+1)/kappa_n. The listed angles again represent rotations by multiples of pi/3.

nkappa_nR_nphi_n
1-10--
220--
332/30
4112/(11)sqrt(3)1/6pi
5154/(15)0
6272/(27)sqrt(7)+/-tan^(-1)(3sqrt(3))
7356/(35)0
8474/(47)sqrt(3)1/6pi
9512/(51)sqrt(13)+/-tan^(-1)(3/5sqrt(3))
10638/(63)0
11752/(75)sqrt(19)+/-tan^(-1)(5sqrt(3))
12832/(83)sqrt(21)+/-tan^(-1)(5/3sqrt(3))
1399(10)/(99)0
141076/(107)sqrt(3)1/6pi
151114/(111)sqrt(7)+/-tan^(-1)(1/2sqrt(3))
161232/(123)sqrt(31)+/-tan^(-1)(5/7sqrt(3))
17143(12)/(143)0
181472/(147)sqrt(37)+/-tan^(-1)(7sqrt(3))
191552/(155)sqrt(39)+/-tan^(-1)(1/6sqrt(3))
201712/(171)sqrt(43)+/-tan^(-1)(7/5sqrt(3))
Bowl122

The analogous problem of placing two circles of bend 2 inside a circle of bend -1 and then constructing chains of mutually tangent circles was considered by B. L. Galebach and A. R. Wilks (OEIS A042944). It gives the Apollonian gasket with initial bends (-1,2,2,3) (Graham et al. 2003). The circles have integral bends given by -1, 2, 3, 6, 11, 14, 15, 18, 23, 26, 27, 30, 35, 38, ... (OEIS A042944). The positive bends are congruent to 2, 3, 6, or 11 (mod 12). The first positive integers in these classes missing from this sequence are 78, 159, 207, 243, 246, 342, ... (OEIS A042945), a sequence conjectured to be finite for this particular Apollonian gasket (Haag et al. 2024).

N. Hannachi (pers. comm., Mar. 10, 2006) found a bowl of three spheres with bend 6 and one with bend 7 inside a sphere of bend -3.


See also

Apollonian Gasket, Bend, Coxeter's Loxodromic Sequence of Tangent Circles, Descartes Circle Theorem, Hexlet, Löschian Number, Sphere, Tangent Circles, Tangent Spheres

Explore with Wolfram|Alpha

References

Borkovec, M.; de Paris, W.; and Peikert, R. "The Fractal Dimension of the Apollonian Sphere Packing." Fractals 2, 521-526, 1994.Graham, R. L.; Lagarias, J. C.; Mallows, C. L.; Wilks, A. R.; and Yan, C. H. "Apollonian Circle Packings: Number Theory." J. Number Th. 100, 1-45, 2003. https://doi.org/10.1016/S0022-314X(03)00015-5.Haag, S.; Kertzer, C.; Rickards, J.; and Stange, K. E. "The Local-Global Conjecture for Apollonian Circle Packings Is False." Ann. Math. 200, 749-770, 2024. https://doi.org/10.4007/annals.2024.200.2.6.Hannachi, N. "Kissing Spheres." https://web.archive.org/web/20060521074810/http://perso.wanadoo.fr:80/math-a-mater/pack/packing.htm.Sloane, N. J. A. Sequences A042944, A042945, A046159, and A046160 in "The On-Line Encyclopedia of Integer Sequences."Soddy, F. "The Bowl of Integers and the Hexlet." Nature 139, 77-79, 1937. https://doi.org/10.1038/139077a0.

Referenced on Wolfram|Alpha

Bowl of Integers

Cite this as:

Weisstein, Eric W. "Bowl of Integers." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/BowlofIntegers.html

Subject classifications