Twenty proofs of Euler's formula V - E + F - 1 = 1, which applies to convex polyhedrons, i.e., 3-dimensional polytopes, are presented at the Geometry Junkyard.

I'm interested in proofs of the more general formula for the Euler characteristic number for bounded, convex polytopes of dimension greater than three as well since the signed, refined face partition polynomials enumerating the k-dimensional faces (k=0 to n) of the n-dimensional associahedra and providing the compositional inversion of formal power series obey the extended Euler formula $$V - E + (2-D-faces) - (3-D-faces) + ... $$

$$(-1)^{n-1} ((n-1)-D-facets) + (-1)^n = 1,$$

and proofs of the formula might provide insight on derivations of the face partition polynomials. (Same applies to permutahedra and multiplicative inversion.)

I'm particularly interested in proofs related to a generalized Gauss-Bonnet theorem, proofs related to differential geometry.

1) Which of the Junkyard proofs can be extended beyond three dimensions to any n-dimensional bounded, convex polytope?

2) Do you have references to other proofs for indefinite dimensions?

10more comments