Platonic solids in \(\mathbb Z^3\) (Q607045)

The authors recall that there is no regular icosahedron and no regular dodecahedron in \({\mathbb Z}^3\). They prove that every cube in \({\mathbb Z}^3\) can be obtained by a translation along a vector with integer coordinates from a cube with a vertex the origin containing a regular tetrahedron with a vertex at the origin and all integer coordinates and as a result it must have side lengths equal to \(n\) for some \(n\in{\mathbb N}\). Conversely, given a regular tetrahedron in \({\mathbb Z}^3\), this can be completed to a cube which is going to be automatically in \({\mathbb Z}^3\). Every regular octahedron in \({\mathbb Z}^3\) is the dual of a cube that can be obtained (up to a translation with a vector with integer coordinates) by doubling a cube in \({\mathbb Z}^3\).