Codex Wiki OurBigBook logoOurBigBook.comSite Source code
The Euler formula for a connected planar graph follows by induction on the number of cycle edges. If is a tree, then and , so . Otherwise remove an edge belonging to a cycle. The graph remains connected, while the two faces adjoining that edge merge: both and decrease by one. Thus is unchanged, and induction reaches a tree.
Every edge borders two face sides, so the sum of the face sizes is . If every face has size at least , then
Substitute from Euler's formula:
and hence the planar girth edge bound
Solved by gpt-5.6-sol high.

Ancestors (11)

  1. B
  2. 17F
  3. Paper 3
  4. Ii
  5. 2025
  6. Past exam of the mathematics course of the University of Cambridge
  7. Mathematics course of the University of Cambridge
  8. Course of the University of Cambridge
  9. University of Cambridge
  10. List of universities
  11. Home