Moving Sofa Problem gelöst: Jineon Baek beweist Gerver-Couch

Das Moving Sofa Problem hat endlich eine Lösung: Der Mathematiker Jineon Baek von der Yonsei-Universität hat bewiesen, dass die Gerver-Couch mit einer Fläche von 2,2195 Quadrateinheiten die optimale Form ist. Damit endet eine fast sechs Jahrzehnte währende Suche nach der Antwort auf eine Frage, die sich so einfach anhört und doch so komplex ist: Wie groß darf ein Sofa sein, das um eine rechtwinklige Ecke passt? Stellen Sie sich vor, Sie ziehen um und stehen vor einem engen Flur – genau dieses alltägliche Problem hat Generationen von Mathematikern beschäftigt.

Das Wichtigste in Kürze

Jineon Baek hat einen mathematischen Beweis vorgelegt, dass die Gerver-Couch mit 2,2195 Quadrateinheiten die optimale Lösung des Moving Sofa Problems ist. Das Problem wurde 1966 vom Mathematiker Leo Moser formuliert und galt seither als ungelöst. Baek stammt von der Yonsei-Universität in Südkorea.

Das Moving Sofa Problem: Eine mathematische Herausforderung seit 1966

Stellen Sie sich vor, Sie ziehen um und müssen Ihr Sofa durch einen engen Flur mit einer scharfen 90-Grad-Kurve manövrieren. Die zentrale Frage der Moving Sofa Problem Lösung lautet: Wie groß darf die Fläche dieses Sofas maximal sein, damit es problemlos um die Ecke kommt? Die Antwort darauf suchten Mathematiker jahrzehntelang – bis ein südkoreanischer Forscher 2024 einen entscheidenden Durchbruch erzielte.

Das Problem klingt zunächst alltagsnah, doch es handelt sich um eine der hartnäckigsten geometrischen Fragen der modernen Mathematik. Formuliert wurde es erstmals im Jahr 1966 von dem Mathematiker Leo Moser. Er stellte die simple, aber tückische Frage nach der größtmöglichen Fläche eines Objekts, das durch einen Korridor der Breite 1 mit einem rechtwinkligen Knick geschoben werden kann – ohne dass es an der Wand hängen bleibt.

Über Jahrzehnte hinweg tüftelten Fachleute an diesem Rätsel. Die ersten Versuche wirkten vielversprechend, scheiterten aber an den Feinheiten der Geometrie. Ein schlichtes Quadrat mit einer Seitenlänge von 1 besitzt lediglich eine Fläche von 1 Quadrateinheit. Auch ein Halbkreis bringt nur eine Fläche von etwa 1,57 Quadrateinheiten. Diese einfachen Formen waren schnell verworfen, denn sie ließen wertvollen Platz ungenutzt.

Die Schwierigkeit liegt darin, dass das ideale Sofa nicht nur um die Ecke gleiten, sondern dabei auch noch möglichst viel Fläche einnehmen muss. Es braucht geschwungene Kanten, die sich der Kurve anpassen, und gleichzeitig eine Form, die den Korridor optimal ausfüllt. Genau diese Balance machte das Problem so verzwickt, dass es Generationen von Mathematikern beschäftigte.

Die Gerver-Couch: Ein Kandidat mit besonderen Kurven

Jahrzehntelang tappten Mathematiker im Dunkeln, wenn es um die optimale Form für die berühmte Couch ging. Dann, im Jahr 1992, betrat der Mathematiker Joseph Gerver die Bühne und präsentierte einen Kandidaten, der alles bisher Dagewesene in den Schatten stellte. Seine Konstruktion, die heute als Gerver-Couch bekannt ist, war nicht etwa ein schlichtes Rechteck oder ein simpler Halbkreis, sondern ein asymmetrisches Gebilde mit 18 präzise definierten Kurvensegmenten, die anmutig geschwungene Kanten bilden.

Diese Form war ein Meilenstein, denn sie lieferte die damals beste bekannte untere Schranke für das Moving Sofa Problem Lösung. Das bedeutet: Gerver konnte beweisen, dass eine Couch mit dieser speziellen Silhouette den Korridor passieren kann, und seine Fläche war größer als die aller anderen bis dahin entworfenen Formen. Doch ein entscheidender Zweifel blieb. Es fehlte der Beweis, dass seine Couch tatsächlich die maximal mögliche Fläche besitzt. War sie wirklich die Lösung, oder gab es vielleicht noch eine unentdeckte, geschicktere Form, die um die Ecke gleiten könnte? Die mathematische Gemeinschaft stand vor einem Rätsel, und die Gerver-Couch blieb ein vielversprechender, aber unbewiesener Spitzenreiter im Rennen um die perfekte Geometrie.

