# Empilement de cercles

En géométrie, un empilement de cercles ou empilement de disques est un arrangement de cercles ou de disques, de tailles identiques ou non, dans un domaine donné, de telle sorte qu'aucun chevauchement ne se produise et qu'aucun cercle/disque ne puisse être agrandi sans créer de chevauchement. Il se pose à leur sujet divers problèmes comme la recherche d'empilements de densité maximale, ou au contraire, minimale.

## Définitions

Un empilement d'une partie fermée X du plan euclidien dont toute intersection avec un disque est quarrable (i.e. possède une aire), est un ensemble de cercles de rayons non nuls inclus dans X dont les disques fermés associés ont les propriétés suivantes :
- deux disques de l'empilement sont tangents ou d'intersection vide,
- tout disque est tangent à au moins un autre.
L'empilement est dit localement rigide (localy jammed en anglais) si tout disque est coincé par ses voisins, autrement dit si deux disques tangents à un disque D sans aucun autre disque tangent à D entre eux ont des centres formant un angle aigu avec le centre de D.
L'empilement est dit compact si tout disque tangent à un disque D est tangent à deux autres disques tangents à D ou ce qui est équivalent, si le graphe planaire dont les sommets sont les centres des disques et les arêtes les segments joignant les centres de deux disques tangents a des faces triangulaires.
La densité d'un empilement est le rapport de l'aire couverte par les disques à l'aire de la partie X (si X est non bornée, c'est la limite, si elle existe, de la densité de l'intersection avec un disque de rayon tendant vers l'infini).
L'empilement est dit complet si on ne peut lui rajouter de disque, autrement dit si sa densité est égale à 1.
Un empilement est forcément dénombrable ou fini, tout disque contenant un point à coordonnées rationnelles.

## Cercles de même taille dans le plan
### Empilement le plus dense

Dans le plan euclidien, Joseph Louis Lagrange a prouvé en 1773 que l'empilement de cercles de même rayon le plus dense est l'empilement hexagonal : les centres des cercles sont disposés en un réseau hexagonal (rangées décalées, comme un nid d'abeille) ; chaque cercle est entouré de 6 autres. Sa densité est de ${\frac {\pi }{\sqrt {12}}}\approx 0,907$ ; voir la suite A093766 de l'OEIS.
Il avait supposé que les centres des cercles formaient un réseau du plan. Sans cette supposition, Axel Thue donne une preuve incomplète du théorème en 1910, Toth en donne une preuve complète en 1943, et Chang et Wang une preuve en moins de 4 pages en 2010$^,$$^,$.

### Autres empilements

À l'autre extrême, Böröczky a démontré en 1964 qu'il existe des empilements de cercles de même rayon d'une partie bornée du plan, localement rigides, de densité arbitrairement faible$^,$.
Pour le plan tout entier, la densité la plus faible pour de tels empilements serait égale à $(7{\sqrt {3}}-12)\pi \approx 0,393$.
Il existe 11 empilements de cercles de mêmes rayons basés sur les 11 pavages réguliers ou semi-réguliers du plan, obtenus en dessinant des cercles identiques centrés aux sommets du pavage$^,$.
* Pavage triangulaire ; on retrouve l'empilement hexagonal.
* Pavage carré.
* Pavage hexagonal.
* Pavage triangulaire allongé.
* Pavage carré tronqué.
* Pavage carré adouci.
* Pavage trihexagonal.
* Pavage hexagonal tronqué.
* Pavage petit rhombitrihexagonal.
* Pavage grand rhombitrihexagonal.
* Pavage hexagonal adouci

## Cercles de deux tailles données dans le plan

Un problème concernant les empilements consiste à trouver la densité maximale d'un empilement comportant des cercles de deux tailles différentes (un empilement binaire). Seules neuf possibilités pour les rapports des rayons des deux types de cercles permettent un empilement compact. Pour ces neuf rapports de rayons, on connaît un empilement compact qui atteint la densité maximale théorique, laquelle est plus forte que celle de l'empilement optimal des disques de même taille$^,$.
On sait également que si le rapport des rayons est supérieur à 0,742, un empilement binaire compact est toujours moins dense que l'empilement optimal des disques de même taille$^,$.

## Un exemple avec cinq tailles de cercles dans le plan

L'empilement présenté ci-contre est issu d'une œuvre réalisée par Daniel Buren, dénommée "Excentrique(s), travail in situ", qu'il a réalisée au Grand Palais à Paris en 2012. Elle est issue d'un pavage du Palais de l'Alhambra à Grenade.
L'empilement comporte cinq types de cercles dont les rapports des rayons ont des expressions irrationnelles complexes. Sa densité est de 0,908 environ.

## Cercles de même rayon dans des domaines bornés

Empiler des cercles de même rayon dans des parties bornées simples est un problème courant en mathématiques récréatives. La frontière de la partie jouent alors un rôle important, et le remplissage hexagonal n'est généralement pas optimal lorsqu'il y a un petit nombre de cercles.
Voir les pages wikipedia suivantes :
* Empilements de cercles dans un cercle
* Empilements de cercles dans un carré
* Empilements de cercles dans un triangle équilatéral
* Emballage de cercles dans un triangle rectangle isocèle