Consideramos una lista de números enteros positivos que sumados en total dan $2019$ y tales que ninguno de los números sea $40$ y ninguna suma de algunos números que sean consecutivos en la lista valga $40$. Determinar cuál es la mayor cantidad de números que puede haber en la lista.
Es un lema conocido que (me ahorraré de probarlo) en toda lista de $n$ enteros, existen algunos elementos consecutivos suman algún múltiplo de $n$.
Tomemos $40$ enteros consecutivos de la lista del problema. Por el lema, algunos consecutivos suman múltiplo de $40$, pero por el enunciado, no exactamente $40$. Esto es, estos cuarenta números deberán sumar al menos $80$.
Sí hubiesen $1020$ números o más, tomamos $25$ grupos de $40$ consecutivos al principio, que por lo que dijimos, suman al menos $25\cdot 80=2000$. Y como los $20$ restantes son al menos $1$, nos pasamos de la suma. Esto es, hay $1019$ números. El ejemplo es:
$$1,1,1,1,...,41,1,1,1...,41,1,1,1...,41,1,1,1,...,1$$
dónde hay $39$ unos consecutivos excepto al final que hay $19$.
Sea $a_1$, $a_2$,..., $a_n$ la lista de $n$ enteros.
Tomemos $s_0=0$, $s_1=a_1$, $s_2=a_1+a_2$,..., $s_n=a_1+a_2+\cdots+a_n$.
Por Palomar, existen dos $s_k$, $s_l$ ($k>l$) con $s_k\equiv s_l\mod n$, de modo que $n\mid s_k-s_l$ que son los términos consecutivos entre $a_{l+1}$ y $a_k$ inclusive.