For every ring containing spheres, there exists a ring of
spheres, each
touching each of the
spheres, where
(1)
|
which can also be written
(2)
|
This was stated without proof by Jakob Steiner and proved by Kollros in 1938.
The hexlet is a special case with . if more than one turn is allowed, then
(3)
|
where
and
are the numbers of turns on both necklaces before closing (M. Buffet, pers.
comm., Feb. 14, 2003).