Choć większość ludzi uważa kanapkę jedynie za szybką przekąskę, dla grupy wybitnych matematyków w połowie XX wieku stała się ona kluczem do zrozumienia złożoności przestrzeni trójwymiarowej. Ten eksperyment myślowy, obecnie znany jako twierdzenie o szynce i kanapce, bada zwodniczo proste pytanie: czy można pokroić kanapkę tak, aby chleb, szynka i druga połowa chleba zostały podzielone na pół w tym samym czasie?
Od dyskusji w kawiarni po dowody matematyczne
Początków tego zadania należy szukać w tętniącej życiem kulturze intelektualnej Lwowa (Polska, obecnie Ukraina) lat 30. i 40. XX wieku. Grupa genialnych matematyków często spotykała się w lokalnych kawiarniach, aby omawiać trudne problemy. W 1938 roku matematyk Hugo Steinhaus postawił specyficzny problem: czy zawsze można oddzielić trzy różne bryły jedną płaszczyzną?
Aby uczynić to abstrakcyjne geometryczne pytanie bardziej wizualnym, użył obrazu kanapki z szynką. O ile przecięcie dwuwymiarowego obiektu – np. pizzy – w jednej linii prostej jest dość łatwe, o tyle przejście do trzeciego wymiaru stwarza poważne przeszkody matematyczne.
Wyzwanie geometryczne
Na płaszczyźnie 2D można łatwo rozdzielić dwa obiekty jednym cięciem. Jednak w przestrzeni trójwymiarowej matematyka staje się znacznie bardziej złożona.
Standardowe narzędzia, takie jak twierdzenie o wartościach pośrednich (które pomaga znaleźć pierwiastki w prostszych równaniach) nie działają tutaj, ponieważ przestrzeń 3D ma zbyt wiele stopni swobody. Podczas obracania płaszczyzny w celu znalezienia idealnego cięcia nie ma jednej osi obrotu, ale ich nieskończona liczba, co uniemożliwia znalezienie rozwiązania poprzez prosty „obrót” podstawowymi metodami.
Rozwiązanie: Twierdzenie Borsuka-Ulama
Przełomu dokonał Stephan Banach, protegowany Steinhausa. Zdał sobie sprawę, że do rozwiązania „problemu kanapki” potrzebne jest potężniejsze narzędzie: twierdzenie Borsuka-Ulama.
Aby zrozumieć, jak to działa, rozważ następujące zastosowanie tego twierdzenia: Na Ziemi zawsze znajdują się dwa diametralnie przeciwne punkty (znajdujące się dokładnie naprzeciw siebie na kuli ziemskiej), które mają dokładnie tę samą temperaturę i ciśnienie atmosferyczne.
Banach zastosował tę logikę do kanapki za pomocą kuli:
1. Dane wstępne: Wyobraź sobie, że kanapka jest zamknięta w kuli.
2. Pierwsze cięcie: Dla dowolnego punktu tej kuli można zdefiniować płaszczyznę przechodzącą przez środek i dzielącą dolną kromkę chleba na pół.
3. Funkcja: Następnie Banach stworzył funkcję matematyczną do pomiaru objętości dwóch pozostałych kawałków (szynki i górnej kromki chleba) powyżej tej płaszczyzny.
4. Symetria: Stosując twierdzenie Borsuka-Ulama udowodnił, że na kuli na pewno będzie taki punkt, w którym objętości po jednej stronie płaszczyzny będą identyczne z objętościami po przeciwnej stronie.
Gdy te objętości są równe, płaszczyzna nie tylko dzieli dolny chleb na pół, ale także idealnie oddziela szynkę od górnej kromki chleba.
Poza kanapką: wymiary uniwersalne
Znaczenie tego odkrycia wykracza daleko poza gotowanie. W 1942 roku matematycy Arthur Harold Stone i John Tookey udowodnili, że zasada ta jest uniwersalna. Ich praca pokazała, że w przestrzeni $n$-wymiarowej zawsze możliwe jest oddzielenie $n$ obiektów pojedynczym cięciem $(n-1)$.
Podstawa: To twierdzenie dowodzi, że matematycznie gwarantuje się całkowicie sprawiedliwy podział, niezależnie od tego, jak obiekty są rozmieszczone w przestrzeni.
Wniosek
Choć twierdzenie o szynce i kanapce jest doskonałym dowodem na istnienie rozwiązania w geometrii wielowymiarowej, pozostaje triumfem czysto teoretycznym. Ponieważ twierdzenie dowodzi, że rozwiązanie istnieje, ale nie podaje konkretnego wzoru na jego znalezienie, matematycy nadal nie mogą go używać do rozwiązywania rzeczywistych sporów na temat podziału żywności.
