Hay que escribir una fila de $20$ dígitos de manera que la suma de tres dígitos consecutivos de la fila sea siempre múltiplo de $5$. ¿Cuál es la máxima cantidad de dígitos distintos que puede haber en la fila?
Aclaración: Los dígitos son los números $0,1,2,3,4,5,6,7,8,9$.
Como debe ser múltiplo de 5, vamos a trabajar todo con restos en función de mod 5. Ahora, ¿cuáles son las posibles ternas de números mod 5 que cumplen? Tenemos las siguientes:
$(4,4,2); (4,3,3); (4,1,0); (3,2,0); (3,1,1); (2,2,1); (0,0,0);$
Con esto debemos ver cómo poderlos hacer "encajar". Sabemos que ya teniendo dos números, el tercero se determina solo. Por esto, debemos buscar ternas que repitan al menos dos números. Como esto no sucede, solo puede funcionar una terna. Es por esta razón que consideramos la más heterogénea, (3,2,0) por ejemplo, la cual permite 6 dígitos distintos, siendo este el máximo.
El caso de que el máximo sea 6 se demuestra simplemente por el hecho de que si es mayor, una terna sola no sirve (2+2+2=6), por lo que tendrá que salir de la combinación de dos ternas, lo cual es imposible como vimos
Vemos que entre $0$ a $9$ inclusive las congruencias módulo $5$ posibles son $0, 1, 2, 3, 4,$ y denotamos $(m)$ a la congruencia del dígito (dos opciones de dígito por cada congruencia).
Las cadenas (que puede ser tomado un trozo de $20$ partes, y es análogo el caso para toda cifra con la misma congruencia o bien leerlas de adelante para atrás que viceversa) posibles son:
Sean $a_{1},a_{2},...,a_{20}$ los $20$ dígitos, es claro que para cada $0\leq i \leq 6$ $\mapsto$ $a_{i}+a_{i+1}+a_{i+2} \equiv a_{i+1}+a_{i+2}+a_{i+3} (mod 5)$ $\mapsto$ $a_{i} \equiv a_{i+3} (mod 5)$. Luego veamos que el máximo es $6$, supongamos por el absurdo que es $7$ o más. Luego, por palomar debe haber $3$ dígitos distintos con congruencia módulo $5$, Absurdo!!. Veamos un ejemplo con $6$: $0,1,4,5,6,9,0,1,4,5,6,9,0,1,4,5,6,9,0,1,4,5,6,9$