The Euler formula for a sphere, applied to the surface of a convex polyhedron, is . In a regular polyhedron let be the common number of edges incident at a vertex. Counting vertex-edge and face-edge incidences, pentagonal faces give and . Hence
whose right-hand side can be positive only if . Thus . Substitution then yields , proving
These are the counts of the dodecahedron. Here regular polyhedron is understood in the convex, ordinary-face sense used by the stated Euler formula; self-intersecting star constructions do not share these hypotheses.
For a finite triangulation of a surface of the sphere, Euler formula for a sphere is
where , and count vertices, edges and triangular faces. Since each face has three edges and each edge borders two faces, also .
Let and count the pentagonal and hexagonal faces. Counting incidences of edges with vertices and faces gives
The Euler formula for a sphere also applies to this polygonal decomposition: triangulating a polygon by adding one diagonal increases both and by one, preserving . Substitution gives
Thus there are exactly 12 pentagons, independently of the number of hexagons.