Démontrer par récurrence que, pour tout entier n ≥ 1 : 12 + 22 + … + n2 = n(n + 1)2n + 16.
Voir la correction
notons P(n) la propriété : « 12 + 22 + … + n2 = n(n + 1)2n + 16 », définie pour n ≥ 1.
Initialisation. Pour n = 1, le membre de gauche vaut 12 = 1 et le membre de droite 1 × 2 × 36 = 1. P(1) est donc vraie.
Hérédité. Soit k un entier tel que k ≥ 1. On suppose P(k) vraie, c'est-à-dire 12 + … + k2 = k(k + 1)2k + 16. Démontrons que P(k + 1) est vraie, c'est-à-dire 12 + … + (k + 1)2 = (k + 1)(k + 2)2k + 36.
12 + … + k2 + (k + 1)2 = k(k + 1)2k + 16 + (k + 1)2 d'après l'hypothèse de récurrence.
On factorise par k + 16 : la somme vaut (k + 1)[k(2k + 1) + 6(k + 1)]/6 = (k + 1)2k2 + 7k + 66.
Or (k + 2)(2k + 3) = 2k2 + 3k + 4k + 6 = 2k2 + 7k + 6. La somme vaut donc (k + 1)(k + 2)2k + 36, qui est bien l'expression attendue au rang k + 1 : en remplaçant n par k + 1 dans la formule, on obtient (k + 1)((k + 1) + 1)2(k + 1) + 16.
Conclusion. P(1) est vraie et P se transmet d'un rang au suivant. Le principe de récurrence donne alors, pour tout entier n ≥ 1 : 12 + 22 + … + n2 = n(n + 1)2n + 16. Vérification : pour n = 3, 1 + 4 + 9 = 14 et 3 × 4 × 76 = 14.