El problema de Basilea
El problema de Basilea consiste en determinar cuál es el valor exacto de la suma de los cuadrados de los inversos de todos los números naturales, es decir, calcular la suma de la siguiente serie:
Este problema fue propuesto por primera vez por el matemático Pietro Mengoli en 1644 y fue popularizado por Jakob Bernoulli en 1689, pero ninguno de los dos lo resolvieron. Otros grandes matemáticos de la época, como Johann Bernoulli, Leibnitz y Wallis tampoco pudieron encontrar la solución (aunque este último calculó su valor con 3 decimales). Este hecho le dio al problema aún más importancia. Al final fue el genial Leonhard Euler quien le puso el cascabel al gato, como en muchas otras ocasiones. De hecho este problema se acabó denominando así porque tanto Euler como los Bernoulli residían allí. Veamos cómo lo hizo.
Demostración del problema de Basilea
Ya vimos en este post sobre la identidad de Euler la expresión de sin(x) como suma infinita:
Sabemos que sin(x) = 0 cuando x = 0, π (Pi), -π (Pi), 2π (2Pi), -2π (-2Pi),…, es decir, en 0 y los múltiplos enteros de π (Pi). Por tanto podemos expresar la función sin(x) como producto de una constante por (x - cada una de las raíces). Queda algo así:
Multiplicamos los dos factores asociados a π (Pi), los dos asociados a 2π (Pi), etc.:
Como para cada n tenemos que x2 - nπ2 = 0 (x2 - nPi2 = 0) podemos escribirlos de la siguiente forma:
Dividimos por x:
Ahora, como sin(x) partido por x tiende a 1 cuando x tiende a 0 tenemos que C = 1:
Tenemos una igualdad entre polinomios. Eso implica que los términos de cada uno de los grados deben ser iguales a ambos lados de la igualdad. Quedémonos con los términos de x2:
Multipliquemos por -π2 (-Pi2) y dividamos por x2:
Como vemos hemos obtenido el resultado buscado:
En esta demostración Euler asume ciertos resultados como ciertos que demostraría más adelante. Pero la demostración es perfectamente válida. Aquí podéis ver otra demostración de este resultado.
Y como véis seguimos comprobando que π (Pi) puede aparecer en los sitios más insospechados.
Fuente de la demostración: Fermat’s Last Theorem
Gina | 16 de Noviembre de 2006 | 16:46
por esto hago videoblog… porque si dios fuera justo yo seria rubia y tonta.
neok | 16 de Noviembre de 2006 | 17:59
Joer, Gina cada vez que comentas es para decirnos que no entiendes nada, a ver si por lo menos conseguimos hacer que aprendas algo y después nos lo comentes.
medyr | 17 de Noviembre de 2006 | 4:50
Joins, descanso de un examen de estadistica y entro aqui, no se si eso es lo malo, o que me guste la demostracion.
Asier | 18 de Noviembre de 2006 | 2:19
Lo conocía y me parece una demostración genial.
Ahora bien, alguien sabe cómo se calcula esa misma suma para cubos inversos y demás potencias de n?
^DiAmOnD^ | 18 de Noviembre de 2006 | 18:25
Pues ahora mismo ,me pillas en fuera de juego. No recuerdo haber visto nada del cálculo de las sumas de estas series para exponentes de n mayores que 2.
Si en algún momento me topo con algo sobre ese tema no dudes que lo publicaré.
Saludos
Asier | 19 de Noviembre de 2006 | 20:19
Aquí teneis la función evaluada para otros exponentes distintos de 2 y su relación con los números de Bernoulli:
http://en.wikipedia.org/wiki/Zeta_constant
Por cierto, alguien sabe por qué para el caso de exponente cero el resultado dicen que da -1/2? Debería de ser infinito, no?
^DiAmOnD^ | 19 de Noviembre de 2006 | 23:38
Asier el valor de la función zeta en 0 lo calculan a partir de los números de Bernoulli:
Función Zeta de Riemann
Números de Bernoulli
Asier | 20 de Noviembre de 2006 | 9:29
Ya, pero si pones un 0 en el exponente de n, no te queda 1 + 1 + 1 + 1 + 1 + 1 + …. = infinio?
Además cómo es posible que sea un número negativo?
egavilan | 15 de Febrero de 2007 | 22:29
Aquí http://www2.udec.cl/~egavilan/pdb.pdf hay otra demostración del problema de Basilea usando integrales. Si mal no recuerdo, esto lo leí en Stewart (hay un “detalle” pues la integral es en realidad impropia y hay que tratarla más cuidadosamente, con recubrimientos y todo).
Para exponentes pares la suma de la serie está calculada (Euler), no así para impares.