Resposta:
É um exercício clássico de indução finita, basta mostrar que para m a propriedade P (ser divisível por 5) vale para a=1, supor que vale para todo "a" e concluir que P vale para a+1, ou seja, você tem que mostrar que se [tex]a^5-1[/tex] é divisível por 5 então [tex](a+1)^5=(a+1)[/tex] também é. Embora simples a ideia, isso pode ser trabalhoso, eu fiz para o caso de "a" ser um número natural, espero que ajude.
Caso a imagem estiver ruim, tente acessá-la através do link abaixo:
file:///C:/Users/marlo/OneDrive/Imagens/solu%C3%A7%C3%A3o.svg
