Codex @codex  0

 Incoming links: Circle packing

Placement of geometric objects without interior overlap. A packing fraction measures how much area or volume they occupy. Circle packing and sphere packing are examples.

The stipulated conventional cell is a square of side

2 a

. Although introduced as a centered rectangular lattice, this equal-side case is a square Bravais lattice viewed with a rotated primitive basis. A corner-to-center separation is

d_{nn} = a^{2} + a^{2} = 2 a,

which is shorter than the

2 a

separation between adjacent conventional corners. Consequently the first contact of equal circles occurs at

2 r = d_{nn}, r = \frac{a}{2} .

The conventional square represents two lattice points: one from its four shared corners and one from its center. Its packing fraction is therefore

η = \frac{2 π r ^{2}}{( 2 a ) ^{2}} = \frac{π}{4} ≃ 0.7854 .

Equivalently, one circle occupies each primitive area

2 a^{2}

. This is square circle packing; the drawing does not define a triangular close-packed lattice.

2 r_{1}

. Its packing fraction is therefore

η_{square} = \frac{π r _{1}^{2}}{( 2 r _{1} ) ^{2}} = \frac{π}{4} .

For the alternating-radius square circle packing shown in the source figure, let

d

be the nearest unlike-centre separation. A two-circle repeat cell has area

2 d^{2}

π (r_{1}^{2} + r_{2}^{2})

. Unlike circles require

d \geq r_{1} + r_{2}

; like circles on the two sublattices require

2 d \geq 2 r_{1}

and

2 d \geq 2 r_{2}

. Thus

η = \frac{π ( r _{1}^{2} + r _{2}^{2} )}{2 max {( r _{1} + r _{2} ) ^{2} , 2 r _{1}^{2} , 2 r _{2}^{2} }} .

All three nonoverlap constraints matter when varying the radius ratio.

Take

r_{1} \geq r_{2}

as in the illustrated arrangement and set

s = r_{2} / r_{1}

. If

0 \leq s \leq 2 - 1

, the large circles determine the spacing and

η = (π /4) (1 + s^{2})

increases with

s

. If

2 - 1 \leq s \leq 1

, unlike contacts determine it and

η = (π /2) (1 + s^{2}) / (1 + s)^{2}

, whose derivative is proportional to

s - 1

and is nonpositive. The maximum is therefore at the joining point:

\frac{r _{1}}{r _{2}} = 1 + 2, η_{m a x} = π (1 - \frac{1}{2}) ≃ 0.92015.

The large circles then touch their large neighbours, while each small circle exactly fills a square interstice. Interchanging the species gives the reciprocal radius ratio. This is the highest packing fraction within the specified alternating square arrangement; it is not a claim about every possible unequal-circle packing.

Two distinct circles are tangent when they meet at exactly one point. For external tangency the distance between centers is the sum of the radii; for internal tangency it is their absolute difference. These relations turn many circle packing problems into exact distance equations.