INICIANTE:
Vejamos que e
e como
e como
e como
.
Portanto temos
já que pelo Teorema de Fermat
. c.q.d.


INTERMEDIÁRIO:
Uma equaçãodo segundo grau tem soluções reais se e somente se seu discriminante for não-negativo. Por absurdo, nenhuma das equações acima tem solução real se e somente se



que somadas implicam na desigualdade
![(a-b)^2+(b-c)^2+(c-a)^2-4[(b-c)+(c-a)+(a-b)] < 0](https://i0.wp.com/noic.com.br/wp-content/plugins/latex/cache/tex_f9ad4b50a8c3ec6562d5fe59d0fe9f1b.gif?w=640&ssl=1)

uma contradição.
AVANÇADO:
Da equação do enunciado, temos

Essa igualdade mostra que a sequência tem período
. De fato,




Daí,
,
,
e
. Assim,




![a_{1}^k+a_{2}^k+ ... +a_{100}^k = 25 \cdot (a_{1}^k+a_{2}^k+a_{3}^k+a_{4}^{k}) = 25 \cdot (4^k+2^k+1^k+2^k) = 25 \cdot (2^{2k}+2\cdot2^{k}+1) = [5 \cdot (2^k+1)]^2](https://i0.wp.com/noic.com.br/wp-content/plugins/latex/cache/tex_abed28fcc2585c7dc578bbb73fb9db12.gif?w=640&ssl=1)
concluindo a demonstração.