移动沙发问题中的 Gerver 沙发模型

1992 年，关于移动沙发问题，Joseph Gerver 给出了面积约为 2.2195 的图形，至今仍然是沙发常数的最大下界。   2024 年，Jineon Baek 在他的论文 Optimality of Gerver's Sofa 中证明 Gerver 的解答为最优解。   制作此模型以纪念这个有趣的问题和天才数学家们。:)