Circle Packing

DOWNLOAD Mathematica Notebook Contribute to this entry

A circle packing is an arrangement of circles inside a given boundary such that no two overlap and some (or all) of them are mutually tangent. The generalization to spheres is called a sphere packing. Tessellations of regular polygons correspond to particular circle packings (Williams 1979, pp. 35-41). There is a well-developed theory of circle packing in the context of discrete conformal mapping (Stephenson).

CirclePacking

The densest packing of circles in the plane is the hexagonal lattice of the bee's honeycomb (right figure; Steinhaus 1999, p. 202), which has a packing density of

 eta_h=1/6pisqrt(3) approx 0.9068996821
(1)

(OEIS A093766; Wells 1986, p. 30). Gauss proved that the hexagonal lattice is the densest plane lattice packing, and in 1940, L. Fejes Tóth proved that the hexagonal lattice is indeed the densest of all possible plane packings.

Surprisingly, the circular disk is not the least economical region for packing the plane. The "worst" packing shape is not known, but among centrally symmetric plane regions, the conjectured candidate is the so-called smoothed octagon.

Wells (1991, pp. 30-31) considers the maximum size possible for n identical circles packed on the surface of a unit sphere.

CircleTriplets

Using discrete conformal mapping, the radii of the circles in the above packing inside a unit circle can be determined as roots of the polynomial equations

 a^6+378a^5+3411a^4-8964a^3-10233a^2+3402a-27=0
(2)
 169b^6+24978b^5+2307b^4-14580b^3+3375b^2+162b-27=0
(3)
 c^6+438c^5+19077c^4-15840c^3-360c^2+2592c-432=0
(4)

with

a approx 0.266746
(5)
b approx 0.321596
(6)
c approx 0.223138.
(7)

The following table gives the packing densities eta for the circle packings corresponding to the regular and semiregular plane tessellations (Williams 1979, p. 49).

tessellationeta exacteta approx.
{3,6}1/(12)sqrt(12)pi0.9069
{4,4}1/4pi0.7854
{6,3}1/9sqrt(3)pi0.6046
3^2.4^2(2-sqrt(3))pi0.8418
3^2.4.3.4(2-sqrt(3))pi0.8418
3.6.3.61/8sqrt(3)pi0.6802
3^4.61/7sqrt(2)pi0.7773
3.12^2(7sqrt(3)-12)pi0.3907
4.8^2(3-2sqrt(2))pi0.5390
3.4.6.41/2(2sqrt(3)-3)pi0.7290
4.6.121/3(2sqrt(3)-3)pi0.4860
CirclesInCircles

Solutions for the smallest diameter circles into which n unit-diameter circles can be packed have been proved optimal for n=1 through 10 (Kravitz 1967). The best known results are summarized in the following table, and the first few cases are illustrated above (Friedman).

nd exactd approx.
111.00000
222.00000
31+2/3sqrt(3)2.15470...
41+sqrt(2)2.41421...
51+sqrt(2(1+1/sqrt(5)))2.70130...
633.00000
733.00000
81+csc(pi/7)3.30476...
91+sqrt(2(2+sqrt(2)))3.61312...
103.82...
11
124.02...
CirclesInSquares

The following table gives the diameters d of circles giving the densest known packings of n equal circles packed inside a unit square, the first few of which are illustrated above (Friedman). All n=1 to 20 solutions (in addition to all solutions n=k^2) have been proved optimal (Friedman). Peikert (1994) uses a normalization in which the centers of n circles of diameter m are packed into a square of side length 1. Friedman lets the circles have unit radius and gives the smallest square side length s. A tabulation of analytic s and diagrams for n=1 to 25 circles is given by Friedman. Coordinates for optimal packings are given by Nurmela and Östergård (1997).

nd approx dm approx m
111.000000
22/(2+sqrt(2))0.585786sqrt(2)1.414214
34/(4+sqrt(2)+sqrt(6))0.508666sqrt(6)-sqrt(2)1.035276
41/20.50000011.000000
5sqrt(2)-10.4142141/2sqrt(2)0.707107
61/(23)(6sqrt(13)-13)0.3753611/6sqrt(13)0.600925
72/(13)(4-sqrt(3))0.3489154-2sqrt(3)0.535898
82/(2+sqrt(2)+sqrt(6))0.3410811/2(sqrt(6)-sqrt(2))0.517638
91/30.3333331/20.500000
100.2964080.421280

The smallest square into which two unit circles, one of which is split into two pieces by a chord, can be packed is not known (Goldberg 1968, Ogilvy 1990).

CirclesInTriangles

The best known packings of circles into an equilateral triangle are shown above for the first few cases (Friedman).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.