Title:Penrose's eight-conic theorem via Penrose's eight-quadric theorem

Abstract:This article proves the following theorem, first enunciated by Roger Penrose about 70 years ago: In $\mathbb{R}P^2$, if regular conics are assigned to seven of the vertices of a combinatorial cube such that (i) conics connected by an edge are in double contact, and (ii) the chords of contact associated to a cube face meet in a common point, then there exists an eighth conic such that the completed cube satisfies (i) and (ii). This conic is unique if not all the common points of condition (ii) are the same. The proof is based on the following analogous theorem, which is also proved: In $\mathbb{R}P^3$, if regular quadrics are assigned to seven of the vertices of a combinatorial cube such that (i) quadrics connected by an edge are in ring contact, and (ii) the ring planes associated to a cube face meet in a common axis, then there exists an eighth quadric such that the completed cube satisfies (i) and (ii). This quadric is unique if not all the common axes of condition (ii) are the same.