CIDEM Centro de Investigación y Desarrollo del Estado de Michoacán.

_________________________________________________________________________________________________

Una suma obtenida por Leonhard Euler.

Leonhard Euler "El más prolífero de los matemáticos", nace en Basilea (Suiza)
el 15 de abril de 1707 y muere, en San Petersburgo, el 18 de septiembre de 1783. Hoy
día encontramos el nombre de Euler en fórmulas, teoremas, números , integrales y
constantes y se tiene un reconocimiento universal de su gigantesca obra; los cálculos
más pesimistas afirman que publicó, mínimo, 760 trabajos de investigación y a su
muerte dejó muchos de sus papeles inéditos.
Simplemente, por mencionar algunas de sus notaciones , recordemos que a él se
le debe la escritura f (x) para indicar que una función f es calculada en x, la notación
sen θ y cos θ , la notación i para denotar al complejo − 1 , el uso sitemático de la
letra π , el de la letra e base de los logaritmos naturales, la introducción de los hoy
denominados diagramas de Venn-Euler para facilitar la comprensión de la lógica y la
teoría de conjuntos y el empleo de la letra sigma ∑ para indicar suma de varios
elementos.

Entre los numerosos resultados obtenidos por Euler al manipular series ocupa
un lugar destacado la suma de los inversos cuadrados
∞
π 2
∑
1 1 1 1
= + + + L =
k =1 k2 12 22 32 6

Henry Oldenburg , secretario de la Royal Society , y hombre muy relacionado

con los científicos de la época, había planteado este problema a Leibnitz, quien no logra
resolverlo, en 1689 Jacques Bernoulli reconoce a su vez su incapacidad para calcular
dicha suma infinita. Cuando Jean Bernoulli (hermano menor de Jacques) tuvo noticias
del triunfo de Euler, escribe:

" Y así ha quedado satisfecho el ardiente deseo de mi hermano, que, al darse cuenta de
que la investigación de esta suma resultaba ser más difícil de lo que nadie hubiera
sospechado, confesó francamente que todo su entusiasmo puesto en ello había sido
inútil. ¡ Si al menos viviera aún mi hermano para verlo!". (Jacques había muerto en
1705).

La suma efectuada por Euler parece datar de 1736, y lo más probable es que
haya comunicado tan bello resultado, primeramente, a Daniell Bernoulli , uno de los
hijos de Jean.

El interés de Euler por este tipo de series siempre fue grande, y en años
sucesivos publicó la suma de los inversos de otras potencias; por ejemplo el calculó las
sumas:

π2 1 1 1
= 2 + 2 + 2 + L
8 1 3 5

π2 1 1 1 1
= 2 − 2 + 2 − 2 +L
12 1 2 3 4

Leonardo Sáenz Baez

 CIDEM Centro de Investigación y Desarrollo del Estado de Michoacán.
_________________________________________________________________________________________________

Muchos de estos resultados sobre series aparecieron también publicados en su famosa

obra Introductio in analysin infinitorum de 1748 , incluidos las sumas de los inversos
de las potencias n-ésimas pares de los números naturales, desde n=2 hasta n=26 . Por

1 1 1 2 24 × 76977927 × π 26
+ + + L =
126 2 26 3 26 27 !
ejemplo:
∞
1 π2
Veamos como obtiene Euler la suma: ∑k2 = 6
k =1

Partiendo del desarrollo en serie del seno

z 3 z5 z 7 ⎛ z2 z4 z6 ⎞
sen z = z − + − + L = z ⎜⎜1 − + − + L⎟⎟ = 0
3! 5! 7! ⎝ 3! 5! 7! ⎠

eliminando la raíz z = 0 , obtiene

z2 z4 z6
1− + − +L= 0 y al hacer z 2 = w se tiene
3! 5 ! 7 !

w w 2 w3
1− + − +L= 0
3 ! 5! 7!

En este punto, Euler emplea un resultado válido para polinomios finitos, que
afirma: “ Si el término independiente en un polinomio es igual a la unidad, entonces la
suma de los inversos de las raíces es igual al coeficiente del término de primer grado
con signo cambiado”, de tal forma que , aplicando esto al polinomio infinito anterior
obtiene:

1 1 1 1 1
+ + +L= = , donde wi son las raíces del polinomio
w w w 3! 6
1 2 3

y como las raíces de sen z = 0 son:

z = π , 2π , 3π , L y siendo z 2 = w entonces

1 1 1 1
+ + + L=
π 2
( 2π ) 2
( 3π ) 2
6

1 1 1 π2
y por lo tanto: + + + L =
12 2 2 3 2 6

Hace ya varios años se publicó un artículo en la revista Mathematical Monthly,

