Read · 2 min
Euler's formula (for polyhedra)
Let be the number of vertices of a polyhedron, the number of faces of that polyhedron, and be the number of edges. The quantity is called the Euler characteristic (of a polyhedron). In the case of convex polyhedra, .
Consider, for example, a tetrahedron (which is the simplest solid). It has 4 faces, edges, and vertices. Thus we have .
Euler's formula holds for all Platonic solids (tetrahedron, cube, octahedron, dodecahedron, and icosahedron). Since a cube and an octahedron are dual polyhedra (each is formed by connecting the centers of the faces of the other), their and values are equal to the an values of the other. (The same is true for the dodecahedron and icosahedron).
Cauchy's proof of the formula
In 1811, Cauchy published a proof of this formula. His proof is as follows (in reproducing this proof, I have not proved all of the steps).
Consider any convex polygon and remove any face from it. Then decreases by because is decreased by , and and don't change. Now by moving the vertices, it is possible to deform this figure into a 2-dimensional figure. Now, if there is a face with or more vertices, draw a diagonal connecting any two nonadjacent vertices in that face (this increases and by 1 each, so is preserved). Repeat this process until all faces are triangular. Now, perform one of the following two operations:
(1) Remove a triangle with two edges adjacent to the exterior of the figure. This decreases by , by and by , so is preserved.
(2) Remove a triangle with one edge adjacent to the exterior of the figure. This decreases by and by , so is again preserved.
You can repeat the process until you get to the last triangle. Now for a triangle, , and , so its . Thus since both operations preserve , we proved that for the original deformed planar figure , so for the polyhedron, .
The value of for figures that aren't convex polyhedra
For any nondegenerate polygon (with at least 3 sides) in the plane, the value of is ( and ). For a circle, you have , and , so , and for a line segment, , and , so . For a sphere, and . A Mobius strip and a Klein bottle each have , and non-intersecting figures each with have a total .