Problem:
Let be a set of points in the -dimensional lattice. Show that we can always choose a pair of points in whose midpoint is also a lattice point.
Problem:
Let be a set of points in the -dimensional lattice. Show that we can always choose a pair of points in whose midpoint is also a lattice point.
Solution:
Consider the parities of the coordinates. There are four possibilities: , , , . By the pigeonhole principle, two of the points must have the same parity in both coordinates (i.e., they are congruent modulo ). Then, the midpoint of these two points must be a lattice point.