Der Mathematiker löst endlich das 60 Jahre alte Problem des beweglichen Sofas, das in der „Pivot“-Szene von Friends populär gemacht wurde

Ein koreanischer Mathematiker hat eines der hartnäckigsten Rätsel der Geometrie gelöst, ein Problem gelöst, das Forscher seit fast 60 Jahren vor Herausforderungen stellt, und weltweite Anerkennung für einen Beweis erlangt, der ohne die Hilfe von Computern erbracht wurde.

Dr. Baek Jin Eon, 31, wissenschaftlicher Mitarbeiter am Korea Institute for Advanced Study, hat gezeigt, dass sich keine Form, die größer als ein zuvor vorgeschlagener Entwurf ist, durch einen rechtwinkligen Korridor mit fester Breite bewegen kann, und löste damit das sogenannte „Problem des beweglichen Sofas“, das erstmals 1966 aufgeworfen wurde.

Das Problem stellt eine täuschend einfache Frage: Was ist die zweidimensionale Form mit der größtmöglichen Fläche, die durch einen L-förmigen Korridor der Breite eins getragen werden kann? Obwohl es leicht vorstellbar ist, hat es sich jahrzehntelang dem Beweis widersetzt.

Im Jahr 1992 schlug der Mathematiker Joseph Gerver eine komplexe geschwungene Form vor, die als Gervers Sofa bekannt ist, als wahrscheinliche Lösung. Allerdings konnte niemand beweisen, dass es keine größere Form geben konnte.

Nach sieben Jahren Arbeit zeigte Dr. Baek, dass Gervers Design tatsächlich optimal war. Ende 2024 veröffentlichte er seinen 119-seitigen Beweis auf dem Preprint-Server arXiv und kam zu dem Schluss, dass „es kein Sofa geben kann, das breiter ist als Gervers Sofa“.

Im Gegensatz zu vielen früheren Versuchen stützte sich Dr. Baeks Arbeit ausschließlich auf logisches Denken und nicht auf groß angelegte Computersimulationen.

Baek beschrieb den langen Forschungsprozess und verglich seine Arbeit mit dem wiederholten Aufbau und Verwerfen von Ideen.

„Man hält an der Hoffnung fest, bricht sie dann und geht voran, indem man Ideen aus der Asche aufsammelt“, sagte er in einem Interview.

„Ich bin von Natur aus eher ein Tagträumer, und für mich ist mathematische Forschung eine Wiederholung von Träumen und Aufwachen.“

Die Forschung wurde seitdem benannt von Wissenschaftlicher Amerikaner als eine der „Top 10 Mathe-Entdeckungen des Jahres 2025“, eine redaktionelle Auswahl, die Durchbrüche auf diesem Gebiet hervorhebt.

Das Magazin stellte fest: „Während sich viele Forscher auf groß angelegte Computersimulationen verlassen haben, um die maximale Sofagröße zu ermitteln, ist es überraschend, dass Baek Jin Eons endgültige Lösung überhaupt nicht von Computern abhängt.“

Der Beweis von Dr. Baek wird derzeit von Experten begutachtet Annalen der Mathematikeine der renommiertesten Zeitschriften der Disziplin.

Während der Überprüfungsprozess noch andauert, ist das Vertrauen in das Ergebnis innerhalb der Mathematikgemeinschaft hoch.

Das Problem des beweglichen Sofas hat sowohl in der Populärkultur als auch in der Wissenschaft schon lange einen Platz, vor allem in der US-amerikanischen Sitcom Freundein dem die Charaktere Schwierigkeiten haben, ein Sofa eine Treppe hinaufzumanövrieren.

Wissenschaftlicher Amerikaner scherzte, dass „die Erklärung des ‚Pivot!‘ „Das von Ross Geller geschriene Papier erforderte ein 119-seitiges Papier.“

Dr. Baek begann mit der Arbeit an diesem Problem, während er während seines Wehrdienstes als Forschungsspezialist tätig war, und setzte sein Doktoratsstudium in den USA und später als Postdoktorand in Südkorea fort.

Letztes Jahr wurde er für das June E Huh Fellow-Programm ausgewählt, das junge Mathematiker unter 39 Jahren bis zu einem Jahrzehnt unterstützt.

Derzeit arbeitet er weiterhin an Optimierungsproblemen und Herausforderungen in der kombinatorischen Geometrie.