Supongamos $a_1+\cdots+a_n=0\ (\text{mod}\ 3)$. Entonces el número $p:=|\{a_i:a_i=1\}|-|\{a_i:a_i=2\}|$ es divisible por $3$. Esto se debe a que $1+2=0\ (\text{mod}\ 3)$, entonces después de que los $1$s y $2$s se cancelen entre sí, los números no nulos restantes deben sumar $0$ módulo $3$. Cualquier elemento no nulo en $\mathbb{Z}/3\mathbb{Z}$ tiene orden $3$, entonces la afirmación está probada.
Sea $D=\{0,1,2,3,4,7,8\}$. Módulo $3$, los dígitos permitidos $D$ se convierten en $S:=\{0,1,2,0,1,1,2\}$ (como un multiconjunto). Ahora supongamos que $n=5$ y $a_i\in S$. Nota que $p\ge 0$ porque la cantidad de $1$s en $S$ es mayor que la cantidad de $2$s en $S$. Además, $p\le 3$ porque hay tres $1$s en $S$. Entonces $p=3$ o $p=0$.
Supongamos que $p=3$. Entonces no podemos elegir ningún $2$ en $S$, por lo que estamos obligados a elegir los $5$ dígitos restantes en $D$. Hay $4$ dígitos en $D$ que se pueden colocar en el primer lugar. Todos los dígitos restantes se pueden colocar libremente en los lugares restantes. Por lo tanto, la cantidad de números de $5$ dígitos deseados cuando $p=3$ es $4\cdot 4!=96$.
Supongamos que $p=0$. Entonces debemos elegir dos $1$s y dos $2$s en $S$, o de lo contrario la cantidad de dígitos elegidos no puede sumar $5$. Tenemos $3$ opciones para los dos $1$s y $2$ opciones para el $0$. Si elegimos $3$ en $D$, entonces todos los dígitos se pueden colocar en todos los lugares, entonces la cantidad de números deseados cuando $p=0$ y se elige $3$ es $3\cdot 5!$. Si elegimos $0$ en $D$, entonces es similar al párrafo anterior, y la cantidad de números deseados cuando $p=0$ y se elige $0$ es $3\cdot 4\cdot 4!$.
En resumen, la respuesta es $4\cdot 4!+3\cdot (5!+4\cdot 4!)=744$.
1 votos
$78432,$ $74328$ y $78234$ son divisibles por $3.$
0 votos
Esta pregunta es buena y no debería ser votada negativamente.