Prince Rupert's cube

Last updated

A unit cube with a hole cut through it, large enough to allow Prince Rupert's cube to pass Prince Ruperts cube.png
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.

Contents

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 polyhedra, including all five Platonic solids, 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

A trimetric projection of a cube with unit side length with selected dimensions labelled - the green dash-dot line shows a unit square (cross-section of a unit cube) in the hole (blue dashed line) Prince Rupert cube.svg
A trimetric projection of a cube with unit side length with selected dimensions labelled – 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 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 , 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 , 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 , may pass. [1]

The parts of the unit cube that remain, after emptying this hole, form two triangular prisms and two irregular 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. [2]

A unit cube with a hole cut through it (3D model) Prince Rupert's cube.stl
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. [3] [4]

Wallis assumed that the hole would be parallel to a space diagonal of the cube. The 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

,

slightly larger than one, is capable of passing through the hole. [3]

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. [3] [4] [5]

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. [1] [2] [6] [7] [8] [9] [10] [11] [12]

Models

3D-printed Prince Rupert's Cube with 1:1 ratio of inner cube to outer cube. 3D-printed Prince Rupert Cube.jpg
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". [13] 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. [14]

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. [15] 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. [16]

Since the advent of 3D printing, construction of a Prince Rupert cube of the full 1:1 ratio has become easy. [17]

Generalizations

A polyhedron is said to have the Rupert property if a polyhedron of the same or larger size and the same shape as can pass through a hole in . [18] All five Platonic solids—the cube, regular tetrahedron, regular octahedron, [19] regular dodecahedron, and regular icosahedron—have the Rupert property. Of the 13 Archimedean solids, 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, [20] and the truncated tetrahedron [21] [22] , as well as the truncated icosidodecahedron [23] [24] . It has been conjectured that all 3-dimensional convex polyhedra have this property [18] , but also, to the contrary, that the rhombicosidodecahedron does not have Rupert's property [23] [24] .

Unsolved problem in mathematics:
Do all convex polyhedra have the Rupert property?
(more unsolved problems in mathematics)

Cubes and all rectangular solids have Rupert passages in every direction that is not parallel to any of their faces. [25]

Another way to express the same problem is to ask for the largest square that lies within a unit cube. More generally, 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 or more, the optimal rectangle lies within the rectangle connecting two opposite edges of the cube, which has aspect ratio exactly . 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. [4] If the aspect ratio is not constrained, the rectangle with the largest area that fits within a cube is the one of aspect ratio that has two opposite edges of the cube as two of its sides, and two face diagonals as the other two sides. [26]

Eleven of the 13 Catalan solids and 87 of the 92 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.) [27]

For all , the -dimensional hypercube also has the Rupert property. [28] Moreover, one may ask for the largest -dimensional hypercube that may be drawn within an -dimensional unit hypercube. The answer is always an algebraic number. For instance, the problem for 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 real roots of the polynomial , which works out to approximately 1.007435. [1] [29] For , the optimal side length of the largest square in an -dimensional hypercube is either or , depending on whether is even or odd respectively. [30]

Related Research Articles

<span class="mw-page-title-main">Archimedean solid</span> Polyhedra in which all vertices are the same

The Archimedean solid is a set of thirteen convex polyhedra whose faces are regular polygons and whose vertices are all symmetric to each other. The solids were named after Archimedes, although he did not credit those inventions. They belong to the class of uniform polyhedra, the convex polyhedra with regular faces and symmetric vertices.

<span class="mw-page-title-main">Cuboctahedron</span> Polyhedron with 8 triangular faces and 6 square faces

A cuboctahedron is a polyhedron with 8 triangular faces and 6 square faces. A cuboctahedron has 12 identical vertices, with 2 triangles and 2 squares meeting at each, and 24 identical edges, each separating a triangle from a square. As such, it is a quasiregular polyhedron, i.e., an Archimedean solid that is not only vertex-transitive but also edge-transitive. It is radially equilateral. Its dual polyhedron is the rhombic dodecahedron.

<span class="mw-page-title-main">Cube</span> Solid object with six equal square faces

In geometry, a cube is a three-dimensional solid object bounded by six square faces. It has twelve edges and eight vertices. It can be represented as a rectangular cuboid with six square faces, or a parallelepiped with equal edges. It is an example of many type of solids: Platonic solid, regular polyhedron, parallelohedron, zonohedron, and plesiohedron. The dual polyhedron of a cube is the regular octahedron.

