「ルジンの問題」の版間の差分

履歴の双方向閲覧

← 古い編集新しい編集 →

削除された内容追加された内容

ビジュアルウィキテキスト

インライン

2007年11月22日 (木) 14:09時点における版

ルジンの問題（ルジンのもんだい）とは、正方形に関してルジンが考えた問題である。

「任意の正方形を、全て異なる大きさの正方形に分割できるか」という問題であり、ルジンはこの問題の解は存在しないと予想したが、その後幾つかの例が発見された。

最小の解

現在の最小の解は21個で、A.J.W.Duijvestijnがコンピュータを使って発見した。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]

面積から見た検算

2^{2}+4^{2}+6^{2}+7^{2}+8^{2}+9^{2}+11^{2}+15^{2}+16^{2}+17^{2}+18^{2}+19^{2}+24^{2}+25^{2}+27^{2}+29^{2}+33^{2}+35^{2}+37^{2}+42^{2}+50^{2}=12544=112^{2}

立方体を立方体に分割すること

任意の立方体を全て異なる大きさの立方体で分けることは不可能で、これは比較的簡単に説明することが出来る。

まず、ある立方体の底面に上記のようなルジンの問題の解を描き、それぞれの正方形の大きさで立方体を作る。この中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には正方角柱状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。また、くぼみの底と等しい大きさの立方体を使うことも出来ない。このくぼみより小さい立方体を使うことが考えられるが、くぼみの底には全て異なる大きさの立方体を使わなければならず、この問題が無限に繰り返されることとなる。

したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。

外部リンク

Perfect squared squares:
Nowhere-neat squared squares:
- http://karl.kiwi.gen.nz/prosqtre.html
- http://karl.kiwi.gen.nz/prosqtsq.html

@@ 1行目: / 1行目: @@
-[[image:SQSQ21.gif|right|thumb|21個の正方形に分割]]
 '''ルジンの問題'''（ルジンのもんだい）とは、[[正方形]]に関して[[ルジン]]が考えた問題である。
 「任意の正方形を、全て異なる大きさの正方形に分割できるか」という問題であり、ルジンはこの問題の解は存在しないと予想したが、その後幾つかの例が発見された。
+==最小の解==
-現在の最小の解は21個で、1辺[[112]]の正方形を、一辺の長さがそれぞれ2,4,6,7,8,9,11,15,16,17,18,19,24,25,27,29,33,35,37,42,50の計21枚の正方形で、隙間なく埋めつくすことが出来る。
+[[image:Squaring_the_square.svg|right|thumb|21個の正方形に分割]]
+現在の最小の解は21個で、A.J.W.Duijvestijnがコンピュータを使って発見した。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]。
+:[50, 35, 27], [8, 19], [15, 17, 11], [6, 24], [29, 25, 9, 2], [7, 18], [16], [42], [4, 37], [33]
 [[面積]]から見た検算
-:2<sup>2</sup>+4<sup>2</sup>+6<sup>2</sup>+7<sup>2</sup>+8<sup>2</sup>+9<sup>2</sup>+11<sup>2</sup>+15<sup>2</sup>+16<sup>2</sup>+17<sup>2</sup>+18<sup>2</sup>+19<sup>2</sup>+24<sup>2</sup>+25<sup>2</sup>+27<sup>2</sup>+29<sup>2</sup>+33<sup>2</sup>+35<sup>2</sup>+37<sup>2</sup>+42<sup>2</sup>+50<sup>2</sup> = 12544 = 112<sup>2</sup>
+:<math>2^2+4^2+6^2+7^2+8^2+9^2+11^2+15^2+16^2+17^2+18^2+19^2+24^2+25^2+27^2+29^2+33^2+35^2+37^2+42^2+50^2 = 12544 = 112^2</math>
+==立方体を立方体に分割すること==
+任意の[[立方体]]を全て異なる大きさの立方体で分けることは不可能で、これは比較的簡単に説明することが出来る。
+まず、ある立方体の底面に上記のようなルジンの問題の解を描き、それぞれの正方形の大きさで立方体を作る。この中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には[[角柱|正方角柱]]状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。また、くぼみの底と等しい大きさの立方体を使うことも出来ない。このくぼみより小さい立方体を使うことが考えられるが、くぼみの底には全て異なる大きさの立方体を使わなければならず、この問題が無限に繰り返されることとなる。
+したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。
 ==関連項目==
 * [[平面充填形]]
+==外部リンク==
+*Perfect squared squares:
+**http://www.squaring.net
+**http://www.maa.org/editorial/mathgames/mathgames_12_01_03.html
+**http://www.math.uwaterloo.ca/navigation/ideas/articles/honsberger2/index.shtml
+**http://www.math.niu.edu/~rusin/known-math/98/square_dissect
+**http://www.stat.ualberta.ca/people/schmu/preprints/sq.pdf
+*Nowhere-neat squared squares:
+**http://karl.kiwi.gen.nz/prosqtre.html
+**http://karl.kiwi.gen.nz/prosqtsq.html
 [[Category:幾何学|るしんのもんたい]]