Académique Documents
Professionnel Documents
Culture Documents
1. Introducción
Al inicio del siglo XVII, las series infinitas eran poco comprendi-
das y con frecuencia el manejo libre de las series divergentes producı́a
“resultados” inesperados. La “paradoja inelegante”
1
1 − 1 + 1 − 1 + ... =
2
se obtenı́a al sustituir x = 1 en la serie geométrica
1
1 − x + x2 − x3 ... = .
1+x
55
56 Guillermo Grabinsky
y también que
Teorema. ∞
X 1 π2
= . (1)
1
n2 6
3
Uno esperarı́a que tal valor fuese de la forma πm con m número
natural. El mismo Euler lo pensó y probó que no es el caso, pues obtuvo
un valor aproximado para m de 25.79435. Más aún, no sabı́a si el valor
de la 3-serie era un número racional o irracional. No fue hasta 1978
cuando R. Apery finalmente probó que la serie converge a un número
irracional [7].
El método empleado por Euler da para más; por ejemplo, partiendo
de la expansión en serie de cos x:
x2 x4 x6
cos x = 1 − + − + ... ,
2! 4! 6!
e interpretando el lado derecho otra vez como un polinomio de grado
infinito, localizando sus raı́ces y reescribiéndolo como el producto de sus
factores simples, luego de igualar los coeficientes del término cuadrático
se obtiene
−1 −4 1 1 1
= 2 + + + ... ,
2! π 12 32 52
o bien,
1 1 1 π2
+ + + ... = . (5)
12 32 52 8
Este resultado no es precisamente la solución del problema de Ba-
silea, pero ésta se deduce fácilmente de (5) ya que:
∞ ∞
π2 1 X 1
X 1 1 1 1 1 1 1
= + + + ... + 2 + 2 + 2 + ... = +
1
n2 12 32 52 2 4 6 8 4 1 n2
de donde ∞
3X 1 π2
= ,
4 1 n2 8
y, nuevamente,
∞
X 1 π2
2
= .
1
n 6
1 1·3 4 1·3·5 6
(1 − t2 ) = 1 + t2 +
−1
2 t + t + ...,
2 2·4 2·4·6
60 Guillermo Grabinsky
1 t3 1 · 3 t5 1 · 3 · 5 t7
sen−1 (x) = t + + + + ...|x0 ,
23 2·4 5 2·4·6 7
de donde se sigue el resultado. u
t
t
Demostración: Sea u = tn+1 y dv = √1−t 2 ; al integrar por partes la
integral del miembro izquierdo en el enunciado, obtenemos
n+1
√ 1
Z 1 √
n
Z 1 n
t (1 − t2 )
(−t 2
1 − t )|0 + (n + 1) 2
t 1 − t dt = (n + 1) √ dt,
0 0 1 − t2
por lo que
1 1
tn+2 tn
Z Z
(n + 2) √ dt = (n + 1) √ dt,
0 1 − t2 0 1 − t2
y de ahı́ el resultado. u
t
Teorema.
π2 1 1 1 1
= 2 + 2 + 2 + 2 + ...
8 1 3 5 7
Demostración:
1
π2 1 sen−1 (t)dt
Z
2
= sen−1 (1) = √
8 2 0 1 − t2
por el Lema 1, y por el Lema 2, lo anterior es igual a
1 1 1
t3 1·3 t5
Z Z Z
t 1
√ dt + √ dt + √ dt+
0 1 − t2 2·3 0 1 − t2 2·4·5 0 1 − t2
Euler, El Prestidigitador de las Series 61
1
1·3·5 t7
Z
+ √ dt + ...
2·4·6·7 0 1 − t2
R1
y como √ t dt = 1, del Lema 3 se sigue que
0 1−t2
π2 1 2 1·3 2 4 1·3·5 2 46 1 1 1
= 1+ + · + · + ... = 1 + + + + + ... =
8 2·33 2·4·53 5 2·4·6·73 57 9 25 49
1 1 1
=1+ + 2 + 2 + ... .
32 5 7
u
t
“Teorema”. ! ∞
Y 1 X 1
1 = (6)
p
1− p n=1
n
∞
1
P
Demostración: Sea M = n
; ya sabemos que M = ∞, pero sigamos
n=1
de manera formal las maniobras de Euler.
Euler, El Prestidigitador de las Series 63
y comparando áreas,
∞ ∞ Z l+1 Z ∞
X 1 X dt dt 1
j
≤ j
= j
= .
n=2
n l=1 l
t 1 t j−1
64 Guillermo Grabinsky
En consecuencia,
2 2
1 1 1 1 1 1 1 1 1 1
B+ C + D+... ≤ (1)+ + +...<1+ + +...
2 3 4 2 3 2 4 3 2 3
π2
= .
6
Finalmente, de (11) y aplicando la exponencial,
1 1 1 π2
M = eA · e 2 B+ 3 C+ 4 D+... ≤ eA · e 6 ,
Demostración:
P 1 Si hubiera un número finito de números primos, la serie
p p tendrı́a un número finito de sumandos y en consecuencia serı́a un
número finito, contrario a lo que afirma el teorema. u
t
Teorema.
X 01
= ∞.
n
Teorema. X1
= ∞.
p
p
Y 1 Y 1
X 01
A
∞>e = e ≥
p 1+ ≥ = ∞,
p p
p n
6. Epı́logo
existe y es igual a L.
En muchas ocasiones se ha acusado a Euler del manejo poco “asea-
do” de las series; ésta es una acusación muy injusta. No podemos exigirle
a un pionero y conquistador que vista de traje y corbata.
Referencias
[1] Florian Cajori, History of Mathematics, Chelsea Publishing Co., 3a.
ed., 1980.
[4] Petr Beckman, A History of π, St. Martin Press, New York. 3a. ed.,
1974.
[5] William Dunham, Euler, The Master of All Us, The Dolciani Math-
ematical Expositions 22, The Mathematical Asociations of Ameri-
ca,1999.
[7] “A PROOF THAT EULER MISSED”, Alfred van der Poorten, The
Mathematical Intelligencer, Vol I, 4 (1978), 195–203.