60 Jahre altes Mathematik-Rätsel gelöst: Die optimale Sofa-Größe

Ein 60 Jahre altes mathematisches Rätsel – das Problem des beweglichen Sofas – ist endlich gelöst! In den 1960er Jahren stellten Mathematiker eine scheinbar einfache geometrische Frage: Wie groß ist die größte Fläche eines Sofas, das einen Flur mit einer Breite von einer Einheit passieren kann? Kürzlich bewies Jineon Baek, ein Postdoktorand an der Yonsei Universität in Seoul, in einem 119-seitigen Aufsatz, dass die von Joseph Gerver im Jahr 1992 vorgeschlagene Sofaform die optimale Lösung ist, mit einer Fläche von ungefähr 2,2195. Baeks Beweis ist bemerkenswert, weil er nicht auf Computern beruhte, sondern elegante mathematische Techniken verwendete, die neue Ansätze zur Lösung anderer Optimierungsprobleme bieten. Das Ergebnis veranschaulicht auch, dass selbst die einfachsten Optimierungsprobleme überraschend komplexe Antworten haben können.