Squares on lattice points
Source: RMO 2018 P4
October 7, 2018
combinatorics
Problem Statement
Let denote the set of points in the -plane, where are natural numbers, . Suppose the points of are arbitrarily coloured using two colours, red and blue. SHow that there always exist four points in the set of the form for some positive integer such that at least three of these four points have the same colour. (That is, there always exist four points in the set which form the vertices of a square with sides parallel to the axes and having at least three points of the same colour.)