La conjecture de Kepler | Voyages au pays des maths | ARTE
5 chapitres
- Bienvenue au pays des mathématiquesPrésentation du guideUne visite express au pays des mathématiques avec des explications sur les différentes structures mathématiques rencontrées.Nature des mathématiciens• Les mathématiciens adorent ranger et organiser les choses • Ils demandent des preuves pour chaque affirmation • Ils s'intéressent aux problèmes d'optimisationLe problème centralLa question de l'empilement le plus compact possible des sphères, un problème resté ouvert pendant près de 400 ans.Enjeu principalComprendre comment ranger des objets sphériques de manière à laisser le moins d'espace vide possible.
- La conjecture de Kepler et les boulets de canonContexte historiqueEn 1611, l'astronome Johannes Kepler entreprend d'empiler des boulets de canon à défaut d'oranges.Première couche• 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 surfaceEmpilement tridimensionnelLes couches de boulets forment un réseau de triangles équilatéraux avec une compacité maximale appelé réseau cubique à face centrée.L'affirmation de KeplerKepler postule que cet empilement est le plus compact de tous les empilements possibles, ce qui devient la conjecture de Kepler.
- Les défis mathématiques de la preuvePremière difficulté• 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 compactDeuxième difficulté• 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éatoireTroisième difficulté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'impasse théoriqueL'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.
- La résolution controversée avec l'informatiqueLa percée théoriqueEn 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.L'attente informatique• 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 computationnelleLa solution hybrideEn 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.Validation et doutes• 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
- Au-delà de la dimension 3 : les dimensions supérieuresProblèmes ouvertsLes problèmes d'empilement optimal de sphères s'étendent aux dimensions 4, 5 et plus, où aucune solution n'a été trouvée.Exceptions remarquables• 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 dimensionsPropriétés spécifiques• En dimension 8, chaque hypersphère est tangente à 240 de ses voisines • En dimension 24, ce nombre atteint 196 560 voisines tangentesImplication pratiqueCes résultats rassurent ceux qui auraient des hyper-oranges et peu de place dans leur placard.
