Les suites et séries/Les suites télescopiques

Les sommes télescopiques sont les sommes partielles de la forme :

Pour $\sum _{i=0}^n(u_{i+1}-u_i)$

Le calcul d'une somme partielle télescopique

On peut facilement démontrer la formule suivante :

Pour $\sum _{i=0}^n(u_{i+1}-u_i)=u_{n+1}-u_0$

De manière informelle, le raisonnement est le suivant. On part de la définition d'une somme télescopique :

$\sum _{i=0}^n(u_{i+1}-u_i)$

Développons l'expression :

Pour $\sum _{i=0}^n(u_{i+1}-u_i)=(u_1-u_0)+(u_2-u_1)+(u_3-u_2)+(u_4-u_3)+(u_5-u_4)+(u_6-u_5)+\cdots$

On peut changer l'ordre des termes, ce qui donne :

Pour $\sum _{i=0}^n(u_{i+1}-u_i)=-u_0+(u_1-u_1)+(u_2-u_2)+(u_3-u_3)+\cdots +(u_n-u_n)+u_{n+1}=u_{n+1}-u_0$}}

Une démonstration plus formelle, équivalent à ce qui vient d'être dit, serait la suivante :

Le produit d'un suite telescopique par une autre suite

On a vu plus haut que le calcul de la somme partielle est beaucoup plus compliqué et il n'existe pas vraiment de formule générale qui fonctionne. On peut cependant déduire un résultat pour le cas particulier suivant :

$\sum _{i=0}^n[u_i\cdot (v_{i+1}-v_i)]$

On voit que le cas particulier en question est le produit d'une suite par une somme télescopique $v_n-v_{n-1}$. Dans ce cas particulier, on peut alors utiliser la sommation par partie, que voici :

$\sum _{i=0}^n[u_i\cdot (v_{i+1}-v_i)]=u_n\cdot v_{n+1}-u_0\cdot v_0-\sum _{i=1}^n[v_n\cdot (u_n-u_{n-1})]$

On peut appliquer cette formule dans le cas général, en transformant une suite en suite télescopique. Pour montrer comment, partons du cas général :

$P=\sum _{n=0}^N(a_n\cdot b_n)$

On peut alors définir la suite suivante :

$B_n=\sum _{k=0}^n{b}_k$.

Par définition, on a $b_n=B_n-B_{n-1}$, ce qui permet de réécrire le produit P comme ceci :

$P=a_0{b}_0+\sum _{n=1}^N{a}_n(B_n-B_{n-1})$

En faisant une sommation par partie, on trouve alors :

$P=a_0{b}_0-a_0{B}_0+a_N{B}_N+\sum _{n=0}^{N-1}{B}_n(a_n-a_{n+1}).$

Un exemple d'utilisation

Un exemple d'utilisation des théorèmes sur les suites télescopiques est le suivant. On peut retrouver la somme partielle de la suite de l'inverse des nombres oblongs, soit la somme partielle suivante, sans recourir à une démonstration par récurrence :

$S_n=\sum _{i=1}^n\frac{1}{i(i+1)}=1-\frac{1}{n+1}$

Pour cela, il suffit de réécrire la suite initiale sous la forme d’une suite télescopique. Pour cela, partons de la suite initiale :

$S_n=\sum _{i=1}^n\frac{1}{i(i+1)}$

On applique alors la formule $\frac{1}{i(i+1)}=\frac{1}{i}-\frac{1}{i+1}$

$S_n=\sum _{i=1}^n(\frac{1}{i}-\frac{1}{i+1})$

La formule précédente s'identifie à la limite de la suite télescopique $u_i=\frac{1}{i}-\frac{1}{i+1}$. En appliquant la formule des suites télescopiques, on trouve que :

$S_n=1-\frac{1}{n+1}$

Modèle:NavChapitreModèle:Autocat