Sucesiones y Series

Teoría

Una sucesión es una lista ordenada de números que muchas veces defines con un patrón o función específica, mientras que una serie es la suma de los términos de una sucesión. En las matemáticas de olimpiada, los problemas de sucesiones y series ponen a prueba tu habilidad para reconocer patrones, manipular expresiones algebraicas y generalizar casos específicos. Los tipos más fundamentales son las sucesiones aritméticas (diferencia constante entre términos) y las sucesiones geométricas (razón constante entre términos). Sin embargo, los problemas de competencia suelen explorar estructuras más complejas, como las sucesiones recursivas (donde defines los términos a partir de los anteriores, como la sucesión de Fibonacci) o las progresiones aritmético-geométricas.

Para dominar este tema, tienes que ir más allá de memorizar fórmulas de sumas. La idea es entender la estructura que hay detrás de los índices y los términos. Por ejemplo, la técnica de la "suma telescópica" es una herramienta poderosa donde escribes un término general como la diferencia de términos consecutivos de otra sucesión; así, haces que los términos intermedios de la suma se cancelen. Además, analizar el comportamiento de las series infinitas conecta el álgebra con el análisis, por lo que vas a necesitar entender la convergencia, especialmente para las series geométricas infinitas.

Estos conceptos aparecen por todos lados en las competencias AMC y AIME porque sirven como un puente entre las matemáticas discretas y las funciones continuas. A menudo los vas a ver disfrazados dentro de la teoría de números (patrones de aritmética modular), combinatoria (funciones generatrices) y geometría (áreas o longitudes tipo fractal). Tu éxito en esta área depende de qué tan bien puedas mover los índices, manipular la notación sigma ($\Sigma$) y aplicar identidades algebraicas para transformar una suma difícil en una expresión cerrada que puedas reconocer.

Fórmulas Clave

Progresión Aritmética (PA) Para una sucesión con primer término $a$ y diferencia común $d$:

• Término $n$-ésimo: $a_n = a + (n-1)d$
• Suma de los primeros $n$ términos: $$S_n = \sum_{k=1}^n a_k = \frac{n}{2}(a_1 + a_n) = \frac{n}{2}[2a + (n-1)d]$$

Progresión Geométrica (PG) Para una sucesión con primer término $a$ y razón común $r$ ($r \neq 1$):

• Término $n$-ésimo: $a_n = a r^{n-1}$
• Suma de los primeros $n$ términos: $$S_n = \sum_{k=1}^n a r^{k-1} = a \frac{r^n - 1}{r - 1}$$
• Serie Geométrica Infinita (solo converge si $|r| < 1$): $$S_\infty = \frac{a}{1-r}$$

Sumas de Potencias Importantes

• Suma de los primeros $n$ enteros: $\sum_{k=1}^n k = \frac{n(n+1)}{2}$
• Suma de los primeros $n$ cuadrados: $\sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6}$
• Suma de los primeros $n$ cubos: $\sum_{k=1}^n k^3 = \left( \frac{n(n+1)}{2} \right)^2$

Series Telescópicas Si puedes escribir un término como $a_k = b_k - b_{k+1}$, entonces: $$\sum_{k=1}^n a_k = \sum_{k=1}^n (b_k - b_{k+1}) = b_1 - b_{n+1}$$

Demostración

Teorema: La suma de los primeros $n$ términos de una sucesión geométrica con primer término $a$ y razón común $r \neq 1$ es $S_n = a \frac{r^n - 1}{r - 1}$.

Demostración: Usa $S_n$ para representar la suma de los primeros $n$ términos de la sucesión geométrica. Puedes escribir la suma de forma explícita así: $$S_n = a + ar + ar^2 + \dots + ar^{n-2} + ar^{n-1}$$

Para encontrar una fórmula cerrada, usa la técnica de "desplazar y restar". Primero, multiplica toda la ecuación de $S_n$ por la razón común $r$: $$r S_n = ar + ar^2 + ar^3 + \dots + ar^{n-1} + ar^n$$

Ahora tienes un sistema de dos ecuaciones:

1. $S_n = a + ar + ar^2 + \dots + ar^{n-1}$
2. $r S_n = \quad ar + ar^2 + \dots + ar^{n-1} + ar^n$

Resta la ecuación (1) de la ecuación (2): $$r S_n - S_n = (ar + ar^2 + \dots + ar^n) - (a + ar + \dots + ar^{n-1})$$

Fíjate que la mayoría de los términos del lado derecho se cancelan (se telescopian). El término $ar$ se cancela con $-ar$, $ar^2$ con $-ar^2$, y así sucesivamente hasta llegar a $ar^{n-1}$. Los únicos términos que quedan son el $ar^n$ de la primera expresión y el $-a$ de la segunda: $$S_n(r - 1) = ar^n - a$$

Factoriza la $a$ en el lado derecho: $$S_n(r - 1) = a(r^n - 1)$$

Como $r \neq 1$, puedes dividir ambos lados entre $(r - 1)$ para despejar $S_n$: $$S_n = a \frac{r^n - 1}{r - 1}$$

$\square$