El desarrollo más bello de Pi como suma infinita
En más de una ocasión hemos comentado que la serie armónica es divergente, esto es, que la suma de la siguiente serie
es infinito. Pero también hemos visto que cambiando los signos de algunos de los términos el resultado de la suma puede ser un número real. Por ejemplo, si cambiamos los signos de los términos que están colocados en posiciones pares obtenemos una serie cuya suma es :
De hecho vimos en Reordenando, que es gerundio que a partir de esta última serie podíamos obtener cualquier número real reordenando sus términos convenientemente.
Por tanto, por ejemplo, podríamos obtener como suma el número o cualquier múltiplo suyo, o
, o
…números todos ellos muy relacionados con la fecha de hoy, 14 de marzo, día de Pi por su escritura en notación estadounidense (3-14).
Pero vamos a darle una vuelta de tuerca más a este tema. En realidad conseguir así podría dejar un sabor agridulce, una sensación de no haber conseguido demasiado, ya que, como hemos dicho, podemos obtener cualquier número real simplemente colocando los términos de forma adecuada. Por ello hoy os traigo un desarrollo de
como suma infinita que a mi me ha gustado mucho. Tanto que lo he llamado el desarrollo más bello de Pi como suma infinita, como refleja el título de este post. Sin paños calientes, aquí va:
Magnífico, ¿verdad? Cambiando algunos signos + por signos – en la serie armónica obtenemos una suma cuyo resultado es el número . ¡¡Maravilloso!!
Pero…un momento…¿cómo están distribuidos esos signos? Es decir, ¿cuáles hay que cambiar? Pues muy sencillo:
- Dejamos un + cuando el denominador de la fracción sea un primo de la forma
. También dejamos un + en la fracción con denominador 2.
- Cambiamos a – si el denominador de la fracción es un primo de la forma
.
- Si el número es compuesto ponemos el signo que quede al multiplicar los signos correspondientes a cada factor.
Por eso, por ejemplo, la de denominador lleva un +, la de denominador
lleva un -, la de denominador
lleva un + (porque los dos llevan un +) y la de denominador
lleva un – (porque el 2 lleva un + y el 5 lleva un -). ¿Qué signo llevaría la de denominador
? Tendría un – por el primero 5, otro – por el segundo 5 y un + por el dos, por lo que en conjunto tendría un
.
No me digáis que no os parece el desarrollo más bello de Pi como suma infinita que hayáis visto jamás.
Primera pregunta que nos sugiere este tema: ¿quién descubrió esto? Pues seguro que a casi nadie le sorprende que fuera el gran Leonhard Euler el culpable de la creación de esta maravilla. Aparece en su obra cumbre, Introductio in Analysis Infinitorum, en el epígrafe 289 (página 292 del ejemplar en español que poseo).
Segunda, y evidente, pregunta que se nos podría ocurrir: ¿cómo se demuestra este resultado? Pues, bueno, en realidad Euler llegó a esta bella igualdad gracias al poco cuidado que tenía a la hora de manejar sumas infinitas. Es conocido que muchos de los resultados de Euler relacionados con series surgieron de operaciones no del todo rigurosas realizadas por el matemático suizo, pero que más adelante se demostró que eran correctas. De todas maneras, y aunque la demostración completa que aparece en el libro es algo elaborada, vamos a dar algunos detalles de la misma. Comienza con la expresión
Sumando y restando ciertas expresiones relacionadas con la propia expresión elimina todos los términos excepto el 1 inicial, a partir de lo cual obtiene lo siguiente:
En la primera expresión que hemos escrito para , tenemos que si
entonces
(serie de Leibniz), por lo que uniendo las dos expresiones para
obtenemos lo siguiente:
Dividiendo una serie obtenida anteriormente entre ésta obtiene lo siguiente:
donde aparecen todas las fracciones cuyo numerador es un número primo y cuyo denominador es un número par que deja resto dos al dividirlo entre 4 y que es inmediatamente superior o inmediatamente inferior al primo que hay en el numerador.
Esta última expresión puede escribirse, dando la vuelta a las fracciones y colocándolas en el denominador, de la siguiente forma:
Multiplicando los dos denominadores por obtenemos
y pasando esta expresión a suma (análogamente a como se haría utilizando el producto de Euler) llegamos a la igualdad buscada:
Lo que decía, precioso, maravilloso. En definitiva, el desarrollo más bello de Pi como suma infinita.
Cuántas cosas nos quedan por aprender de matemáticos como Euler…cuántos resultados de genios como él siguen todavía ocultos a nuestros ojos…cuántos buenos momentos nos quedan por vivir disfrutando de estos nuevos descubrimientos…








Trackback | 14 mar, 2012
Bitacoras.com
Trackback | 14 mar, 2012
El desarrollo más bello de Pi como suma infinita
Leumas | 14 de marzo de 2012 | 15:23
Vótalo
0
Parece una melodía
M | 14 de marzo de 2012 | 15:41
Vótalo
0
Precioso, ^DiAmOnD^.
Trackback | 14 mar, 2012
El desarrollo más bello de Pi como suma infinita
Juan Miguel Ribera Puchades | 15 de marzo de 2012 | 01:16
Vótalo
0
Muy bonito
Julián | 15 de marzo de 2012 | 01:55
Vótalo
1
Wow. Wow. Digo, WOW. Woooow. Increíble. Wow.
sive | 15 de marzo de 2012 | 02:37
Vótalo
0
Prometo dedicarle unos ratos a entender la demostración, cuando tenga un poco más de tiempo.
Lo que me temo que nunca entenderé es como se le ocurrió a Euler esto.
gaussianos | 15 de marzo de 2012 | 03:36
Vótalo
0
sive, no es algo aislado, en el libro viene rodeado de multitud de series de este tipo, y en todos los casos utiliza un razonamiento parecido. Lo que no he llegado a mirar con calma es dónde empiezan esos desarrollos.
Por cierto, para entender la demostración falta una cosa en lo que he escrito, una serie con la que opera al principio. Si te ves con tiempo de echarle un vistazo al tema mándame un mail y te envío la serie.
Ramiro Hum-Sah | 15 de marzo de 2012 | 03:48
Vótalo
0
Hoy justamente regresaba de la escuela sumamente desanimado (de esos días malos que a veces ocurren).
Y cuando terminé de leer el post !se me hizo el día!, Eso es lo que me encanta de Gaussianos que me hace recordar por qué me recluté jajaja
:)
Totalmente sin palabras que belleza, un post épico en Gaussianos
Que barbaridad era Euler
Jonas castillo Toloza | 18 de marzo de 2012 | 23:27
Vótalo
0
Yo prefiero la conocida fórmula de Ramanujan de convergencia rápida.
Es mi favorita.
J. Ros | 27 de enero de 2013 | 20:11
Vótalo
0
La serie (1/n) és divergent!! Si fas la suma dona infinit! No pi!!
gaussianos | 27 de enero de 2013 | 20:18
Vótalo
0
J. Ros, eso ya se dice al principio del artículo. Si te fijas, en la que da como resultado
algunos términos llevan un -, por lo que dicha serie no es la de 1/n.