Пусть у нас x ребят и n задач. Предположим, что x нечетно. Поэтому каждую задачу решило хотя бы (x+1)/2 ребенка. Найдем среднее количество решенных задач:
}{2x} )
. Заметим также, что
}{2x}\ \textgreater \ \frac{n}{2} )
, поскольку

. То есть среднее количество решенных задач больше их половины. По условию, каждый ребенок решил не более половины задач, то есть среднее количество решенных задач не превосходит их половины. Противоречие. Значит x - четно