Задача о диване решена: ответ искали почти 60 лет

Каждый, кто хоть раз тащил диван по узкому коридору, помнит этот момент. По прямой всё идёт нормально, в дверь он проходит, а на повороте встаёт намертво. Крутишь, наклоняешь, тянешь на себя, и ничего не меняется. В 1966 году математик Лео Мозер превратил эту бытовую боль в строгую геометрическую задачу. Решить её удалось только в конце 2024 года, и ответ оказался куда страннее, чем кто-либо ожидал.

Как звучит задача о диване

Есть Г-образный коридор шириной 1 с прямым углом. Плоскую жёсткую фигуру можно двигать и поворачивать, но нельзя поднимать или наклонять. Какую наибольшую площадь может иметь фигура, которая пройдёт поворот? В англоязычной литературе это moving sofa problem, а искомое число называют константой дивана.

Нижняя оценка находится сразу. Единичный квадрат проходит угол, значит ответ не меньше 1. Полукруг радиуса 1 справляется лучше: он заезжает в угол, поворачивается вокруг центра и уезжает в соседний коридор. Это уже π/2, примерно 1,5708.

Телефонная трубка Хаммерсли

В 1968 году британский математик Джон Хаммерсли придумал форму похитрее. Он растянул полукруг по горизонтали, скруглил края и вырезал посередине полукруглую выемку, чтобы внутренний угол коридора проходил сквозь неё. Получилось что-то похожее на трубку старого телефона с площадью π/2 + 2/π ≈ 2,2074. Заодно Хаммерсли доказал, что площадь в принципе не может превышать 2√2 ≈ 2,8284.

Уже здесь видно, почему задача сложнее, чем кажется. Диван должен пройти весь путь целиком: заехать в угол, повернуться через все промежуточные положения и выехать. Фигура, которая помещается в начале и в конце, вполне может застрять где-то посередине. Поэтому оптимизировать приходится сразу форму и движение, и они жёстко связаны между собой.

Странный диван Гервера

Больше двадцати лет рекорд Хаммерсли никто не мог побить. В 1992 году Джозеф Гервер из Ратгерского университета опубликовал в журнале Geometriae Dedicata статью On Moving a Sofa Around a Corner. Он задался вопросом, как должен выглядеть диван, у которого уже выжата каждая мелкая поправка в траектории, и пришёл к системе дифференциальных уравнений для участков границы.

Результат вышел неожиданно сложным. Граница дивана Гервера состоит из 18 частей: три отрезка и пятнадцать кривых. Площадь 2,21953166…, всего на 0,012 больше, чем у Хаммерсли. Этой прибавки хватило, чтобы следующие 32 года фигура Гервера считалась главным кандидатом на ответ.

Только кандидат и доказательство отличаются принципиально. Построив диван площадью 2,2195, Гервер дал нижнюю оценку. Чтобы закрыть задачу, нужна верхняя оценка ровно с тем же значением, а для этого требуется исключить все возможные формы, включая те, которые никто ещё не придумал. Их бесконечно много.

Разрыв, который не закрывался

Десятилетиями верхние оценки оставались далеко от 2,2195. В 2018 году Йоав Каллус и Дэн Ромик с помощью компьютерного подхода опустили планку до 2,37. Пространство для поиска сузилось, но окно между 2,2195 и 2,37 оставалось открытым, и многие были уверены, что закрыть его получится только огромным перебором на компьютере.

Корейский математик Чинон Пэк (Jineon Baek) увлёкся задачей ещё во время срочной службы в армии Южной Кореи. Потом он продолжил ею заниматься в аспирантуре Мичиганского университета, хотя тема лежала в стороне от специализации его научного руководителя. Сначала Пэк тоже шёл через вычисления и в июне 2024 года выложил сильные оценки при дополнительных предположениях. А в следующие месяцы нашёл путь без тяжёлого перебора. 29 ноября 2024 года на arXiv появилась его работа на 119 страниц.

Как сравнить все диваны сразу

Универсальной формулы, которая принимает произвольный диван и выдаёт его площадь с учётом всего движения через угол, не существует. Поэтому Пэк действовал в обход. Сначала он доказал структурные свойства, которыми обязан обладать оптимальный диван, и сильно сузил круг кандидатов. Затем связал каждый такой диван с геометрическими объектами, описывающими его взаимодействие с поворачивающимся коридором, и ввёл вспомогательную величину Q.

Фокус в том, что для всех подходящих фигур площадь не превышает Q, а для дивана Гервера Q в точности равна его площади. Значит, достаточно показать, что Q нигде не становится больше своего значения на диване Гервера. Именно это Пэк и доказал. Поиск среди бесконечного числа причудливых форм превратился в аккуратную задачу оптимизации с известным максимумом. Итог: максимальная площадь равна 2,21953166…, и восемнадцатичастная фигура Гервера оказалась тем самым ответом.

Почему этот результат так зацепил математиков

Условие понимает любой за полминуты. Кажется, что и ответ должен быть изящным: круг, полукруг с вырезом, что-нибудь знакомое. Вместо этого экстремальная фигура собрана из восемнадцати аналитических кусков. Простой вопрос совсем не гарантирует простой ответ, и математика регулярно об этом напоминает.

Коллег удивило и другое. Решающий шаг оказался концептуальным, без гигантского компьютерного перебора, которого многие ждали. Quanta Magazine в 2025 году назвал это одной из самых ярких черт работы. Рукопись Пэка на arXiv сейчас остаётся основной публичной версией доказательства, а математики уже занимаются его компьютерной формализацией.

Похожая проблема встречается в планировании движения роботов: нужно понять, существует ли непрерывный путь без столкновений из одного положения в другое. Задача о диване стала одним из самых чистых двумерных примеров такой сложности.

Гервер нашёл правильную форму в 1992 году. Чтобы доказать, что ничего больше за угол не пройдёт, понадобилось ещё целое поколение.

Почитать подробнее: оригинальная статья Чинона Пэка на arXiv, разбор дивана Хаммерсли в блоге AMS, материал Quanta Magazine и страница Дэна Ромика о задаче.