Gerver's proof of the sofa's optimality is based on a meticulous analysis of the constraint conditions at each contact point during the sofa's motion, using variational methods and optimal control theory to derive the boundary conditions satisfying corner-turning feasibility, ultimately proving that the area upper bound of his construction cannot be surpassed.