Introducción
En el artículo del pasado lunes sobre Joseph Bertrand hablamos de su famoso postulado, cuyo enunciado es el siguiente:
Postulado de Bertrand
Dado
un número natural mayor que 1, siempre existe un número primo
entre
y
, es decir:
En este mismo artículo comentamos que la primera demostración conocida de la veracidad de esta conjetura se debe a Chebychev, y que tanto Ramanujan como Ërdos habían dado más adelante pruebas más simples de este hecho. La de Ërdos la podéis consultar aquí y la de Ramanujan es la que vamos a desarrollar en esta entrada.
Demostración de la veracidad del postulado de Bertrand
La demostración que vamos a reproducir aquí, atribuida a Ramanujan, puede resultar algo complicada de seguir. Por ello debemos estar muy atentos a cada paso.
Sea un número natural mayor que 1. Comenzamos definiendo
como la suma de los logaritmos de todos los números primos menores o iguales que
, es decir:
Tomamos ahora las siguientes expresiones:
(1)
(2)
donde es la parte entera de
(es decir, el mayor número entero que es menor que
).
A partir de (1) se obtiene fácilmente (sólo con realizar las operaciones) que:
(3)
Y a partir de (2), también de forma sencilla, obtenemos lo siguiente:
(4)
Dado que y
son funciones crecientes, obtenemos a partir de (3) y (4) que las siguientes desigualdades son ciertas:
(5)
(6)
Por otra parte, puede demostrarse que (a ver quién se atreve a hacerlo en los comentarios):
(7)
Ahora, ayudándonos de la aproximación de Stirling obtenemos lo siguiente a partir de (7):
(8)
(9)
Uniendo ahora la información proporcionada por (6), (8) y (9) se ve claramente que:
(10)
(11)
Tomemos ahora la expresión (10) y cambiemos por
y sumemos los resultados. Obtenemos lo siguiente:
(12)
Uniendo en este punto la información proporcionada por (5) y (12) llegamos a (13):
Y utilizando este punto (13) junto con el (11) se obtiene:
(14)
Por otra parte, es evidente que:
En consecuencia tenemos:
(15)
Este hecho finaliza la demostración para . ¿Por qué? Muy sencillo. Recordemos que
era la suma de los logaritmos de todos los números primos menores o iguales que
, y lo que hemos obtenido que es que esa suma es mayor para
que para
. Esto sólo puede ocurrir si en la suma para
aparece algún logaritmo más que los que aparecen en la suma para
. Y para que ello ocurra debe haber algún número primo entre
y
(no puede ser el propio
, ya que es un número par y por tanto compuesto) que aporte ese logaritmo a la suma. Es decir, hemos demostrado que para
existe al menos un número primo entre
y
. Comprobando ahora la veracidad de la conjetura para valores de
menores que 162 (sencillo) se demuestra en su totalidad el postulado de Bertrand.
Fuente:
Como habéis podido ver la demostración es relativamente elemental, pero algo complicada de seguir. Además contiene algunos pasos que no se demuestran pero que no parecen totalmente evidentes. No estaría mal que alguno de vosotros los aclarara en un comentario.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: No hay resumen disponible para esta anotación…
Sólo puedo decir: LOL.
Prácticamente cada demostración que encuentro de Ramanujan es tanto o más mágica que las anteriores… y no es que suelan ser muy complicadas, pero todas parten de ese primer paso imposible de imaginar por el resto de los mortales…
Rayos estoy en segundo de Matematicas y no he sido capaz de seguir la demostracion…
Hola, porque se le llama postulado, si es un teorema, en el articulo le llaman postulado y teorema.
Me equivoque , en el articulo tambien lo llaman conjetura.
Vaya demostración.
Hace tiempo encontré el artículo por un comentaro de Gaussianos e intenté seguirla. Fracasé.
Ahora que la publicáis aquí volveré a intentarlo. Pero cada vez que veo esta demostración no puedo evitar pensar que hay un gran salto entre mis matemáticas de licenciado y las matemáticas de cierto nivel que es insalvable.
Para Ramanujan esto serían pasos elementales, pero a mí me faltan muchos huecos por rellenar en la demostración.
Si progreso en rellenar esos huecos ya os avisaré. De momento me he quedado enganchado en la expresión (2), no la veo tan evidente.
Saludos.
@Toro Sentado, las funciones que aparecen se llaman funciones de Chebyshev. Si conoces sus propiedades es más sencillo leer el resto.
Respecto a tu otro comentario, el hueco no es insalvable, pero existe y cubrirlo requiere su tiempo. Ten en cuenta que un doctorado es como otra carrera, sobre un tema mucho más especializado. Y aún así, por mucho que se estudie siempre se encuentra uno con artículos que le suenan a chino, tú no desesperes 🙂
Braaaavo Ramanujan….. eres mi hèroe
Hardy contestaba acerca de cuál había sido su mayor aporte a las matemáticas con la frase: «el descubrimiento de Ramanujan «
@vengoroso: gracias por el apunte, seguiré intentándolo. El consuelo que me queda es que Ramanujan fue algo muy fuera de lo común.
Saludos
En medio de mi ignorancia matemàtica creo que EL POSTULADO DE BERTRAND es otra prueba de la infinitud de los nùmeros primos, y una herramienta poderosa para demostrar LA CONJETURA DE GOLDBACH.
Una duda, para valores muy grandes de N, ¿no habría entre N y 2N un número elevado de números primos (de echo de un orden de magnitud similar al existente entre 0 y N)?. Razonamiento: Según el teorema de los números primos, para valores grandes de N el número de números primos se aproxima a N/ln(N). Entonces: – Si P1(N) es el número de primos entre 0 y N, sería aproximadamente P1(N) = N/ln(N). – Si P2(N) es el número de primos entre 0 y 2N, sería aproximadamente P2(N) = 2N/ln(2N). – Si P3(N) es el número de primos entre… Lee más »
jaz, suponiendo que tu razonamiento sea cierto, ¿la conclusión que sacas al final es lo que comentas al principio de tu comentario?
Hola gaussianos. Así es. Mi duda viene en que en el postulado de Bertrand se garantiza la existencia de al menos un primo entre N y 2N y, si el razonamiento que he aplicado fuera correcto, el número de primos existente entre N y 2N sería un número muy elevado, de orden de magnitud similar al número de primos existentes entre 0 y N. Quizás haya alguna restricción matemática que impida el que se pueda aplicar este razonamiento expuesto o algún error en las operaciones algebraicas, aunque estas son sencillas, las he repasado y parecen ser correctas (si quieres las… Lee más »
Por completar el post anterior:
Los valores indicados antes corresponden a cálculos con números primos reales. Si se utiliza la expresión del teorema de los números primos, es decir P(N) es aproximadamente igual a N/ln(N), los valores obtenidos serían:
[0-5] -> 3, comparado con [5-10] -> 1
[0-50] -> 13, comparado con [50-100] -> 9
[0-500] -> 80, comparado con [500-1000] -> 64
[0-5000] -> 587, comparado con [5000-10000] -> 499
[0-50000] -> 4621, comparado con [50000-100000] -> 4065
Un saludo,
jaz
Una corrección:
En el post del 5 de octubre, el valor de números primos de [0-50000] es 5133. El valor indicado 5130 es erróneo.
Dos preguntas Miguel Angel (creo que eres tú quien gestiona esta web), ¿qué te ha parecido mi razonamiento?. ¿Sería válido para afirmar que, para valores elevados de N, el número de primos entre N y 2N es «similar» a los existentes entre 0 y N ?.
Muchas gracias por tu atención, un saludo,
jaz
jaz, parece que tus operaciones son correctas. Lo que no tengo tan claro es que de tu razonamiento se desprenda tu conclusión. A ver si alguien más le echa un ojo y comenta.
Lo que está claro es que la prueba del postulado de Bertrand sigue siendo necesaria para garantizar que entre N y 2N hay al menos un número primo.
Buenas tardes Miguel Angel.
Muchas gracias por tu atención. A ver si alguien se anima y da su opinión.
Un saludo,
jaz
Buenos días Miguel Angel. Le he estado dando vueltas y he hecho un nuevo enfoque, siendo la conclusión a la que se pretende llegar la siguiente: Y este es el desarrollo seguido: Según el teorema de los números primos: Por lo que la cantidad de números primos que hay hasta un x dado se puede aproximar por la expresión: (1) Siendo el error relativo respecto del valor real de números primos tendiendo a 0 cuando . Aplicando la misma fórmula, el número aproximado de números primos hasta el múltiplo k de x sería: (2) Y calculando el límite de la… Lee más »
Propongo esta demostración elemental
http://rinconmatematico.com/foros/index.php?topic=75287.msg299637;topicseen#msg299637