「ルジンの問題」の版間の差分
削除された内容 追加された内容
編集の要約なし |
m →立方体を立方体に分割すること: lk |
||
16行目: | 16行目: | ||
任意の[[立方体]]を全て異なる大きさの立方体で分けることは不可能で、これは比較的簡単に説明することが出来る。 |
任意の[[立方体]]を全て異なる大きさの立方体で分けることは不可能で、これは比較的簡単に説明することが出来る。 |
||
まず、ある立方体の底面に上記のようなルジンの問題の解を描き、それぞれの正方形の大きさで立方体を作る。この中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には[[角柱|正方角柱]]状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。また、くぼみの底と等しい大きさの立方体を使うことも出来ない。このくぼみより小さい立方体を使うことが考えられるが、くぼみの底には全て異なる大きさの立方体を使わなければならず、この問題が無限に繰り返されることとなる。 |
まず、ある立方体の底面に上記のようなルジンの問題の解を描き、それぞれの正方形の大きさで立方体を作る。この中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には[[角柱|正方角柱]]状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。また、くぼみの底と等しい大きさの立方体を使うことも出来ない。このくぼみより小さい立方体を使うことが考えられるが、くぼみの底には全て異なる大きさの立方体を使わなければならず、[[無限降下法|この問題が無限に繰り返される]]こととなる。 |
||
したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。 |
したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。 |
2015年3月25日 (水) 13:14時点における版
ルジンの問題(Luzin - のもんだい)とは、正方形に関してニコライ・ルジン (Nikolai Luzin) が考えた問題である。
「任意の正方形を、2個以上の全て異なる大きさの正方形に分割できるか」という問題であり、ルジンはこの問題の解は存在しないと予想したが、その後幾つかの例が発見された。
最小の解
最小の解は21個で、A.J.W.Duijvestijnがコンピュータを使って発見し、それが最小の解であることを証明した[1]。1辺112の正方形を、一辺の長さがそれぞれ2,4,6,7,8,9,11,15,16,17,18,19,24,25,27,29,33,35,37,42,50の計21枚の正方形で、隙間なく埋めつくすことが出来る。
正方形を上辺から順番に敷き詰めて置く様子を加味して下記のように書き表すことができる。
- [50, 35, 27], [8, 19], [15, 17, 11], [6, 24], [29, 25, 9, 2], [7, 18], [16], [42], [4, 37], [33]
面積から見た検算
立方体を立方体に分割すること
任意の立方体を全て異なる大きさの立方体で分けることは不可能で、これは比較的簡単に説明することが出来る。
まず、ある立方体の底面に上記のようなルジンの問題の解を描き、それぞれの正方形の大きさで立方体を作る。この中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には正方角柱状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。また、くぼみの底と等しい大きさの立方体を使うことも出来ない。このくぼみより小さい立方体を使うことが考えられるが、くぼみの底には全て異なる大きさの立方体を使わなければならず、この問題が無限に繰り返されることとなる。
したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。
参考文献
- A. J. W. Duijvestijn, "A Lowest Order Simple Perfect 2×1 Squared Rectangle."J. Combin. Th. Ser. B 26, pp. 372-374, 1979. doi:10.1006/jctb.1993.1051
- A. J. W. Duijvestijn, "SIMPLE PERFECT SQUARED SQUARES AND 2 x 1 SQUARED RECTANGLES OF ORDER 25" Math. Comp. 62 , pp. 325-332,1994
関連項目
外部リンク
- Perfect squared squares:
- Nowhere-neat squared squares:
脚注
- ^ A. J. W. Duijvestijn, "A Simple Perfect Square of Lowest Order." J. Combin. Th. Ser. B 25, pp.240-243, 1978. doi:10.1016/0095-8956(78)90041-2