Bonsoir,
Je bloque sur un exercice sur le raisonnement par récurrence de TS. Je vous serais reconnaissant de m'aider. En voici l'énoncé :
Démontrez par récurrence que la proposition Pn:"32n+1+2n+2 est un multiple de 7" est vraie pour tout n entier naturel.
Voici les étapes que j'ai suivi :
Je fais l'initialisation : je vérifie que P0 est vraie, ce qui est le cas.
Je passe à l'hérédité et c'est là ou je bloque : après avoir supposé que Pn est vraie pour un entier naturel n (hypothèse de récurrence), je développe Pn+1 :
32(n+1)+1 + 2n+3 = ...
ce qui donne en fin de compte (en introduisant l'hypothèse de récurrence ...) :
77k - 9*2n+1 - 2*32n+1
et c'est là ou je bloque, je n'arrive pas à me débarasser des puissances pour obtenir une expression de forme 7k et justifier donc que Pn+1 est vraie.
Merci pour vos éclairages et bonne soirée.
-----