Problem

Source: Baltic Way 2011

Tags: analytic geometry, probability, inequalities, number theory, relatively prime, combinatorics proposed, combinatorics



Let $n$ be a positive integer. Prove that the number of lines which go through the origin and precisely one other point with integer coordinates $(x,y),0\le x,y\le n$, is at least $\frac{n^2}{4}$.