
Euler's Formula,
Proof 21: Schlegel Projection
This proof comes from Hliněný, and is an
induction proving that for all convex polytopes ,
where is the number of -dimensional faces of . We include for the
whole polytope but do not consider the empty set as a face.
Consider a -dimensional Schlegel diagram
for the given -dimensional
polytope, and choose a projection from to
whose projection direction is in general position,
so that all faces of the polytope of dimension up to are
projected to a convex set of the same dimension. For a facet of
the polytope and its Schlegel diagram, we call the faces of that
project to faces of the "silhouette" of .
As in the proof by electrical
charge and proof by dual charge, we
assign a charge of to each face of the polytope, equal to its
contribution to the Euler characteristic, so the charge is
for a face of dimension
and the total of all the charges is just . We then redistribute
the charge to facets and sum over the facets. The charge is distributed
by choosing a base point in the interior of the face in the Schlegel
diagram (it doesn't matter where in the interior), and then
redistributing half of it upwards and half downwards to the two facets
of the polytope immediately above and below the base point according to
the projection direction. This determines what to do with all charges
but the one for the whole polytope, which is redistributed to the outer
facet of the Schlegel diagram.

Then, if is an interior facet of the Schlegel
diagram, it gets half the charge from each of its faces, except for the
faces of its silhouette, from which it gets nothing. It also gets an
extra half-charge from its own base point, since both half-charges go to
rather than some other facet. Therefore, its contribution to the
total redistributed charge is
where the extra charge of in the part of this formula
coming from the silhouette corresponds to the fact that does
not come from a silhouette face but is nevertheless counted in . The
evaluation of both Euler characteristics as comes from the induction
hypothesis of the induction on dimension. When is the outer facet
of the Schlegel diagram, we have a similar calculation for its
redistributed charge, but with each silhouette face contributing two
half-charges rather than none, and with an extra charge
redistributed from the whole polytope:
Since the redistributed charge is zero for the interior facets and one
for the outer facet, the Euler characteristic, which equals the total
redistributed charge, is one.
Hliněný goes on to describe an equivalent view of the same proof
using projections from two distinguished points in
rather than a projection of a Schlegel diagram in .
Proofs of Euler's Formula.
From the Geometry Junkyard,
computational
and recreational geometry pointers.
David Eppstein,
Theory Group,
ICS,
UC Irvine.