Sofaproblem

ungelöstes geometrisches Problem

Das Sofaproblem ist ein bislang ungelöstes geometrisches Problem, das 1966 vom österreichisch-kanadischen Mathematiker Leo Moser beschrieben wurde. Es ist eine zweidimensionale Idealisierung des praktischen Problems, Möbelstücke um Hindernisse zu bewegen.

Das Hammersley-Sofa mit einer Fläche von 2,2074 m² kann um die Ecke des 1 m breiten Ganges bewegt werden, ist jedoch nicht die Lösung mit der größtmöglichen Fläche.
Gervers Sofa mit 18 Kurvensektionen

Das Sofaproblem ist die Frage, welches die zweidimensionale, starre Form mit der größten Fläche A ist, die innerhalb eines L-förmigen Korridors der Breite 1 um eine rechtwinklige Ecke manövriert werden kann. Die Fläche A wird als Sofakonstante bezeichnet.

Obere und untere Schranken

Bearbeiten

Ein Halbkreis mit Radius 1 kann um die Ecke herum transportiert werden, indem man den Halbkreis zunächst gerade bis zur Begrenzung durchschiebt. Nun fällt die Ecke mit dem Mittelpunkt der Grundseite des Halbkreises zusammen, und man kann den Halbkreis um diesen Punkt herum um 90° drehen. Anschließend kann man den Halbkreis weiterschieben. Eine erste untere Grenze für den Flächeninhalt ist demnach  .

John Hammersley fand eine Form mit der wesentlich größeren Fläche  . Sein Sofa, ähnlich geformt wie ein Telefonhörer, besteht aus zwei Viertelkreisflächen an den Seiten eines großen Rechtecks mit Seitenlängen 1 und  , an dessen langer Seite mittig ein Halbkreis mit Radius   ausgekehlt wurde.[1][2]

Joseph Gerver fand ein Sofa mit einer geringfügig größeren Fläche von 2,2195. Sein achsensymmetrischer Umriss besteht aus 18 einzelnen Kurven und ähnelt Hammersleys Sofa, bei dem die Form abgerundet wurde.[3][4][2] Wenngleich Gerver vermutete, dass sein Sofa optimal sei, steht ein formaler Beweis bislang aus.

Durch ein einfaches Argument zeigte Hammersley, dass   eine obere Schranke für die Sofakonstante ist.[5][6] Im Juni 2017 bewiesen Yoav Kallus und Dan Romik eine neue obere Schranke von  .[7]

Im November 2024 veröffentlichte der Mathematiker Jineon Baek von der Yonsei University ein Preprint,[8] in dem er einen Beweis gefunden haben will, dass Gervers Wert optimal und damit das Sofaproblem gelöst ist.[9]

Das Sofaproblem wird im Roman Der elektrische Mönch von Douglas Adams erwähnt, bei dem das Sofa des Protagonisten zwar in einen Flur hinein-, aber nicht mehr herausmanövriert werden kann.

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Hallard T. Croft, Kenneth J. Falconer, Richard K. Guy: Unsolved Problems in Geometry. Hrsg.: Paul R. Hamos (= Problem Books in Mathematics; Unsolved Problems in Intuitive Mathematics. Band II). Springer-Verlag, 1994, ISBN 0-387-97506-3 (springer.com [abgerufen am 24. April 2013]).
  2. a b Moving Sofa Constant (Memento vom 7. Januar 2008 im Internet Archive) Steven Finch, Mathsoft enthält eine Abbildung von Hammersleys und Gervers Sofa.
  3. Joseph L. Gerver: On Moving a Sofa Around a Corner. In: Geometriae Dedicata. Band 42, Nr. 3, 1992, ISSN 0046-5755, S. 267–283, doi:10.1007/BF02414066.
  4. Eric W. Weisstein: Moving sofa problem. In: MathWorld (englisch).
  5. Neal R. Wagner: The Sofa Problem. In: The American Mathematical Monthly. Band 83, Nr. 3, 1976, S. 188–189, doi:10.2307/2977022, JSTOR:2977022 (utsa.edu [PDF]).
  6. Ian Stewart: Another Fine Math You’ve Got Me Into… Dover Publications, Mineola, N.Y. 2004, ISBN 0-486-43181-9 (doverpublications.com [abgerufen am 24. April 2013]).
  7. Yoav Kallus, Dan Romin: Improved upper bounds in the moving sofa problem. In: Metric Geometry. 21. Juni 2017, arxiv:1706.06630.
  8. Jineon Baek: Optimality of Gerver's Sofa. 29. November 2024, doi:10.48550/arxiv.2411.19826, arxiv:2411.19826 (englisch).
  9. Bob Yirka: Mathematician solves the moving sofa problem. In: Phys.org. 11. Dezember 2024, abgerufen am 12. Dezember 2024 (englisch).