ILL 1986 Problem 24
Two families of parallel lines are given in the plane, consisting of and lines, respectively. In each family, any two neighboring lines are at a unit distance from one another; the lines of the first family are perpendicular to the lines of the second family. Let be the set of intersection points of the lines under consideration. Show that there exist not fewer than distinct squares with vertices in the set
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.