Progresión aritmética

En matemáticas, una progresión aritmética es una sucesión de números tales que la diferencia de cualquier par de términos sucesivos de la secuencia es constante, dicha cantidad llamada «diferencia de la progresión», «diferencia» o incluso «distancia».

Por ejemplo, la sucesión matemática 3, 5, 7, 9,… es una progresión aritmética de diferencia constante 2, así como 5, 2, −1, −4,… es una progresión aritmética de diferencia constante −3.

En una progresión aritmética, si se toman dos términos consecutivos de cualquiera de esta, la diferencia entre ambos es una constante, denominada diferencia. Esto se puede expresar como una relación de recurrencia de la siguiente manera:

Conociendo el primer término a₁ y la diferencia d, se puede calcular el enésimo término de la progresión mediante sustitución sucesiva en la relación de recurrencia

con lo que se obtiene una fórmula para el término general de una progresión aritmética, escrita de manera compacta como:

(I)${displaystyle a_{n}=a_{1}+{(n-1)}{d},}$

donde d es un número real cualquiera.

También se puede escribir el término general de otra forma. Para ello se consideran los términos a_m y a_n (m<n) de la progresión anterior y se ponen en función de a₁:

Restando ambas igualdades, y trasponiendo, se obtiene:

(II)${displaystyle a_{n}=a_{m}-(m-n)d,}$

expresión más general que (I), pues da los términos de la progresión conociendo uno cualquiera de ellos, y la diferencia.

Dependiendo de si la diferencia d en una progresión aritmética es positiva, nula o negativa, se tiene que:^[1]​^[2]​

Una progresión aritmética que es una sucesión en que el primer término es b y la diferencia d de dos términos consecutivos es constante se define por las dos condiciones siguientes:

es una ecuación recursiva de segundo orden^[3]​

La suma de los términos en un segmento inicial de una progresión aritmética se conoce a veces como serie aritmética. Existe una fórmula para las series aritméticas. La suma de los n primeros valores de una sucesión finita viene dada por la fórmula:

donde ${displaystyle a_{1}}$ es el primer término, ${displaystyle a_{n}}$ es el último y ${displaystyle Sigma }$ es la notación de sumatorio.

Por ejemplo, considérese la suma:

La suma puede calcularse rápidamente tomando el número de términos n de la progresión (en este caso 5), multiplicando por el primer y último término de la progresión (aquí 2 + 14 = 16), y dividiendo entre 2. Tomando la fórmula, sería:

Esta fórmula funciona para cualquier progresión aritmética de números reales conociendo ${displaystyle a_{1}}$ y ${displaystyle a_{n}}$. Por ejemplo:

Sea una progresión aritmética de término general ${displaystyle a_{n},}$ y de diferencia d, la suma de los n términos es:

aplicando la fórmula (II), cada término a₁, a₂, a₃, ..., a_m de la progresión se puede expresar en términos del enésimo como ${displaystyle extstyle a_{m}=a_{n}-(n-m)d,}$. Así :

Sumando miembro a miembro las dos igualdades anteriores, se anulan todos los términos que están multiplicados por d:

de lo que se obtiene que

En cualquier progresión aritmética de diferencia d la suma del primer y último término es igual a la del segundo y el penúltimo, a la del tercero y el antepenúltimo, y así sucesivamente. Es decir, la suma de dos términos equidistantes de los extremos es constante, siempre que (n-k)≥1.

Si la progresión cuenta con un número impar de términos, el término central a_c es aquel que por el lugar que ocupa en la progresión equidista de los extremos a₁ y a_n de esta.

Representado de esta manera, es muy sencillo deducir la fórmula de la suma de los n términos de la progresión, anteriormente descrita. Para el caso en el que el número de términos es par, hay n/2 sumas contantes, con valor (a₁ + a_n). Para el caso impar, hay (n-1)/2 sumas con valor (a₁ + a_n) más el término central, que está ubicado en la posición

Sustituyendo c en la fórmula (I) y operando un poco, el término también queda representado en función de (a₁ + a_n), como

por lo que en total, hay n/2 sumas con valor (a₁ + a_n) como en el caso par y la fórmula queda validada para todo n.

Hallar la suma de los n primeros enteros positivos, corresponde a calcular la serie aritmética de los n términos de la progresión aritmética de diferencia d=1 y término inicial a₁=1:

que, para cada valor de n, también se conoce como número triangular.

Una historia muy conocida es la del descubrimiento de esta fórmula por Carl Friedrich Gauss cuando tenía diez años. Su maestro, en la primera clase de aritmética, pidió a sus alumnos hallar la suma de los 100 primeros números y él calculó el resultado de inmediato: 5050.^[4]​

El producto de los términos de una progresión aritmética finita cuyo término inicial es a₁, diferencia d, y n elementos en total está determinado por la expresión en forma cerrada

donde ${displaystyle x^{overline {n}}}$ denota el factorial ascendente y ${displaystyle Gamma }$ denota la función Gamma. (Nótese sin embargo que la fórmula no es válida cuando ${displaystyle a_{1}/d}$ es un entero negativo o cero.)

Esto es una generalización del hecho de que el producto de la progresión ${displaystyle 1 imes 2 imes cdots imes n}$ es dado mediante el factorial ${displaystyle n!}$ y de que el producto

para enteros positivos ${displaystyle m}$ y ${displaystyle n}$ viene dado por

Tomando la fórmula de arriba, por ejemplo, el producto de los términos de la progresión aritmética dada por a_n = 3 + (n-1)5 hasta el 50-ésimo término es

---