<span class="mw-page-title-main">Regular icosahedron</span> Convex polyhedron with 20 triangular faces

In geometry, the regular icosahedron is a convex polyhedron that can be constructed from pentagonal antiprism by attaching two pentagonal pyramids with regular faces to each of its pentagonal faces, or by putting points onto the cube. The resulting polyhedron has 20 equilateral triangles as its faces, 30 edges, and 12 vertices. It is an example of a Platonic solid and of a deltahedron. The icosahedral graph represents the skeleton of a regular icosahedron.

In geometry, a Johnson solid, sometimes also known as a Johnson–Zalgaller solid, is a strictly convex polyhedron whose faces are regular polygons. They are sometimes defined to exclude the uniform polyhedrons. There are ninety-two solids with such a property: the first solids are the pyramids, cupolas. and a rotunda; some of the solids may be constructed by attaching with those previous solids, whereas others may not. These solids are named after mathematicians Norman Johnson and Victor Zalgaller.

In geometry, an octahedron is a polyhedron with eight faces. One special case is the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. Regular octahedra occur in nature as crystal structures. Many types of irregular octahedra also exist, including both convex and non-convex shapes.

In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent regular polygons, and the same number of faces meet at each vertex. There are only five such polyhedra:

<span class="mw-page-title-main">Rhombicuboctahedron</span> Archimedean solid with 26 faces

In geometry, rhombicuboctahedron is an Archimedean solid with 26 faces, consisting of 8 equilateral triangles and 18 squares. It is named by Johannes Kepler in his 1618 Harmonices Mundi, being short for truncated cuboctahedral rhombus, with cuboctahedral rhombus being his name for a rhombic dodecahedron.

In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertices. The tetrahedron is the simplest of all the ordinary convex polyhedra.

<span class="mw-page-title-main">Tesseract</span> Four-dimensional analogue of the cube

In geometry, a tesseract or 4-cube is a four-dimensional hypercube, analogous to a two-dimensional square and a three-dimensional cube. Just as the perimeter of the square consists of four edges and the surface of the cube consists of six square faces, the hypersurface of the tesseract consists of eight cubical cells, meeting at right angles. The tesseract is one of the six convex regular 4-polytopes.

<span class="mw-page-title-main">Packing problems</span> Problems which attempt to find the most efficient way to pack objects into containers

Packing problems are a class of optimization problems in mathematics that involve attempting to pack objects together into containers. The goal is to either pack a single container as densely as possible or pack all objects using as few containers as possible. Many of these problems can be related to real-life packaging, storage and transportation issues. Each packing problem has a dual covering problem, which asks how many of the same objects are required to completely cover every region of the container, where objects are allowed to overlap.

<span class="mw-page-title-main">Truncated octahedron</span> Archimedean solid

In geometry, the truncated octahedron is the Archimedean solid that arises from a regular octahedron by removing six pyramids, one at each of the octahedron's vertices. The truncated octahedron has 14 faces, 36 edges, and 24 vertices. Since each of its faces has point symmetry the truncated octahedron is a 6-zonohedron. It is also the Goldberg polyhedron GIV(1,1), containing square and hexagonal faces. Like the cube, it can tessellate 3-dimensional space, as a permutohedron.

<span class="mw-page-title-main">Truncated cube</span> Archimedean solid with 14 regular faces

In geometry, the truncated cube, or truncated hexahedron, is an Archimedean solid. It has 14 regular faces, 36 edges, and 24 vertices.

<span class="mw-page-title-main">Rhombicosidodecahedron</span> Archimedean solid

In geometry, the rhombicosidodecahedron is an Archimedean solid, one of thirteen convex isogonal nonprismatic solids constructed of two or more types of regular polygon faces.

<span class="mw-page-title-main">Truncated cuboctahedron</span> Archimedean solid in geometry

In geometry, the truncated cuboctahedron or great rhombicuboctahedron is an Archimedean solid, named by Kepler as a truncation of a cuboctahedron. It has 12 square faces, 8 regular hexagonal faces, 6 regular octagonal faces, 48 vertices, and 72 edges. Since each of its faces has point symmetry, the truncated cuboctahedron is a 9-zonohedron. The truncated cuboctahedron can tessellate with the octagonal prism.

