La conjecture de Kepler | Voyages au pays des maths | ARTE

Une visite express au pays des mathématiques avec des explications sur les différentes structures mathématiques rencontrées.

• Les mathématiciens adorent ranger et organiser les choses • Ils demandent des preuves pour chaque affirmation • Ils s'intéressent aux problèmes d'optimisation

La question de l'empilement le plus compact possible des sphères, un problème resté ouvert pendant près de 400 ans.

Comprendre comment ranger des objets sphériques de manière à laisser le moins d'espace vide possible.

En 1611, l'astronome Johannes Kepler entreprend d'empiler des boulets de canon à défaut d'oranges.

• Arranger les boulets revient à arranger des disques en deux dimensions • On peut placer 6 disques tangents au disque central sans se chevaucher • Cette configuration occupe un peu plus de 90% de la surface

Les couches de boulets forment un réseau de triangles équilatéraux avec une compacité maximale appelé réseau cubique à face centrée.

Kepler postule que cet empilement est le plus compact de tous les empilements possibles, ce qui devient la conjecture de Kepler.

• Contrairement aux disques, les sphères ne sont jamais tangentes à toutes leurs voisines • Un empilement de sphères occupe seulement 74% de l'espace contre 90% pour les disques • Il est difficile de certifier qu'aucun autre empilement ne soit plus compact

• La solution de Kepler n'est pas unique : il existe une infinité d'empilements différents • La troisième couche peut être décalée ou alignée, donnant un réseau hexagonal compact • On peut alterner entre méthodes cubique et hexagonal de façon régulière ou aléatoire

En 1831, Gauss démontre que parmi les réseaux réguliers, celui de Kepler est le plus compact, mais les structures irrégulières restent à explorer.

L'existence d'une infinité de réseaux non réguliers tous aussi compacts rend la solution hors d'atteinte par les méthodes mathématiques traditionnelles.

En 1953, le mathématicien hongrois László Fejes Tóth démontre que la conjecture de Kepler peut se réduire à un nombre fini de paramètres.

• Les ordinateurs des années 1950 manquent de mémoire et de puissance pour traiter les calculs • La conjecture de Kepler attend quarante ans avant une tentative de résolution computationnelle

En 1998, Thomas Hales résout la conjecture avec une démonstration de 250 pages complétée par 40 000 lignes de code informatique et 3 Go de données.

• La revue Annals of Mathematics accepte la publication après une relecture de 5 ans • La démonstration est jugée fiable à 99%, laissant 1% de doute • Hales relève le défi en prouvant formellement la conjecture en 2017 avec un assistant de preuve

Les problèmes d'empilement optimal de sphères s'étendent aux dimensions 4, 5 et plus, où aucune solution n'a été trouvée.

• Les dimensions 8 et 24 disposent de solutions depuis 2016 • Marina Viazovska, mathématicienne ukrainienne, démontre l'équivalent de la conjecture de Kepler pour ces dimensions

• En dimension 8, chaque hypersphère est tangente à 240 de ses voisines • En dimension 24, ce nombre atteint 196 560 voisines tangentes

Ces résultats rassurent ceux qui auraient des hyper-oranges et peu de place dans leur placard.