Условие
Попарные расстояния между точками
A1,...,
An больше 2.
Докажите, что любую фигуру, площадь которой меньше
, можно
сдвинуть на вектор длиной не более 1 так, что она не будет содержать
точек
A1,...,
An.
Решение
Пусть
— данная фигура,
S1,...,
Sn — круги
радиуса 1 с центрами в точках
A1,...,
An. Так как круги
S1,...,
Sn попарно не пересекаются, то фигуры
Vi =
Si
попарно не пересекаются, а значит, сумма их площадей не превосходит
площади фигуры
, т. е. она меньше
. Пусть
O —
произвольная точка и
Wi — образ фигуры
Vi при переносе на
вектор
. Фигуры
Wi лежат внутри круга
S
радиуса 1 с центром
O и сумма их площадей меньше площади
этого круга. Поэтому некоторая точка
B круга
S не принадлежит
ни одной из фигур
Wi. Ясно, что перенос на вектор
искомый.
Источники и прецеденты использования