sofaprobleem

Het sofaprobleem is een meetkundig probleem dat de Oostenrijks-Canadese wiskundige in 1966 voor het eerst op papier stelde, maar dat al langer door velen informeel was bestudeerd. Het is een tweedimensionale vereenvoudiging van het alledaagse probleem dat verhuizers hebben, namelijk om een sofa of een ander meubel te verplaatsen langs een hoek in een gang. Meer bepaald zoekt het sofaprobleem naar de vlakke figuur met de grootst mogelijke oppervlakte die zonder vervorming door een L-vormige gang kan verplaatst worden. Beide delen van de gang zijn 1 eenheid breed. De maximale oppervlakte A van zo een figuur staat bekend als de sofaconstante. Dat er inderdaad een (niet noodzakelijk unieke) sofa met maximale oppervlakte bestaat, werd bewezen door John Conway en M. Guy. De exacte waarde van de sofaconstante is evenwel nog een openstaand probleem.