Gerver沙发的最优性证明基于对沙发运动过程中各接触点约束条件的精细分析，利用变分法和最优控制理论推导出满足转弯可行性的边界条件，最终证明其构造的面积上界不可超越。