Proof of László Fejes Tóth’s zone conjecture

Abstract

A zone of width ω on the unit sphere is the set of points within spherical distance ω/2 of a given great circle. We show that the total width of any collection of zones covering the unit sphere is at least π, answering a question of Fejes Tóth from 1973.