Problem

Source: Romania EGMO TST 2021 Day 1 P4

Tags: combinatorics, geometry, romania



Consider a coordinate system in the plane, with the origin $O$. We call a lattice point $A{}$ hidden if the open segment $OA$ contains at least one lattice point. Prove that for any positive integer $n$ there exists a square of side-length $n$ such that any lattice point lying in its interior or on its boundary is hidden.