IMO олимпиада по математике 2020 года | Казахстанские олимпиады

Докажите, что существует положительная константа cc, для которой выполняется следующее утверждение:  Пусть SS — множество из n>1n > 1 точек плоскости, в котором расстояние между любыми двумя точками не меньше 1.
Тогда существует прямая ℓ\ell, разделяющая множество SS, такая что расстояние от любой точки SS до ℓ\ell не меньше чем cn−1/3.cn^{-1/3}.
(Прямая ℓ\ell разделяет множество точек SS, если она пересекает некоторый отрезок, концы которого принадлежат SS.)
Замечание. Более слабые результаты с заменой cn−1/3cn^{-1/3} на cn−αcn^{-\alpha} могут оцениваться в зависимости от значения константы α>1/3\alpha > 1/3.