Докажите, что существует положительная константа , для которой выполняется следующее утверждение: Пусть — множество из точек плоскости, в котором расстояние между любыми двумя точками не меньше 1.
Тогда существует прямая , разделяющая множество , такая что расстояние от любой точки до не меньше чем
(Прямая разделяет множество точек , если она пересекает некоторый отрезок, концы которого принадлежат .)
Замечание. Более слабые результаты с заменой на могут оцениваться в зависимости от значения константы .