Условие
На отрезке длины 1 отмечено несколько интервалов. Известно, что
расстояние между любыми двумя точками, принадлежащими
одному или разным интервалам, отлично от 0,1.
Докажите, что сумма длин отмеченных интервалов не превосходит
0,5.
Подсказка
Разбейте отрезок на 10 отрезков длиной 0,1.
Покажите, что сумма длин интервалов, заключенных в двух соседних
отрезках длины 0,1, не превосходит 0,1.
Решение
Разобьем отрезок на 10 отрезков длиной 0,1.
Обозначим за A
i множество точек из отмеченных
интервалов, лежащих внутри i-го по порядку отрезка длиной 0,1.
Если параллельно перенести множество A
1 в сторону второго отрезка
на вектор длины 0,1,
то множество, полученное в результате сдвига, не будет
пересекаться с множеством A
2,
иначе в множествах A
1 и A
2 нашлись бы две
точки на расстоянии 0,1 вопреки условию.
Таким образом, сумма длин интервалов, составляющих множества
A
1 и A
2, не превосходит 0,1.
Таким же образом,
сумма длин интервалов, составляющих пары множеств
A
3 и A
4, A
5 и A
6,
A
7 и A
8,
A
9 и A
10, не превосходит 0,1.
Из приведенных рассуждений следует, что сумма длин всех отмеченных
интервалов не превосходит 5*0,1=0,5, что и требовалось.
Источники и прецеденты использования