Перед нами задача №231:
В квадрате со стороной 1 м произвольно отметили 51 точку.
Вопрос: можно ли какие-то три точки накрыть кругом радиусом 1/7 м? Перед тем, как решать данную задачу, решим аналогичную задачу №232:
В квадрате со стороной 1 м произвольно отметили 51 точку.
Вопрос: можно ли какие-то три точки накрыть квадратом со стороной 0,2 метра? Очевидно, что мы можем разбить квадрат со стороной 1 метр на 25 равных квадратиков со стороной 0,2 метра. Следовательно, наша задача сводится к необходимости доказать, что в каком-то квадратике находится по крайней мере 3 точки.
Для решения используем принцип Дирихле[1]. Если бы в каждом квадратике было не больше двух точек, то всего точек было бы не более 50, так как Этот вывод противоречит условиям задачи. Значит, какой-то из квадратиков накрывает сразу три точки. Перейдем к решению задачи №231.
Опишем вокруг квадратика со стороной 0,2 метра (см. задачу №232) окружность с диаметром, равным диагонали квадрата. Используя теорему Пифагора (в