ルパート王子の立方体のソースを表示

[[File:Prince Ruperts cube.png|thumb|ルパート王子の立方体が通過できるだけの穴を開けた単位立方体。]]
[[幾何学]]における'''ルパート王子の立方体'''（ルパートおうじのりっぽうたい、{{Lang-en-short|Prince Rupert's cube}}、名称は[[ルパート (カンバーランド公)|カンバーランド公ルパート]]に由来）とは、単位[[立方体]]（辺の長さが1の立方体）に貫通した穴を（2つ以上に分裂することなしに）通過できるような最大の立方体である。その1辺の長さは通過する相手である単位立方体より約6%長い。単位立方体に完全に含まれるような最大の正方形を求める問題と密接に関係しており、解も同じである<ref name="rickey"/><ref name="jw04"/><ref name="gardner"/>。

カンバーランド公ルパートが問うた元々の問題は「立方体を、それと'''同じ大きさ'''のもう一つの立方体に貫通させられるか？」であった<ref name=":0" />。

==解==
[[File:Prince_Rupert_cube.svg|thumb|各辺長が付された単位立方体の[[投影図|斜方投影]]。緑色の一点鎖線は穴（青色の破線）を通る単位正方形 （単位立方体の断面）。]]
単位立方体の隣接する2辺上に、共通の頂点からの距離が 3/4 であるようにそれぞれ点をとると、2点間の距離は
: <math>\frac{3\sqrt{2}}{4} \approx 1.0606601</math>
これらの2点および、この2辺を含む面と対になる面上に（立方体の中心について）点対称となるようにとった2点とは、単位立方体に完全に含まれるような正方形の4頂点をなす。この正方形を垂直な両方向に押し出すことで、元の立方体より大きな立方体（1辺が <math>\tfrac{3\sqrt{2}}{4}</math> 以内）が通過できる穴を開けることができる<ref name="gardner"/>。

穴を開けた後の単位立方体は、2個の[[三角柱]]と、2個の不等辺な[[三角錐]]が正方形の4頂点のところで太さのない橋で連結された立体からなる。
どちらの三角柱も、立方体の隣接する2頂点・頂点から 1/4 の距離にある辺上の4点を6頂点とする。どちらの三角錐も、立方体の1頂点・そこから 3/4 の距離にある辺上の2点・3/16 の距離にある第3の辺上の1点を4頂点とする<ref name="wells"/>。
[[File:Prince Rupert's cube.stl|thumb|穴を開けられた単位立方体（3D模型）]]

==歴史==
ルパート王子の立方体の名称はカンバーランド公ルパート（プリンス・ルパート）にちなんでいる。1693年にイギリスの数学者[[ジョン・ウォリス]]により詳述された記録によれば、プリンス・ルパートは立方体に穴を開けて、それと同じ大きさの立方体を通すことができるのだと主張する賭けを行ったという。ウォリスは実際にそのような穴を開けられることを示し（ただしいくつかの誤りが含まれていてずっと後になるまで修正されなかった）、プリンス・ルパートは賭けに勝った<ref name="rickey"/><ref name="jw04"/>。

ウォリスは、穴は立方体の{{仮リンク|体対角線|en|space diagonal}}と平行だと考えた。体対角線に垂直な平面への[[正投影図]]は[[六角形|正六角形]]になり、最良の穴はこの六角形に含まれる最大の正方形を見出すことで求まる。このような正方形の辺長の計算すると、1辺の長さが
:<math>\sqrt 6 -\sqrt 2\approx 1.03527</math>
と僅かに1を上回る立方体を通せることがわかる<ref name="rickey"/>。

およそ100年後、オランダの数学者{{仮リンク|ピーテル・ニーウラント|en|Pieter Nieuwland|nl|Pieter Nieuwland}}は、体対角線方向とは別の角度から穴を開けることでより良い解が得られることを発見した（実は最適解でもあった）。ニーウラントは1794年（[[ライデン大学]]で教授職を得た1年後だった）に亡くなったが、彼の解は指導教師の{{仮リンク|ジャン・ヘンリ・ファン・スウィンデン|en|Jean Henri van Swinden|nl|Jean Henri van Swinden}}により1816年に遺作として公刊された<ref name="rickey">{{citation|url=http://www.math.usma.edu/people/Rickey/papers/ShortCourseAlbuquerque.pdf|title=Dürer’s Magic Square, Cardano’s Rings, Prince Rupert’s Cube, and Other Neat Things|year=2005|first=V. Frederick|last=Rickey}}。. Notes for “Recreational Mathematics: A Short Course in Honor of the 300th Birthday of Benjamin Franklin,” Mathematical Association of America, Albuquerque, NM, August 2-3, 2005.</ref><ref name="jw04">{{citation
 | last1 = Jerrard | first1 = Richard P.
 | last2 = Wetzel | first2 = John E.
 | doi = 10.2307/4145012
 | issue = 1
 | journal = The American Mathematical Monthly
 | mr = 2026310
 | pages = 22–31
 | title = Prince Rupert's rectangles
 | volume = 111
 | year = 2004}}.</ref>。

それ以来、この問題は多くの{{仮リンク|レクリエーション数学|en|recreational mathematics}}の本に繰り返し現れたが、時には最適解ではなくウォリスの非最適解が載っていることもある<ref name="gardner"/><ref name="wells">{{citation|title=The Penguin Dictionary of Curious and Interesting Numbers|first=David|last=Wells|edition=3rd|publisher=Penguin|year=1997|isbn=9780140261493|url=https://books.google.com/books?id=kQRPkTkk_VIC&pg=PA16|page=16}}.</ref><ref>{{citation|title=Recreations in Mathematics and Natural Philosophy: Containing Amusing Dissertations and Enquiries Concerning a Variety of Subjects the Most Remarkable and Proper to Excite Curiosity and Attention to the Whole Range of the Mathematical and Philosophical Sciences|first=Jacques|last=Ozanam|authorlink=Jacques Ozanam|editor1-first=Jean Étienne|editor1-last=Montucla|editor1-link=Jean-Étienne Montucla|editor2-first=Charles|editor2-last=Hutton|editor2-link=Charles Hutton|publisher=G. Kearsley|year=1803|pages=315–316|url=https://books.google.com/books?id=s_IJAAAAMAAJ&pg=PA315}}.</ref><ref>{{citation|title=Modern puzzles and how to solve them|first=Henry Ernest|last=Dudeney|authorlink=Henry Dudeney|year=1936|page=149}}</ref><ref>{{citation
 | last = Ogilvy | first = C. Stanley | authorlink = C. Stanley Ogilvy
 | pages = 54–55
 | publisher = Oxford University Press
 | title = Through the Mathescope
 | year = 1956}}. Reprinted as {{citation
 | last = Ogilvy | first = C. Stanley
 | isbn = 0-486-28283-X
 | location = New York
 | mr = 1313725
 | publisher = Dover Publications Inc.
 | title = Excursions in mathematics
 | url = https://books.google.com/books?id=WLcTi34V1ecC&pg=PA54
 | year = 1994}}.</ref><ref>{{citation
 | last = Ehrenfeucht | first = Aniela
 | location = New York
 | mr = 0170242
 | page = 77
 | publisher = The Macmillan Co.
 | title = The cube made interesting
 | year = 1964}}.  Translated from the Polish by Waclaw Zawadowski.</ref><ref>{{citation|title=[[Flatterland|Flatterland: Like Flatland Only More So]]|first=Ian|last=Stewart|authorlink=Ian Stewart (mathematician)|publisher=Macmillan|year=2001|isbn=9780333783122|pages=49–50}}.</ref><ref>{{citation|title=The Universal Book of Mathematics: From Abracadabra to Zeno's Paradoxes|first=David|last=Darling|publisher=John Wiley & Sons|year=2004|isbn=9780471667001|url=https://books.google.com/books?id=HrOxRdtYYaMC&pg=PA255|page=255}}.</ref><ref name=":0">{{citation|title=The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics|first=Clifford A.|last=Pickover|authorlink=Clifford Pickover|publisher=Sterling Publishing Company, Inc.|year=2009|isbn=9781402757969|url=https://books.google.com/books?id=JrslMKTgSZwC&pg=PA214|page=214}}.</ref>。

==一般化==
自分自身のコピーを通り抜けさせることのできる正多面体は立方体だけではない。[[正四面体]]と[[正八面体]]でも同じことができる<ref>{{citation
 | last = Scriba | first = Christoph J.
 | issue = 9
 | journal = Praxis der Mathematik
 | language = German
 | mr = 0497615
 | pages = 241–246
 | title = Das Problem des Prinzen Ruprecht von der Pfalz
 | volume = 10
 | year = 1968}}.</ref>。

この問題を別の言い方で表現すれば、単位立方体に含まれるような最大の正方形を求めよという問いになる。より一般的に、{{harvtxt|Jerrard|Wetzel|2004}}は与えられた[[アスペクト比]]を持ち、単位立方体に含まれるような最大の[[長方形]]を求める方法を示した。彼らが示すように、最適な長方形は常に立方体の中心を通り、頂点は立方体の辺上になければならない。これに基づき彼らは、実現したいアスペクト比に依存して、最適な長方形は立方体の4頂点を通って面を対角線で切ってできる平面上に乗っているか、もしくはルパート王子の立方体と同じように、立方体の1頂点にできる直角二等辺三角形および（立方体の中心についての）点対称の位置にできるもう一方の直角二等辺三角形の各斜辺を対辺とするものでなければならないことを示した<ref name="jw04"/>。アスペクト比に制約がない場合、立方体に収まる最大面積の長方形は、立方体の最も遠い2辺・立方体の2面の対角線をあわせて4辺とする長方形となる<ref>{{citation|title=Calculus Made Easy|first1=Silvanus P.|last1=Thompson|first2=Martin|last2=Gardner|author2-link=Martin Gardner|edition=3rd|publisher=Macmillan|year=1998|isbn=9780312185480|url=https://books.google.com/books?id=BBIFtid-WdUC&pg=PA315|page=315}}</ref>。

一方で、<math>n</math>-次元[[超立方体|超単位立方体]]の中に納まるような最大の <math>m</math>-次元超立方体の辺長を問うこともできる。解は常に[[代数的数]]になる。例えば <math>(m,n)=(3,4)</math> のとき、問題は4次元超立方体に含まれる最大の立方体を求めるものとなる。[[マーティン・ガードナー]]が『[[サイエンティフィック・アメリカン]]』上でこの問題を提案した後、Kay R. Pechenick DeVicci や他の何人かの読者が、(3,4) の場合の解は[[多項式]] <math>4x^4-28x^3-7x^2+16x+16</math> の2つの実数根のうち小さい方の正の[[平方根]]であることを証明した。これを算出すると約1.007435になる<ref name="gardner">{{citation|title=The Colossal Book of Mathematics: Classic Puzzles, Paradoxes, and Problems : Number Theory, Algebra, Geometry, Probability, Topology, Game Theory, Infinity, and Other Topics of Recreational Mathematics|first=Martin|last=Gardner|authorlink=Martin Gardner|publisher=W. W. Norton & Company|year=2001|isbn=9780393020236|pages=172–173|url=https://books.google.com/books?id=orz0SDEakpYC&pg=PA172}}.</ref><ref>{{citation
 | last1 = Guy | first1 = Richard K. | author1-link = Richard K. Guy
 | last2 = Nowakowski | first2 = Richard J.
 | doi = 10.2307/2974481
 | issue = 10
 | journal = [[The American Mathematical Monthly]]
 | mr = 1543116
 | pages = 967–973
 | title = Unsolved Problems: Monthly Unsolved Problems, 1969-1997
 | volume = 104
 | year = 1997}}.</ref>。<math>m=2</math> に対しては、<math>n</math>-次元超立方体に含まれる最大の正方形の1辺は <math>n</math> が偶数であれば <math>\sqrt{n/2}</math> 、奇数であれば <math>\sqrt{n/2-3/8}</math> である<ref>{{mathworld | urlname = CubeSquareInscribing | title = Cube Square Inscribing}}</ref>。

==脚注==
{{脚注ヘルプ}}
{{Reflist}}

==外部リンク==
*{{mathworld | urlname = PrinceRupertsCube | title = Prince Rupert's Cube}}

{{DEFAULTSORT:るはあとおうしのりつほうたい}}
[[Category:数学パズル]]
[[Category:多面体]]
[[Category:数学に関する記事]]
[[Category:ルパート・オブ・ザ・ライン]]