Cut away one face and regard the remaining surface as a topological disk. We can redraw its vertices and edges in the plane without crossings, preserving incidences; this is a planar embedding, not a claim that every physical net can be laid flat without overlap.
The first move converts the polyhedron into a planar graph. Since the polyhedron is convex, its surface is homeomorphic to a sphere ; remove one face — think of it as the 'back' face — and the remaining surface is topologically a disk, which can be flattened into the plane. Concretely, place the polyhedron so the chosen face is closest to a point light source (or use stereographic projection from a point inside that face): the edges project to a planar embedding in which all other faces become bounded regions and the removed face becomes the outer, unbounded region.
The bookkeeping is immediate: vertices and edges are preserved one-to-one, so and ; the bounded faces of the drawing number , and counting the outer face brings the total back to . Hence the quantity is literally unchanged by the flattening — proving it for the planar graph proves it for the polyhedron.
This is the moment where the hypothesis 'convex' is actually used: convexity is what guarantees the surface is a sphere and the projection is a genuine embedding with no edge crossings. The proof is the one given in Aigner–Ziegler, Proofs from THE BOOK, Ch. 13.
- Planar graph
- A graph (vertices joined by edges) that can be drawn in the plane so that no two edges cross.
- Topological sphere
- A surface that can be continuously stretched and deformed (without cutting or gluing) into an ordinary round sphere; a cube's surface qualifies, a doughnut's does not.