Iniciante
Esse é um problema de princípio da casa e dos pombos: Chame de o bloco de dígitos . Agora olhe os números formados quando colamos blocos do tipo . Mais especificamente para os números:
(Onde o último número tem blocos )
Como temos números e só há restos possíveis por podemos concluir que há dois dos números acima com o mesmo resto por , digamos aqueles que tem e blocos .
Assim, a diferença entre esses dois números será um número do tipo com blocos e alguns zeros. Esse número é um múltiplo de e o nosso primeiro passo será multiplicar pelo número apropriado para obter . Como o enunciado nos diz que podemos eliminar grupos , basta eliminar os blocos e atingimos o número requerido.
Intermediário
Vamos escrever onde é a parte fracionária, que é um número no intervalo . Vamos olhar pra um número genérico da forma por um momento. Fazendo o algoritmo da divisão para o em relação ao divisor temos e assim:
Logo, .
Voltando ao problema, troque todas as partes inteiras como dissemos no início e a soma que queremos determinar será
.
A primeira parte é tranquila de calcular, afinal, o denominador é o mesmo e os numeradores são os termos de uma P.G.
Desse modo ficamos com
Para ajeitar , usaremos . Olhe os restos das potencias de por
...
Isso nos diz que tal resto se repete com período e ficamos com:
Logo, a soma que queríamos calcular é igual a (claramente você não deve dar um resultado exato para o número ).
Avançado
Nossa meta será provar que o único número válido é o . Para fazer isso vamos provar que, para todo primo podemos achar um que seja divisível por .
Devemos fazer isso de um jeito sensato, testando números que tenham relação com .
Ao olhar para alguns números como e mesmo , vemos que nenhum deles funcionam de modo geral. Nossa cartada final (você pode tentar achar alguma naturalidade para isso fazendo muitos casos iniciais) será provar que divide para todo primo maior que .
Pelo teorema de Fermat temos: . Como não é nem e acabamos de ver que então .
Para achar um que seja múltiplo de ou de basta olhar para .
Logo, se possui algum fator primo , ele obrigatoriamente NÃO será primo com algum dos e concluímos a prova do problema.