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.