LA CONJETURA DE GOLDBACH

Un paso ms hacia ella

Por Adrin Gmez

Introduccin

La conjetura de Goldbach trata sobre un enunciado facilsimo de entender pero algo difcil de razonar y demostrar, a medida que avancemos sobre esta historia podremos ver desde el punto de vista logstico como se comportan los nmeros primos, curiosidades de ellos y como influyen en la recta real, los propios primos deciden quien ser el prximo primo, pero vamos a dejarlo para ms adelante, ahora prosigamos con el ndice y sus apartados.

Indice

I.

Historia................................. 2

II. Nmeros primos........................... 4 III. Combinaciones de nmeros y su futuro efecto en la conjetura.......................... 6 IV. Aplicando lo aprendido................... 10

Historia
Todo empez una noche, hace varios meses empec a pensar sobre un enunciado que le por pginas de Internet Explorer, la famosa Conjetura de Goldbach, tan famosa por su enunciado sencillo: "Todo nmero par mayor que dos se puede definir como la suma de dos nmeros primos", facilsima de entender pero complicada de demostrar, o comprender su error.

Eran aproximadamente las once de la noche mientras tanto, sobre esas horas, suelo pensar en infinidad de cosas y una de ellas esta, que me vino a la cabeza de repente pero antes, tengo que hacerte una idea de por donde van los tiros para que puedas entender lo que escribo.

Comprobemos por un mtodo un tanto ortodoxo si la Conjetura es cierta: El 28: 11+17=28, se cumple la Conjetura

Vamos a probar con el 1010: 379+631=1010, sigue cumplindose, curioso.

Esto se supone que se cumple con nmeros relativamente bajsimos (luego entenderis el porqu del diminutivo) pero, Qu hay con nmero extremadamente alto? Cmo 8117456? Cambiar la cosa? Lo veremos en el siguiente captulo.

Los nmeros primos

Seguro que has odo hablar de ellos, esos nmeros que solo tienen dos divisores naturales distintos, l mismo y 1, al ser divido por nunca obtendrs un nmero natural. El 2, el 3, el 5, el 7, el 997 o el 8137 son primos.

Se han buscado muchos patrones para averiguar la manera de obtener el siguiente primo, se han encontrado varias frmulas que dan nmeros primos, pero no para el siguiente.

A continuacin podremos observar como se van alejando los nmeros primos cada vez ms, esto es debido a que cada vez

que encontramos un primo tachamos infinitos mltiples del primo encontrado y por tanto, si imaginamos que el infinito es 100, y 10 es primo, habran 9 nmeros que no lo seran (20,30,40...), como los primos son infinitos cada vez se alejan ms porque iremos tachando ms mltiples y as sucesivamente.

Del 1 al 10 hay 4 primos, del 1 al 100 hay 25, del 1 al 1000 hay 168 primos, del 1 al 1000 hay 1229... del 1 al 10.000.000.000.000 hay 346.065.563.839, impresionante eh? Representados grficamente el desnivel que sufren los primos a causa de lo explicado anteriormente seria este (no hagas caso a los nmeros, son cosa ma):

Desnivel de los primos de 1 al 10.000.000.000.000

Dicho lo de antes, puedo validar que los primos se van alejando cada vez ms y ms, seguramente lleguen a un trazo estable, donde no suela variar mucho, podemos apreciar que la lnea del grfico no es totalmente curva y tiene sus variaciones pero forma algo parecido a las rampas que utilizan los skaters (que llevan monopatn) por lo tanto podra tener un cierto equilibrio con nmeros muy masivos.

Conclusin: Cada vez que avanzamos en general a pasos gigantes en la recta real los nmeros primos son ms escasos, pero no se alejan, simplemente hay menos.

COMBINACIONES Y SU FUTURO EFECTO EN LA CONJETURA La Conjetura dicta que la suma de dos primos da un nmero par, pero todos los pares se pueden expresar de esta manera, excepto el dos (Para todo nmero que utilizamos siempre ), es decir, las combinaciones posibles siempre

tienen que ser mayores que todos los nmeros pares en el intervalo, un ejemplo para que se entienda la idea:

Dado el intervalo [1,20] hay 8 primos:

2, 3, 5, 7, 11, 13, 17 y 19, Cuntas combinaciones posibles se pueden hacer entre ellos?

1. La Conjetura dice que las combinaciones tienen que ser mayor que todos los pares, en este caso 10 (20:2), por lo tanto: 2+2 2+3 2+5 2+7 2+11 2+13 2+17 2+19 3+3 3+5 3+7 3+11 3+13 3+17 3+19 5+5 5+7 5+11+ 5+13 5+17 5+19 7+7 7+11 7+13 7+17 7+19 11+11 11+13 11+17 11+19 13+13 13+17 13+19 17+17 17+19 19+19

Esas son todas, tienen que haber ms de 10, a simple vista vemos que s, son 36 pero, Cmo calculamos las combinaciones sin necesidad de todo esto? Necesitaremos una simple sumatoria de la forma (n(n+1))/2 Si queremos saber cuantas combinaciones pueden tener n primos (por ejemplo 6) basta con marcar n = nmero de primos en el intervalo y i = 1:

Con 8 podemos observar que sern 36, con lo cual es correcto el desarrollo.

Pero claro, la suma de 2+n no dar un nmero par, si no uno impar, cosa que la Conjetura no quiere, por lo tanto tendremos que restar (n-1) y luego sumar +1 siempre que n=nmero de combinaciones posibles contando las de 2+n. Tiene que ser as porque de esta manera descartamos los nmeros soluciones que da 2+n y los quitamos del total de las combinaciones. Nos quedara la expresin

Explicado de otra forma seria: Tenemos 2, 3, 5 y 7, combinaciones posibles del modo anterior (sin contar las soluciones impares) son: 2+2 2+3 2+5 2+7 3+3 3+5 3+7 5+5 5+7 7+7

Como podemos ver tachamos la fila del dos, excepto el 2+2 que es la nica solucin par con 2, tenemos casi una lnia menos, por lo tanto, el lugar de 4 nmeros (2, 3, 5 y 7) pondremos solo el 3, 5 y 7 y al final le aadiremos +1 combinacion (la de 2+2)

Este paso servir de mucho de cara a la siguiente comprensin, si has entendido todo hasta ahora, significa que puedes continuar hasta el final.

Aplicando lo aprendido Una vez tenemos estos conceptos en la cabeza vamos a poner la guinda en el pastel, vamos con la explicacin y el porqu falla:

Todos conocemos la existencia de la Recta Real,

Pues es fcil, Te acuerdas del grfico de los primos? Si cada vez hay ms distancia entre ellos, b va creciendo muchsimo (recuerda que b es el ltimo nmero de [a,b]) y si cada vez hay ms distancia y b sigue creciendo llegar a un punto donde falten combinaciones posibles y uno de lso pares de [a,b]no se pueda expresar como la suma de dos primos, por ese motivo, la Conjetura de Goldbach falla con nmeros supermasivos (como 10) ya que la distancia entre los primos en tales nmeros es tan grande que las combinaciones no llegan a expresar todos como la suma de dos primos, por lo tanto la expresin quedara as:

Las combinaciones totales sin contar los de 2+n cuando n es diferente a [0,2]

Cuando el resultado de esa expresin tienda a ser negativo querr decir que en el intervalo [1,b]

hay un nmero par que no puede expresase como la suma de dos primos.