ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 1 — Suites numériques · Raisonnement par récurrence

Exercice 11 Somme des cubes

CalculDémonstration

On pose pour n⩾1n \geqslant 1, Sn=13+23+33+⋯+n3S_n = 1^3 + 2^3 + 3^3 + \cdots + n^3.

1. Calculer S1,S2,S3S_1, S_2, S_3 et S4S_4. Exprimer Sn+1S_{n+1} en fonction de SnS_n.

2. Démontrer par récurrence que : ∀n⩾1,Sn=n2(n+1)24\forall n \geqslant 1, \quad S_n = \dfrac{n^2(n+1)^2}{4}.

Corrigé

1. On calcule les premières sommes : S1=1  ;  S2=1+8=9  ;  S3=9+27=36  ;  S4=36+64=100S_1=1 \;;\; S_2=1+8=9 \;;\; S_3=9+27=36 \;;\; S_4=36+64=100

S1=1  ;  S2=9  ;  S3=36  ;  S4=100etSn+1=Sn+(n+1)3\boxed{S_1=1\;;\;S_2=9\;;\;S_3=36\;;\;S_4=100 \qquad\text{et}\qquad S_{n+1}=S_n+(n+1)^3}

2. Démontrons par récurrence la propriété suivante : ∀n⩾1,Pn:« Sn=n2(n+1)24 »\forall n\geqslant 1,\quad P_n : «\,S_n=\frac{n^2(n+1)^2}{4}\,»

Initialisation : Pour n=1n=1 : 1×44=1=S1\dfrac{1\times 4}{4}=1=S_1. Donc P1P_1 est vraie.

Hérédité : Soit k⩾1k\geqslant 1. Supposons que Sk=k2(k+1)24S_k=\dfrac{k^2(k+1)^2}{4}. Alors : Sk+1=Sk+(k+1)3=k2(k+1)24+(k+1)3=(k+1)2[k2+4(k+1)]4=(k+1)2(k2+4k+4)4=(k+1)2(k+2)24\begin{aligned} S_{k+1} &= S_k+(k+1)^3\\ &= \frac{k^2(k+1)^2}{4}+(k+1)^3\\ &= \frac{(k+1)^2\big[k^2+4(k+1)\big]}{4}\\ &= \frac{(k+1)^2\left(k^2+4k+4\right)}{4}=\frac{(k+1)^2(k+2)^2}{4} \end{aligned} ce qui prouve Pk+1P_{k+1}.

Conclusion : Par principe de récurrence : ∀n⩾1,  Sn=n2(n+1)24\boxed{\forall n\geqslant 1,\; S_n=\frac{n^2(n+1)^2}{4}} On remarque au passage que Sn=(n(n+1)2)2S_n=\left(\dfrac{n(n+1)}{2}\right)^2 : la somme des cubes est le carré de la somme des entiers.

Dans l'édifice

Thèmes

récurrence, somme, somme des cubes, somme des entiers, suite définie par récurrence

Notions

suite

Ouvrir dans l'atlas interactif →