Joseph Gerver
A mathematician who in 1992 proposed a candidate optimal solution to the moving sofa problem, known as the Gerver sofa, with an area of approximately 2.2195.
Timeline (last 90 days)
Gerver's proof of the sofa's optimality has not yet been fully rigorously verified.
Gerver's sofa consists of 18 curve segments, including straight segments and circular arc segments, and is overall symmetric about the corridor's diagonal.
In 1992, Joseph Gerver constructed a better shape with an area of about 2.2195 and proved its optimality.
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.
All Facts (4)
In 1992, Joseph Gerver constructed a better shape with an area of about 2.2195 and proved its optimality.
60%UnverifiedGerver's proof of the sofa's optimality has not yet been fully rigorously verified.
50%UnverifiedGerver's sofa consists of 18 curve segments, including straight segments and circular arc segments, and is overall symmetric about the corridor's diagonal.
50%UnverifiedGerver'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.
50%