Terwijl de meeste mensen een broodje beschouwen als een snelle maaltijd, diende het voor een groep elitewiskundigen halverwege de 20e eeuw als een toegangspoort tot het begrijpen van de complexiteit van de driedimensionale ruimte. Dit gedachte-experiment, nu bekend als de Ham Sandwich Stelling, onderzoekt een bedrieglijk eenvoudige vraag: is het mogelijk om een boterham zo te snijden dat het brood, het vlees en het andere sneetje brood allemaal tegelijk worden gehalveerd?
Van cafégesprekken tot wiskundige bewijzen
De oorsprong van dit probleem ligt in de levendige intellectuele cultuur van Lwów, Polen (nu Lviv, Oekraïne), tijdens de jaren dertig en veertig. Een groep briljante wiskundigen kwam regelmatig bijeen in plaatselijke cafés om over complexe problemen te debatteren. In 1938 stelde wiskundige Hugo Steinhaus een specifieke uitdaging: is het altijd mogelijk om drie verschillende lichamen in tweeën te delen met behulp van één enkel vlak?
Om deze abstracte geometrische vraag herkenbaarder te maken, gebruikte hij de beeldtaal van een broodje ham. Hoewel het snijden van een tweedimensionaal object, zoals een pizza, relatief eenvoudig is met behulp van een enkele rechte lijn, brengt het betreden van de derde dimensie aanzienlijke wiskundige hindernissen met zich mee.
De geometrische uitdaging
In een tweedimensionaal vlak kunt u eenvoudig twee objecten in tweeën delen met één snede. In de 3D-ruimte wordt de wiskunde echter veel moeilijker.
Standaardhulpmiddelen zoals de Tussenwaardestelling, die helpt bij het vinden van wortels in eenvoudiger vergelijkingen, falen hier omdat de 3D-ruimte te veel vrijheidsgraden biedt. Bij het roteren van een vlak om een perfecte snede te vinden, is er niet slechts één enkele rotatie-as die moet worden gevolgd; er zijn er oneindig veel, waardoor het onmogelijk wordt om eenvoudigweg naar een oplossing te “draaien” met behulp van basismethoden.
De oplossing: de stelling van Borsuk-Ulam
De doorbraak kwam van Stefan Banach, een beschermeling van Steinhaus. Hij realiseerde zich dat voor het oplossen van het sandwichprobleem een krachtiger hulpmiddel nodig was: de stelling van Borsuk-Ulam.
Om te begrijpen hoe dit werkt, overweeg dan deze toepassing van de stelling: op aarde zijn er altijd twee diametraal tegenovergestelde punten (precies tegenover elkaar op de aardbol) die exact dezelfde temperatuur en luchtdruk delen.
Banach paste deze logica op de sandwich toe door een bol te gebruiken:
1. De opstelling: Stel je voor dat de sandwich in een bol zit.
2. De eerste snede: Voor elk punt op die bol kunt u een vlak definiëren dat door het midden loopt en het onderste sneetje brood in tweeën deelt.
3. De functie: Banach creëerde vervolgens een wiskundige functie om de volumes van de resterende twee delen (de ham en het bovenste sneetje brood) boven dat vlak te meten.
4. De symmetrie: Door de stelling van Borsuk-Ulam toe te passen, bewees hij dat er een punt op de bol moet zijn waar de volumes aan de ene kant van het vlak identiek zijn aan de volumes aan de andere kant.
Wanneer deze volumes gelijk zijn, doorsnijdt het vlak niet alleen het onderste brood; het verdeelt perfect de ham en het bovenste sneetje brood.
Voorbij de sandwich: universele afmetingen
De implicaties van deze ontdekking reiken veel verder dan alleen vleeswaren. In 1942 bewezen wiskundigen Arthur Harold Stone en John Tukey dat dit principe universeel is. Hun werk toonde aan dat je in een $n$-dimensionale ruimte altijd $n$ objecten kunt doorsnijden met een enkele $(n-1)$-dimensionale snede.
De conclusie: Deze stelling bewijst dat een volkomen eerlijke verdeling wiskundig gegarandeerd is, ongeacht hoe de objecten in de ruimte zijn verdeeld.
Conclusie
Hoewel de Ham Sandwich Stelling een prachtig bewijs levert van het bestaan in de hoger-dimensionale meetkunde, blijft het een puur theoretische triomf. Omdat de stelling bewijst dat een oplossing bestaat zonder een specifieke formule te bieden om deze te lokaliseren, kunnen wiskundigen deze nog steeds niet gebruiken om echte argumenten over de verdeling van een maaltijd op te lossen.
