Explication Simple de la Conjecture de Kepler ! La meilleure façon d’emballer des pastèques
Bonjour, c’est kenji !
Aujourd’hui, je voudrais essayer d’expliquer aussi simplement que possible un sujet mathématique dont le nom semble un peu compliqué : la “Conjecture de Kepler”.
À première vue, cela peut sembler un sujet pour les geeks, mais c’est aussi un problème très proche de nous : “Comment emballer les pastèques le plus densément possible dans une boîte ?”. Cela a également à voir avec les réfrigérateurs des supérettes et la façon dont les marchandises sont empilées.
Et, dans le monde des mathématiques, il y a une histoire super romantique derrière tout cela : que cela n’a pas pu être prouvé pendant plus de 400 ans .
Allons-y !
Qui était Kepler, au fait ?
Tout d’abord, qui est le “Kepler” de la “Conjecture de Kepler” ?
C’est le nom d’un astronome et mathématicien allemand appelé Johannes Kepler .
Ce type était incroyable. Par exemple, c’est lui qui a découvert que les orbites planétaires sont elliptiques. Aujourd’hui, c’est de notoriété publique, mais à l’époque (vers 1600), c’était une époque où même l’héliocentrisme était à peine cru.
- Galilée = génie de l’observation
- Kepler = le génie qui a expliqué l’univers avec des formules mathématiques
- Newton = le super génie qui a résumé cette théorie en lois physiques
Avec ce positionnement, Kepler était un pionnier pour “parler de l’univers avec des formules mathématiques”.
Et, à un moment donné, il a dit ceci :
Qu’est-ce que la Conjecture de Kepler ?
En bref, la “Conjecture de Kepler” ressemble à ceci.
Lors de l’emballage de sphères de même taille (pastèques ou oranges) dans une boîte, quel est l’arrangement qui permet l’emballage le plus dense ?
C’est le problème.
Et ce que Kepler a conjecturé dans les années 1600 était :
Ne serait-il pas plus efficace de les empiler comme des triangles, un peu comme les marchands de légumes présentent les oranges ?
Dans le langage mathématique, cela s’appelle le “problème de l’empilement le plus dense” (Sphere Packing), qui cherche la méthode pour empiler des sphères le plus densément possible dans l’espace.
Kepler a conjecturé que l’arrangement appelé “structure cubique à faces centrées (FCC)” (comme empiler des pastèques en triangle) serait le plus efficace.
Tout le monde a pensé : “Ah, ça a du sens…”, mais prouver mathématiquement que “c’est absolument le meilleur !” était extrêmement difficile.
400 ans pour le prouver !?!
Alors, quand cela a-t-il été réellement prouvé… ?
Étonnamment, entre 1998 et 2005 environ . C’est-à-dire que personne n’a pu le prouver pendant près de 400 ans . C’est trop fou.
De plus, la personne qui l’a prouvé était un mathématicien américain nommé Thomas Hales .
Il s’est rendu compte qu’il serait impossible de le faire uniquement par des calculs manuels, il a donc utilisé des ordinateurs pour le prouver . Cependant, un problème est apparu : la preuve était si complexe que les humains ne pouvaient pas la vérifier correctement !
Ainsi, un grand débat a éclaté dans le monde mathématique : “Alors, pouvons-nous vraiment faire confiance à une preuve faite par des ordinateurs ?”.
Finalement, la preuve (officiellement appelée “preuve formelle”) qui disait “Je l’ai rigoureusement vérifiée, y compris avec des ordinateurs !” a été achevée en 2014 .
En d’autres termes, il a fallu plus de 400 ans pour prouver que l’intuition de Kepler était correcte . Quel romantisme.
Très utilisé dans la vraie vie
Vous pourriez penser que “comment arranger des sphères” est un sujet pour les intellos des mathématiques, mais en réalité, c’est très pratique.
- Pour emballer efficacement les boissons dans les réfrigérateurs des supérettes
- Lors de l’empilement de boîtes de conserve sur des palettes de transport
- C’est également appliqué aux communications (compression de signaux numériques, etc.)
- Utilisé dans la conception d’imprimantes 3D et de structures cristallines
Etc., c’est en fait une théorie qui est largement utilisée en coulisses dans notre vie.
Conclusion : l’intuition humaine est incroyable
Alors, résumons.
- Conjecture de Kepler = Le problème de savoir comment emballer les sphères le plus densément
- Monsieur Kepler = Mathématicien et astronome qui a découvert les orbites planétaires
- Conjecturée dans les années 1600 ! Mais prouvée dans les années 2000 !
- Très appliquée dans la vraie vie !
Et le point le plus intéressant est : “La façon d’empiler que les primeurs faisaient par intuition était mathématiquement la plus forte” .
En d’autres termes, l’intuition humaine est incroyable . Et le fait que cela puisse prendre 400 ans pour le prouver est une histoire vraiment romantique, n’est-ce pas ?
Si vous êtes intéressé, assurez-vous de rechercher “Thomas Hales”, “preuve formelle”, “Sphere Packing”. C’est très amusant d’approfondir le sujet.
À bientôt !
[PR]
