MathDB
subset of lattice points , 1 <= x <= 12 and 1 <= y <= 13

Source: Austrian Polish 1987 APMC

April 30, 2020
latticeparallelcombinatorial geometrycombinatorics

Problem Statement

Let MM be the set of all points (x,y)(x,y) in the cartesian plane, with integer coordinates satisfying 1x121 \le x \le 12 and 1y131 \le y \le 13. (a) Prove that every 4949-element subset of MM contains four vertices of a rectangle with sides parallel to the coordinate axes. (b) Give an example of a 4848-element subset of MM without this property.