Secuencia aritmético-geométrica

En matemáticas, la secuencia aritmético-geométrica es el resultado de la multiplicación término por término de una progresión geométrica con los términos correspondientes de una progresión aritmética . En pocas palabras, el término n de una secuencia aritmético-geométrica es el producto del término n-ésimo de una secuencia aritmética y el término n-ésimo de una geométrica.​ Las secuencias aritmético-geométricas surgen en diversas aplicaciones, como el cálculo de valores esperados en la teoría de la probabilidad. Por ejemplo, la secuencia:

${\dfrac {\color {blue}{0}}{\color {green}{1}}},\ {\dfrac {\color {blue}{1}}{\color {green}{2}}},\ {\dfrac {\color {blue}{2}}{\color {green}{4}}},\ {\dfrac {\color {blue}{3}}{\color {green}{8}}},\ {\dfrac {\color {blue}{4}}{\color {green}{16}}},\ {\dfrac {\color {blue}{5}}{\color {green}{32}}},\cdots$

es una secuencia aritmético-geométrica. El componente aritmético aparece en el numerador (en azul), y el geométrico en el denominador (en verde).

La suma de esta sucesión infinita se conoce como serie aritmético-geométrica, y su forma más básica se ha denominado escalera de Gabriel:​​​

$\sum _{k=1}^{\infty }{\color {blue}k}{\color {green}r^{k}}={\frac {r}{(1-r)^{2}}},\quad \mathrm {para\ } 0<r<1$

La denominación también puede aplicarse a diferentes objetos que presenten características tanto de secuencias aritméticas como geométricas; por ejemplo, la noción francesa de secuencia aritmético-geométrica se refiere a secuencias de la forma $u_{n+1}=au_{n}+b$, que generalizan tanto las sucesiones aritméticas como las geométricas. Tales secuencias son un caso especial de ecuaciones en diferencias lineales.

Términos de la secuencia

Los primeros términos de una sucesión aritmético-geométrica compuesta por una progresión aritmética (en azul) con diferencia $d$ y valor inicial $a$ y una progresión geométrica (en verde) con valor inicial $b$ y razón común $r$ están dados por:​

${\begin{aligned}t_{1}&=\color {blue}a\color {green}b\\t_{2}&=\color {blue}(a+d)\color {green}br\\t_{3}&=\color {blue}(a+2d)\color {green}br^{2}\\&\ \,\vdots \\t_{n}&=\color {blue}[a+(n-1)d]\color {green}br^{n-1}\end{aligned}}$

Ejemplo

Por ejemplo, la secuencia

${\dfrac {\color {blue}{0}}{\color {green}{1}}},\ {\dfrac {\color {blue}{1}}{\color {green}{2}}},\ {\dfrac {\color {blue}{2}}{\color {green}{4}}},\ {\dfrac {\color {blue}{3}}{\color {green}{8}}},\ {\dfrac {\color {blue}{4}}{\color {green}{16}}},\ {\dfrac {\color {blue}{5}}{\color {green}{32}}},\cdots$

es definida por $d=b=1$, $a=0$, y $r={\frac {1}{2}}$ .

Suma de los términos

La suma de los primeros n términos de una sucesión aritmético-geométrica tiene la forma:

${\begin{aligned}S_{n}&=\sum _{k=1}^{n}t_{k}=\sum _{k=1}^{n}\left[a+(k-1)d\right]br^{k-1}\\&=ab+[a+d]br+[a+2d]br^{2}+\cdots +[a+(n-1)d]br^{n-1}\\&=A_{1}G_{1}+A_{2}G_{2}+A_{3}G_{3}+\cdots +A_{n}G_{n},\end{aligned}}$

donde $A_{i}$ y $G_{i}$ son los i-ésimos términos de la sucesión aritmética y geométrica, respectivamente.

Esta suma tiene la expresión de forma cerrada:​

${\begin{aligned}S_{n}&={\frac {ab-(a+nd)\,br^{n}}{1-r}}+{\frac {dbr\,(1-r^{n})}{(1-r)^{2}}}\\&={\frac {A_{1}G_{1}-A_{n+1}G_{n+1}}{1-r}}+{\frac {dr}{(1-r)^{2}}}\,(G_{1}-G_{n+1})\\&={\frac {a(1-r^{n})}{1-r}}+{\frac {dr(1-nr^{n-1}+(n-1)r^{n})}{(1-r)^{2}}}\end{aligned}}$

Prueba

Multiplicando la expresión de la secuencia:​

$S_{n}=ab+[a+d]br+[a+2d]br^{2}+\cdots +[a+(n-1)d]br^{n-1}$

por r, da

$rS_{n}=abr+[a+d]br^{2}+[a+2d]br^{3}+\cdots +[a+(n-1)d]br^{n}.$

