E a resposta está... (música de suspense)
A resposta está correta!!!
Valeu, Cris!
Agora, eu vou contar a solução de um jeito um pouquinho diferente (mas a idéia é essa mesmo).
Vamos começar analisando o problema.
É estabelecido um valor inicial (o número 7^1996) ao qual aplicamos repetidamente uma transformação (retirar o dígito inicial e somá-lo ao número restante). Assumimos que após um número finito de iterações obteremos um número de apenas 10 dígitos - esse é o valor final.
Devemos mostrar que o valor final possui uma certa propriedade (tem dois dígitos iguais).
Naturalmente, é inviável realizar esse processo manualmente. Precisamos de uma estratégia.
O seguinte princípio é bastante útil em situações como essa:
"Procure por alguma coisa que não varia com a transformação."
Parece mais um conselho espiritual, né? Talvez alguém tenha dito isso em algum filme de Kung Fu.
E então? Você retira o primeiro dígito do número e soma ao restante do número. O que não varia?
Vamos acabar com esse mistério: a soma dos dígitos, módulo 3, não varia. (Experimente alguns exemplos com números pequenos).
Pode parecer estranho, mas essa idéia é bastante razoável. Não tem nada especial. A transformação envolve os dígitos do número e ainda tem uma soma por aí. Além disso, a gente sabe muito bem que:
Todo número natural é congruente, módulo 3, à soma dos seus dígitos na base 10. (Verifique isso!)
Tudo bem, então. Vamos usar este invariante: a soma dos dígitos (na base 10), módulo 3.
Como 7 = 1 mod 3, temos 7^1996 = 1 mod 3. Então, a soma dos dígitos de 7^1996 é congruente a 1, módulo 3. E como esse valor não varia com a transformação, o a soma dos dígitos, módulo 3, do valor final (de 10 dígitos) também é 1.
Agora, como observou o Cris, se o valor final não tivesse dígitos repetidos, esse número seria formado por todos os algarismos de 0 a 9. Logo, a soma dos seus dígitos seria 0+1+2+3+4+5+6+7+8+9 = 45. Mas, esse valor não é congruente a 1, módulo 3 (é congruente a zero).
Resulta que o valor final tem (pelo menos) dois dígitos repetidos.
Gostou desse problema? Você pode encontrar esse e muitos outros (com solução) no livro "Problem-Solving Strategies" de Arthur Engel, publicado pela Springer-Verlag.
Obs. A mesma estratégia que utilizamos para resolver este problema (procurar um invariante) também foi utilizada no problema das formigas. É isso aí, resolver problemas também tem um lado cultural. Lembre dos problemas que anda resolvendo, valorize sua cultura.