Does every convex polyhedron have Rupert's property
Status Solved · unsolvedmath.comLLM status Solved from source status
Top Open Problems Not reported cataloguedSolvedSolvedStatement
Definitions and mathematical statement
Let $P\subset{\mathbb{R}}^3$ be a full-dimensional compact convex polyhedron and let $\pi:{\mathbb{R}}^3\to{\mathbb{R}}^2$ be orthogonal projection to a fixed plane. In the standard strict-clearance formulation, $P$ has Rupert's property when \[ \exists R,S\in SO(3)\ \exists a\in{\mathbb{R}}^2,\qquad a+\pi(RP)\subset\operatorname{int}(\pi(SP)). \] The interior is planar interior. This is the projection formulation of passing a congruent copy through a straight hole cut through the polyhedron in a suitable orientation, with positive clearance; rotations and translations are permitted but no scaling is allowed.The proposed universal assertion is \[ \forall P\text{ full-dimensional compact convex polyhedron}, \qquad P\text{ has Rupert's property}. \] A counterexample is a single such $P$ for which the displayed projection inclusion fails for every $R,S,a$; testing a finite selection of orientations alone would not establish that failure.
The supplied research summary records a 2025 counterexample, arXiv:2508.18475, and labels the universal conjecture solved negatively. It dates the conjecture to 2017 and says the cube and some other prisms remain positive examples; these comments do not assert that all prisms have the property. The counterexample claim and its universal orientation obstruction are supplied literature metadata, not verified by this draft. General characterization is mentioned as an ongoing topic, separate from the yes/no question here.
Short English statement
Must every convex polyhedron admit one rotated projection fitting strictly inside another without scaling? This is Rupert's property; the supplied registry reports a 2025 counterexample to the universal claim.Sources
- Local UnsolvedMath registry, permanent ID $7200085$, exact source code
catalogue entry, "Does every convex polyhedron have Rupert's property." - Wikipedia, List of unsolved problems in mathematics, pinned revision 1366636767, Geometry bullet 85; https://en.wikipedia.org/w/index.php?title=List_of_unsolved_problems_in_mathematics&oldid=1366636767#Geometry. MediaWiki-source extraction; recorded access 2026-07-29.
- Supplied research summary cites arXiv:2508.18475 (2025) for a convex-polyhedron counterexample. Authors, title, and publication details are not supplied, and no counterexample proof has been independently checked here.
Statement licence: CC-BY-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.