exercice arithmétique divisibilité dans Z spemath
Posté : mer. 17 sept. 2014 17:11
bonjour, j'ai un exercice à faire en spemath:
montrer que pour tout entier naturel n: 4^(2n)-2n est divisible par 7
j'ai commence a faire le raisonnement par récurrence
initialisation
...
on suppose que la propriété est vraie a un rang n, n>ou egal à 0
7 divise 4^(2n)-2n equivaut à il existe un k appartenant à Z tel que: 4^(2n)-2n=7k ( hypo de récurrence)
4^(2(n+1)-2(n+1)= 4^(2n+2)-2n-2
= 4^(2n)x 4^2 - 2n-2
et si je remplace par l'hypo de récurrence j'obtiens
= (7k+2n)x4^2 -2n-2
mais ensuite je suis bloquée....
pourriez vous m'aider svp ? :)
montrer que pour tout entier naturel n: 4^(2n)-2n est divisible par 7
j'ai commence a faire le raisonnement par récurrence
initialisation
...
on suppose que la propriété est vraie a un rang n, n>ou egal à 0
7 divise 4^(2n)-2n equivaut à il existe un k appartenant à Z tel que: 4^(2n)-2n=7k ( hypo de récurrence)
4^(2(n+1)-2(n+1)= 4^(2n+2)-2n-2
= 4^(2n)x 4^2 - 2n-2
et si je remplace par l'hypo de récurrence j'obtiens
= (7k+2n)x4^2 -2n-2
mais ensuite je suis bloquée....
pourriez vous m'aider svp ? :)