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

\displaystyle{\sum_{n=1}^{\infty} \cfrac{1}{n}=1+\cfrac{1}{2}+\cfrac{1}{3}+\cfrac{1}{4}+ \ldots}

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 \log{(2)}:

\displaystyle{\sum_{n=1}^{\infty} \cfrac{(-1)^{n+1}}{n}=1-\cfrac{1}{2}+\cfrac{1}{3}-\cfrac{1}{4}+\cfrac{1}{5}- \ldots}=\log{(2)}

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 \pi o cualquier múltiplo suyo, o e^{\pi}, o \pi^e…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 \pi 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 \pi 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:

\pi=1+\cfrac{1}{2}+\cfrac{1}{3}+\cfrac{1}{4}-\cfrac{1}{5}+\cfrac{1}{6}+\cfrac{1}{7}+\cfrac{1}{8}+\cfrac{1}{9}-\cfrac{1}{10}+\cfrac{1}{11}+\cfrac{1}{12}-\cfrac{1}{13}+ \ldots

Magnífico, ¿verdad? Cambiando algunos signos + por signos – en la serie armónica obtenemos una suma cuyo resultado es el número \pi. ¡¡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 4m-1. 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 4m+1.
  • 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 3=4 \cdot 1-1 lleva un +, la de denominador 13=4 \cdot 3+1 lleva un -, la de denominador 6=2 \cdot 3 lleva un + (porque los dos llevan un +) y la de denominador 10=2 \cdot 5 lleva un – (porque el 2 lleva un + y el 5 lleva un -). ¿Qué signo llevaría la de denominador 50=5 \cdot 5 \cdot 2? 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 - \cdot - \cdot +=+.

No me digáis que no os parece el desarrollo más bello de Pi como suma infinita que hayáis visto jamás.

Leonhard EulerPrimera 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

A=1-\cfrac{1}{3^n}+\cfrac{1}{5^n}-\cfrac{1}{7^n}+\cfrac{1}{9^n}-\cfrac{1}{11^n}+\cfrac{1}{13^n}-\cfrac{1}{15^n}+ \ldots

Sumando y restando ciertas expresiones relacionadas con la propia expresión A elimina todos los términos excepto el 1 inicial, a partir de lo cual obtiene lo siguiente:

A=\cfrac{3^n}{3^n+1} \cdot \cfrac{5^n}{5^n-1} \cdot \cfrac{7^n}{7^n+1} \cdot \cfrac{11^n}{11^n+1} \cdot \cfrac{13^n}{13^n-1} \cdot \cfrac{17^n}{17^n-1} \cdot \ldots

En la primera expresión que hemos escrito para A, tenemos que si n=1 entonces A=\frac{\pi}{4} (serie de Leibniz), por lo que uniendo las dos expresiones para A obtenemos lo siguiente:

\cfrac{\pi}{4}=\cfrac{3}{3+1} \cdot \cfrac{5}{5-1} \cdot \cfrac{7}{7+1} \cdot \cfrac{11}{11+1} \cdot \cfrac{13}{13-1} \cdot \ldots

Dividiendo una serie obtenida anteriormente entre ésta obtiene lo siguiente:

\cfrac{\pi}{2}=\cfrac{3}{2} \cdot \cfrac{5}{6} \cdot \cfrac{7}{6} \cdot \cfrac{11}{10} \cdot \cfrac{13}{14} \cdot \cfrac{17}{18} \cdot \cfrac{19}{18} \cdot \cfrac{23}{22} \cdot \ldots

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:

\cfrac{\pi}{2}=\cfrac{1}{\left (1-\cfrac{1}{3} \right ) \cdot \left (1+\cfrac{1}{5} \right ) \cdot \left (1-\cfrac{1}{7} \right ) \cdot \left (1-\cfrac{1}{11} \right ) \cdot \left (1+\cfrac{1}{13} \right ) \cdot \ldots}

Multiplicando los dos denominadores por 1-1/2 obtenemos

\pi=\cfrac{1}{\left ( 1-\cfrac{1}{2} \right ) \cdot \left (1-\cfrac{1}{3} \right ) \cdot \left (1+\cfrac{1}{5} \right ) \cdot \left (1-\cfrac{1}{7} \right ) \cdot \left (1-\cfrac{1}{11} \right ) \cdot \left (1+\cfrac{1}{13} \right ) \cdot \ldots}

y pasando esta expresión a suma (análogamente a como se haría utilizando el producto de Euler) llegamos a la igualdad buscada:

\pi=1+\cfrac{1}{2}+\cfrac{1}{3}+\cfrac{1}{4}-\cfrac{1}{5}+\cfrac{1}{6}+\cfrac{1}{7}+\cfrac{1}{8}+\cfrac{1}{9}-\cfrac{1}{10}+\cfrac{1}{11}+\cfrac{1}{12}-\cfrac{1}{13}+ \ldots

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…

Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

13 Comentarios

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

    Publica una respuesta
  2. 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.

    Publica una respuesta
  3. 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

    Publica una respuesta
  4. Yo prefiero la conocida fórmula de Ramanujan de convergencia rápida.
    Es mi favorita.

    Publica una respuesta
  5. La serie (1/n) és divergent!! Si fas la suma dona infinit! No pi!!

    Publica una respuesta
  6. J. Ros, eso ya se dice al principio del artículo. Si te fijas, en la que da como resultado \pi algunos términos llevan un -, por lo que dicha serie no es la de 1/n.

    Publica una respuesta
  7. Muy buen artículo.
    ¿Podría enviarme la demostración completa?
    Un saludo.

    Publica una respuesta
  8. David, lo siento, no puedo. Está en el libro del que hablo en el artículo y es bastante elaborada, no tengo tiempo para pasarla completamente aquí.

    Publica una respuesta
  9. He estado buscando desde hace un rato sucesiones para determinar Pi y la verdad que este artículo me gustó mucho, me encantaría que mis profesores me hablaran con tal ánimo y emoción al intentar explicar estas cuestiones, mis profesores de cálculo son buenos pero al ver esto desearía que lo hicieran con ese toque de asombro de cómo se logró determinar algo que ahora todos conocemos, como es el valor de Pi.
    Saludos.

    Publica una respuesta

Trackbacks/Pingbacks

  1. Bitacoras.com - Información Bitacoras.com... Valora en Bitacoras.com: En más de una ocasión hemos comentado que la serie armónica es divergente, esto…
  2. El desarrollo más bello de Pi como suma infinita - [...] El desarrollo más bello de Pi como suma infinita gaussianos.com/el-desarrollo-mas-bello-de-pi-como-suma-in...  por Fluix hace 8 segundos…
  3. El desarrollo más bello de Pi como suma infinita - [...] "CRITEO-300x250", 300, 250); 1 meneos El desarrollo más…
  4. El desarrollo más bello de Pi como suma ... - […]   […]

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *