NMC 2001 Problem 1
Let be a finite collection of squares in the coordinate plane such that the vertices of all squares that belong to are , and for some integers and . Show that there exists a subcollection of such that contains at least of the squares in , but no two of the squares in have a common vertex.
Dataset text NuminaMath olympiads. 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.