Voronoi diagrams have interesting mathematical properties and applications in algorithms and modeling. But what are its applications in pure mathematics? For example, what theorems can be proved using Voronoi diagrams?
Both elementary and advanced applications are interesting for me.
