💡
原文中文，约3800字，阅读约需9分钟。
📝
内容提要
《老友记》中罗斯搬沙发的情节引出了“移动沙发问题”，该问题由数学家Gerver提出，最大面积为2.2195。韩国学者Baek近日证明了Gerver的解是最优的，结束了58年的争论。
🎯
关键要点
- 《老友记》中罗斯搬沙发的情节引出了移动沙发问题。
- 移动沙发问题由数学家Leo Moser于1966年提出，涉及在宽度为1的L形走廊中沙发的最大面积。
- Hammersley在1968年提出了一种解法，最大面积为2.2074，但不是最优解。
- Gerver在1992年改进了Hammersley的沙发，得出最大面积为2.2195，并推测其为最优解。
- 韩国学者Jineon Baek于2024年证明了Gerver的沙发确实是最优的，结束了58年的争论。
- Baek的论文长达119页，题为《Optimality of Gerver’s Sofa》，尚需专家验证。
- 论文证明过程包括限制最大面积沙发的形状、建立可注入性条件和构建面积上界。
- Baek的研究吸引了广泛关注，网友们对此发表了不同看法。
- Baek的研究兴趣包括组合数学和几何学中的优化问题，他在多个领域发表过论文。
➡️
