60年数学难题终结：最优“沙发”面积确定

一个困扰数学家60年的难题——移动沙发问题终于有了答案！1960年代，数学家提出一个看似简单的几何问题：最大的可以转弯通过单位宽走廊的沙发面积是多少？近日，韩国延世大学的Jineon Baek博士通过119页的论文证明了Joseph Gerver在1992年提出的沙发形状是最佳方案，其面积约为2.2195。Baek的证明令人瞩目，因为它没有依赖计算机，而是运用巧妙的数学技巧，为解决其他优化问题提供了新的思路。这个结果也表明，即使是最简单的优化问题，其答案也可能出乎意料地复杂。