困扰数学界58年的“移动沙发问题”终于尘埃落定！韩国学者jineon baek近日发表论文，宣称证明了gerver沙发是最佳解决方案，其最大面积为2.2195。这一结论在社交媒体上引发热议。
该问题源于经典美剧《老友记》中罗斯搬家的一幕，其数学描述为：在宽度为1的L形平面走廊中，能通过直角转弯的沙发的最大面积是多少？1968年，Hammersley提出了一种“电话听筒”形状的沙发，面积为2.2074；1992年，Gerver改进该设计，得到面积为2.2195的沙发，但未能证明其最优性。
Baek的论文长达119页，名为《Gerver沙发的最优性》。他通过证明Gerver沙发的面积达到最大值，解决了这一难题。虽然该证明尚未完全得到同行验证，但其在数学界已引起广泛关注。
Baek的证明过程复杂，主要分为三个步骤：限制最大面积沙发的可能形状；建立最大面积沙发的“可注入性条件”；构建满足该条件的沙发的面积上限，并将其最大化。他巧妙地运用Brunn-Minkowski理论和Mamikon定理，并结合Gerver的局部最优方程，最终证明了Gerver沙发的全局最优性。值得一提的是，整个证明过程几乎没有借助计算机辅助计算。
Baek的研究兴趣在于组合数学和几何学中的优化问题，他也在人工智能领域有所建树。此前，他已经进行过多次关于移动沙发问题的研究。
目前，网友们对这一结果褒贬不一，有人认为Gerver沙发的形状不够优雅，也有人感叹其证明的难度。无论如何，这一结果为“移动沙发问题”画上了一个句号，也为数学研究提供了新的启示。
论文地址：https://www.php.cn/link/09ff53617a5f5038297df773580f61a6
(以下为图片，需替换为原文图片链接):
- 《老友记》罗斯搬沙发场景截图
- Hammersley沙发示意图
- Gerver沙发示意图
- Gerver沙发细节图
- Baek论文截图（目录）
- Baek论文截图（定理）
- Baek论文截图（证明过程）
- Baek论文截图（证明步骤）
- Baek论文截图（单调沙发）
- Baek论文截图（可注入性条件）
- Baek论文截图（上界Q）
- Baek论文截图（凹度）
- Baek论文截图（方向导数）
- Baek个人照片
- Baek论文更新及撤回记录
- 网友评论截图1
- 网友评论截图2
- 网友评论截图3
