Sumas Telescópicas

Teoría

Una suma telescópica es una serie finita o infinita en la que los términos consecutivos se cancelan entre sí, dejando solo un número fijo de términos iniciales y finales. El nombre viene del diseño de los telescopios plegables, que se deslizan dentro de sí mismos para hacerse más chiquitos. En las olimpiadas de matemáticas, esta técnica es una herramienta súper potente para calcular sumas que parecen imposibles de resolver a mano por la gran cantidad de términos o por lo complejos que son.

La estrategia principal para identificar y resolver una suma telescópica es manipular el término general de la sucesión, que llamamos $a_k$, para que sea una resta de términos consecutivos de otra sucesión, $b_k$. Específicamente, la idea es encontrar una sucesión $b_k$ tal que $a_k = b_k - b_{k+1}$ (o una resta parecida como $b_k - b_{k+c}$). Una vez que logras escribir el término general como una resta, el proceso de suma genera una "reacción en cadena" de cancelaciones.

Esta técnica aparece por todos lados en problemas de álgebra y teoría de números de exámenes como el AMC y el AIME. Algunos trucos algebraicos comunes para llegar a la forma telescópica incluyen la descomposición en fracciones parciales, racionalizar denominadores con raíces, usar leyes de los logaritmos (para convertir una división dentro del logaritmo en una resta afuera) y aplicar identidades trigonométricas de resta. Para las series infinitas, la suma converge si y solo si la sucesión $b_k$ tiende a un límite finito cuando $k \to \infty$.

Fórmulas Clave

La Propiedad Telescópica Fundamental Para una sucesión de números $b_1, b_2, b_3, \dots$, la suma de las diferencias es: $$ \sum_{k=1}^n (b_k - b_{k+1}) = b_1 - b_{n+1} $$

Salto Generalizado (Desfase) Si la resta está separada por $m$ pasos, de modo que $a_k = b_k - b_{k+m}$, la suma conserva $m$ términos al principio y $m$ términos al final: $$ \sum_{k=1}^n (b_k - b_{k+m}) = \left(\sum_{j=1}^m b_j\right) - \left(\sum_{j=1}^m b_{n+j}\right) $$

Series Telescópicas Infinitas Si $\lim_{n \to \infty} b_n = L$, entonces: $$ \sum_{k=1}^{\infty} (b_k - b_{k+1}) = b_1 - L $$

Identidades Comunes para la Construcción

• Fracciones Parciales: $$ \frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1} $$
• Radicales: $$ \frac{1}{\sqrt{k+1} + \sqrt{k}} = \sqrt{k+1} - \sqrt{k} $$
• Logaritmos: $$ \ln\left(1 + \frac{1}{k}\right) = \ln\left(\frac{k+1}{k}\right) = \ln(k+1) - \ln(k) $$

Demostración

Teorema: Para cualquier sucesión $b_k$, $\sum_{k=1}^n (b_k - b_{k+1}) = b_1 - b_{n+1}$.

Demostración: Digamos que $S_n$ es la suma parcial de la serie. Escribe la suma de forma explícita expandiendo la notación sigma:

$$ S_n = \sum_{k=1}^n (b_k - b_{k+1}) $$

Sustituye $k=1, 2, \dots, n$ en la expresión:

$$ \begin{aligned} S_n &= (b_1 - b_2) \ &+ (b_2 - b_3) \ &+ (b_3 - b_4) \ &+ \dots \ &+ (b_{n-1} - b_n) \ &+ (b_n - b_{n+1}) \end{aligned} $$

Por la propiedad asociativa de la suma, puedes agrupar los términos para que se vean las cancelaciones. Fíjate que para cada término $-b_k$ (donde $k > 1$), hay un término positivo $+b_k$ que viene del grupo anterior:

$$ S_n = b_1 + (-b_2 + b_2) + (-b_3 + b_3) + \dots + (-b_n + b_n) - b_{n+1} $$

Como $-b_k + b_k = 0$ para todo $k$, todos los términos intermedios desaparecen:

$$ S_n = b_1 + 0 + 0 + \dots + 0 - b_{n+1} $$

Así que solo te quedas con el primer término de la primera resta y el segundo término de la última resta:

$$ S_n = b_1 - b_{n+1} $$

$\square$