Математик розв'язав задачу про диван після 50 років досліджень

Коли ви тягнете диван через вузький коридор і кричите «Поверни!» як Рос із серіалу «Друзі», ви несвідомо стикаєтеся з математичною загадкою, якій уже півстоліття. Відома як Задача про переміщення дивана, ця головоломка ставить на перший погляд просте запитання: який найбільший диван можна протягнути через кут коридору під 90 градусів, не застрягнувши?

Понад 50 років математики боролися з цією проблемою, пропонуючи дедалі складніші форми в пошуках відповіді. Тепер Джінеон Бек, постдокторський дослідник з Університету Йонсей у Південній Кореї, вважає, що нарешті розв'язав її.

100-сторінковий доказ Бека, опублікований на сервері препринтів arXiv на початку грудня 2024 року, доходить висновку, що найбільший диван, здатний протиснутися через кут, має площу 2,2195 одиниць. Одна одиниця відповідає ширині коридору.

Задачу про переміщення дивана вперше поставив австро-канадський математик Лео Мозер, який хотів знати оптимальну форму для переміщення великого предмета через кут коридору. Протягом десятиліть різні математики працювали над проблемою, але остаточний доказ залишався недосяжним.

У 1992 році Джозеф Гервер, математик з Ратгерського університету, запропонував диван Гервера — складну U-подібну фігуру, що складається з 18 кривих. Уявіть собі складання цієї конструкції, якби вона надходила з IKEA. Цей дизайн припускав, що найбільший можливий диван може мати площу 2,2195 одиниць. Хоча ніхто не міг довести, що форма Гервера була оптимальним рішенням, ніхто не знайшов і кращої.

Прорив Бека удосконалює роботу Гервера. Застосовуючи сучасні математичні інструменти та ретельно аналізуючи геометрію, Бек продемонстрував, що диван Гервера справді є найбільшим, який може здійснити поворот. Його розрахунки підтверджують, що жодна форма більша за 2,2195 одиниць не може пройти через кут.

Хоча Задача про переміщення дивана звучить як абстрактна вправа або практичний жарт над розчарованими вантажниками, вона представляє ширший виклик у геометрії та оптимізації. Вона змушує математиків досліджувати межі форми та простору, часто розкриваючи нові математичні прозріння.

Проблема також показує, як реальні розчарування можуть перерости в серйозні академічні дослідження. Чи йдеться про розміщення меблів або оптимізацію маршрутів для автономних роботів, розуміння того, як об'єкти рухаються через обмежені простори, має широке застосування.

Цікаво, що існує навіть варіант проблеми, який називається Задачею про амбідекстерний диван. Це передбачає проходження двох кутів, один повертає ліворуч, а інший праворуч. Найкраще відоме рішення цього виклику, запропоноване математиком Деном Роміком, є настільки ж суворим, наскільки і захоплюючим.

«Це на диво складна проблема», — сказав Ромік, який є професором математики та завідувачем кафедри математики Каліфорнійського університету в Девісі. «Вона настільки проста, що можна пояснити її дитині за п'ять хвилин, але ніхто ще не знайшов доказу».

Робота Бека ще не пройшла рецензування, що є важливим кроком у математичних дослідженнях. Як і з будь-яким великим доказом, інші математики будуть ретельно вивчати його роботу, щоб перевірити її точність. Але початкове сприйняття було обережно захоплюючим.

Зображення дивана Гервера поширилися в соціальних мережах після оголошення Бека, математики та ентузіасти однаково дивувалися можливості того, що ця давня головоломка нарешті може бути розв'язана. Якщо доказ Бека витримає перевірку, він закриє главу, яка почалася в 1960-х роках, пропонуючи акуратне рішення проблеми, яка здавалася нескінченно нерозв'язною.

Диван Гервера являє собою справжній витвір математичного мистецтва. Його форма не є інтуїтивною — це не звичайний прямокутник або овал, а складна конструкція з точно розрахованими кривими. Кожна з 18 кривих має своє математичне обґрунтування та служить певній меті в процесі повороту через кут.

Математичний аналіз такої форми вимагає глибокого розуміння диференціальної геометрії та теорії оптимізації. Бек використав сучасні обчислювальні методи та строгі математичні докази, щоб показати, що диван Гервера дійсно є максимально можливою формою.

Значення цього відкриття виходить далеко за межі простого переміщення меблів. У робототехніці, наприклад, розуміння того, як об'єкти можуть рухатися через обмежені простори, має вирішальне значення для планування шляху та навігації. У промисловості це може допомогти в проектуванні складських приміщень та оптимізації логістичних процесів.

Крім того, методи, розроблені для розв'язання Задачі про переміщення дивана, можуть знайти застосування в інших областях математики та фізики, де важливе розуміння руху об'єктів у складних геометричних середовищах.

До того часу, поки робота Бека не пройде повну перевірку наукової спільноти, якщо ви переїжджаєте, можливо, варто просто обрати будівлю з прямими коридорами.