Meskipun kebanyakan orang memandang sandwich sebagai santapan cepat saji, bagi sekelompok ahli matematika elit di pertengahan abad ke-20, sandwich berfungsi sebagai pintu gerbang untuk memahami kompleksitas ruang tiga dimensi. Eksperimen pemikiran ini, yang sekarang terkenal dengan nama Teorema Ham Sandwich, mengeksplorasi pertanyaan sederhana: Apakah mungkin untuk memotong sandwich sehingga roti, daging, dan potongan roti lainnya dibelah dua secara bersamaan?
Dari Diskusi Kafe hingga Pembuktian Matematis
Asal usul masalah ini terletak pada budaya intelektual yang dinamis di Lwów, Polandia (sekarang Lviv, Ukraina), pada tahun 1930an dan 1940an. Sekelompok ahli matematika yang brilian sering berkumpul di kafe lokal untuk membahas masalah yang kompleks. Pada tahun 1938, ahli matematika Hugo Steinhaus mengajukan tantangan khusus: Apakah selalu mungkin untuk membagi tiga benda padat berbeda menggunakan satu bidang?
Untuk membuat pertanyaan geometris abstrak ini lebih relevan, dia menggunakan gambaran sandwich ham. Meskipun memotong objek dua dimensi—seperti pizza—relatif mudah menggunakan satu garis lurus, namun berpindah ke dimensi ketiga menimbulkan rintangan matematika yang signifikan.
Tantangan Geometris
Dalam bidang dua dimensi, Anda dapat dengan mudah membagi dua objek dengan satu potongan. Namun, dalam ruang 3D, matematika menjadi jauh lebih sulit.
Alat standar seperti Teorema Nilai Menengah —yang membantu menemukan akar persamaan yang lebih sederhana—gagal di sini karena ruang 3D menawarkan terlalu banyak derajat kebebasan. Saat memutar bidang untuk menemukan potongan sempurna, tidak hanya ada satu sumbu rotasi yang harus diikuti; jumlahnya sangat banyak, sehingga tidak mungkin untuk sekadar “memutar” jalan menuju solusi menggunakan metode dasar.
Solusi: Teorema Borsuk-Ulam
Terobosan datang dari Stefan Banach, anak didik Steinhaus. Dia menyadari bahwa menyelesaikan masalah sandwich memerlukan alat yang lebih canggih: teorema Borsuk-Ulam.
Untuk memahami cara kerjanya, pertimbangkan penerapan teorema ini: di Bumi, selalu ada dua titik yang berlawanan secara diametris (persis berlawanan satu sama lain di dunia) yang memiliki suhu dan tekanan udara yang sama.
Banach menerapkan logika ini pada sandwich dengan menggunakan bola:
1. Penyiapannya: Bayangkan sandwich dibungkus dalam sebuah bola.
2. Potongan Pertama: Untuk titik mana pun pada bola tersebut, Anda dapat menentukan bidang yang melewati titik tengah dan membagi dua bagian bawah roti.
3. Fungsi: Banach kemudian membuat fungsi matematika untuk mengukur volume dua bagian yang tersisa (ham dan potongan roti bagian atas) di atas bidang tersebut.
4. Simetri: Dengan menerapkan teorema Borsuk-Ulam, ia membuktikan pasti ada titik pada bola yang volume pada salah satu sisi bidangnya sama dengan volume pada sisi seberangnya.
Jika volumenya sama, bidang tersebut tidak hanya membagi dua bagian bawah roti; itu dengan sempurna membagi dua ham dan potongan roti bagian atas juga.
Melampaui Sandwich: Dimensi Universal
Implikasi dari penemuan ini tidak hanya terbatas pada daging deli. Pada tahun 1942, matematikawan Arthur Harold Stone dan John Tukey membuktikan bahwa prinsip ini bersifat universal. Pekerjaan mereka menunjukkan bahwa dalam ruang berdimensi $n$, Anda selalu dapat membagi dua objek $n$ dengan satu potongan berdimensi $(n-1)$.
Intinya: Teorema ini membuktikan bahwa pembagian yang benar-benar adil dijamin secara matematis, terlepas dari bagaimana benda-benda tersebut didistribusikan dalam ruang.
Kesimpulan
Meskipun Teorema Ham Sandwich memberikan bukti indah tentang keberadaan geometri dimensi tinggi, teorema ini tetap merupakan kemenangan teoritis belaka. Karena teorema membuktikan solusi ada tanpa memberikan rumus khusus untuk menemukan solusi tersebut, ahli matematika masih tidak dapat menggunakannya untuk menyelesaikan argumen dunia nyata mengenai cara membagi makanan.
