
Euler's Formula,
Proof 4: Induction on Edges
By combining the two previous proofs, on induction on faces and induction on vertices we get another induction
proof with a much simpler base case.
If the connected planar multigraph has no edges,
it is an isolated vertex and . Otherwise, choose
any edge . If
connects two distinct vertices, contract it, reducing and by
one. Otherwise, is a loop connecting one vertex to itself. It is a
Jordan curve and separates two faces; remove it and reduce and
by one. In either case the result follows by induction.
This is the proof used by van Lint and
Wilson. Other variants are possible – if connects two
vertices and separates two faces, we may choose in various ways whether
to delete or contract .
Proofs of Euler's Formula.
From the Geometry Junkyard,
computational
and recreational geometry pointers.
David Eppstein,
Theory Group,
ICS,
UC Irvine.