INTRODUCCIÓN
Esta entrada en el blog continúa con ejercicios sobre series relacionadas con los recíprocos de números especiales, siguiendo trabajos previos sobre los números piramidales cuadrados y los números poligonales. En esta ocasión consideramos un ejemplo sencillo: la suma de los recíprocos de los números tetraédricos.
Aunque el resultado no es particularmente profundo, sirve como una buena ilustración del uso de fracciones parciales y series telescópicas.
NÚMEROS TETRAÉDRICOS
Los números tetraédricos representan el número de esferas que pueden apilarse formando un tetraedro regular [2] [3] y están definidos por la fórmula
Tn=6n(n+1)(n+2)=(3n+2)(1)
LA SERIE DE LOS RECÍPROCOS DE NÚMEROS TETRAÉDRICOS
Nos interesa estudiar la suma parcial
S(n)=k=1∑nTk1=k=1∑n(3k+2)−1(2)
Sustituyendo la expresión explícita de Tk, obtenemos
S(n)=k=1∑nk(k+1)(k+2)6(3)
DESCOMPOSICIÓN EN FRACCIONES PARCIALES
La fracción racional (3) puede descomponerse en una suma de otras como:
k(k+1)(k+2)6=kA+k+1B+k+2C(4)
Resolviendo el sistema lineal correspondiente se obtienen los valores de los denominadores de la descomposición en fracciones parciales:
A=21,B=−1,C=21(5)
Por lo tanto,
k(k+1)(k+2)6=2k1−k+11+2(k+2)1(6)
NÚMEROS ARMÓNICOS
Estas tres series se pueden sumar facilmente teniendo en cuenta las siguientes identidades para los números armónicos Hn [4]:
k=1∑nk1=Hn(7)
k=1∑nk+11=Hn−1+n+11(8)
k=1∑nk+21=Hn−23+n+11+n+21(9) Sustituyendo estas expresiones en la identidad (6), se obtiene
6S(n)=n+1n−21−41+2(n+1)1+2(n+2)1(10)
Aquí se observa claramente el carácter telescópico de la serie: los términos Hn se cancelan, evitando la aparición de la constante de Euler-Mascheroni (γ) o la función digamma (ψ) partiendo de la extensión clásica de los números armónicos.
Hn=γ+ψ(n+1)(11)
FÓRMULA CERRADA
Simplificando (10), se obtiene una expresión cerrada para la suma parcial:
S(n)=2(n+1)(n+2)3n(n+3)(12)
Los numeradores y denominadores de (12) son respectivamente las secuencias designadas como A118391 y A118392 en OEIS.
SUMA INFINITA
Finalmente, tomando el límite de (12) cuando n→∞,
n→∞limS(n)=23(13)
Esto muestra que la serie de los recíprocos de los números tetraédricos converge, y su suma infinita es igual a 23.
8 REFERENCIAS
5.
Online Encyclopedia of Integer Sequences (2009) Tetrahedral (or triangular pyramidal) numbers: a(n) = C(n+2,3) = n*(n+1)*(n+2)/6.
7.
Post JV, Adamchuk A, Greubel GC, et al. (2006) A118391: Numerator of sum of reciprocals of first n tetrahedral numbers.
8.
Post JV, Dale HP, Greubel GC (2006) A118392: Denominator of sum of reciprocals of first n tetrahedral numbers.