Телескопический ряд

Телескопический ряд в математике — бесконечный ряд, чья сумма может быть легко получена, исходя из того, что при раскрытии скобок почти все слагаемые взаимно уничтожаются. Название дано по аналогии с трубой телескопа, который может уменьшить свою длину, сложившись несколько раз.

Самый известный пример такого ряда — сумма обратных прямоугольных чисел: $\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{1}{n(n+1)}$$\sum _{n=1}^{\infty }{\frac {1}{n(n+1)}}$, которая упрощается следующим образом:

${\begin{aligned}\sum _{n=1}^{\infty }{\frac {1}{n(n+1)}}&{}=\sum _{n=1}^{\infty }\left({\frac {1}{n}}-{\frac {1}{n+1}}\right)=\\&{}=\left(1-{\frac {1}{2}}\right)+\left({\frac {1}{2}}-{\frac {1}{3}}\right)+\cdots =\\&{}=1+\left(-{\frac {1}{2}}+{\frac {1}{2}}\right)+\left(-{\frac {1}{3}}+{\frac {1}{3}}\right)+\cdots =1.\end{aligned}}$

Суть телескопических сумм заключается в том, что каждое слагаемое ряда представляется в виде разности и поэтому частичная сумма ряда упрощается:

$\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}(a_i-<!--\; -\; -->a_{i+1})=(a_1-<!--\; -\; -->a_2)+(a_2-<!--\; -\; -->a_3)+\cdots <!--\; \cdots \; -->+(a_{n-<!--\; -\; -->1}-<!--\; -\; -->a_n)+(a_n-<!--\; -\; -->a_{n+1})=a_1-<!--\; -\; -->a_{n+1}$$\sum _{i=1}^{n}(a_{i}-a_{i+1})=(a_{1}-a_{2})+(a_{2}-a_{3})+\cdots +(a_{n-1}-a_{n})+(a_{n}-a_{n+1})=a_{1}-a_{n+1}$.

Аналогично можно представить себе «телескопическое» произведение, то есть бесконечное произведение вида:

$\underset{i=1}{\overset{n}{\prod <!--\; \prod \; -->}}\frac{a_{i+1}}{a_i}=\frac{a_2}{a_1}\cdot <!--\; \cdot \; -->\frac{a_3}{a_2}\cdot <!--\; \cdot \; -->\frac{a_4}{a_3}\cdots <!--\; \cdots \; -->\frac{a_n}{a_{n-<!--\; -\; -->1}}\cdot <!--\; \cdot \; -->\frac{a_{n+1}}{a_n}=\frac{a_{n+1}}{a_1}$$\prod _{i=1}^{n}{\frac {a_{i+1}}{a_{i}}}={\frac {a_{2}}{a_{1}}}\cdot {\frac {a_{3}}{a_{2}}}\cdot {\frac {a_{4}}{a_{3}}}\cdots {\frac {a_{n}}{a_{n-1}}}\cdot {\frac {a_{n+1}}{a_{n}}}={\frac {a_{n+1}}{a_{1}}}$.

При суммировании условно сходящихся бесконечных рядов нужно обращать внимание, что перегруппировка слагаемых может привести к изменению результата (см. Теорема Римана об условно сходящихся рядах). Например, «парадокс» с рядом Гранди:

$0=\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}0=\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}(1-<!--\; -\; -->1)=1+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1+1)=1$$0=\sum _{n=1}^{\infty }0=\sum _{n=1}^{\infty }(1-1)=1+\sum _{n=1}^{\infty }(-1+1)=1$

Этого можно избежать, если всегда рассматривать сумму первых n членов, а потом найти предел при $n\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}$$n\to \infty$.

ПримерыПравить

Многие тригонометрические функции позволяют представление в виде разности, что позволяет организовать взаимное уничтожение соответствующих слагаемых

${\begin{aligned}\sum _{n=1}^{N}\sin \left(n\right)&{}=\sum _{n=1}^{N}{\frac {1}{2}}\operatorname {cosec} \left({\frac {1}{2}}\right)\left(2\sin \left({\frac {1}{2}}\right)\sin \left(n\right)\right)=\\&{}={\frac {1}{2}}\operatorname {cosec} \left({\frac {1}{2}}\right)\sum _{n=1}^{N}\left(\cos \left({\frac {2n-1}{2}}\right)-\cos \left({\frac {2n+1}{2}}\right)\right)=\\&{}={\frac {1}{2}}\operatorname {cosec} \left({\frac {1}{2}}\right)\left(\cos \left({\frac {1}{2}}\right)-\cos \left({\frac {2N+1}{2}}\right)\right).\end{aligned}}$ 

• частичная сумма геометрической прогрессии:

$(x-<!--\; -\; -->1)\underset{k=0}{\overset{n}{\sum <!--\; \sum \; -->}}{x}^k=\underset{k=0}{\overset{n}{\sum <!--\; \sum \; -->}}(x^{k+1}-<!--\; -\; -->x^k)=x^{n+1}-<!--\; -\; -->1.$$(x-1)\sum _{k=0}^{n}x^{k}=\sum _{k=0}^{n}(x^{k+1}-x^{k})=x^{n+1}-1.$ 

• иногда приходится применять «телескопическое» преобразование два раза:

${\begin{aligned}(x-1)^{2}\sum _{k=1}^{n}kx^{k-1}&=\sum _{k=1}^{n}(kx^{k+1}-2kx^{k}+kx^{k-1})=\\&=\sum _{k=1}^{n}[kx^{k+1}-(k-1)x^{k}]-\sum _{k=1}^{n}[(k+1)x^{k}-kx^{k-1}]=nx^{n+1}-(n+1)x^{n}+1\end{aligned}}$ .

Другой метод вычисления этой суммы — представить слагаемые в виде производной от геометрической прогрессии:

$\underset{k=1}{\overset{n}{\sum <!--\; \sum \; -->}}k{x}^{k-<!--\; -\; -->1}=\frac{\mathrm{d}}{\mathrm{d}x}\underset{k=0}{\overset{n}{\sum <!--\; \sum \; -->}}{x}^k=\frac{\mathrm{d}}{\mathrm{d}x}\frac{x^{n+1}-<!--\; -\; -->1}{x-<!--\; -\; -->1}=\frac{(n+1)x^n(x-<!--\; -\; -->1)-<!--\; -\; -->(x^{n+1}-<!--\; -\; -->1)}{(x-<!--\; -\; -->1{)}^2}=\frac{n{x}^{n+1}-<!--\; -\; -->(n+1)x^n+1}{(x-<!--\; -\; -->1{)}^2}$$\sum _{k=1}^{n}kx^{k-1}={\frac {\rm {d}}{{\rm {d}}x}}\sum _{k=0}^{n}x^{k}={\frac {\rm {d}}{{\rm {d}}x}}{\frac {x^{n+1}-1}{x-1}}={\frac {(n+1)x^{n}(x-1)-(x^{n+1}-1)}{(x-1)^{2}}}={\frac {nx^{n+1}-(n+1)x^{n}+1}{(x-1)^{2}}}$ .

См. такжеПравить

• Преобразование ряда по Эйлеру
• Дискретное преобразование Абеля
• Ускорение сходимости