9 Main Theorems

Theorem 59

✓

There does not in fact exist a noperthedron Rupert solution with

\begin{align*} \theta _1,\theta _2& \in [0,2\pi /15] \subset [0,0.42], \\ \varphi _1& \in [0,\pi ] \subset [0,3.15],\\ \varphi _2& \in [0,\pi /2] \subset [0,1.58],\\ \alpha & \in [-\pi /2,\pi /2] \subset [-1.58,1.58]. \end{align*}

Proof ▶

By 57, there is a valid solution table containing a valid row whose pose interval is a superset of the 5-d interval above. By 58, this means there is no Rupert solution in that interval.

Theorem 60

✓

There is no view pose that makes the noperthedron have the Rupert property.

Proof ▶

Theorem 59 says there is no tight view pose that makes the noperthedron Rupert. Corollary 11 says that this suffices for the general case.

Theorem 61

✓

There is no purely rotational pose that makes the noperthedron have the Rupert property.

Proof ▶

Suppose there were a purely rotational pose. Then convert that to an equivalent view pose with Theorem 21 and appeal to Theorem 60.

Theorem 62

✓

There is no pose that makes the noperthedron have the Rupert property.

Proof ▶

By Theorem 22, we need only show that the noperthedron is pointsymmetric to see that if it is Rupert, then it must be Rupert via a purely rotational pose. But Lemma 9 shows exactly this. And yet we know via Theorem 61 that the noperthedron is not rotationally Rupert, so we have a contradiction, hence the noperthedron has no pose that makes it Rupert.

Theorem 63

✓

The noperthedron is not a Rupert set.

Proof ▶

By Theorem 62, there is no pose that makes the noperthedron a Rupert set.

Theorem 64

✓

The noperthedron is not a Rupert polyhedron.

Proof ▶

By Theorem 20 it suffices to show that the convex hull of the noperthedron vertices is not a Rupert set. But this is exactly what Theorem 63 shows.