Die Kepler-Vermutung Einfach Erklärt! Der beste Weg, Wassermelonen zu verpacken
Hallo, ich bin kenji!
Heute möchte ich versuchen, ein mathematisches Thema mit einem etwas kompliziert klingenden Namen, die “Kepler-Vermutung”, so einfach wie möglich zu erklären.
Auf den ersten Blick mag das wie ein Thema für Nerds wirken, aber es ist auch ein sehr alltägliches Problem: “Wie können wir Wassermelonen am dichtesten in eine Kiste packen?”. Es hat auch etwas mit den Kühlschränken in Convenience-Stores und dem Stapeln von Fracht zu tun.
Und in der Welt der Mathematik verbirgt sich dahinter eine super romantische Geschichte: dass dies über 400 Jahre lang nicht bewiesen werden konnte .
Lass uns anfangen!
Wer war Kepler eigentlich?
Zunächst einmal: Wer ist der “Kepler” in der “Kepler-Vermutung”?
Es ist der Name eines deutschen Astronomen und Mathematikers namens Johannes Kepler .
Dieser Typ war unglaublich. Er war zum Beispiel derjenige, der entdeckte, dass die Planetenbahnen elliptisch sind. Das ist heute Allgemeinwissen, aber damals (um 1600) war es eine Ära, in der selbst das heliozentrische Weltbild kaum geglaubt wurde.
- Galileo = Genie der Beobachtung
- Kepler = das Genie, das das Universum mit mathematischen Formeln erklärte
- Newton = das Supergenie, das diese Theorie in physikalischen Gesetzen zusammenfasste
Mit dieser Positionierung war Kepler ein Pionier darin, “mit mathematischen Formeln über das Universum zu sprechen”.
Und irgendwann sagte er Folgendes:
Was ist die Kepler-Vermutung?
Kurz gesagt, ist die “Kepler-Vermutung” wie folgt.
Beim Verpacken von Kugeln gleicher Größe (Wassermelonen oder Orangen) in eine Kiste, welche Anordnung ermöglicht die dichteste Packung?
Das ist das Problem.
Und was Kepler in den 1600er Jahren vermutete, war:
Wäre es nicht am effizientesten, sie wie Dreiecke zu stapeln, ähnlich wie Gemüsehändler Orangen auslegen?
In der mathematischen Sprache wird dies das “Dichteste Kugelpackung-Problem” (Sphere Packing) genannt, welches nach der Methode sucht, Kugeln so dicht wie möglich in einem Raum anzuordnen.
Kepler vermutete, dass die Anordnung, die “kubisch flächenzentrierte Struktur (FCC)” genannt wird (wie das Stapeln von Wassermelonen in einem Dreiecksmuster), am effizientesten wäre.
Jeder dachte: “Ja, das macht Sinn…”, aber es mathematisch zu beweisen, dass “dies absolut das Beste ist!”, war extrem schwierig.
400 Jahre für den Beweis!?!
Wann wurde es also tatsächlich bewiesen…?
Erstaunlicherweise etwa zwischen 1998 und 2005 . Das heißt, fast 400 Jahre lang konnte es niemand beweisen . Das ist verrückt.
Darüber hinaus war die Person, die es bewies, ein amerikanischer Mathematiker namens Thomas Hales .
Er erkannte, dass es unmöglich wäre, dies nur mit manuellen Berechnungen zu tun, also nutzte er Computer für den Beweis . Es trat jedoch ein Problem auf: Der Beweis war so komplex, dass Menschen ihn nicht richtig überprüfen konnten!
So entbrannte auch in der mathematischen Welt eine große Debatte: “Können wir einem Beweis, der von Computern gemacht wurde, wirklich vertrauen?”.
Schließlich wurde der Beweis (offiziell “formaler Beweis” genannt), der besagte: “Ich habe ihn rigoros überprüft, einschließlich der Computer!”, im Jahr 2014 abgeschlossen.
Mit anderen Worten, es hat über 400 Jahre gedauert zu beweisen, dass Keplers Intuition richtig war . Was für eine Romanze.
Sehr oft im echten Leben verwendet
Man könnte denken, dass “wie man Kugeln anordnet” ein Thema nur für Mathe-Freaks ist, aber in Wirklichkeit ist es sehr praktisch.
- Um Getränke effizient in Kühlschränken von Convenience-Stores zu verpacken
- Beim Stapeln von Dosen auf Transportpaletten
- Es wird auch in der Kommunikation angewendet (Kompression digitaler Signale usw.)
- Wird beim Entwurf von 3D-Druckern und Kristallstrukturen verwendet
Usw. Es ist tatsächlich eine Theorie, die massiv hinter den Kulissen unseres Lebens genutzt wird.
Fazit: Die menschliche Intuition ist erstaunlich
Lassen Sie uns zusammenfassen.
- Kepler-Vermutung = Das Problem, wie man Kugeln am dichtesten verpackt
- Herr Kepler = Mathematiker und Astronom, der die Planetenbahnen entdeckte
- In den 1600er Jahren vermutet! Aber in den 2000er Jahren bewiesen!
- Sehr anwendbar im echten Leben!
Und der interessanteste Punkt ist: “Die Art zu stapeln, die Gemüsehändler aus Intuition gemacht haben, war mathematisch auch die stärkste” .
Mit anderen Worten: Die menschliche Intuition ist erstaunlich . Und die Tatsache, dass es 400 Jahre dauern kann, dies zu beweisen , ist eine wirklich romantische Geschichte, nicht wahr?
Wenn Sie interessiert sind, suchen Sie unbedingt nach “Thomas Hales”, “formaler Beweis”, “Sphere Packing”. Es macht sehr viel Spaß, tiefer einzutauchen.
Bis dann!
[PR]
