Problema del sofá
# Problema del sofá

El problema del sofá, formulado por el matemático austriaco-canadiense Leo Moser en 1966, es una representación bidimensional de la dificultad en la vida real para desplazar mobiliario. Requiere calcular la forma bidimensional rígida con piernas de ancho unitario de mayor área A que se pueda desplazar a través de una zona plana en forma de L. El área A obtenida se conoce como la constante del sofá. El valor exacto de la constante del sofá es un problema abierto.

## Límites inferior y superior

Se ha trabajado en demostrar que la constante del sofá no puede ser menor o mayor que determinados valores (límites inferior y superior). Un límite inferior es $\scriptstyle A\,\geq \,\pi /2\,\approx \,1.57079$, que resulta de un sofá en forma de semicírculo de radio unitario, el cual puede girar en la esquina.

John Hammersley derivó un límite inferior de $\scriptstyle A\,\geq \,\pi /2+2/\pi \,\approx \,2.2074$ basado en un sofá en forma de teléfono fijo que consta de dos cuartos de círculo de radio unitario en ambos lados de un rectángulo de 1 por 4/π del cual se ha sacado un semicírculo de radio $\scriptstyle 2/\pi \,$.

En 1992, Joseph Gerver encontró un sofá compuesto por 18 secciones curvas que aumenta aún más el límite inferior para la constante del sofá de aproximadamente $\scriptstyle 2.2195$.

John Hammersley también encontró un límite superior para la constante del sofá, demostrando que es como máximo $\scriptstyle 2{\sqrt {2}}\,\approx \,2.8284$.

