Relacin de la conjetura de Goldbach con los nmeros primos en los intervalos

y
Jos Acevedo J.
Santiago, Rep. Dominicana

Abstract. Es cierta la conjetura fuerte de Goldbach? De ser cierta la conjetura planteada por Goldbach en 1742, tambin otras aseveraciones sobre los nmeros primos resultaran ciertas, como la conjetura de los primos gemelos, por citar alguna, dada la estrecha relacin que guardan con la primera. En este documento se muestra lo estrechamente relacionadas que estn la conjetura de Goldbach y lo que hoy se considera como un teorema, la versin fuerte del postulado de Bertrand- Chebyshev. Han sido muchos los esfuerzos realizados por los matemticos para tratar de demostrar la conjetura de Goldbach, que hasta ahora se ha resistido a develarnos sus misterios, al tratar conjeturas que guardan una estrecha relacin con la de Goldbach, quizs podremos encontrar la prueba definitiva que nos permita resolver el antiguo enigma.

Keywords: conjetura de Goldbach, nmeros primos, postulado de Bertrand.

Introduccin: El 7 de de junio de 1742, en una carta dirigida a Euler, Goldbach redact: todo nmero par mayor que dos puede ser expresado como la suma de dos nmeros primos. Dicha conjetura, aunque sencilla en apariencia, no ha cedido pese a la insistencia de los matemticos que hasta el da de hoy no han sido capaces de resolverla. En 1845 Joseph L. Bertrand conjetur que existe por lo menos un nmero primo en el intervalo , posteriormente dicho enunciado fue demostrado por

Pafnuty Chebyshev consiguiendo de esta manera dar un gran paso hacia adelante en la carrera de los matemticos por entender la distribucin de los nmeros primos entre los nmeros naturales. En este papel se presenta como deben estar agrupados los nmeros primos entre presentar la distribucin de los nmeros primos entre los intervalos . y intervalos de nmeros naturales si asumimos que es cierta la conjetura de Goldbach al

Conjetura fuerte de Goldbach.

Todo nmero par mayor que dos puede ser expresado como la suma de dos nmeros primos. Christian Goldbach, junio de 1742 Matemticamente se puede expresar como:

Postulado de Bertrand.

En todo intervalo:

Existe una estrecha relacin entre la conjetura fuerte de Goldbach y la versin fuerte del postulado de Bertrand ya que para dar una respuesta positiva a la primera, necesariamente debe cumplirse lo siguiente:

1. Justificacin. Sean nmeros naturales consecutivos de una sucesin finita, con: Entonces se cumple que:

Por lo que:

Por el postulado de Bertrand sabemos que:

La existencia de un nmero primo en el intervalo evidente puesto que existe un nmero primo en el intervalo tambin aumenta la cantidad de nmeros primos en el intervalo al infinito.

resulta ms que . A medida que aumenta , tendiendo dicho valor

Aunque ambas afirmaciones resultan ciertas, esto de ninguna manera demuestra lo que expres Goldbach en su carta dirigida a Euler en 1742, puesto que para que la misma sea verdadera, como ya se ha expresado, se debe cumplir que:

Generalizando la conjetura de Goldbach siguiendo el razonamiento mostrado en 1. Debe cumplirse que:

Donde:

Como se puede observar en la igualdad, la demostracin de la existencia de los primos

en los intervalos mostrados, resulta ms que suficiente para afirmar la conjetura fuerte de Goldbach. Entonces queda ms que evidente que estamos ante una versin ms fuerte que la dada por Christian Goldbach en 1742.

Haciendo

se deduce que:

La existencia de por lo menos un nmero primo en el intervalo Loo demostr la existencia de por lo menos un primo en el intervalo

fue demostrada en el ; sin embargo

ao 2006 por el matemtico M. El Bachraoui. Aproximadamente cinco aos ms tarde, Andy ellos no trataron de dar una respuesta a la conjetura que en este documento de ha planteado, lo menos un nmero primo en el intervalo vista, el problema de los intervalos problema de los intervalos

sino que dieron respuesta, por lo menos de manera parcial, al problema de la existencia de por . Aunque a simple y el que hemos tratado parecen estar slo es importante demostrar que existe un primo

estrechamente relacionados existen marcadas diferencias entre uno y otro, ya que en el

para los diferentes valores permitidos, sin tomar en cuenta el valor de la suma de los nmeros primos entre los intervalos.

Ejemplos.

Haciendo 23456 2345678

y para valores de

, tenemos:

2 3 4 5 6 7 8 9 10

Haciendo 45678

y para valores de

, tenemos:

4 5 6 7 8 9 10 11 12 4 5 6 7 8 9 10 11 12 13 14 15 16 4 5 6 7 8 9 10 11 12 13 14 16 17 18 19 20

Haciendo 6 7 8 9 10 11 12

y para valores de

, tenemos:

6 7 8 9 10 11 12 13 14 15 16 17 18 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

Haciendo

y para valores de

, tenemos:

8 9 10 11 12 13 14 15 16 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32

Se puede observar que cuando

tendramos un nmero primo entre en el intervalo

, entonces

tiene que ser mayor que 1, puesto que slo

sin embargo, este caso se

podra considerar como un caso especial ya que la conjetura de Goldbach permite que se repita el mismo nmero primo. De no ser vlido el caso, entonces, la conjetura de Goldbach slo sera afirmativas para todos los nmeros pares mayores que 6.