" montrer que 4 divise 7^(2n) + 3 pour tout n € N "
je vois que je peux initialiser à ma valeur la plus petite : 0
7^(2*0) + 3 = 1 + 3 = 4 et 4 divise 4 , donc la propriété est vérifiée pour n = 0.
Maintenant, en supposant que ma propriété est vraie pour tout n >= 0 ( donc pour tout n € N) , on va montrer :
4 divise 7^(2n) + 3 => 4 divise 7^(2(n+1)) + 3
et, si on parvient à le montrer, et bien la propriété sera vérifiée pour tout entier naturel (j'ai montré qu'elle était vraie pour n = 0 , et en supposant qu'elle l'est pour tout n si je montre qu'elle l'est également pour n+1 alors elle sera vraie pour 0+1 ( le successeur de 0 ), et donc pour 1+1, et donc pour 2+1 et ainsi de suite ( effet domino )
x | y signifie x divise y.
On a : 4 | 7^(2n) + 3 => 4 | 7^(2n) + 3 - 8*7^(2n) => 4 | 7^(2n) (1-8) + 3
=> 4 | -(7^(2n+1)) + 3 + 8*7^(2n+1) => 4 | 7^(2n+1) (8-1) + 3 => 4 | 7^(2n+2) + 3 <=> 4 | 7^(2(n+1)) + 3
d'où, par récurrence, 4 |7^(2n) + 3 pour tout n € N.