Corners, edges and faces
The question
Count the corners, edges and faces of a cube, then work out corners − edges + faces. Try a pyramid and a tetrahedron too. Why do you keep getting the same number — and can you find a shape that gives a different one?
Try the experiment before reading on. There’s no wrong way to explore.
Experiment
Vertices, edges and faces
Count V, E and F on each solid and work out V − E + F. Then see what holes do.
Drag to turn it. Dashed lines are edges at the back.
Tetrahedron
Count them yourself — turning the solid helps. Click in a box to highlight what you are counting.
| Solid | V | E | F | V − E + F |
|---|---|---|---|---|
| Tetrahedron | ? | ? | ? | ? |
| Cube | ? | ? | ? | ? |
| Octahedron | ? | ? | ? | ? |
| Dodecahedron | ? | ? | ? | ? |
| Icosahedron | ? | ? | ? | ? |
| Square pyramid | ? | ? | ? | ? |
| Picture frame (one hole) | ? | ? | ? | ? |
Counted 0 of 7. Every solid without holes gives 2; holes change the answer.
Hints, if you want them
What’s going on
What’s going on
For a cube, . For a tetrahedron, . For a square pyramid, . Leonhard Euler noticed in the 1750s that
for every convex solid with flat faces, however many corners it has.
Here is the idea of a proof. Take away one face and stretch what is left flat on a table, like a net. Now remove edges one at a time. Removing an edge that separates two faces lowers and by one each; removing an edge that dangles at a corner lowers and by one each. Neither move changes . At the end only a single point is left, with ; adding back the face we took away gives . Making each step watertight takes real care — that care is the story of Imre Lakatos's book Proofs and Refutations.
The picture-frame solid has a hole through it, and for it . A solid with two holes gives . The number does not depend on how the surface is cut into faces — only on its shape up to stretching and bending, without tearing or gluing. Mathematicians call it the Euler characteristic ; for a closed surface with holes, . It is one of the first topological invariants, and it reaches surprisingly far: the Gauss–Bonnet theorem says that the total curvature of a closed surface is .
Note
Counting examples is evidence, not proof. The sketch above is the idea of a proof for convex solids; showing that is the same for every way of cutting a surface into faces needs the tools of algebraic topology.
Where this leads
- Early undergraduate · Lesson availableSurfaces, polyhedra and the Euler characteristicA first course in the topologist's way of seeing: Euler's formula V − E + F = 2, the five Platonic solids, surfaces built by gluing the edges of polygons, orientability, the Euler characteristic as an invariant and the classification of compact surfaces.
- First-year graduate · Lesson availableAlgebraic topologySingular and cellular homology, CW complexes, exact sequences and Mayer–Vietoris, homotopy invariance, cohomology and cup products, with applications such as invariance of dimension and the Lefschetz fixed-point theorem.
- First-year graduate · Lesson availableRiemannian geometryCurved spaces studied from the inside: Riemannian metrics, the Levi-Civita connection, geodesics and the exponential map, curvature tensors, Jacobi fields, the global Gauss–Bonnet theorem, Hopf–Rinow, and comparison theorems such as Bonnet–Myers.