tangent circles and tangent spheres

Soddy's "kissing circles":  2 (c1²+c2²+c3²+c4²) = (c1+c2+c3+c4

There are two circles tangent (one internally and the other externally) to three mutually tangent circles: the Soddy's circles which he has nicely named "kissing circles". The bends (signed reciprocals of the radii) of these two quadruplets satisfy the above Descartes' formula. One can iterate the construction with the new circles and create others quadruplets...
In the outstanding configurations below all the bends are integers, and the disks of same colour belong to a same generation. There are other such configurations; how many? an infinity?
Remark: for the configuration on the left for example, Descartes' formula gives an easy way to find the bends 86 and -6 of the Soddy's circles of the first three circles (11,14,15); the outside circle has radius 1/6 and its curvature is negative because it contains the three circles.

3 circle packings
A special case: "frieze of integers"
(the two horizontal lines are circles with curvature zero)
frieze
One can go from one configuration to another by an appropriate inversion.
All the configurations with integer bends can be obtained with inversions of the "frieze of integers".

Soddy's "kissing spheres":  3 (c1²+c2²+c3²+c4²+c5²) = (c1+c2+c3+c4+c5

In the space there is a similar result which leads to quintuplets of mutually tangent spheres: the "kissing spheres". The relationship between the bends of the five spheres is different.
Remark: in a space with dimension n the bends ci of (n+2) hyperspheres, where each osculate with the (n+1) others, satisfy the relation  n(Σci²)=(Σci.

Nicolas Hannachi proved recently that there are an infinity of packings with integer bends which are topologically isometric; we can get them by inversions of Soddy's "bowl of integers". But we discovered more (see the section "carpet").
More details and superb images on Nicolas' page.

Here are four configurations with integer bends, each defined by its root, the first "kiss" (four mutually tangent spheres).
    (-1,2,2,3) : the well known Soddy's "bowl of integers"( symmetry group D6h )
    (-11,21,25,27) : "bingo", the first configuration discovered by Nicolas Hannachi
    (-3,6,7,7) and (-2,3,6,7) : two others symmetric configurations from Nicolas ( groups C3v  and C6v )
The spheres of a same generation are coloured with the same colour: successively cyan, blue, magenta, red yellow, green, ...
The packings (-1,2,2,3) and (-2,3,6,7) have been generated starting with a "hexlet" (see next section); we can generate and colour (-11,21,25,27) and (-3,6,7,7) in the same way, but the colouring of (-3,6,7,7) then loses its symmetry.

The links above open pop-up windows with animations (successive generations and Nicolas' graphs of tangency).
Minimize the main window to better view these animations; only the pop-up windows will remain visible.
If your connexion is slow please be patient during the initialization ... the time for a long kiss!

a half "bowl of integers" (to view the interior) "bingo" (no symmetry)

The sets of centers of families of spheres provide again a way to generate new polyhedra, but their convex hulls don't have interesting properties and are not very beautiful. What we call beauty of a polyhedron is often only a way to express the richness of its symmetry group.

Soddy's hexlet:  c1+c4 = c2+c5 = c3+c6

If we consider two tangent spheres (blue) inscribed in a sphere (grey), there exist a ring of six externally tangent spheres (red) and tangent to these three spheres. The bends of these six spheres satisfy the relationship above.
The centres of the six spheres belong to an ellipse and the three lines joining centres of opposite spheres converge. The six spheres are also tangent to two planes (just turn the graphic to verify it) and to a sphere (yellow) centred in the ellipse's plane.
In the ellipse's plane the graphic defines a "Steiner chain" : six circles (red) internally and externally tangent to two circles (grey and yellow).

Remark: A hexlet appears obviously in the "bowl of integers" and in (-2,3,6,7); these two configurations have a 6-axis of symmetry. But in fact all configurations contain an infinity of hexlets (see at the end of the section "carpet" below).
On an other example from Nicolas, (-11,24,24,25), two orthogonal hexlets have been highlighted thanks to different colourings. This beautiful configuration has two symmetry planes; its isometries build a Klein's group.


discovery of the "carpet of integers"  (Hannachi-Starck, April 2006)

What is that "carpet"? Simply a spheres' packing between two parallel planes (which can be considered as two spheres with bend zero) ; the root of this new configuration is thus (0,0,1,1). The carpet is infinite, but it has the "kisses" and the 6-fold symmetry of the "bowl of integers"; its symmetry group is a6×C2
a6 is the richest of the wallpaper groups (the classical p6m in crystallographic notation) and C2  contains the symmetry with respect to the "median plane".

With "carpet of integer" we have discovered the common ancestor of all spheres' packings: with an appropriate inversion one can change the carpet into any configuration with integer bends.

The applet shows "carpet of integers" with the inversion (yellow sphere) which changes it into "bowl of integers".
Two inverse spheres are coloured with the same colour; the two planes are changed into two tangent spheres going through the inversion pole (yellow point).
Too small, the "bowl"?
Use Shift-drag-left vertically to zoom.
 

    two animations: carpet <-> bowl  and  carpet <-> bingo    Be patient during the initialization ... 600 Kb file!
    a well hidden hexlet and an infinite sequence of hexlets

The images below should ought you to visit the "kissing pages" by Nicolas Hannachi (in French).
You can continue your visit during the loading of this video (0:50 - 3.2 Mb) which may be long with a slow connection.
 
carpet of integers

some other interesting properties

references:   pages that can't be ignored: "circle packing " et "sphere packing " on the site math à mâter  by Nicolas Hannachi (in French)
Soddy circles, tangent spheres et bowl of integers on MathWorld (Eric W. Weisstein)
Circle Game (paper in Science News, April 2001)
The Kiss Precise, the poem devoted by Frederick Soddy to its "kissing circles" and "kissing spheres"
Jos Leys' wonderful tangent spheres
The applets of this page have been achieved with Mathematica  thanks to the research and coding work by Nicolas Hannachi.


 summary   March 2006
updated 24-03-2008