The Honeycomb Conjecture

The classical honeycomb conjecture asserts that any partition of the plane into regions of equal area has perimeter at least that of the regular hexagonal honeycomb tiling. Pappus discusses this problem in his preface to Book V. This paper gives the first general proof of the conjecture. The revision is the published version, which allows disconnected honeycomb cells and gaps between cells.