Sucesiones Aritméticas

Teoría

Una sucesión aritmética (o progresión aritmética) es una lista de números donde la diferencia entre términos consecutivos es constante. A esta constante la llamamos diferencia común y normalmente la escribimos como $d$. Si el primer término es $a_1$, la sucesión se ve así: $a_1, a_1+d, a_1+2d, \dots$. De forma intuitiva, puedes ver una sucesión aritmética como una función lineal discreta. Si graficas los términos $a_n$ contra su posición $n$, vas a notar que los puntos caen sobre una línea recta con pendiente $d$.

Las sucesiones aritméticas son fundamentales en las matemáticas de competencia y aparecen seguido en el AMC 8 y el AMC 10. Son la base más sencilla para entender series y relaciones de recurrencia. Dominar este tema es esencial no solo para resolver problemas directos de sucesiones, sino también para problemas razonados de crecimiento uniforme, problemas de teoría de números con aritmética modular (donde los términos tienen el mismo residuo) y problemas de geometría con longitudes o ángulos en progresión.

Un truco clave al trabajar con sucesiones aritméticas es la propiedad de simetría. Como los términos crecen de forma lineal, el promedio de los términos es igual a la mediana (el término de en medio) o al promedio del primer y último término. Esta simetría te permite calcular sumas rápido sin tener que sumar cada término uno por uno, una técnica que se le atribuye al joven Carl Friedrich Gauss. Si te das cuenta de que los términos están "espaciados uniformemente", puedes transformar problemas de suma complejos en cálculos simples de áreas geométricas o cálculos basados en promedios.

Fórmulas Clave

Definición Recurrente Para una sucesión con diferencia común $d$: $$a_n = a_{n-1} + d$$

Fórmula del Término $n$-ésimo Para encontrar el valor de cualquier término si ya tienes el primer término $a_1$ y la posición $n$: $$a_n = a_1 + (n-1)d$$ O también, para hallar el término $n$-ésimo a partir de cualquier otro término $a_m$: $$a_n = a_m + (n-m)d$$

Propiedad de la Media Aritmética Si tres números $x, y, z$ forman una sucesión aritmética, el término de en medio es el promedio de los términos de los extremos: $$y = \frac{x+z}{2} \implies 2y = x+z$$

Suma de una Serie Aritmética ($S_n$) Puedes calcular la suma de los primeros $n$ términos usando el primero y el último: $$S_n = \sum_{k=1}^{n} a_k = \frac{n}{2}(a_1 + a_n)$$ Si sustituyes $a_n = a_1 + (n-1)d$, obtienes la fórmula que solo usa $a_1$ y $d$: $$S_n = \frac{n}{2}[2a_1 + (n-1)d]$$

Demostración

Teorema: La suma de los primeros $n$ términos de una sucesión aritmética es $S_n = \frac{n}{2}(a_1 + a_n)$.

Demostración: Digamos que $S_n$ es la suma de los primeros $n$ términos de una sucesión aritmética. Puedes escribir esta suma de forma explícita así: $$S_n = a_1 + (a_1 + d) + (a_1 + 2d) + \dots + (a_n - d) + a_n$$

Un truco ingenioso para encontrar esta suma es escribir la misma serie pero en orden inverso. Por la propiedad conmutativa de la suma, el resultado sigue siendo $S_n$: $$S_n = a_n + (a_n - d) + (a_n - 2d) + \dots + (a_1 + d) + a_1$$

Ahora, suma estas dos ecuaciones término a término. Fíjate que en cada pareja vertical, los términos $+d$ y $-d$ se cancelan. $$ \begin{aligned} S_n &= a_1 + (a_1 + d) + \dots + (a_n - d) + a_n \ +\quad S_n &= a_n + (a_n - d) + \dots + (a_1 + d) + a_1 \ \hline 2S_n &= (a_1 + a_n) + (a_1 + a_n) + \dots + (a_1 + a_n) + (a_1 + a_n) \end{aligned} $$

Como hay $n$ términos en la sucesión, vas a tener $n$ parejas de $(a_1 + a_n)$ del lado derecho. Entonces: $$2S_n = n(a_1 + a_n)$$

Si divides ambos lados entre 2, llegas a la fórmula: $$S_n = \frac{n}{2}(a_1 + a_n)$$

$\square$