voroninv писал(а):
Тогда (если так ошибиться) можно получить противоречие

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

, где

.
Доказательство, связанное с оценкой суммы всех записанных чисел, остаётся в силе. В то же время все разговоры о чётности и нечётности при таком допущении становятся бессмысленными!
Более того, можно даже предполагать, что количество записанных чисел не обязательно конечно. Лишь бы суммы были корректно определены (для чего достаточно, чтобы суммы всех конечных подмножеств записанных чисел были ограничены сверху).
Кстати, останется ли отверждение задачи верным, если целые степени заменить на рациональные? То есть если считать, что записанные числа имеют вид

, где

.
Добавлено спустя 8 минут 7 секунд:TOTAL писал(а):
Если двоичное представление суммы чисел на листе содержит

единиц, то найдётся

наборов по

одинаковых чисел.
Предположим, что на каждом листе записано число

. Тогда сумма всех записанных чисел равна

или

. И что? Два набора по 6 одинаковых чисел, безусловно, найдутся, но всего их будет не

, а

. Или Вы имели в виду, что найдётся не ровно

, а
как минимум 
одинаковых наборов?