Displaying similar documents to “Finite dimensions modulo simplicial complexes and A N R -compacta”

Euler's Polyhedron Formula

Jesse Alama (2008)

Formalized Mathematics

Similarity:

Euler's polyhedron theorem states for a polyhedron p, thatV - E + F = 2,where V, E, and F are, respectively, the number of vertices, edges, and faces of p. The formula was first stated in print by Euler in 1758 [11]. The proof given here is based on Poincaré's linear algebraic proof, stated in [17] (with a corrected proof in [18]), as adapted by Imre Lakatos in the latter's Proofs and Refutations [15].As is well known, Euler's formula is not true for all polyhedra. The condition on polyhedra...