Математикадан республикалық олимпиада, 2009-2010 оқу жылы, 9 сынып

$A = \{ 1, 2, \ldots, 6n\}$ жиынының дәл $4n$ саны қызыл түске боялған, ал қалғаны көк түске боялған. $A$ жиынынан, ішінде дәл $2n$ саны қызыл түске боялған (ал қалған $n$ саны көк түске боялған) тізбектес $3n$ бүтін сан табылатынын дәлелдеңдер.

Комментарий/решение

Мысленно разделим множество $А$ на $2$ группы: по $3n$ чисел в каждой. Если в первой группе ровно $2n$ окрашены в красный цвет, то задача решена, БОО в ней $<2n$ красных чисел, тогда во второй группе $>2n$. Пусть $P(k)$ - кол-во красных цветов среди $3n$ чисел (подряд идущих) начиная с k. Обозначим числа множества $А 1, 2, 3, ... 6n$ (именно в этой порядке).

Тогда $P(1)-2n<0$, а $P(3n+1)-2n>0$. Осталось заметить, что функция $P$ у нас дискретно непрерывна, то есть значение меняется на $+-1, 0, \Rightarrow$ нашелся момент, когда $P(m)-2n=0$, ЧТД