Iniciante (Solução por Daniel Lima Braga)
Se você tentar observar um padrão, vai ver que os valores obtidos em cada soma são os quadrados perfeitos, logo, nosso palpite sortudo seria e daí a nossa resposta seria
.
Porém um chute não vale! Isso foi só para ter uma ideia de onde queremos chegar. O que vamos usar usar aqui é algo muito importante: Soma de Gauss. O fato é que .
Daí chegaríamos que
Ótimo, falta só provar a soma de Gauss!
Ela é a parte mais legal do problema. Seja a soma de
até
.
Logo:
E somando a expressão de cima com a de baixo, termo a termo, temos:
e assim concluímos nosso problema.
Intermediário (Solução por Daniel Lima Braga)
Ao ir de para
podemos passar por 1, 2, 3, 4 , 5 ou 6 das cidades
's. Suponha que ele passou por
cidades entre
. Daí saindo de
, temos
modos de escolher a cidade seguinte, depois teremos
modos de escolher a próxima cidade, ...,teremos
modos de escolher a última cidade antes de
e daí chegamos em
. Ou seja, dado que passamos por
cidades entre
e
, temos
modos de fazer nossa trajetória. Logo o total de trajetórias é a soma dessas expressões que achamos quando
varia de
a
, que vai dar:
Avançado (Solução por Daniel Lima Braga)
Vamos analisar algumas congruências para obter informações sobre e
. Analisando a equação dada módulo
e lembrando que
vemos que:
é par.
Veja que as potências de tem período
em relação à congruência módulo
:
...
Agora, analisando a equação dada módulo , obtemos que
deixa resto
por
e desse modo é par.
Faça e
. Agora
Como é primo, um dos parentenses será
e o outro erá
. Como
Somando as duas equações teremos que e substituindo
na primeira equação teremos que
também.
Daí é solução única para o problema.