The fundamental parallelogram of this latticeis a square,and the density of the distribution of discs is the ratio of the area of a circle to its circumscribing square.
The base of the fundamental parallelogramis necessarily the same, but its height is the smallest possible among lattice distributions of the disc.The density is therefore maximal among such distributions.
The statement of Thue's Theorem is a bit subtle, because the notionof density for an infinite layout, other than one associated to a lattice, is a bit subtle.Instead of trying to define exactly what we mean bythe density of an arbitrary infinite layout, we shall just apply one intuitive principlewhich must follow from any valid definition.
Suppose we are given a distribution of non-overlapping discs on the plane, and suppose that the plane is partitioned into regions (not necessarily of finite area) surrounding each disc. For each one, calculate the ratio of the area of the disc to the area of the region. This is the the density of the distribution in that region. Then, no matter what the partition is, the density of the overall distribution cannot be greater than than the maximum of its densities in the various regions.
The density of the distribution cannot be greater than the maximum density among the smaller regions.
Now we shall associate to any distribution of equal-sized discs in the plane a partition of the plane into regions, with one disc in each region.We shall prove that the proportion of disc in each of those regionscan be no more than the density of the hexagonal packing. This will show thatno distribution will be denser than the hexagonalpacking, which is Thue's theorem.