Корейский математик Пэк Джин-он решил известную геометрическую задачу «о перемещении дивана», над которой учёные бились почти шесть десятилетий.
Задача, сформулированная в 1966 году математиком Лео Мозером, звучит просто: какая самая большая жёсткая фигура может повернуть за прямой угол в L-образном коридоре шириной 1 метр?
Десятилетиями исследователи предлагали различные варианты того, какой формы и максимальной площади мог бы быть такой предмет. Так, в 1968 году британец Джон Хаммерсли описал фигуру п��ощадью около 2,2074 м². В 1992-м профессор Ратгерского университета Джозеф Гервер улучшил результат Хаммерсли и предложил изогнутую площадью примерно 2,2195 м². Однако доказать, что площадь фигуры не может быть ещё больше, до сих пор не удавалось.
Пэк, научный сотрудник Центра математических задач имени Джун Э. Ху в Корейском институте перспективных исследований, потратил на исследование семь лет. В итоге он смог доказать, что фигура Джозефа Гервера оптимальна. В статье, опубликованной на препринт-сервере arXiv, он указал, что «диван, превышающий по размерам форму Гервера, невозможен» в рамках задачи.
В отличие от предыдущих попыток, его работа основана исключительно на строгих логических доказательствах, без использования масштабных компьютерных симуляций. Исследование Пэка было отмечено журналом Scientific American, который включил его в список «10 главных математических открытий 2025 года» — ежегодный обзор наиболее значимых достижений в этой области.
