Корейский математик решил геометрическую задачу, которая оставалась без ответа почти шестьдесят лет

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

Задача, сформулированная в 1966 году математиком Лео Мозером, звучит просто: какая самая большая жёсткая фигура может повернуть за прямой угол в L-образном коридоре шириной 1 метр?  

Десятилетиями исследователи предлагали различные варианты того, какой формы и максимальной площади мог бы быть такой предмет. Так, в 1968 году британец Джон Хаммерсли описал фигуру площадью около 2,2074 м?. В 1992-м профессор Ратгерского университета Джозеф Гервер улучшил результат Хаммерсли и предложил изогнутую площадью примерно 2,2195 м?. Однако доказать, что площадь фигуры не может быть ещё больше, до сих пор не удавалось.

Пэк, научный сотрудник Центра математических задач имени Джун Э. Ху в Корейском институте перспективных исследований, потратил на исследование семь лет. В итоге он смог доказать, что фигура Джозефа Гервера оптимальна. В статье, опубликованной на препринт-сервере arXiv, он указал, что «диван, превышающий по размерам форму Гервера, невозможен» в рамках задачи.

В отличие от предыдущих попыток, его работа основана исключительно на строгих логических доказательствах, без использования масштабных компьютерных симуляций. Исследование Пэка было отмечено журналом Scientific American, который включил его в список «10 главных математических открытий 2025 года» — ежегодный обзор наиболее значимых достижений в этой области.