ソファ問題

数学上の未解決問題

L字型の通路をとおすことができる、ソファの面積の最大値は?

面積 π/2 + 2/π = 2.2074... の受話器の形をしたソファ。これは最大ではない。

ソファ問題（ソファもんだい）は数学の未解決問題のひとつ。1966年にレオ・モーザーによって問題が提示された。この問題は「L字型の通路を通り抜けることができる、ソファの面積の最大値 A を求めよ」という離散幾何学、数学パズルの問題である。これは、数学上の未解決問題となっている。

A の下界と上界

下界

通路の幅が1であるとき、半径1の半円はL字型の通路を通すことができるので、Aの下界の一つとして $A\geq {\frac {\pi }{2}}\approx 1.5707$ が容易に得られる。

ジョン・ハマーズレイはより優れたAの下界の一つを発見した。$1\times {\frac {4}{\pi }}$の長方形の両脇に半径1の四分円を接合させた図形から、直径 ${\frac {4}{\pi }}$ の半円をくりぬいた受話器型のソファで、$A\geq {\frac {\pi }{2}}+{\frac {2}{\pi }}\approx 2.2074$ となる。

18の線からなるジャーバーのソファー

1992年にジョセフ・ジャーバー（Joseph Gerver）によって、18の線（3の直線と15の曲線）からなる図形により、さらに優れたAの下界の一つ 2.219531669... が示された。

上界

一方、A の上界については、ハマーズレイによる簡単な議論によって高々 $2{\sqrt {2}}\approx 2.8284$ であることが示されていた。

2017年6月にYoav KallusとDan Romikは新しい上界として、2.37を証明している。

両手利きのソファ

Romikの両手利きのソファ

この問題の変種の一つとして、単位幅の通路の途中にある直角の右折と左折の両方を通過できるようなソファの面積の最大値を求める問題がある（つまり、途中にまず右折があり、その後十分な距離をおいて左折があるような一本道を考えている）。Dan Romikは18の曲線からなる図形によって、約1.64495521という下界を示した。

外部リンク

• “The moving sofa problem - Dan Romik's home page”. UCDavis. 26 March 2017閲覧。