Somme télescopique

Animation d'une somme télescopique, qui se range comme un télescope lorsque les termes s'annulent.

En analyse, l'expression somme télescopique désigne informellement une somme dont les termes s'annulent de proche en proche : Modèle:Centrer La formulation vient de l'image d'un télescope que l'on replie.

Lorsqu'on effectue cette simplification, on emploie en général la phrase « l'expression se simplifie par télescopage ».

Formule de télescopage et série télescopique

Si

$(a_n)$

est une suite numérique, la série télescopique correspondante est la série de terme général

$a_{n+1}-a_n$

. La formule de télescopage s'écrit alors

$\sum _{k=0}^{n-1}(a_{k+1}-a_k)=\sum _{k=1}^n(a_k-a_{k-1})=a_n-a_0.$

La convergence de la série télescopique

$\sum (a_{n+1}-a_n)$

équivaut donc à la convergence de la suite

$(a_n)$

, et

${\sum }_{n=0}^{\mathrm{\infty }}(a_{n+1}-a_n)=\lim a_n-a_0$

On peut voir cette formule comme une version discrète de la formule d'intégration : $\underset{a}{\overset{b}{\int }}{f}^{\prime }(x)\mathrm{d}x=f(b)-f(a)$.

Exemples d'applications

• L'exemple le plus connu est peut-être la formule des séries géométriques : on a

Modèle:Retrait ou, plus formellement, Modèle:Retrait

• Les formules $\sum _{k=1}^{n}k\times k!=(n+1)!-1$ et $\sum _{k=1}^n\frac{k}{(k+1)!}=1-\frac{1}{(n+1)!}$ s'obtiennent par télescopage après avoir écrit $k=k+1-1$.
• La formule concernant la suite de Fibonacci : $\sum _{k=0}^n{F}_k=F_{n+2}-1$ s'obtient en écrivant $F_k=F_{k+2}-F_{k+1}$.
• La formule de la crosse de Hockey pour les coefficients binomiaux : $\sum _{k=p}^n(\genfrac{}{}{0ex}{}{k}{p})=(\genfrac{}{}{0ex}{}{n+1}{p+1})$ s'obtient par télescopage en utilisant la relation de Pascal : $(\genfrac{}{}{0ex}{}{k}{p})=(\genfrac{}{}{0ex}{}{k+1}{p+1})-(\genfrac{}{}{0ex}{}{k}{p+1})$.
• La relation remarquable $1^3+2^3+...+n^3=(1+2...+n{)}^2$ peut s'obtenir par télescopage.

En effet, si $a_n=(0+1+2+...+n{)}^2=\frac{n^2(n+1{)}^2}{4}$, alors

$a_k-a_{k-1}=\frac{k^2(k+1{)}^2-k^2(k-1{)}^2}{4}=k^2\frac{4k}{4}=k^3.$

On en déduit

$\sum _{k=1}^n{k}^3=\sum _{k=1}^n(a_k-a_{k-1})=a_n-a_0=(1+2+...+n{)}^2.$

• Plus généralement, les sommes des $n$ premières puissances p-ièmes des entiers $S_n^p=\sum _{k=0}^n{k}^p$ peuvent se calculer de proche en proche grâce à la formule de récurrence (Pascal 1655)  : $(p+1)S_n^p=(n+1{)}^{p+1}-\sum _{q=0}^{p-1}(\genfrac{}{}{0ex}{}{p+1}{q})S_n^q$, formule se démontrant par télescopage et à l'aide de la formule du binôme.
  En effet, par télescopage : $\sum _{k=0}^n((k+1{)}^{p+1}-k^{p+1})=(n+1{)}^{p+1}$.
  Et par la formule du binôme, $$\sum _{k=0}^n((k+1{)}^{p+1}-k^{p+1})=\sum _{k=0}^n\sum _{q=0}^p(\genfrac{}{}{0ex}{}{p+1}{q})k^q=\sum _{q=0}^p(\genfrac{}{}{0ex}{}{p+1}{q})\sum _{k=0}^n{k}^q=(p+1)S_n^p+\sum _{q=0}^{p-1}(\genfrac{}{}{0ex}{}{p+1}{q})S_n^q$$ d'où la formule annoncée.
• La décomposition en éléments simples permet parfois une réécriture sous forme télescopique ; par exemple, puisque

Modèle:Retrait on a (si $-\alpha \notin \mathbb{N}$) : Modèle:Retrait

• De nombreuses séries trigonométriques admettent une représentation comme différence permettant un télescopage :

