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.