Suma de los recíprocos de los números tetraédricos

Sumas de la serie de los recíprocos de los números tetraédricos
Autor/a
Fecha de publicación

8 de enero de 2026

Tetrahedral Numbers

1 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.

2 NÚMEROS TETRAÉDRICOS

Los números tetraédricos representan el número de esferas que pueden apilarse formando un tetraedro regular [] [] y están definidos por la fórmula

Tn=n(n+1)(n+2)6=(n+23)(1) T_n = \frac{n(n+1)(n+2)}{6} = \binom{n+2}{3} \tag{1}

3 LA SERIE DE LOS RECÍPROCOS DE NÚMEROS TETRAÉDRICOS

Nos interesa estudiar la suma parcial

S(n)=k=1n1Tk=k=1n(k+23)1(2) S(n) = \sum_{k=1}^{n} \frac{1}{T_k} = \sum_{k=1}^{n} {\binom{k+2}{3}}^{-1} \tag{2}

Sustituyendo la expresión explícita de TkT_k, obtenemos

S(n)=k=1n6k(k+1)(k+2)(3) S(n) = \sum_{k=1}^{n} \frac{6}{k(k+1)(k+2)} \tag{3}

4 DESCOMPOSICIÓN EN FRACCIONES PARCIALES

La fracción racional () puede descomponerse en una suma de otras como:

6k(k+1)(k+2)=Ak+Bk+1+Ck+2(4) \frac{6}{k(k+1)(k+2)} = \frac{A}{k} + \frac{B}{k+1} + \frac{C}{k+2} \tag{4}

Resolviendo el sistema lineal correspondiente se obtienen los valores de los denominadores de la descomposición en fracciones parciales:

A=12,B=1,C=12(5) A = \frac{1}{2}, \qquad B = -1, \qquad C = \frac{1}{2} \tag{5}

Por lo tanto,

6k(k+1)(k+2)=12k1k+1+12(k+2)(6) \frac{6}{k(k+1)(k+2)} = \frac{1}{2k} - \frac{1}{k+1} + \frac{1}{2(k+2)} \tag{6}

5 NÚMEROS ARMÓNICOS

Estas tres series se pueden sumar facilmente teniendo en cuenta las siguientes identidades para los números armónicos HnH_n []:

k=1n1k=Hn(7) \sum_{k=1}^{n} \frac{1}{k} = H_n \tag{7}

k=1n1k+1=Hn1+1n+1(8) \sum_{k=1}^{n} \frac{1}{k+1} = H_n - 1 + \frac{1}{n+1} \tag{8}

k=1n1k+2=Hn32+1n+1+1n+2(9) \sum_{k=1}^{n} \frac{1}{k+2} = H_n - \frac{3}{2} + \frac{1}{n+1} + \frac{1}{n+2} \tag{9} Sustituyendo estas expresiones en la identidad (), se obtiene

S(n)6=nn+11214+12(n+1)+12(n+2)(10) \begin{align} \frac{S(n)}{6} = \frac{n}{n+1} - \frac{1}{2} - \frac{1}{4} + \frac{1}{2(n+1)} + \frac{1}{2(n+2)} \end{align} \tag{10}

Aquí se observa claramente el carácter telescópico de la serie: los términos HnH_n se cancelan, evitando la aparición de la constante de Euler-Mascheroni (γ\gamma) o la función digamma (ψ\psi) partiendo de la extensión clásica de los números armónicos.

Hn=γ+ψ(n+1)(11) H_{n} = \gamma + \psi(n+1) \tag{11}

6 FÓRMULA CERRADA

Simplificando (), se obtiene una expresión cerrada para la suma parcial:

S(n)=3n(n+3)2(n+1)(n+2)(12) S(n) = \frac{3n(n+3)}{2(n+1)(n+2)} \tag{12}

Los numeradores y denominadores de () son respectivamente las secuencias designadas como A118391 y A118392 en OEIS.

7 SUMA INFINITA

Finalmente, tomando el límite de () cuando nn \to \infty,

limnS(n)=32(13) \lim_{n \to \infty} S(n) = \frac{3}{2} \tag{13}

Esto muestra que la serie de los recíprocos de los números tetraédricos converge, y su suma infinita es igual a 32\frac{3}{2}.

8 REFERENCIAS

1.
2.
Tetrahedral number.
3.
Weisstein EW Tetrahedral Number.
4.
Harmonic number.
5.
Online Encyclopedia of Integer Sequences (2009) Tetrahedral (or triangular pyramidal) numbers: a(n) = C(n+2,3) = n*(n+1)*(n+2)/6.
6.
Caglayan G (2015) Proof Without Words: Series of Reciprocals of Tetrahedral Numbers. The College Mathematics Journal 46: 130.
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.

Notas

  1. Este artículo es una traducción y actualización del post original titulado TETRAHEDRAL NUMBERS RECIPROCALS SUM publicado el viernes 25 de diciembre de 2009 en el blog Psychedelic Geometry [].↩︎