Hexagonal Sphere Packing
Kepler’s conjecture: the densest packing of equal spheres.
Kepler’s conjecture (1611) asked: what is the densest way to pack
equal spheres? The cannonball stacking used by grocers for oranges looked optimal, but
proving it took nearly four centuries.
Hexagonal close packing (HCP) and face-centred cubic (FCC) both achieve a density of
π / (3√2) ≈ 74.05% — meaning 74.05% of space is filled with sphere,
and 25.95% is void. In 2D, hexagonal circle packing reaches π / (2√3) ≈ 90.69%.
Each sphere touches exactly 12 neighbours in 3D HCP/FCC. In 2D hexagonal
packing, each circle touches exactly 6.
Thomas Hales proved the conjecture in 1998 using a computer-assisted proof of 250+ cases.
The result was formally verified in 2014 — the Flyspeck project.
Hexagonal packing appears in honeycomb cells, bubble rafts, colloidal crystals, and the
Wigner-Seitz cells of metals.