Loading AI tools
直角の角を通れる最大面積のソファについての問題 ウィキペディアから
ソファ問題(ソファもんだい)は数学の未解決問題のひとつ。1966年にレオ・モーザーによって問題が提示された。この問題は「L字型の通路を通り抜けることができる、ソファの面積の最大値 A を求めよ」という離散幾何学、数学パズルの問題である。これは、数学上の未解決問題となっている。
L字型の通路をとおすことができる、ソファの面積の最大値は? |
通路の幅が1であるとき、半径1の半円はL字型の通路を通すことができるので、Aの下界の一つとして が容易に得られる。
ジョン・ハマーズレイはより優れたAの下界の一つを発見した。の長方形の両脇に半径1の四分円を接合させた図形から、直径 の半円をくりぬいた受話器型のソファで、 となる[1][2]。
1992年にジョセフ・ジャーバー(Joseph Gerver)によって、18の線(3の直線と15の曲線)からなる図形により、さらに優れたAの下界の一つ 2.219531669... が示された[3][4]。
一方、A の上界については、ハマーズレイによる簡単な議論によって高々 であることが示されていた[5][6]。
2017年6月にYoav KallusとDan Romikは新しい上界として、2.37を証明している[7]。
この問題の変種の一つとして、単位幅の通路の途中にある直角の右折と左折の両方を通過できるようなソファの面積の最大値を求める問題がある(つまり、途中にまず右折があり、その後十分な距離をおいて左折があるような一本道を考えている)。Dan Romikは18の曲線からなる図形によって、約1.64495521という下界を示した[8]。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.