In geometry, a zonohedron is a convex polyhedron that is centrally symmetric, every face of which is a polygon that is centrally symmetric. Any zonohedron may equivalently be described as the Minkowski sum of a set of line segments in three-dimensional space, or as a three-dimensional projection of a hypercube. Zonohedra were originally defined and studied by E. S. Fedorove, a Russian crystallographer. More generally, in any dimension, the Minkowski sum of line segments forms a polytope known as a zonotope.

<span class="mw-page-title-main">Triaugmented triangular prism</span> Convex polyhedron with 14 triangle faces

The triaugmented triangular prism, in geometry, is a convex polyhedron with 14 equilateral triangles as its faces. It can be constructed from a triangular prism by attaching equilateral square pyramids to each of its three square faces. The same shape is also called the tetrakis triangular prism, tricapped trigonal prism, tetracaidecadeltahedron, or tetrakaidecadeltahedron; these last names mean a polyhedron with 14 triangular faces. It is an example of a deltahedron, composite polyhedron, and Johnson solid.

In geometry, a truncated tesseract is a uniform 4-polytope formed as the truncation of the regular tesseract.

<span class="mw-page-title-main">Truncation (geometry)</span> Operation that cuts polytope vertices, creating a new facet in place of each vertex

In geometry, a truncation is an operation in any dimension that cuts polytope vertices, creating a new facet in place of each vertex. The term originates from Kepler's names for the Archimedean solids.

<span class="mw-page-title-main">Regular dodecahedron</span> Convex polyhedron with 12 regular pentagonal faces

A regular dodecahedron or pentagonal dodecahedron is a dodecahedron composed of regular pentagonal faces, three meeting at each vertex. It is an example of Platonic solids, described as cosmic stellation by Plato in his dialogues, and it was used as part of Solar System proposed by Johannes Kepler. However, the regular dodecahedron, including the other Platonic solids, has already been described by other philosophers since antiquity.

