Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. Es sencillo ver directamente que \begin{align*} S_0&=1,& S_1&=2007\equiv 7\pmod{10},\\ S_5&\equiv 1+2006\cdot 5\equiv 1\pmod{10},& S_9&\equiv S_{-1}\equiv 1\pmod{10}, \end{align*} luego nos centraremos en $\sigma=S_2+S_3+S_4+S_6+S_7+S_8$. Ahora bien, tenemos que \[d^n+(10-d)^n\equiv d^n+(-d)^n\equiv\begin{cases} 0&\text{ si }n\text{ es impar,}\\ 2d^n&\text{ si }n\text{ es par}\end{cases}\] Por lo tanto, podemos eliminar por parejas los sumandos con exponente impar en $\sigma$ y agrupar por parejas los de exponente par. Esto nos deja con \[\sigma\equiv 2\sum_{k=0}^{1013}\left(2^{2k}+3^{2k}+4^{2k}\right)\equiv 6+2\sum_{k=1}^{1013}\left(4^k+9^k+6^k\right)\pmod{10}.\] Observamos entonces que $4^k$ va alternando últimos dígitos $4$ y $6$, que se anulan por parejas módulo $10$, y lo mismo pasa con $9^k$ que alterna entre $9$ y $1$, mientras que $6^k$ siempre tiene último dígito $6$. Todo esto nos da \[\sigma\equiv 6+2(4+9)+2026\cdot 6\equiv 8\pmod{10}.\] Así, el resultado que nos piden es congruente con \[S_0+S_1+S_5+S_9+\sigma\equiv 1+7+1+1+8\equiv 8\pmod{10},\] luego el último dígito de la suma del enunciado es $8$.

Nota. En realidad, no es difícil calcular directamente $S_d\pmod{10}$ para $1\leq d\leq 10$ si observamos la repetición de las potencias módulo $10$, aunque es un trabajo más laborioso que si pensamos en ir anulando y simplificando muchos términos (como hemos hecho en esta solución o de otra manera).