Et voici une autre methode:
pour demontrer que n^5-n est toujours multiple de 30, il suffit de demontrer que
- si c'est vrai pour N, alors c'est aussi vrai pour n+1, et
et
- c'est vrai pour un nombre quelconque comme par exemple 0 ou 1.
pour n=0: 0^5-0 = 0-0 =0 = 0 * 30.
pour n=1: 1^5-0 - 1-1 = 0 = 0 * 30
pour n=2: 2^5-2 = 32-2 = 30 = 1 * 30
...
ensuite:
si n^5-n est un multiple de 30, alors pour n+1 ca donne:
(n+1)^5 - (n+1) =
n^5+5*n^4+10*n^3+10*n^2+5n-n =
n^5-n + 5*(n^4+2*n^3+2*n^2+n)
comme n^5-n est deja un numltiple de 30, il suffit de demontrer que 5*(n^4+2*n^3+2*n^2+n) est aussi un multiple 30.
on sait que c'est deja un multiple de 5, il faut donc montrer que
(n^4+2*n^3+2*n^2+n) est un multiple de 2 et de 3.
comme 2*n^3+2*n^2 est deja pair, il reste n^4 +n.
si n est pair, alors n^4+n est pair.
si n est impair, alors n^4 +n est aussi pair.
pour etre un multiple de 3:
on factorise n^4+2*n^3+2*n^2+n = (n)*(n+1)*(n^2+n+1)
soit n=3a, n^4+2*n^3+2*n^2+n, est un multiple 3.
soit n=3a-1, n+1 est multiple de 3, donc n^4+2*n^3+2*n^2+n, est un multiple 3.
soit n=3a+1, il suffit de developer
n^4+2*n^3+2*n^2+n pour n=3a+1, et de ne regarder qu'aux unités, puisque le reste sera multiple de 3...
ca donne : x a^4 + y a^3 + z a^2 + t a + 1 + 2 + 2 + 1
ou x, y, z et t sont multiples de 3...
et les unités sont 1+2+2+1 = 6, donc aussi multiple de 3.
donc dans toutes les situations, (n+1)^5 - (n+1) est aussi multiple de 30.
quelque soit n.