Während die meisten Menschen ein Sandwich als schnelle Mahlzeit betrachten, diente es einer Gruppe Elite-Mathematikern Mitte des 20. Jahrhunderts als Zugang zum Verständnis der Komplexität des dreidimensionalen Raums. Dieses Gedankenexperiment, das heute als Schinkensandwich-Theorem bekannt ist, geht einer täuschend einfachen Frage nach: Ist es möglich, ein Sandwich so zu schneiden, dass das Brot, das Fleisch und die andere Brotscheibe alle gleichzeitig halbiert werden?
Von Café-Diskussionen bis hin zu mathematischen Beweisen
Die Ursprünge dieses Problems liegen in der lebendigen intellektuellen Kultur von Lemberg, Polen (heute Lemberg, Ukraine) in den 1930er und 1940er Jahren. Eine Gruppe brillanter Mathematiker traf sich häufig in örtlichen Cafés, um komplexe Probleme zu diskutieren. Im Jahr 1938 stellte der Mathematiker Hugo Steinhaus eine besondere Herausforderung: Ist es immer möglich, drei verschiedene Körper mithilfe einer einzigen Ebene zu halbieren?
Um diese abstrakte geometrische Frage verständlicher zu machen, verwendete er die Bildsprache eines Schinkensandwichs. Während das Schneiden eines zweidimensionalen Objekts – wie einer Pizza – mit einer einzigen geraden Linie relativ einfach ist, bringt der Übergang in die dritte Dimension erhebliche mathematische Hürden mit sich.
Die geometrische Herausforderung
In einer zweidimensionalen Ebene können Sie problemlos zwei Objekte mit einem Schnitt halbieren. Im 3D-Raum wird die Berechnung jedoch viel schwieriger.
Standardwerkzeuge wie der Zwischenwertsatz – der hilft, Wurzeln in einfacheren Gleichungen zu finden – versagen hier, weil der 3D-Raum zu viele Freiheitsgrade bietet. Wenn Sie eine Ebene drehen, um einen perfekten Schnitt zu finden, müssen Sie nicht nur einer einzigen Drehachse folgen. Es gibt unendlich viele, so dass es unmöglich ist, mit einfachen Methoden einfach „rotierend“ zu einer Lösung zu gelangen.
Die Lösung: Das Borsuk-Ulam-Theorem
Der Durchbruch gelang Stefan Banach, einem Schützling von Steinhaus. Er erkannte, dass die Lösung des Sandwich-Problems ein leistungsfähigeres Werkzeug erforderte: das Borsuk-Ulam-Theorem.
Um zu verstehen, wie das funktioniert, betrachten Sie die folgende Anwendung des Theorems: Auf der Erde gibt es immer zwei diametral gegenüberliegende Punkte (auf dem Globus genau gegenüberliegend), die genau die gleiche Temperatur und den gleichen Luftdruck haben.
Banach wandte diese Logik auf das Sandwich an, indem er eine Kugel verwendete:
1. Der Aufbau: Stellen Sie sich vor, das Sandwich wäre in einer Kugel eingeschlossen.
2. Der erste Schnitt: Für jeden Punkt auf dieser Kugel können Sie eine Ebene definieren, die durch die Mitte verläuft und die untere Brotscheibe halbiert.
3. Die Funktion: Banach erstellte dann eine mathematische Funktion, um die Volumina der verbleibenden zwei Teile (des Schinkens und der oberen Brotscheibe) über dieser Ebene zu messen.
4. Die Symmetrie: Durch die Anwendung des Borsuk-Ulam-Theorems bewies er, dass es einen Punkt auf der Kugel geben muss, an dem die Volumina auf einer Seite der Ebene mit den Volumina auf der gegenüberliegenden Seite identisch sind.
Wenn diese Volumina gleich sind, halbiert die Ebene nicht nur das untere Brot; Es halbiert perfekt den Schinken und auch die obere Brotscheibe.
Jenseits des Sandwichs: Universelle Dimensionen
Die Auswirkungen dieser Entdeckung gehen weit über Wurstwaren hinaus. Im Jahr 1942 bewiesen die Mathematiker Arthur Harold Stone und John Tukey, dass dieses Prinzip universell ist. Ihre Arbeit zeigte, dass man in einem $n$-dimensionalen Raum immer $n$ Objekte mit einem einzigen $(n-1)$-dimensionalen Schnitt halbieren kann.
Das Fazit: Dieser Satz beweist, dass eine vollkommen faire Aufteilung mathematisch garantiert ist, unabhängig davon, wie die Objekte im Raum verteilt sind.
Fazit
Während das Ham-Sandwich-Theorem einen schönen Beweis für die Existenz in der höherdimensionalen Geometrie liefert, bleibt es ein rein theoretischer Triumph. Da der Satz beweist, dass eine Lösung existiert, ohne eine spezifische Formel zu ihrer Lokalisierung bereitzustellen, können Mathematiker ihn immer noch nicht verwenden, um reale Streitigkeiten über die Aufteilung einer Mahlzeit beizulegen.
