Problem

Source: 2016 Final Korean Mathematical Olympiad P2

Tags: analytic geometry, combinatorics



Two integers $n, k$ satisfies $n \ge 2$ and $k \ge \frac{5}{2}n-1$. Prove that whichever $k$ lattice points with $x$ and $y$ coordinate no less than $1$ and no more than $n$ we pick, there must be a circle passing through at least four of these points.