У той час як більшість людей сприймають сендвіч лише як швидке перекушування, для групи видатних математиків середини XX століття він став ключем до розуміння складності тривимірного простору. Цей уявний експеримент, нині відомий як теорема про шинку та бутерброд, досліджує оманливо просте питання: чи можна розрізати сендвіч так, щоб хліб, шинка та друга половинка хліба були розділені навпіл одночасно?
Від кафешних дискусій до математичних доказів
Витоки цього завдання лежать у яскравій інтелектуальній культурі Львова (Польща, нині Україна) 1930-х та 1940-х років. Група блискучих математиків часто збиралася до місцевих кафе для обговорення складних проблем. У 1938 році математик Гуго Штейнгауз поставив перед ними конкретне завдання: чи завжди можна розділити три різні тверді тіла однією площиною?
Щоб зробити це абстрактне геометричне питання наочнішим, він використав образ шинкового сендвіча. Якщо розрізати двовимірний об’єкт — наприклад, піцу — однією прямою лінією досить просто, перехід у третій вимір створює серйозні математичні перешкоди.
Геометричний виклик
На двомірній площині ви можете розділити два об’єкти одним розрізом. Однак у тривимірному просторі математика стає набагато складнішою.
Стандартні інструменти, такі як “теорема про проміжне значення” (яка допомагає знаходити коріння в більш простих рівняннях), тут не працюють, оскільки тривимірний простір має занадто велику кількість ступенів свободи. При обертанні площини для пошуку ідеального розрізу існує не одна вісь обертання, а безліч, що унеможливлює пошук рішення простим «обертанням» за допомогою базових методів.
Рішення: Теорема Борсука – Улама
Прорив зробив Стефан Банах, протеже Штейнгауза. Він зрозумів, що для вирішення «завдання про сендвіч» потрібно більш потужний інструмент: теорема Борсука — Улама.
Щоб зрозуміти, як це працює, розгляньте наступне застосування цієї теореми: на Землі завжди існують дві діаметрально протилежні точки (розташовані суворо один навпроти одного на глобусі), які мають абсолютно однакову температуру та атмосферний тиск.
Банах застосував цю логіку до сендвіч, використовуючи сферу:
1. Вихідні дані: Уявіть, що сендвіч укладений усередині сфери.
2. Перший розріз: Для будь-якої точки на цій сфері можна визначити площину, яка проходить через центр і ділить нижню скибочку хліба навпіл.
3. Функція: Потім Банах створив математичну функцію для вимірювання обсягів двох частин, що залишилися (шинки і верхньої скибочки хліба) над цією площиною.
4. Симетрія: Застосувавши теорему Борсука – Улама, він довів, що на сфері обов’язково знайдеться точка, в якій обсяги з одного боку площини будуть ідентичні обсягам з протилежного боку.
Коли ці обсяги рівні, площина не просто ділить нижній хліб навпіл — вона також ідеально поділяє шинку і верхню скибочку хліба.
За межами сендвіча: універсальні виміри
Значення цього відкриття виходить далеко за межі кулінарії. У 1942 році математики Артур Гарольд Стоун і Джон Тукі довели, що цей принцип універсальний. Їхня робота показала, що в $n$-мірному просторі завжди можна розділити $n$ об’єктів одним розрізом $(n-1)$-мірної розмірності.
Суть: Ця теорема доводить, що математично гарантовано абсолютно справедливий поділ, незалежно від того, як об’єкти розподілені у просторі.
Висновок
Хоча теорема про шинку і бутерброд є прекрасним доказом існування рішення в багатовимірній геометрії, вона залишається суто теоретичним тріумфом. Оскільки теорема доводить, що рішення існує *, але не дає конкретної формули, щоб його знайти, математики як і раніше не можуть використовувати її, щоб вирішувати реальні суперечки про те, як розділити їжу.
