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

編集の要約なし
m (robot Adding: zh:完美正方形)
編集の要約なし
[[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:SQSQ21Squaring_the_square.gifsvg|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]
 
[[面積]]から見た検算
:2<supmath>2</sup>^2+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</supmath>
 
==立方体を立方体に分割すること==
任意の[[立方体]]を全て異なる大きさの立方体で分けることは不可能で、これは比較的簡単に説明することが出来る。
 
まず、ある立方体の底面に上記のようなルジンの問題の解を描き、それぞれの正方形の大きさで立方体を作る。この中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には[[角柱|正方角柱]]状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。また、くぼみの底と等しい大きさの立方体を使うことも出来ない。このくぼみより小さい立方体を使うことが考えられるが、くぼみの底には全て異なる大きさの立方体を使わなければならず、この問題が無限に繰り返されることとなる。
 
したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。
 
==関連項目==
* [[平面充填形]]
 
==外部リンク==
*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:幾何学|るしんのもんたい]]
230

回編集