「ルジンの問題」の版間の差分
タグ: モバイル編集 モバイルアプリ編集 |
m編集の要約なし |
||
5行目: | 5行目: | ||
==最小の解== |
==最小の解== |
||
[[image:Squaring_the_square.svg|right|thumb|21個の正方形に分割]] |
[[image:Squaring_the_square.svg|right|thumb|21個の正方形に分割]] |
||
最小の解は21個で、A.J.W.Duijvestijnがコンピュータを使って発見し、それが最小の解であることを証明した<ref>A. J. W. Duijvestijn, |
最小の解は21個で、A. J. W. Duijvestijn がコンピュータを使って発見し、それが最小の解であることを証明した<ref>A. J. W. Duijvestijn, [http://doc.utwente.nl/68433/1/Duijvestijn78simple.pdf "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}}</ref>。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>. |
|||
==立方体を立方体に分割すること== |
==立方体を立方体に分割すること== |
||
任意の[[立方体]]を全て異なる大きさの立方体で分けることは不可能で、これは背理法を用いる事で比較的簡単に説明することが出来る。 |
任意の[[立方体]]を全て異なる大きさの立方体で分けることは不可能で、これは背理法を用いる事で比較的簡単に説明することが出来る。 |
||
⚫ | 仮に[[立方体]]Aを全て異なる大きさの立方体で分けたとする。するとAの底面はこれらの立方体の底面により、分割されることとなる。Aの底面を分割している立方体の中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には[[角柱|正方角柱]]状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。また、くぼみの底と等しい大きさの立方体を使うことも出来ない。このくぼみより小さい立方体を使うことが考えられるが、くぼみの底には全て異なる大きさの立方体を使わなければならず、この問題が無限に繰り返される<!--★これは無限降下法ではない。ノート参照-->こととなり、立方体の数の有限性に矛盾。したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。 |
||
仮に[[立方体]]Aを全て異なる大きさの立方体で分けたとする。するとAの底面はこれらの立方体の底面により、分割されることとなる。 |
|||
⚫ | |||
Aの底面を分割している立方体の中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には[[角柱|正方角柱]]状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。 |
|||
{{reflist}} |
|||
⚫ | |||
したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。 |
|||
==参考文献== |
==参考文献== |
||
* A. J. W. Duijvestijn, [http://doc.utwente.nl/17948/1/Duijvestijn93simple.pdf "A Lowest Order Simple Perfect 2×1 Squared Rectangle."]''J. Combin. Th. Ser. B'' '''26''', pp. |
* A. J. W. Duijvestijn, [http://doc.utwente.nl/17948/1/Duijvestijn93simple.pdf "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, [http://www.ams.org/journals/mcom/1994-62-205/S0025-5718-1994-1208220-9/S0025-5718-1994-1208220-9.pdf "SIMPLE PERFECT SQUARED SQUARES AND 2 x 1 SQUARED RECTANGLES OF ORDER 25"] ''Math. Comp.'' '''62 ''', pp. |
* A. J. W. Duijvestijn, [http://www.ams.org/journals/mcom/1994-62-205/S0025-5718-1994-1208220-9/S0025-5718-1994-1208220-9.pdf "SIMPLE PERFECT SQUARED SQUARES AND 2 x 1 SQUARED RECTANGLES OF ORDER 25"] ''Math. Comp.'' '''62 ''', pp. 325–332, 1994 |
||
==関連項目== |
==関連項目== |
||
40行目: | 38行目: | ||
**http://karlscherer.com/prosqtre.html |
**http://karlscherer.com/prosqtre.html |
||
**http://karlscherer.com/prosqtsq.html |
**http://karlscherer.com/prosqtsq.html |
||
⚫ | |||
<div class="references-small"><references /></div> |
|||
{{DEFAULTSORT:るしんのもんたい}} |
{{DEFAULTSORT:るしんのもんたい}} |
2016年1月7日 (木) 06:52時点における版
ルジンの問題(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].
面積から見た検算:
- 22 + 42 + 62 + 72 + 82 + 92 + 112 + 152 + 162 + 172 + 182 + 192 + 242 + 252 + 272 + 292 + 332 + 352 + 372 + 422 + 502
- = 12544 = 1122.
立方体を立方体に分割すること
任意の立方体を全て異なる大きさの立方体で分けることは不可能で、これは背理法を用いる事で比較的簡単に説明することが出来る。
仮に立方体Aを全て異なる大きさの立方体で分けたとする。するとAの底面はこれらの立方体の底面により、分割されることとなる。Aの底面を分割している立方体の中で最も小さい立方体は、隣接しているどの立方体よりも高さが低いので、その上には正方角柱状のくぼみが出来る。そのくぼみには、くぼみより大きい立方体を入れることは出来ない。また、くぼみの底と等しい大きさの立方体を使うことも出来ない。このくぼみより小さい立方体を使うことが考えられるが、くぼみの底には全て異なる大きさの立方体を使わなければならず、この問題が無限に繰り返されることとなり、立方体の数の有限性に矛盾。したがって、立方体を有限個の異なった大きさの立方体として分割することはできない。
脚注
- ^ 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
参考文献
- 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: