---
title: Moving Sofa Problem
slug: moving-sofa-problem-eaf4d
url: /detay/moving-sofa-problem-eaf4d
type: article
language: English
entity:
  primary: Moving Sofa Problem
  type: article
  disambiguation: Solve the Moving Sofa Problem! Find the largest shape fitting around a 90° corner.  Challenging geometry puzzle.
  categories:
    - name: Math
      slug: matematik
      url: /kategori/matematik
  tags:
    - Robotic Navigation
    - Hallway Corner
    - Geometric Optimization
    - Sofa Problem
    - Leo Moser
author: Sümeyye Akkanat Terzioğlu
created_at: 2025-05-31T19:17:28.261827+03:00
updated_at: 2025-06-04T18:03:44.874926+03:00
image: https://cdn.t3pedia.org/media/uploads/2025/05/31/BsoDM9a6rBpRnMxhHOTLOzqD5NjOgCHm.png
---

# Moving Sofa Problem

<!-- CONTEXT: Article Content for "Moving Sofa Problem" -->

## Article Content

*The Moving Sofa Problem* (in Turkish: *Taşınan Kanepe Problemi*) is a [geometric](/en/detay/geometry-aab1c/llms.txt) optimization problem formulated in two-dimensional Euclidean space. Its exact solution remains unknown to this day. The problem seeks to determine the two-dimensional shape—resembling a sofa—that has the largest possible area and can be maneuvered around a right-angled hallway corner. In this context, the “sofa” refers to any two-dimensional shape that can be both rotated and translated.

The problem was first formulated in 1966 by mathematician Leo Moser. Since then, it has attracted interest from both theoretical mathematicians and researchers working in applied geometry.

### **Mathematical Framework**

The problem is typically stated as follows:

What is the two-dimensional shape with the maximum possible area that can be moved (using translations and [rotations](/en/detay/rotation-matrices-18ab1/llms.txt)) around a 90° corner formed by two hallways of unit width?

The objective is to determine the shape that maximizes area while still being able to pass through the corner. The challenge lies not in the shape’s exact dimensions but in maximizing the area under the constraint of successful passage. The complexity of the problem stems from the large number of feasible shapes and the geometric constraints involving rotation, collision, and boundary conditions.

### **Known Results**

A definitive solution has not yet been found. However, researchers have established various lower and upper bounds:

**Lower Bound:** In 1992, Joseph Gerver proposed a complex shape with an area of approximately 2.2195 square units. Gerver’s shape is composed of 18 parabolic arcs and is currently the largest known valid solution to the [moving sofa problem](/en/detay/tasinan-kanepe-problemi-451b9/llms.txt).

![Image](https://cdn.kureansiklopedi.com/media/uploads/2025/05/28/zSU3qYmueViMAomLNGdM9vgXhPMRjURm.png)
*The Sofa Moving Problem – Gerver’s Proposed Solution Analogy (Generated by Artificial Intelligence)*

**Upper Bound:&#32;**In 2018, Dan Romik and his collaborators established an upper bound for the moving sofa problem using numerical methods. They determined that the maximum area cannot exceed approximately 2.37 square units. This result implies that no valid sofa shape—one that can successfully pass through the corner—can have an area larger than this value.

![Image](https://cdn.kureansiklopedi.com/media/uploads/2025/05/28/kSOaK8d3EVkfPGkJ3k8zvp0xQObz9HWT.png)
*The Sofa Moving Problem – Romik’s Proposed Solution Analogy (Generated by Artificial Intelligence)*

### **Derivative Problems**

A well-known variant of the moving sofa problem is called the “sofa mover’s problem.” In this version, the goal is not only to determine the optimal shape but also to optimize the path the shape takes while moving through the corner. Other more complex versions have also been explored, including cases involving non-right-angled corridors, narrow passages, or multiple turns.

### **Applications and Mathematical Significance**

The moving sofa problem is not confined to theoretical interest alone. It has practical analogies in fields such as robotics, motion planning, navigation in tight spaces, and AI-assisted transport simulations. Moreover, it is notable for combining concepts from various mathematical subfields, including geometry, analysis, and computational optimization, making it a rich subject for interdisciplinary research.

<!-- CONTEXT: Academic Sources and References for "Moving Sofa Problem" -->

## Academic Sources and References

1. Gerver, Joseph L. “On Moving a Sofa Around a Corner.” Geometriae Dedicata 42, no. 2 (1992): 267–283. Accessed May 28, 2025. https://link.springer.com/article/10.1007/BF02414066.Romik, Dan. "Differential Equations and Exact Solutions in the Moving Sofa Problem." American Mathematical Society, 2018. Accessed May 28, 2025. https://www.math.ucdavis.edu/\~romik/data/uploads/papers/sofa.pdf.Kallus, Yoav, and Dan Romik. “Improved Upper Bounds in the Moving Sofa Problem.” Advances in Mathematics 350 (2019): 1120–1152. Accessed May 28, 2025. https://arxiv.org/abs/1706.06630.Hales, Thomas C. “The Honeycomb Conjecture.” Discrete & Computational Geometry 25, no. 1 (2001): 1–22. Accessed May 28, 2025. https://arxiv.org/abs/math/9906042