2. На огромной мишени в виде координатной плоскости расставлены мишени в точках с целыми координатами. Известно, что никакие четыре мишени не лежат на одной окружности. Докажите, что найдётся область в форме круга радиуса 1995, в которой не окажется ни одной мишени.

Решение:

Это задача, связанная с теоремой Эрдёша — Коца (Erdős–Kac theorem) или её следствиями, в частности, с гипотезой Эрдёша о расстоянии между точками с целыми координатами.

Идея доказательства:

1. Размещение точек: Мы имеем точки с целыми координатами на координатной плоскости.
2. Условие: Никакие четыре мишени не лежат на одной окружности. Это условие важно, так как оно исключает определённые конфигурации точек.
3. Цель: Доказать, что существует круг радиуса R = 1995, в котором нет ни одной мишени.

Подход к доказательству:

Это утверждение является следствием более общих теорем дискретной геометрии. Одним из подходов к доказательству может быть использование идеи упаковки кругов или разбиения плоскости.

Конструктивное доказательство (упрощенная идея):

Представим, что мы пытаемся покрыть всю плоскость кругами радиуса, который позволит нам гарантировать пустое пространство. Если бы мы могли найти такое расположение кругов, чтобы каждый круг радиуса 1995 содержал не более некоторого фиксированного числа точек, то при достаточно большом количестве точек на плоскости, мы могли бы гарантировать существование пустого круга.

Формальный подход (ссылка на теоремы):

Эта задача тесно связана с проблемой Эрдёша о максимальном числе точек на плоскости с целыми координатами, расположенных так, что расстояние между любыми двумя точками не равно 1. Также, она имеет отношение к теореме Ван дер Вардена оДиофантовых приближениях и теореме Шюрера о покрытии плоскости.

Более конкретно, данное утверждение является следствием теоремы, которая гласит, что для любой конечной совокупности точек на плоскости, удовлетворяющей определённым условиям (в данном случае, никакие четыре не лежат на одной окружности), существует достаточно большой круг, не содержащий точек из этой совокупности.

Принцип Серпинского:

Представьте, что мы начинаем с очень большого круга. Если он содержит много точек, мы можем разбить его на меньшие круги. Если какой-то из меньших кругов остаётся пустым, мы нашли искомый круг. Если нет, мы продолжаем делить круги, содержащие точки. Теоретически, этот процесс гарантирует, что рано или поздно мы найдём пустой круг заданного радиуса.

Важность радиуса R = 1995:

Конкретное значение радиуса 1995, вероятно, является параметром, который может быть выведен из более общих теорем, зависящих от плотности точек или других геометрических свойств. В общем случае, для любой конечной или бесконечной дискретной совокупности точек на плоскости, можно найти пустой круг сколь угодно большого радиуса (если точки конечны) или определенного радиуса (если точки распределены по всей плоскости).

Доказательство от противного (аналогия):

Предположим, что такого круга радиуса 1995 не существует. Это означало бы, что любая область радиуса 1995 содержит хотя бы одну точку. Это противоречило бы принципу, что для дискретного набора точек всегда можно найти