del Profesor Yoshio Matsuoka de la Universidad Kagoshima de Japón, intitulado :

Leonardo Sáenz Baez

 CIDEM Centro de Investigación y Desarrollo del Estado de Michoacán.
_________________________________________________________________________________________________

∞
1 π2
An elementary proof of the formula ∑k2 = 6 .
k =1

en el cual se da una prueba de tal suma , empleando solamente cálculo elemental.

A continuación me permito desarrollar, en forma más detallada, los pasos

indicados en el artículo a fin de que se compare esta demostración con la dada por
Euler.

Partamos de la integral
π
2
I= ∫ cos 2 n t dt
0

apliquemos la integración por partes, seleccionando

u = cos 2 n t dv = dt

du = − 2n ⋅ cos 2 n −1 t ⋅ sen t dt v= t

]
π π

I = t cos 2 n t 02 + ∫ 2 t cos 2 n −1 (t ) sintdt = 2n ∫ 2 t cos 2 n (t ) sintdt

π

0 0

integrando nuevamente por partes esta última integral se tiene

u = cos 2 n−1 sen t dv = tdt

1 2
du = cos 2 n t dt − ( 2n − 1) cos 2 n− 2 t ⋅ sen 2 t dt v= t
2

π π

⎡1 ⎤2 2

∫ t [ cos 2 n t − ( 2n − 1) cos 2 n − 2 t ⋅ sen 2 t ] dt

1 2
I = 2n ⎢ t 2 cos 2 n −1 t ⋅ sen t ⎥ − 2n
⎣2 ⎦0 0 2

π π
2 2
I = 0− n ∫ t 2 ⋅ cos 2 n tdt + n( 2n − 1) ∫ t 2 ⋅ cos 2 n − 2 t ⋅ ( 1 − cos 2 t ) dt
0 0

π π
2 2
I = n( 2n − 1) ∫ t ⋅ cos t dt − 2n
2 2n 2
∫ t 2 ⋅ cos 2 n tdt
0 0
π
2

∫ cos 2 n tdt = n( 2n − 1) I 2 n− 2 − 2n 2 I 2 n (A)

0

Leonardo Sáenz Baez

 CIDEM Centro de Investigación y Desarrollo del Estado de Michoacán.
_________________________________________________________________________________________________

π π
2 2
donde I 2 n−2 = ∫ t 2 cos 2 n− 2 tdt I 2n = ∫ t 2 cos 2 n tdt
0 0

Por otro lado, empleando la conocida fórmula de Wallis se tiene

π
2
( 2n − 1)( 2n − 3)L3 ⋅ 1 π ( 2n − 1) !! π
∫ cos 2n t dt =
2n( 2n − 2)L4 ⋅ 2
⋅ =
2 ( 2n) !! 2
⋅ (B)
0

Aquí se adopta la notación:

( 2n) !! = 2 ⋅ 4L( 2n − 2)( 2n) 0!! = 1

(2n − 1)!! = 1 ⋅ 3L( 2n − 3)( 2n − 1) ( -1)!! = 1

De (A) y (B) se tiene:

( 2n − 1) !! π
− 2n 2 I 2 n + n( 2n − 1) I 2 n− 2 =
( 2n) !! 2

( 2n) !!
multiplicando todo por − se tiene:
2n ( 2n − 1) !!
2

( 2n) !! ( 2n) !! ( 2n − 1) ⎛π ⎞ 1
I 2n − I 2n− 2 = − ⎜ ⎟ ⋅ 2
( 2n − 1) !! ( 2n − 1) !!⋅ 2n ⎝4⎠ n

( 2n) !! ( 2n − 2) !!⋅ 2n ⋅ ( 2n − 1) ⎛π ⎞ 1
I 2n − I 2n− 2 = − ⎜ ⎟ ⋅ 2
( 2n − 1) !! ( 2n − 3) !!⋅ ( 2n − 1) ⋅ 2n ⎝4⎠ n

( 2n) !! ( 2n − 2) !! ⎛π ⎞ 1
I 2n − I 2n−2 = − ⎜ ⎟ ⋅ 2 (C)
( 2n − 1) !! ( 2n − 3) !! ⎝4⎠ n

La fórmula (C) , con valores de 1 a n , nos da:

Leonardo Sáenz Baez

 CIDEM Centro de Investigación y Desarrollo del Estado de Michoacán.
_________________________________________________________________________________________________

( 2) !! ( 0) !! ⎛π ⎞ 1
I2 − I 0 = − ⎜ ⎟⋅ 2
( 1) !! ( − 1) !! ⎝4⎠ 1

( 4) !! ( 2) !! ⎛π ⎞ 1
I4 − I 2 = − ⎜ ⎟⋅ 2
( 3) !! ( 1) !! ⎝4⎠ 2

