这100页的证明声称解决了世界上最令人沮丧的数学难题:最大的沙发适合角落?

数学家声称,将沙发安装在角落周围的令人讨厌的难题中。

来源:ZME科学
Midjourney的插图。

当您在狭窄的走廊上拖拉沙发并大喊“ Pivot!”像朋友的罗斯一样,您不知不觉地与半个世纪的数学难题斗争。这位大脑预告片被称为“移动沙发问题”,问一个看似简单的问题:您可以在90度角绕而不会卡住的最大沙发是什么?

超过50年的数学家一直在为这个问题作斗争,提出了越来越复杂的形状来寻找答案。现在,韩国Yonsei大学的博士后研究员Jineon Baek认为他终于解决了它。

Baek的100页证明,于2024年12月上旬发布在Arxiv预印式服务器上,得出的结论是,能够挤在拐角处的最大沙发的面积为2.2195辆。一个单元代表走廊的宽度。

arxiv

gerver沙发:具有18曲线的形状

Gerver的沙发。学分:Wikimedia Commons。

移动的沙发问题首先是由奥地利 - 加拿大数学家Leo Moser提出的,他想知道将大物体通过走廊角移动的最佳形状。在过去的几十年中,各种数学家都解决了这个问题,但是确定的证据仍然难以捉摸。

Leo Moser 在1992年,罗格斯大学的数学家约瑟夫·格弗(Joseph Gerver)提出了Gerver Sofa,这是一个由18个曲线组成的精美的U形图。想象一下,如果野兽来自宜家,请组装。这种设计表明,最大的沙发可能具有2.2195个单位。尽管没有人能证明Gerver的形状是最佳解决方案,但也没有人找到更好的解决方案。 Baek的突破完善了Gerver的作品。通过应用现代数学工具并仔细分析几何形状,Baek证明了Gerver的沙发确实是可以转弯的最大的沙发。他的计算证实,没有大于2.2195个单元的形状可以导航。 为什么这很重要? 信用:Jineon Baek。 验证之路

Leo Moser

在1992年,罗格斯大学的数学家约瑟夫·格弗(Joseph Gerver)提出了Gerver Sofa,这是一个由18个曲线组成的精美的U形图。想象一下,如果野兽来自宜家,请组装。这种设计表明,最大的沙发可能具有2.2195个单位。尽管没有人能证明Gerver的形状是最佳解决方案,但也没有人找到更好的解决方案。

Baek的突破完善了Gerver的作品。通过应用现代数学工具并仔细分析几何形状,Baek证明了Gerver的沙发确实是可以转弯的最大的沙发。他的计算证实,没有大于2.2195个单元的形状可以导航。 为什么这很重要? 信用:Jineon Baek。 验证之路

Baek的突破完善了Gerver的作品。通过应用现代数学工具并仔细分析几何形状,Baek证明了Gerver的沙发确实是可以转弯的最大的沙发。他的计算证实,没有大于2.2195个单元的形状可以导航。

为什么这很重要?信用:Jineon Baek。验证之路