AI 中文总结
本文证明了八面体的 Nieuwland 数为 $3\sqrt{2}/4$，并初等证明了 Rupert 问题中八面体不存在外投影为六边形的解。
AI 中文摘要
我们证明了八面体的 Nieuwland 数为 $3\sqrt{2}/4$。在此过程中，我们给出了一个初等证明，表明八面体的 Rupert 问题不存在外投影为六边形的解。
英文摘要
We prove that the Nieuwland number of the Octahedron is $3\sqrt{2}/4$. Along the way, we provide an elementary proof that Rupert's problem for the Octahedron admits no solution in which the outer projection is a hexagon.