...

( 2n - 2) !! ( 2n − 4) !! ⎛π ⎞ 1
I 2n−2 − I 2n−4 = − ⎜ ⎟ ⋅
( 2n − 3) !! ( 2n − 5) !! ⎝ 4 ⎠ ( n − 1) 2

( 2n) !! ( 2n − 2) !! ⎛π ⎞ 1
I 2n − I =− ⎜ ⎟⋅ 2
( 2n − 1) !! ( 2n − 3) !! 2 n − 2 ⎝4⎠ n

Sumando estas n ecuaciones se tendrá:

( 2n) !! ( 0) !! π n 1
I − I =− ⋅∑
( 2n − 1) !! 2 n ( − 1) !! 0 4 k =1 k 2
π
( 2n) !! 2
π n
∫ ⋅∑
1
I − t dt = −
2
( 2n − 1) !! 2 n 0 4 k =1 k 2

( 2n) !! π3 π n 1
I 2n − =− ⋅∑
( 2n − 1) !! 24 4 k =1 k 2

( 2n) !! π3 π n 1 π ⎡π 2 n 1 ⎤
I 2n = − ⋅∑ 2 = ⋅ −∑
( 2n − 1) !! 24 4 k =1 k 4 ⎢⎣ 6 k =1 k 2 ⎦⎥

( 2n) !! π ⎡π 2 n 1 ⎤
( 2n − 1) !! 2 n 4 ⎢⎣ 6 ∑
I = ⋅ − 2 ⎥ (D)
k =1 k ⎦

Ahora, sí se demuestra que

( 2 n) !! ∞
π2
∑k
1
lim I 2n = 0 se tendrá , =
n →∞ ( 2 n − 1) !!
2
k=1 6

Para ver esto, partamos de la desigualdad

π
2 t ≤ π ⋅ sen t , la cual se cumple para 0 ≤ t ≤ como puede apreciarse en la gr á fica adjunta
2

Leonardo Sáenz Baez

 CIDEM Centro de Investigación y Desarrollo del Estado de Michoacán.
_________________________________________________________________________________________________

gráficas de y = 2t y y = π sen t

la desigualdad anterior implica que:

π2
t ≤
2
⋅ sen 2 t
4
π2
t 2 cos 2 n t ≤ ⋅ sen 2 t ⋅ cos 2 n t
4
π π
⎡ π π
⎤
2
π 2 2
π2
⎢
2 2
⎥
∫ t 2 cos 2 n tdt ≤
4
∫ sen 2 t ⋅ cos 2 n tdt =
4 ⎢
∫ cos 2 n tdt − ∫ cos 2 n+ 2 tdt ⎥
0 o
⎢⎣ 0 0
⎥⎦

y aplicando la fórmula de Wallis a estas últimas integrales se tiene

π 2 ⎡ ( 2n − 1) !! π ( 2n + 1) !! π ⎤ π 3 ⎡ ( 2n − 1) !! ( 2n − 1) !!( 2n + 1) ⎤
≤ ⋅ − ⋅ = −
4 ⎢⎣ ( 2n) !! 2 ( 2n + 2) !! 2 ⎥⎦ 8 ⎢⎣ ( 2n) !! ( 2n) !!( 2n + 2) !! ⎥⎦
I 2n

π 3 ( 2n − 1) !! ⎡ ( 2n − 1) ⎤ π 3 ( 2n − 1) !! 1
I 2n ≤ ⋅ ⎢1− ⎥ = ⋅ ⋅
8 ( 2n) !! ⎣ ( 2n + 2) ⎦ 8 ( 2n) !! 2n + 2

( 2n) !! π3 1
lo cual implica 0< I 2n ≤ ⋅
( 2n − 1) !! 8 2n + 2

de manera que , cuando

Leonardo Sáenz Baez

 CIDEM Centro de Investigación y Desarrollo del Estado de Michoacán.
_________________________________________________________________________________________________

π3 1
n→∞ ; ⋅ →0
8 2n + 2
( 2n) !!
y por el Teorema del emparedado I →0
( 2n − 1) !! 2 n

∞
π2
∑k2 6
1
con lo cual queda demostrada la fórmula =
k =1

Leonardo Sáenz Baez

Referencias:

a) Carl B. Boyer. Historia de la Matemática. Alianza Editorial, Madrid,1986, pp. 553,

559-561.
b) Yoshio Matsuoka.. “An elementary proof of the formula ∑k =1 1 k 2 = π 6 ”.
∞ 2

Mathematical Monthly, May, 1961.Vol. 68, Nº 5. pp. 485-486.

Leonardo Sáenz Baez