Restando rS_n de S_n, y usando la técnica de series telescópicas obtenemos:

${\begin{aligned}(1-r)S_{n}={}&\left[ab+(a+d)br+(a+2d)br^{2}+\cdots +[a+(n-1)d]br^{n-1}\right]\\[5pt]&{}-\left[abr+(a+d)br^{2}+(a+2d)br^{3}+\cdots +[a+(n-1)d]br^{n}\right]\\[5pt]={}&ab+db\left(r+r^{2}+\cdots +r^{n-1}\right)-\left[a+(n-1)d\right]br^{n}\\[5pt]={}&ab+db\left(r+r^{2}+\cdots +r^{n-1}+r^{n}\right)-\left(a+nd\right)br^{n}\\[5pt]={}&ab+dbr\left(1+r+r^{2}+\cdots +r^{n-1}\right)-\left(a+nd\right)br^{n}\\[5pt]={}&ab+{\frac {dbr(1-r^{n})}{1-r}}-(a+nd)br^{n}\\[5pt]={}&{ab-(a+nd)r^{n}}b+{\frac {dbr(1-r^{n})}{1-r}}\end{aligned}}$

donde la última igualdad resulta de la expresión para la suma de una serie geométrica.

Finalmente, dividir por 1 − r da el resultado:

${\begin{aligned}S_{n}={}&{\frac {ab-(a+nd)br^{n}}{1-r}}+{\frac {dbr(1-r^{n})}{(1-r)^{2}}}\\[5pt]={}&{\frac {ab(1-r^{n})}{1-r}}-{\frac {nbdr^{n}}{1-r}}+{\frac {dbr(1-r^{n})}{(1-r)^{2}}}\\[5pt]={}&{\frac {ab(1-r^{n})}{1-r}}-{\frac {nbdr^{n}(1-r)}{(1-r)^{2}}}+{\frac {dbr(1-r^{n})}{(1-r)^{2}}}\\[5pt]={}&{\frac {ab(1-r^{n})}{1-r}}+{\frac {dbr(1-nr^{n-1}+(n-1)r^{n})}{(1-r)^{2}}}\end{aligned}}$

Serie infinita

Si −1 < r < 1, entonces la suma S de la serie aritmético-geométrica, es decir, la suma de todos los infinitos términos de la progresión, viene dada por​

${\begin{aligned}S&=\sum _{k=1}^{\infty }t_{k}=\lim _{n\to \infty }S_{n}\\&={\frac {ab}{1-r}}+{\frac {dbr}{(1-r)^{2}}}\\&={\frac {A_{1}G_{1}}{1-r}}+{\frac {dG_{1}r}{(1-r)^{2}}}.\end{aligned}}$

Si r está fuera del rango anterior, la serie:

• diverge (cuando r > 1, o cuando r = 1 donde la serie es aritmética y a y d no son ambos cero; si tanto a como d son cero en el último caso, todos los términos de la serie son cero y la serie es constante )
• o se alterna (cuando r ≤ −1).

Ejemplo: aplicación a valores esperados

Por ejemplo, la suma:

$S={\dfrac {\color {blue}{0}}{\color {green}{1}}}+{\dfrac {\color {blue}{1}}{\color {green}{2}}}+{\dfrac {\color {blue}{2}}{\color {green}{4}}}+{\dfrac {\color {blue}{3}}{\color {green}{8}}}+{\dfrac {\color {blue}{4}}{\color {green}{16}}}+{\dfrac {\color {blue}{5}}{\color {green}{32}}}+\cdots$ ,

siendo la suma de una serie aritmético-geométrica definida por $d=b=1$, $a=0$, y $r={\frac {1}{2}}$, converge a $S=2$ .

Esta secuencia corresponde al número esperado de lanzamientos de moneda antes de obtener "cruz". La probabilidad $T_{k}$ de obtener cruz por primera vez en el k-ésimo lanzamiento es la siguiente:

$T_{1}={\frac {1}{2}},\ T_{2}={\frac {1}{4}},\dots ,T_{k}={\frac {1}{2^{k}}}$ .

Por lo tanto, el número esperado de lanzamientos está dado por:

$\sum _{k=1}^{\infty }kT_{k}=\sum _{k=1}^{\infty }{\frac {\color {blue}k}{\color {green}2^{k}}}=S=2$ .

Bibliografía

• Khattar, Dinesh. The Pearson Guide to Mathematics for the IIT-JEE, 2/e (New Edition) (en inglés). Pearson Education India. p. 10.8. ISBN 81-317-2876-5. 
• Gupta, Parmanand. Comprehensive Mathematics XI (en inglés). Laxmi Publications. p. 380. ISBN 81-7008-597-7.