Bonne idée de poster une version finale ; mais il y a pas mal de choses qui clochent :
Tu parle de P(n) sans l'avoir défini.
Tu mélange n et k dans l'hypothèse de récurrence.
Tu ne tiens pas compte de la remarque de carpediem sur les lettres k.
Tu écris des "" alors que c'est "=".
Citation :On souhaite montrer que
n
, 9
n-2
n est divisible par 7.
Pour n dans on note P(n) : 9n-2n est divisible par 7.
Initialisation
Pour n = 0
9
0-2
0= 0
0 est divisible par 7, la propriété est vraie pour n = 0.
Hérédité
On suppose qu'il existe un
n tel que P(n) est vraie ;
c'est à dire tel que 9
n-2
n est divisible par 7.
On montre que P(n +1) est vraie, c'est à dire :
9
n+1-2
n+1 est divisible par 7.
D'après l'hypothèse de récurrence ;
il existe k dans tel que 9
n = 7k+2
n
On a alors 9n+1 - 2n+1 = (7k+2n)9 - 2n+1
9n+1 - 2n+1 = 7k9 + 2n(9-2).
9n+1 - 2n+1 = 7(9k+2n)
9k+2n est un entier ; donc 9n+1 - 2n+1 est divisible par 7.
Conclusion
On a montré que la propriété était vraie pour n = 0 puis héréditaire à partir de ce rang.
D'après le principe de récurrence 9
n-2
n est divisible par 7
pour tout n de .