Как пронести диван через угол? Математик нашёл лучшее решение старой задачи

Переезд в новую квартиру часто оборачивается не просто сменой обстановки, а настоящим геометрическим квестом. Каждый, кто пытался затащить угловой диван в узкий коридор, сталкивался с проблемой, которая десятилетиями мучает математиков. Теперь, кажется, найдено окончательное решение для максимальной площади «проходимого» предмета меблировки.

Математический тупик длиной в полвека

В 1966 году австрийский математик Лео Мозер впервые формализовал бытовую головоломку: какой объект максимальной площади можно протащить через Г-образный поворот коридора, ширина которого равна одной условной единице? Задача, известная как «проблема перемещения дивана», мгновенно стала классикой прикладной геометрии. Долгое время ученые оперировали лишь приблизительными оценками, предполагая, что искомая площадь лежит в диапазоне между 2,2074 и 2,37 квадратных единиц. Однако точного ответа не было.

Прорыв наметился в 1992 году, когда профессор Джозеф Гервер из Ратгерского университета сконструировал гипотетическую модель — «диван Гервера». Эта фигура с U-образной передней частью, скругленной спинкой и плоскими подлокотниками обладала площадью 2,2195 единицы. Форма была интуитивно понятной, но доказать, что она действительно является максимальной, никому не удавалось. Работа Пэка из Университета Ёнсе ставит точку в этом споре, но с важной оговоркой.

Сто страниц доказательства и одно «но»

Джинеон Пэк не стал искать абстрактную идеальную форму. Он пошел иным путем: математик взял за основу именно диван Гервера и провел его через сложнейшую апробацию. В своем 100-страничном труде, представленном на сервере препринтов, Пэк доказывает, что эта конкретная конфигурация с 18 криволинейными участками является оптимальной для заданных условий. Результат: для коридора шириной 1 единица максимальная площадь такого дивана составляет 2,2195 единицы.

Это не универсальный ответ на все случаи жизни. Полученное значение справедливо исключительно для четко заданной геометрии дивана Гервера. Любое изменение параметров — другая кривизна спинки или иной угол подлокотников — приведет к иному результату. Пэк не решил задачу в общем виде, он доказал, что одна из самых перспективных гипотез верна.

В 2017 году физики-любители из Канады предложили альтернативную форму дивана, площадь которого достигала 2,2197 единицы, однако их работа не выдержала строгой математической критики. Работа Пэка, если она пройдет рецензирование, окончательно закрепит за диваном Гервера статус «чемпиона» по проходимости.

С практической точки зрения открытие Пэка вряд ли повлияет на мебельную промышленность. Производители вряд ли начнут штамповать диваны с 18 криволинейными участками. Однако это исследование — блестящий пример того, как абстрактная математическая логика позволяет решать задачи, которые кажутся интуитивно понятными, но на деле требуют колоссальной точности расчетов. Теперь, когда вы в очередной раз будете безуспешно пытаться занести новый шкаф в комнату, можете утешить себя мыслью: наука знает, как это сделать, но пока не придумала, как объяснить это строителям.