困扰数学界60年的搬沙发问题终于得解，你肯定能看懂
环球科学约 5 分钟《环球科学》超值订阅季启动！快来直播间抢福利啦：
10月24日（周五）晚20:00，锁定“环球科学”视频号直播间，你可以获得：
9.9元秒杀三本《环球科学》杂志！
全年订阅超值优惠，加送杂志、周边和英语提升超多好礼！
全程专刊、桌垫、杂志抽不停！
还有全场免单名额等你来！
以上活动仅限直播独享，
不想错过？赶紧点击按钮【预约】直播吧！
可以通过狭窄转角的最大沙发是怎样的形状？58年后，我们终于有了答案。
撰文 | 杰克·默塔（Jack Murtagh）
审校 | 陶兆巍
如果你尝试过将笨重的沙发抬过狭窄的转角，被卡住时一定忍不住哀叹：“这沙发真的能通过吗？”数学家听到了你的呼唤。在几何学中，“移动沙发问题”（Moving Sofa Problem）旨在寻找能在狭窄直角走廊中完成转向的最大二维形状。
这个问题困扰了数学界近60年。直到去年11月，韩国延世大学的博士后研究员白眞言（Jineon Baek）在线上发布论文，宣称已解决了移动沙发问题。虽然该证明尚未完全通过同行评审，但熟悉此领域的数学家在初步审阅后似乎对结果很乐观。至于为何白眞言用了整整119页的论文，才写出情景喜剧《老友记》（Friends）中古生物学家罗斯· 盖勒（Ross Geller）搬沙发时高声喊出的一个单词“转啊！”（pivot！），或许只有时间才能告诉我们答案。
尽管移动沙发问题的答案不太可能在实际搬家时帮到你，但在前沿数学日益抽象化的今天，数学家对这类“普通人也能理解”的未解之谜情有独钟。在知名数学论坛MathOverflow“极易理解的非著名长期未解问题”榜单上，移动沙发问题目前高居第二。每个数学证明都在拓展人类的认知边界，而攻克该难题所用的技术工具，很可能在未来应用于其他几何难题。
移动沙发问题由加拿大数学家莱奥·莫泽（Leo Moser）于1966年首次正式提出，其约束条件包括：“沙发”可以是任意形状的刚性（两端受压不会形变）二维几何体；在单位宽度的直角走廊内完成转向 ；“沙发”不可抬离地面，仅允许平面滑动（平移）与旋转（因此问题被完全限制在二维平面内）。
如果快速回顾这个问题的研究历史，你会发现数学家从未懈怠，他们为此付出了巨大的努力。仔细思考移动沙发问题 ：面对一条单位宽度的空荡走廊，能在直角拐角处完成转向的最大沙发，其形状是怎样的？显然，边长为1的正方形是首个符合条件的解——它在通过直角时无需任何旋转。但如果将正方形略微拉长为矩形，你会发现它在转角处会因无法旋转而彻底卡死。
图片来源：托马斯·富克斯（Thomas Fuchs）
然而，数学家马上就意识到：引入曲线边界可得到更大的形状。以直径为2的半圆形为例，其直线边在转角时虽会凸出原走廊，但弧形边刚好为转向预留了足够的空间。为了找到能在拐角处转向的最大沙发,我们可以做简单的计算。根据几何公式，半圆沙发的面积是π/2（约1.57），相比正方形面积为1，提升了约57%。
图片来源：托马斯·富克斯（Thomas Fuchs）
尽管这两种形状作为家具有点奇怪，但上述调整的确揭示了问题的本质—— 要想让通过转角的沙发尽可能大，不仅需要优化其几何形状，也要优化形状运动的轨迹。该问题允许形状发生两种类型的运动：平移与旋转。方形沙发只需要平移即可通过拐角，而半圆则需要分阶段平移、绕转角处旋转而后在走廊另一侧平移。但其实物体可以同时进行平移和旋转。美国加利福尼亚大学戴维斯分校的数学家丹·罗米克（Dan Romik）指出 ：该问题的最优解需要同时优化这两种运动。
1968年，英国数学家约翰·哈默斯利（John Hammersley）取得了里程碑式的突破：通过将半圆拉长并从中切掉一块，可以设计出面积更大的、形似老式电话听筒的“哈默斯利沙发”。这种设计证明，混合旋转平移的运动方式的确能有效提升空间利用率。
资料来源：“On Moving a Sofa Around a Corner,” by Joseph L. Gerver, in Geometriae Dedicata, Vol. 42, No. 3; June 1992
通过优化多个变量，哈默斯利沙发的面积达到π/2+2/π（约2.2074），相较于半圆沙发的面积π/2，该设计实现了相当于从双人沙发升级到组合沙发的巨大提升。但此后24年，该问题的研究都陷入停滞。直到1992年，美国罗格斯大学的数学家约瑟夫·L.杰弗（Joseph L. Gerver）创作出一项神奇的数学工艺品——这是移动沙发问题迄今已知面积最大的沙发。
资料来源：“On Moving a Sofa Around a Corner,” by Joseph L. Gerver, in Geometriae Dedicata, Vol. 42, No. 3; June 1992
乍看之下，杰弗的沙发和哈默斯利沙发好像没什么不同，但其构造实则暗藏玄机。杰弗通过精密拼接18段特殊的曲线得到了形似沙发的复杂结构。如果仔细观察，你可能会发现一些精妙的细节，比如圆形切口底部的斜角等设计。杰弗沙发的面积约为2.2195，仅比哈默斯利方案提升了0.012。尽管增幅微小，但杰弗怀疑这已是理论极限只是他始终无法给出严谨的数学证明。此后32年间，全球数学家也未能完成突破。
资料来源：“On Moving a Sofa Around a Corner,” by Joseph L. Gerver, in Geometriae Dedicata, Vol. 42, No. 3; June 1992
由于理论证明受阻，一些研究人员转向计算机模拟寻求突破。白眞言曾是这一领域的前沿科学家，但令人更加意外的是，他最终的证明竟完全无需计算机辅助。
在博士研究期间，白眞言将移动沙发问题作为研究主线，逐步积累了关键洞见，最终以移动沙发问题为主题撰写了博士论文，并于2024年取得了博士学位。同年，他整合了所有创新思路并严格证明：杰弗沙发就是移动沙发问题中面积最大的沙发。解决此类历史难题是每一个数学家梦寐以求的成就，更何况是初出茅庐的年轻学者。如果该证明能通过最终的验证，白眞言或将成为学界争相聘用的对象——除非他转行家具设计。
原文链接：
https://www.scientificamerican.com/article/mathematicians-solve-infamous-moving-sofa-problem/
本文来自微信公众号“环球科学”。如需转载，请在“环球科学”后台回复“转载”，还可通过公众号菜单、发送邮件到[email protected]与我们取得联系。相关内容禁止用于营销宣传。
-电商广告-
《环球科学》2025年10月新刊销售中
戳图片或阅读原文
立即购买