М атематик успя да реши пъзел на десетилетия. Джинеон Бек доказа, че специфична форма е най-голямата, която може да премине през ъгъл. Този геометричен проблем остана неразрешен в продължение на близо 60 години. Работата на Бек се основава на чиста математика, а не на компютърни изчисления. Неговите открития потвърждават, че един предишен дизайн наистина е оптималният. Този пробив предлага окончателен отговор на дългогодишно предизвикателство.
Pivot! Mathematicians reveal how Ross Geller COULD have got his sofa up the stairs in iconic Friends scene https://t.co/jTA7NxLQNO pic.twitter.com/CKjhVVBeu5
— Daily Mail (@DailyMail) December 12, 2024
Представете си, че се опитвате да прекарате обемист диван през ъгъла на Г-образен коридор, точно както в известния епизод на сериала „Приятели“. Тази препратка ни помага да разберем проблема с пренасянето на мебели, където маневрирането на огромен диван през завоите в къщата е голямо предизвикателство, каращо хората да дърпат, накланят и да се чудят как да го преместят.
Но един математик изглежда най-накрая е дал отговор на всички тези проблеми.
Всичко започва през 60-те години
През 1966 г. австрийско-канадският математик Лео Мозер поставя „проблема за движещия се диван“: търсене на най-голямата твърда двуизмерна (2D) форма, която може да се плъзга и върти около остър 90-градусов ъгъл в Г-образен коридор с ширина 1 метър.
In the wise words of Ross Geller:
— Victor Vetancourt (@vigo57) April 1, 2024
"Pivot, Pivot, Pivot, PIVOT!"https://t.co/0FjLzGXUqJ pic.twitter.com/rV6aNH6Fc4
През 1968 г. дизайнът на Джон Хамърсли постига площ от около 2,2074 квадратни метра. По-късно, през 1992 г., по-сложната форма на Джоузеф Гервер достига около 2,2195 квадратни метра и остава водещият кандидат в продължение на десетилетия. През годините компютрите помагаха за усъвършенстване на идеите, но окончателният отговор оставаше недостижим, докато Джинеон Бек не се зае с него.
Кой е Джинеон Бек?
Джинеон Бек (31 г.) е завършил математика в POSTECH и получи глобално признание за решаването на този геометричен пъзел. Той се сблъсква със задачата за първи път по време на военната си служба в Националния институт за математически науки на Южна Корея. След това прекарва седем години в изграждане на строго доказателство по време на докторантурата си в Мичиганския университет и престоя си в Корейския институт за напреднали изследвания (KIAS).
Неговият подробен труд от 119 страници, публикуван в arXiv в края на 2024 г., доказва, че „диванът на Гервер“ е оптимален – нито една по-голяма форма не може да направи завоя. Бек изцяло се отказва от компютрите и използва чиста математика, за да преформулира пъзела.
Чиста човешка логика
Това, което привлича вниманието му, не е само трудността на задачата, но и липсата на солидна теоретична база за справяне с нея. Вместо да се обърне към компютърни експерименти, той предприема различен подход. Чрез стъпка по стъпка изграждане на доказателството, той доказва, че странната форма на Гервер използва всеки възможен сантиметър пространство.
Какво представлява диванът на Гервер?
Диванът на Гервер е сложна, извита 2D форма, предложена от математика Джоузеф Гервер през 1992 г. С площ от около 2,2195 квадратни единици, тя е съставена от три прави линии и 15 прецизно изчислени дъги, наподобяващи слушалка на стар телефон. В продължение на десетилетия тя се смяташе за най-голямата форма, но досега не беше математически доказано, че е максималната възможна.
