IL-GILLIS 1998 Problem 3
A configuration of several checkers at the centers of squares on a rectangular sheet of grid paper is called boring if some four checkers occupy the vertices of a rectangle with sides parallel to those of the sheet. (a) Prove that any configuration of more than checkers on an grid is boring. (b) Prove that any configuration of checkers on a grid is boring.
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.