|
|
 |
Условие
Кусок сыра массой 1 кг разрезали на $n\geqslant 4$ кусков массами меньше 600 г. Оказалось, что их нельзя разбить на две кучки так, чтобы масса каждой кучки была не меньше 400 г, но не больше 600 г (кучка может состоять из одного или нескольких кусков). Докажите, что найдутся три таких куска, что суммарная масса любых двух из них больше 600 г.
Решение 1
Пусть $x_1,x_2,\ldots,x_n$ – массы кусков в граммах. Упорядочим их по величине: $600 > x_1 \geqslant x_2 \geqslant x_3 \geqslant \ldots \geqslant x_n$. Тогда $x_1 < 400$, иначе кучка из одного куска массой $x_1$ и кучка из всех остальных кусков противоречат условию.
Теперь достаточно показать, что $x_2 + x_3 > 600$. Предположим противное: пусть $x_2 + x_3 \leqslant 600$, тогда $x_2 + x_3 < 400$ (иначе снова есть две кучки, противоречащие условию: кучка из кусков массами $x_2$, $x_3$ и кучка из всех остальных кусков). Поэтому $200 > x_3 \geqslant \ldots \geqslant x_n$. Будем теперь класть на весы по одному куски массами $x_2, x_3, \ldots, x_n$ именно в этом порядке. Начальная масса кучки на весах будет равна $x_2<400$, а конечная – $x_2+x_3+\ldots+x_n = 1000-x_1> 600$, так как $x_1 < 400$. Поскольку масса каждого очередного куска меньше 200 г, в некоторый момент на весах окажется кучка, масса которой будет не меньше 400 г, но не больше 600 г, что противоречит условию.
Решение 2
Из условия следует, что масса каждого куска меньше 400 г. При любом разбиении кусков на две кучки масса одной из них будет меньше 400 г, а масса другой – больше 600 г. В первом случае назовём кучку лёгкой, а во втором – тяжёлой. Лёгкой кучке соответствует тяжёлая (из остальных кусков), и наоборот.
Также назовём произвольный кусок большим, если при добавлении его к некоторой лёгкой кучке она становится тяжёлой, а в противном случае назовём кусок маленьким (при добавлении его к любой лёгкой кучке она остаётся лёгкой). Масса любого большого куска больше 200 г.
Рассмотрим кучку, состоящую из всех маленьких кусков. Она лёгкая, так как её можно получить, добавляя к одному маленькому куску, образующему лёгкую кучку, последовательно все остальные маленькие куски. Ей соответствует тяжёлая кучка из остальных кусков. В этой тяжёлой кучке не менее двух кусков, причём они все большие. Выберем один из этих кусков и переложим к кучке из маленьких кусков. Полученная кучка также лёгкая, так как её можно получить, добавляя последовательно к этому большому куску все маленькие куски. Ей снова соответствует тяжёлая кучка, также состоящая не менее чем из двух кусков.
Таким образом, найдены три больших куска, любые два из которых образуют тяжёлую кучку, то есть имеют суммарную массу больше 600 г.
Замечания
Такая тройка больших кусков единственна. Действительно, если бы было хотя бы $4$ больших куска, то составленная из них тяжёлая кучка имела бы массу более $2\cdot 600 = 1200$ г.Кроме того, при сужении промежутка $[400;600]$ г, в который не должны попадать массы кучек при произвольном разбиении, утверждение задачи перестаёт быть верным, что показывает пример разрезания на $4$ куска массами $200$, $200$, $200$ и $400$ г.
