View source for Prince Rupert's cube

{{good article}}
{{Short description|Cube that fits through hole in smaller cube}}
[[File:Prince Ruperts cube.png|thumb|A unit cube with a hole cut through it, large enough to allow Prince Rupert's cube to pass]]
In [[geometry]], '''Prince Rupert's cube''' is the largest [[cube]] that can pass through a hole cut through a unit [[cube]] without splitting it into separate pieces. Its side length is approximately 1.06, 6% larger than the side length 1 of the unit cube through which it passes. The problem of finding the largest square that lies entirely within a unit cube is closely related, and has the same solution.

Prince Rupert's cube is named after [[Prince Rupert of the Rhine]], who asked whether a cube could be passed through a hole made in another cube ''of the same size'' without splitting the cube into two pieces. A positive answer was given by [[John Wallis]]. Approximately 100 years later, [[Pieter Nieuwland]] found the largest possible cube that can pass through a hole in a unit cube.

Many other [[convex polyhedron|convex polyhedra]], including all five [[Platonic solid]]s, have been shown to have the ''Rupert property'': a copy of the polyhedron, of the same or larger shape, can be passed through a hole in the polyhedron. It is unknown whether this is true for all convex polyhedra.

==Solution==
[[File:Prince_Rupert_cube.svg|thumb|A trimetric projection of a cube with unit side length with selected dimensions labelled &ndash; the green dash-dot line shows a unit square (cross-section of a unit cube) in the hole (blue dashed line)]]
Place two points on two adjacent edges of a unit cube, each at a distance of 3/4 from the point where the two edges meet, and two more points symmetrically on the opposite face of the cube. Then these four points form a square with side length
<math display=block>\frac{3\sqrt{2}}{4} \approx 1.0606601.</math>
One way to see this is to first observe that these four points form a rectangle, by the symmetries of their construction. The lengths of all four sides of this rectangle equal <math display=inline>(3\sqrt{2})/4</math>, by the [[Pythagorean theorem]] or (equivalently) the formula for [[Euclidean distance]] in three dimensions. For instance, the first two points, together with the third point where their two edges meet, form an [[isosceles right triangle]] with legs of length <math>3/4</math>, and the distance between the first two points is the hypotenuse of the triangle. As a rectangle with four equal sides, the shape formed by these four points is a square. Extruding the square in both directions perpendicularly to itself forms the hole through which a cube larger than the original one, up to side length <math display=inline>(3\sqrt{2})/4</math>, may pass.{{r|gardner}}

The parts of the unit cube that remain, after emptying this hole, form two [[triangular prism]]s and two irregular [[tetrahedron|tetrahedra]], connected by thin bridges at the four vertices of the square.
Each prism has as its six vertices two adjacent vertices of the cube, and four points along the edges of the cube at distance 1/4 from these cube vertices. Each tetrahedron has as its four vertices one vertex of the cube, two points at distance 3/4 from it on two of the adjacent edges, and one point at distance 3/16 from the cube vertex along the third adjacent edge.{{r|wells}}
[[File:Prince Rupert's cube.stl|thumb|A unit cube with a hole cut through it (3D model)]]

==History==
Prince Rupert's cube is named after [[Prince Rupert of the Rhine]]. According to a story recounted in 1693 by English mathematician [[John Wallis]], Prince Rupert wagered that a hole could be cut through a cube, large enough to let another cube of the same size pass through it. Wallis showed that in fact such a hole was possible (with some errors that were not corrected until much later), and Prince Rupert won his wager.{{r|rickey|jw04}}

Wallis assumed that the hole would be parallel to a [[space diagonal]] of the cube. The [[Orthographic projection|projection]] of the cube onto a plane perpendicular to this diagonal is a [[regular hexagon]], and the best hole parallel to the diagonal can be found by drawing the largest possible square that can be inscribed into this hexagon. Calculating the size of this square shows that a cube with side length
:<math>\sqrt 6 -\sqrt 2\approx 1.03527</math>,
slightly larger than one, is capable of passing through the hole.{{r|rickey}}

Approximately 100 years later, Dutch mathematician [[Pieter Nieuwland]] found that a better solution may be achieved by using a hole with a different angle than the space diagonal. In fact, Nieuwland's solution is optimal. Nieuwland died in 1794, a year after taking a position as a professor at the [[University of Leiden]], and his solution was published posthumously in 1816 by Nieuwland's mentor, [[Jean Henri van Swinden]].{{r|rickey|jw04|swinden}}

Since then, the problem has been repeated in many books on [[recreational mathematics]], in some cases with Wallis' suboptimal solution instead of the optimal solution.{{r|gardner|wells|ozanam|dudeney|ogilvy|ehrenfeucht|flatterland|universal|milestones}}

==Models==
[[File:3D-printed Prince Rupert Cube.jpg|alt=3D-printed Prince Rubert's Cube|thumb|3D-printed Prince Rupert's Cube with 1:1 ratio of inner cube to outer cube.]]
The construction of a physical model of Prince Rupert's cube is made challenging by the accuracy with which such a model needs to be measured, and the thinness of the connections between the remaining parts of the unit cube after the hole is cut through it. For the maximally sized inner cube with length ≈1.06 relative to the length 1 outer cube, constructing a model is "mathematically possible but practically impossible".{{r|montana}} On the other hand, using the orientation of the maximal cube but making a smaller hole, big enough only for a unit cube, leaves additional thickness that allows for structural integrity.{{r|parker}}

For the example using two cubes of the same size, as originally proposed by Prince Rupert, model construction is possible. In a 1950 survey of the problem, D. J. E. Schrek published photographs of a model of a cube passing through a hole in another cube.{{r|schrek}} Martin Raynsford has designed a template for constructing paper models of a cube with another cube passing through it; however, to account for the tolerances of paper construction and not tear the paper at the narrow joints between parts of the punctured cube, the hole in Raynsford's model only lets cubes through that are slightly smaller than the outer cube.{{r|hart}}

Since the advent of [[3D printing]], construction of a Prince Rupert cube of the full 1:1 ratio has become easy.{{r|shapeways}}

==Generalizations==
{{Unsolved|mathematics|Do all [[convex polyhedra]] have the Rupert property?}}
{{anchor|1=Rupert property}}A polyhedron <math>P</math> is said to have the ''Rupert property'' if a polyhedron of the same or larger size and the same shape as <math>P</math> can pass through a hole {{nowrap|in <math>P</math>.{{r|AllFive}}}} All five [[Platonic solid]]s—the cube, regular [[tetrahedron]], regular [[octahedron]],{{r|scriba}} regular [[dodecahedron]], and regular [[icosahedron]]—have the Rupert property. Of the 13 [[Archimedean solid]]s, it is known that at least these ten have the Rupert property: the [[cuboctahedron]], [[truncated octahedron]], [[truncated cube]], [[rhombicuboctahedron]], [[icosidodecahedron]], [[truncated cuboctahedron]], [[truncated icosahedron]], [[truncated dodecahedron]],{{r|cyz}} and the [[truncated tetrahedron]]{{r|hoffmann|lavau}}, as well as the [[truncated icosidodecahedron]]{{r|styu1|styu2}}. It has been conjectured that all 3-dimensional convex polyhedra have this property{{r|AllFive}}, but also, to the contrary, that the [[rhombicosidodecahedron]] does not have Rupert's property{{r|styu1|styu2}}.

Cubes and all rectangular solids have Rupert passages in every direction that is not parallel to any of their faces.{{r|bghj}} 

Another way to express the same problem is to ask for the largest [[square]] that lies within a unit cube. More generally, {{harvtxt|Jerrard|Wetzel|2004}} show how to find the largest [[rectangle]] of a given [[aspect ratio]] that lies within a unit cube. As they observe, the optimal rectangle must always be centered at the center of the cube, with its vertices on edges of the cube. Depending on its [[aspect ratio]], the ratio between its long and short sides, there are two cases for how it can be placed within the cube. For an aspect ratio of <math>\sqrt2</math> or more, the optimal rectangle lies within the rectangle connecting two opposite edges of the cube, which has aspect ratio exactly <math>\sqrt2</math>. For aspect ratios closer to 1 (including aspect ratio 1 for the square of Prince Rupert's cube), two of the four vertices of an optimal rectangle are equidistant from a vertex of the cube, along two of the three edges touching that vertex. The other two rectangle vertices are the reflections of the first two across the center of the cube.{{r|jw04}} If the aspect ratio is not constrained, the rectangle with the largest area that fits within a cube is the one of aspect ratio <math>\sqrt2</math> that has two opposite edges of the cube as two of its sides, and two face diagonals as the other two sides.{{r|calceasy}}

Eleven of the 13 [[Catalan solid|Catalan solids]] and 87 of the 92 [[Johnson solid|Johnson solids]] (all but J72, J73, J74, J75, J77) are known to have the Rupert property. (The Catalan solids for which the Rupert property are not known are the [[deltoidal hexecontahedron]] and [[pentagonal hexecontahedron]].)<ref name=fred>{{citation
 | last = Fredriksson | first = Albin
 | title = Optimizing for the Rupert property
 | journal = [[The American Mathematical Monthly]]
 | pages = 255–261
 | volume = 131
 | issue = 3
 | year = 2024
 | doi = 10.1080/00029890.2023.2285200
 | arxiv = 2210.00601
 }}</ref>

For all <math>n\geq 2</math>, the {{nowrap|<math>n</math>-dimensional}} hypercube also has the Rupert property.{{r|hsw}} Moreover, one may ask for the largest <math>m</math>-dimensional hypercube that may be drawn within an <math>n</math>-dimensional unit [[hypercube]]. The answer is always an [[algebraic number]]. For instance, the problem for <math>(m,n)=(3,4)</math> asks for the largest (three-dimensional) cube within a four-dimensional hypercube. After [[Martin Gardner]] posed this question in ''[[Scientific American]]'', Kay R. Pechenick DeVicci and several other readers showed that the answer for the (3,4) case is the [[square root]] of the smaller of two [[root of a function|real roots]] of the [[polynomial]] <math>4x^4-28x^3-7x^2+16x+16</math>, which works out to approximately 1.007435.{{r|gardner|gn97}} For <math>m=2</math>, the optimal side length of the largest square in an <math>n</math>-dimensional hypercube is either <math display="inline">\sqrt{n/2}</math> or <math display="inline">\sqrt{n/2-3/8}</math>, depending on whether <math>n</math> is even or odd respectively.{{r|mathworld}}

==References==
{{Reflist|refs=

<ref name=AllFive>{{citation | first1=Richard P. | last1=Jerrard  |first2=John E. | last2=Wetzel | first3=Liping | last3 = Yuan | title = Platonic passages | journal = [[Mathematics Magazine]] | date = April 2017 | volume = 90 | issue = 2 | pages = 87–98 | publisher = [[Mathematical Association of America]] | location = Washington, DC | doi = 10.4169/math.mag.90.2.87| s2cid=218542147 }}</ref>

<ref name=bghj>{{citation
 | last1 = Bezdek | first1 = András
 | last2 = Guan | first2 = Zhenyue
 | last3 = Hujter | first3 = Mihály
 | last4 = Joós | first4 = Antal
 | arxiv = 2111.03817
 | doi = 10.1080/00029890.2021.1901461
 | issue = 6
 | journal = [[The American Mathematical Monthly]]
 | mr = 4265479
 | pages = 534–542
 | title = Cubes and boxes have Rupert's passages in every nontrivial direction
 | volume = 128
 | year = 2021| s2cid = 235234134
 }}</ref>

<ref name=calceasy>{{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>

<ref name=cyz>{{citation | first1=Ying | last1=Chai  |first2=Liping | last2=Yuan | first3=Tudor | last3=Zamfirescu | title = Rupert Property of Archimedean Solids | journal = [[The American Mathematical Monthly]] | volume = 125 | issue = 6 | pages = 497–504 | date = June–July 2018 | doi = 10.1080/00029890.2018.1449505| s2cid=125508192 }}</ref>

<ref name=dudeney>{{citation|title=Modern puzzles and how to solve them|first=Henry Ernest|last=Dudeney|author-link=Henry Dudeney|year=1936|page=149}}</ref>

<ref name=ehrenfeucht>{{citation
 | last = Ehrenfeucht | first = Aniela
 | translator-last = Zawadowski | translator-first = Wacław
 | location = New York
 | mr = 0170242
 | page = 77
 | publisher = The Macmillan Co.
 | title = The Cube Made Interesting
 | title-link = The Cube Made Interesting
 | year = 1964}}</ref>

<ref name=flatterland>{{citation|title=[[Flatterland|Flatterland: Like Flatland Only More So]]|first=Ian|last=Stewart|author-link=Ian Stewart (mathematician)|publisher=Macmillan|year=2001|isbn=9780333783122|pages=49–50}}</ref>

<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|author-link=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 name=gn97>{{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| jstor = 2974481 }}</ref>

<ref name=hart>{{citation|first=George W.|last=Hart|author-link=George W. Hart|title=Math Monday: Passing a Cube Through Another Cube|publisher=Museum of Mathematics|date=January 30, 2012|url=http://momath.org/home/math-monday-passing-a-cube-through-another-cube/}}; originally published in ''[[Make (magazine)|Make Online]]''</ref>

<ref name=hoffmann>{{citation|first1=Balazs|last1=Hoffmann|title=Rupert properties of polyhedra and the generalized Nieuwland constant|year=2019|journal=Journal for Geometry and Graphics|volume=23|issue=1|pages=29–35|url=http://www.heldermann.de/JGG/JGG23/JGG231/jgg23003.htm}}</ref>

<ref name=hsw>{{citation | first1=Greg | last1=Huber | first2=Kay Pechenick | last2=Shultz | first3=John E. | last3=Wetzel | title = The {{mvar|n}}-cube is Rupert | journal = [[The American Mathematical Monthly]] | date = June–July 2018 | volume = 125 | issue = 6 | pages = 505–512 | doi = 10.1080/00029890.2018.1448197| s2cid=51841349 }}</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| jstor = 4145012
 }}</ref>

<ref name=lavau>{{citation | first1=Gérard | last1=Lavau | title = The Truncated Tetrahedron is Rupert | journal = [[The American Mathematical Monthly]] | volume = 126 | issue = 10 | pages = 929–932 | date = December 2019 | doi = 10.1080/00029890.2019.1656958| s2cid=213502432 }}</ref>

<ref name=mathworld>{{mathworld | urlname = CubeSquareInscribing | title = Cube Square Inscribing|mode=cs2}}</ref>

<ref name=milestones>{{citation|title=The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics|first=Clifford A.|last=Pickover|author-link=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 name=montana>{{citation|title=Interdisciplinarity, Creativity, and Learning: Mathematics With Literature, Paradoxes, History, Technology, and Modeling|volume=7|series=The Montana Mathematics Enthusiast: Monograph Series in Mathematics Education|editor1-first=Bharath|editor1-last=Sriraman|editor2-first=Viktor|editor2-last=Freiman|editor3-first=Nicole|editor3-last=Lirette-Pitre|year=2009|isbn=9781607521013|publisher=Information Age Publishing, Inc.|contribution=Mathematics and literature (the sequel): imagination as a pathway to advanced mathematical ideas and philosophy|first=Bharath|last=Sriraman|pages=41–54}}</ref>

<ref name=ogilvy>{{citation
 | last = Ogilvy | first = C. Stanley | author-link = 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 name=ozanam>{{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|author-link=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 name=parker>{{citation
 | last = Parker | first = Matt | author-link = Matt Parker
 | isbn = 978-0-374-53563-6
 | mr = 3753642
 | page = 98
 | publisher = Farrar, Straus and Giroux | location = New York
 | title = Things to Make and Do in the Fourth Dimension: A Mathematician's Journey Through Narcissistic Numbers, Optimal Dating Algorithms, at Least Two Kinds of Infinity, and More
 | url = https://books.google.com/books?id=wK2MAwAAQBAJ&pg=PA98
 | year = 2015}}</ref>

<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|archive-url=https://web.archive.org/web/20100705014816/http://www.math.usma.edu/people/Rickey/papers/ShortCourseAlbuquerque.pdf|archive-date=2010-07-05}}; 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=schrek>{{citation|last=Schrek|first= D. J. E.|title=Prince Rupert's problem and its extension by Pieter Nieuwland|journal=[[Scripta Mathematica]]|volume=16|year=1950|pages=73–80 and 261–267}}; as cited by {{harvtxt|Rickey|2005}} and {{harvtxt|Jerrard|Wetzel|2004}}</ref>

<ref name=scriba>{{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>

<ref name=shapeways>{{citation|url=https://www.shapeways.com/product/7R9HD78AZ/prince-rupert-s-cube?optionId=61015726|title=Prince Rupert's Cube|author=3geek14|publisher=Shapeways|access-date=2017-02-06}}</ref>

<ref name=styu1>{{citation
| last1 = Steininger| first1= Jakob 
| last2 = Yurkevich| first2= Sergey
|issue = 2
| journal = ACM Commun. Comput. Algebra
| language = English
| pages = 32–35
| title = Extended Abstract for: Solving Rupert's Problem Algorithmically
| year = 2022
| volume = 56
| doi= 10.1145/3572867.3572870 
| s2cid= 253802715 
| url = https://hal.inria.fr/hal-03874324/file/Jakob%20Steininger%2C%20Sergey%20Yurkevich_2022_Extended%20Abstract%20-%20Solving%20Rupert%27s%20problem%20algorithmically%20%281%29.pdf
}}</ref>

<ref name=styu2>{{citation
| last1 = Steininger| first1= Jakob 
| last2 = Yurkevich| first2= Sergey
| journal = [[Mathematics of Computation]]
| language = English
| pages = 1905–1929
| title = An algorithmic approach to Rupert's problem
| year = 2023
| volume = 92
| doi = 10.1090/mcom/3831
| mr = 4570346
| arxiv=2112.13754
| issue = 342
}}</ref>


<ref name=swinden>{{citation
 | last = Swinden | first = J. H. Van | author-link = Jean Henri van Swinden
 | edition = 2nd
 | language = nl
 | location = Amsterdam
 | pages = 512–513
 | publisher = P. den Hengst en zoon
 | title = Grondbeginsels der Meetkunde
 | year = 1816
 | url = https://archive.org/details/bub_gb_dfU2AAAAMAAJ/page/512
}}</ref>

<ref name=universal>{{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=wells>{{citation|title=The Penguin Dictionary of Curious and Interesting Numbers|first=David|last=Wells|author-link=David G. Wells|edition=3rd|publisher=Penguin|year=1997|isbn=9780140261493|url=https://books.google.com/books?id=kQRPkTkk_VIC&pg=PA16|page=16}}</ref>

}}

==External links==
{{commons category}}
*{{mathworld | urlname = PrinceRupertsCube | title = Prince Rupert's Cube|mode=cs2}}

[[Category:Cubes]]