ソファ問題

面積 テンプレート:Math の受話器の形をしたソファ。これは最大ではない。

ソファ問題（ソファもんだい）は数学の問題のひとつ。1966年にテンプレート:仮リンクによって問題が提示された。この問題は「L字型の通路を通り抜けることができる、ソファの面積の最大値 A を求めよ」という離散幾何学、数学パズルの問題である。

A の下界と上界

下界

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

1968年にテンプレート:仮リンクはより優れたAの下界の一つを発見した。$1\times \frac{4}{\pi }$ の長方形の両脇に半径1の四分円を接合させた図形から、直径 $\frac{4}{\pi }$ の半円をくりぬいた受話器型のソファで、$A\ge \frac{\pi }{2}+\frac{2}{\pi }\approx 2.207416$（テンプレート:OEIS）となる。

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

1992年にラトガース大学のジョセフ・ガーバー (Joseph L. Gerver) テンプレート:Efnによって、18の線（3の直線と15の曲線）からなる図形により、さらに優れたAの下界の一つ 2.21953166887...（テンプレート:OEIS）が示された。

上界

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

2017年6月に Yoav Kallus とテンプレート:仮リンクは新しい上界として、2.37を証明している。

両手利きのソファ

ロミックの両手利きのソファ

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

$\sqrt[3]{3+2\sqrt{2}}+\sqrt[3]{3-2\sqrt{2}}-1+{\tan }^{-1}\left\{\frac{1}{2}(\sqrt[3]{\sqrt{2}+1}-\sqrt[3]{\sqrt{2}-1})\right\}\approx 1.644955218$

（テンプレート:OEIS）という下界を示した。

解決

2024年11月29日、韓国・延世大学校の博士研究員であるペク・ジノン（백진언; 白眞言）によって、ソファ問題を解決したとする論文が arXiv に投稿された。本論文によれば、ガーバーによる例が実際に最大値を与えるとされている。

外部リンク

• テンプレート:Cite web
• テンプレート:MathWorld