References

  1. 1 2 3 Gardner, Martin (2001), 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, W. W. Norton & Company, pp. 172–173, ISBN   9780393020236
  2. 1 2 Wells, David (1997), The Penguin Dictionary of Curious and Interesting Numbers (3rd ed.), Penguin, p. 16, ISBN   9780140261493
  3. 1 2 3 Rickey, V. Frederick (2005), Dürer's Magic Square, Cardano's Rings, Prince Rupert's Cube, and Other Neat Things (PDF), archived from the original (PDF) on 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
  4. 1 2 3 Jerrard, Richard P.; Wetzel, John E. (2004), "Prince Rupert's rectangles", The American Mathematical Monthly, 111 (1): 22–31, doi:10.2307/4145012, JSTOR   4145012, MR   2026310
  5. ↑ Swinden, J. H. Van (1816), Grondbeginsels der Meetkunde (in Dutch) (2nd ed.), Amsterdam: P. den Hengst en zoon, pp. 512–513
  6. ↑ Ozanam, Jacques (1803), Montucla, Jean Étienne; Hutton, Charles (eds.), 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, G. Kearsley, pp. 315–316
  7. ↑ Dudeney, Henry Ernest (1936), Modern puzzles and how to solve them, p. 149
  8. ↑ Ogilvy, C. Stanley (1956), Through the Mathescope, Oxford University Press, pp. 54–55. Reprinted as Ogilvy, C. Stanley (1994), Excursions in mathematics, New York: Dover Publications Inc., ISBN   0-486-28283-X, MR   1313725
  9. ↑ Ehrenfeucht, Aniela (1964), The Cube Made Interesting, translated by Zawadowski, Wacław, New York: The Macmillan Co., p. 77, MR   0170242
  10. ↑ Stewart, Ian (2001), Flatterland: Like Flatland Only More So , Macmillan, pp. 49–50, ISBN   9780333783122
  11. ↑ Darling, David (2004), The Universal Book of Mathematics: From Abracadabra to Zeno's Paradoxes, John Wiley & Sons, p. 255, ISBN   9780471667001
  12. ↑ Pickover, Clifford A. (2009), The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics, Sterling Publishing Company, Inc., p. 214, ISBN   9781402757969
  13. ↑ Sriraman, Bharath (2009), "Mathematics and literature (the sequel): imagination as a pathway to advanced mathematical ideas and philosophy", in Sriraman, Bharath; Freiman, Viktor; Lirette-Pitre, Nicole (eds.), Interdisciplinarity, Creativity, and Learning: Mathematics With Literature, Paradoxes, History, Technology, and Modeling, The Montana Mathematics Enthusiast: Monograph Series in Mathematics Education, vol. 7, Information Age Publishing, Inc., pp. 41–54, ISBN   9781607521013
  14. ↑ Parker, Matt (2015), 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, New York: Farrar, Straus and Giroux, p. 98, ISBN   978-0-374-53563-6, MR   3753642
  15. ↑ Schrek, D. J. E. (1950), "Prince Rupert's problem and its extension by Pieter Nieuwland", Scripta Mathematica , 16: 73–80 and 261–267; as cited by Rickey (2005) and Jerrard & Wetzel (2004)
  16. ↑ Hart, George W. (January 30, 2012), Math Monday: Passing a Cube Through Another Cube, Museum of Mathematics; originally published in Make Online
  17. ↑ 3geek14, Prince Rupert's Cube, Shapeways, retrieved 2017-02-06{{citation}}: CS1 maint: numeric names: authors list (link)
  18. 1 2 Jerrard, Richard P.; Wetzel, John E.; Yuan, Liping (April 2017), "Platonic passages", Mathematics Magazine , 90 (2), Washington, DC: Mathematical Association of America: 87–98, doi:10.4169/math.mag.90.2.87, S2CID   218542147
  19. ↑ Scriba, Christoph J. (1968), "Das Problem des Prinzen Ruprecht von der Pfalz", Praxis der Mathematik (in German), 10 (9): 241–246, MR   0497615
  20. ↑ Chai, Ying; Yuan, Liping; Zamfirescu, Tudor (June–July 2018), "Rupert Property of Archimedean Solids", The American Mathematical Monthly , 125 (6): 497–504, doi:10.1080/00029890.2018.1449505, S2CID   125508192
  21. ↑ Hoffmann, Balazs (2019), "Rupert properties of polyhedra and the generalized Nieuwland constant", Journal for Geometry and Graphics, 23 (1): 29–35
  22. ↑ Lavau, Gérard (December 2019), "The Truncated Tetrahedron is Rupert", The American Mathematical Monthly , 126 (10): 929–932, doi:10.1080/00029890.2019.1656958, S2CID   213502432
  23. 1 2 Steininger, Jakob; Yurkevich, Sergey (2022), "Extended Abstract for: Solving Rupert's Problem Algorithmically" (PDF), ACM Commun. Comput. Algebra, 56 (2): 32–35, doi:10.1145/3572867.3572870, S2CID   253802715
  24. 1 2 Steininger, Jakob; Yurkevich, Sergey (2023), "An algorithmic approach to Rupert's problem", Mathematics of Computation , 92 (342): 1905–1929, arXiv: 2112.13754 , doi:10.1090/mcom/3831, MR   4570346
  25. ↑ Bezdek, András; Guan, Zhenyue; Hujter, Mihály; Joós, Antal (2021), "Cubes and boxes have Rupert's passages in every nontrivial direction", The American Mathematical Monthly , 128 (6): 534–542, arXiv: 2111.03817 , doi:10.1080/00029890.2021.1901461, MR   4265479, S2CID   235234134
  26. ↑ Thompson, Silvanus P.; Gardner, Martin (1998), Calculus Made Easy (3rd ed.), Macmillan, p. 315, ISBN   9780312185480
  27. ↑ Fredriksson, Albin (2024), "Optimizing for the Rupert property", The American Mathematical Monthly , 131 (3): 255–261, arXiv: 2210.00601 , doi:10.1080/00029890.2023.2285200
  28. ↑ Huber, Greg; Shultz, Kay Pechenick; Wetzel, John E. (June–July 2018), "The n-cube is Rupert", The American Mathematical Monthly , 125 (6): 505–512, doi:10.1080/00029890.2018.1448197, S2CID   51841349
  29. ↑ Guy, Richard K.; Nowakowski, Richard J. (1997), "Unsolved Problems: Monthly Unsolved Problems, 1969-1997", The American Mathematical Monthly , 104 (10): 967–973, doi:10.2307/2974481, JSTOR   2974481, MR   1543116
  30. ↑ Weisstein, Eric W., "Cube Square Inscribing", MathWorld
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.