Problem

Source: Argentina Cono Sur TST 2013, Problem 3

Tags: analytic geometry, geometry, rectangle, inequalities, Pythagorean Theorem, combinatorics proposed, combinatorics



$1390$ ants are placed near a line, such that the distance between their heads and the line is less than $1\text{cm}$ and the distance between the heads of two ants is always larger than $2\text{cm}$. Show that there is at least one pair of ants such that the distance between their heads is at least $10$ meters (consider the head of an ant as point).