Arithmetic proof of the multiplicity-weighted Euler characteristic for symmetrically arranged space-filling polyhedra.

The puzzling observation that the famous Euler's formula for three-dimensional polyhedra V - E + F = 2 or Euler characteristic χ = V - E + F - I = 1 (where V, E, F are the numbers of the bounding vertices, edges and faces, respectively, and I = 1 counts the single solid itself) when applied to space-filling solids, such as crystallographic asymmetric units or Dirichlet domains, are modified in such a way that they sum up to a value one unit smaller (i.e. to 1 or 0, respectively) is herewith given general validity. The proof provided in this paper for the modified Euler characteristic, χm = Vm - Em + Fm - Im = 0, is divided into two parts. First, it is demonstrated for translational lattices by using a simple argument based on parity groups of integer-indexed elements of the lattice. Next, Whitehead's theorem, about the invariance of the Euler characteristic, is used to extend the argument from the unit cell to its asymmetric unit components. open access.