• Plus généralement, les expressions closes suivantes des sommes $C_n=\sum _{k=0}^n\cos (k\theta +\phi )$ et $S_n=\sum _{k=0}^n\sin (k\theta +\phi )$ pour $\theta \ne 0mod2\pi$ :$C_n=\frac{\sin ((n+1)\frac{\theta }{2})}{\sin \frac{\theta }{2}}\cos (n\frac{\theta }{2}+\phi ),S_n=\frac{\sin ((n+1)\frac{\theta }{2})}{\sin \frac{\theta }{2}}\sin (n\frac{\theta }{2}+\phi )$peuvent s'obtenir en multipliant par $\sin \frac{\theta }{2}$ , en linéarisant, puis en télescopant.
• Il convient cependant, dans le cas des séries, de ne pas négliger les questions de convergence ; on pourrait sinon en déduire, par exemple, que

Modèle:Retrait (mais les résultats ainsi obtenus ne sont pas toujours dénués de sens ; on pourra à ce sujet consulter l'article série divergente).

Application à la sommation par parties

Énoncé et démonstration

Si $(a_n)$ et $(b_n)$ sont des suites, la formule de sommation par parties s'écrit :

$\sum _{k=0}^{n-1}(a_{k+1}-a_k)b_k=(a_n{b}_n-a_0{b}_0)-\sum _{k=0}^{n-1}{a}_{k+1}(b_{k+1}-b_k)$

En effet, d'une part par télescopage,

$\sum _{k=0}^{n-1}(a_{k+1}{b}_{k+1}-a_k{b}_k)=(a_n{b}_n-a_0{b}_0)$

et d'autre part :

$\sum _{k=0}^{n-1}(a_{k+1}{b}_{k+1}-a_k{b}_k)=\sum _{k=0}^{n-1}(a_{k+1}(b_{k+1}-b_k)+(a_{k+1}-a_k)b_k)$

Exemple d’application

$(x-1)\sum _{k=0}^{n-1}k{x}^k=\sum _{k=0}^{n-1}k(x^{k+1}-x^k)\stackrel{formule}{=}n{x}^n-\sum _{k=0}^{n-1}{x}^{k+1}=n{x}^n-\frac{x^{n+1}-x}{x-1}$, dont on tire : Modèle:Centrer

Produit télescopique

Formule

La version multiplicative de la formule de télescopage s'écrit, pour une suite $(a_n)$ jamais nulle :

$\prod _{k=0}^{n-1}\frac{a_{k+1}}{a_k}=\prod _{k=1}^n\frac{a_k}{a_{k-1}}=\frac{a_n}{a_0}$.

La convergence du produit infini télescopique $\prod \frac{a_{n+1}}{a_n}$ équivaut donc à la convergence de la suite $(a_n)$ vers une limite $\ell \ne 0$, et $\prod _{n=0}^{\mathrm{\infty }}\frac{a_{n+1}}{a_n}=\frac{\ell }{a_0}.$

Exemples

• En remarquant que $2\cos a=\frac{\sin 2a}{\sin a}$, on a :

  $2^n\prod _{k=0}^{n-1}\cos (2^k\alpha )=\prod _{k=0}^{n-1}\frac{\sin (2^{k+1}\alpha )}{\sin (2^k\alpha )}=\frac{\sin (2^n\alpha )}{\sin \alpha }$ (généralisation de la loi de Morrie), ce qui équivaut à $\prod _{k=1}^n\cos \frac{a}{2^k}=\frac{\sin a}{2^n\sin \frac{a}{2^n}}$ et donne $\prod _{k=1}^{\mathrm{\infty }}\cos \frac{a}{2^k}=\frac{\sin a}{a}$ ;

• $\prod _{n=2}^N(1-\frac{1}{n^2})=\prod _{n=2}^N\frac{\frac{n+1}{n}}{\frac{n}{n-1}}=\frac{\frac{N+1}{N}}{2}$, d'où $\prod _{n=2}^{\mathrm{\infty }}(1-\frac{1}{n^2})=\frac{1}{2}$ ;
• $\prod _{n=2}^N\frac{n^3-1}{n^3+1}=\prod _{n=2}^N\frac{\frac{n^2+n+1}{n^2+n}}{\frac{n^2-n+1}{n^2-n}}=\frac{\frac{N^2+N+1}{N^2+N}}{3/2}$, d'où $\prod _{n=2}^{\mathrm{\infty }}\frac{n^3-1}{n^3+1}=\frac{2}{3}$.