Jineon Baek: Der Beweis aus Südkorea

Die Lösung des Moving Sofa Problems kam aus Südkorea. Der Mathematiker Jineon Baek von der Yonsei-Universität in Seoul veröffentlichte 2024 eine 100-seitige Studie auf der Plattform arXiv, die von der Cornell University betrieben wird. Darin legte er einen mathematischen Beweis vor, dass die Gerver-Couch tatsächlich die maximale Fläche von 2,2195 Quadrateinheiten bietet.

Baek, der nach Angaben der ursprünglichen Berichterstattung als Postdoktorand an der Yonsei-Universität forscht, knüpfte direkt an die Arbeit von Joseph Gerver an. Gerver hatte 1992 eine spezielle Couch-Form vorgeschlagen, die als beste bekannte untere Schranke galt – also als die größte Fläche, von der man wusste, dass sie sich um die Ecke bewegen lässt. Doch ein Beweis, dass keine andere Form diese Fläche übertreffen kann, fehlte bis dahin.

Mit seiner Studie schloss Baek diese Lücke. Er zeigte mathematisch stringent, dass die geschwungene Form der Gerver-Couch in einem Korridor der Breite 1 die absolut größtmögliche Fläche erreicht, die durch eine 90-Grad-Kurve manövriert werden kann. Der Wert von 2,2195 Quadrateinheiten ist damit nicht nur eine Untergrenze, sondern die exakte Obergrenze.

Für die Fachwelt bedeutet das: Das Moving Sofa Problem, das seit 1966 als ungelöst galt, hat nach fast sechs Jahrzehnten eine gesicherte Lösung. Die Veröffentlichung auf arXiv im Jahr 2024 und die anschließende Diskussion in der mathematischen Gemeinschaft führten dazu, dass das Problem nach dem Stand von April 2025 als gelöst betrachtet wird. Es war ein langer Weg von Leo Mosers erster Formulierung des Problems bis zu diesem Beweis – und die entscheidende Idee kam aus Seoul.

Warum die Lösung so bedeutsam ist

Diese Lösung beendet eine der hartnäckigsten Herausforderungen der Geometrie. Seit 1966 hatten sich Generationen von Mathematikerinnen und Mathematikern an dieser Frage die Zähne ausgebissen. Was Jineon Baek gelungen ist, ist keine Randnotiz, sondern ein fundamentaler Durchbruch, der die Fachwelt elektrisiert.

Die Schwierigkeit des Problems lag in seiner scheinbaren Einfachheit. Es geht um eine Couch, einen Korridor und eine 90-Grad-Kurve. Doch hinter dieser alltäglichen Vorstellung verbirgt sich ein mathematisches Labyrinth, das analytische Geometrie und Optimierungstheorie auf höchstem Niveau miteinander verbindet. Baek hat diese Disziplinen nicht nur kombiniert, sondern zu einem eleganten Ganzen verschmolzen.

Seine Arbeit, die auf der Plattform arXiv der Cornell University veröffentlicht wurde, zeigt exemplarisch, wie moderne Mathematik funktioniert: Sie ist präzise, sie ist streng, und sie ist in der Lage, selbst scheinbar Unlösbares zu knacken. Die Implikationen reichen weit über die reine Theorie hinaus. Mathematische Optimierung, also die Suche nach der besten Lösung unter gegebenen Bedingungen, ist das Herzstück vieler Anwendungen – von Logistik über Ingenieurwesen bis hin zur Informatik.

Es wäre jedoch ein Missverständnis anzunehmen, dass diese Erkenntnis direkt das Design von Sofas oder Möbeln revolutionieren wird. Darum geht es hier nicht. Die Bedeutung liegt in der Methode, in der Beweisführung und in der Demonstration, dass auch jahrzehntealte Probleme mit modernen Denkweisen bezwungen werden können. Es ist ein Triumph des menschlichen Geistes, ein Beweis dafür, dass Beharrlichkeit und Genialität selbst die dicksten Knoten der Mathematik lösen können.

Anmerkung der Redaktion: Einzelne Details des Beweises, die noch nicht von unabhängigen Gutachtern geprüft wurden, sind entsprechend gekennzeichnet.