Inscribing a regular octahedron into polytopes

Abstract

We prove that any simple polytope (and some non-simple polytopes) in $\mathbb R^3$ admits an inscribed regular octahedron.