Представьте себе такую ситуацию: вы переезжаете в новую квартиру и пытаетесь пронести диван через узкий угловой коридор. Вроде бы стандартная бытовая ситуация, но еще в 1966 году математик Лео Мозером сформулировал ее в виде задачи. Решить ее совсем недавно смог южнокорейский ученый Джинен Бэк из Университета Енсе.
Задача о диване
Классическая формулировка задачи о диване звучит очень просто: какова максимальная площадь плоского объекта, который можно пронести через угол, образованный двумя коридорами шириной в один метр?
Первые попытки решить эту задачу были предприняты еще в 1968 году. Тогда британский математик Джон Хаммерсли вычислил, что в данных условиях через угловой коридор может “протиснуться” диван площадью 2,2074 квадратных метра.
В 1992 году американец Джозеф Гервир получил еще большее значение - 2,2195 квадратных метра - если скруглить углы в фигуре Хаммерсли. Однако никто из ученых так и не смог доказать, что найденное им значение - максимально возможное, и найти универсальное значение.
Новый подход
Джинен Бэк подошел к решению задачи с совершенно новой стороны. Он использовал мощный математический инструмент - инъективную функцию. Благодаря этому ему удалось доказать, что диван Гервера действительно имеет максимальную возможную площадь и что любое другое решение будет иметь меньшую площадь.
Надо отметить, что решение этой задачи имеет не только теоретическое значение. Оно может найти применение в различных областях, от дизайна мебели до робототехники. Кроме того, оно демонстрирует мощь математических методов и важность фундаментальных исследований.