La Conjetura de Goldbach

Ricardo G. Barca Universidad Tecnolgica Nacional

Repblica Argentina Dir. Nac. del Derecho de Autor Registro N 640128 28 de Febrero del 2008

Indice

Captulo 1. Introduccin Captulo 2. Teoremas Generales Captulo 3. Espacio de Sucesiones Peridicas Captulo 4. Funciones acumulativas Captulo 5. La Serie de Sucesiones Peridicas Captulo 6. Clculo de la cantidad de n-uplas permitidas Captulo 7. Distribucin de las n-uplas permitidas Captulo 8. El caso de un Nmero Par mayor que 86 Conclusiones Bibliografa

Captulo 1. Introduccin

1.1. La Conjetura de Goldbach En el ao 1742 el matemtico Goldbach escribi una carta a su amigo Euler para comentarle su conjetura de que todo nmero par es suma de dos nmeros primos. Esta conjetura se ha comprobado reiteradamente utilizando poderosas computadoras, pero todava en la actualidad no ha sido demostrada. 1.2. Objetivo del Trabajo El objetivo del presente trabajo es demostrar la Conjetura o Hiptesis de Goldbach en el conjunto de los Nmeros Naturales: Hiptesis de Goldbach: Todo nmero par n > 4 es suma de dos nmeros primos impares.

1.3. Plan de Demostracin Se considerarn los siguientes 3 casos posibles: 1) Primer Caso: Nmero par n > 4 y n es el duplo de un nmero primo. 2) Segundo Caso: Nmero par n > 4 y menor igual que 86. 3) Tercer Caso: Nmero par n > 86, tal que n no es el duplo de un nmero primo.

1.4. Primer Caso: Nmero par n > 4 y n es el duplo de un nmero primo En ste caso es trivial que n es suma de dos primos y no se necesita demostracin, pero es necesario separarlo de los otros dos casos que siguen. Por ejemplo: 3+3=6 5 + 5 = 10 7 + 7 = 14 11 + 11 = 22 13 + 13 = 26

1.5. Segundo Caso: Nmero par n > 4 y menor igual que 86 Sea n un nmero natural par mayor que 4 y menor igual que 86 y sea t igual a la mitad de n. En el intervalo de nmeros naturales (0, n] hay t nmeros pares y t nmeros impares. Si se representan con mi los nmeros impares del intervalo, entonces todas las sumas de stos impares que suman n son: m1 + mt =n m2 + mt 1 = n m3 + mt 2 m4 + mt 3 m5 + mt 4 K =n =n =n

Si t es par hay t/2 sumas y cuando t es impar hay (t+1)/2 sumas. Si para n no se cumpliera la Hiptesis de Goldbach, entonces para todas las sumas donde un trmino es un mi primo, el otro trmino de la suma debe ser compuesto. Esto no es posible para todas stas sumas, porque en todo intervalo de nmeros naturales (0, n], siendo n un nmero par mayor que 4 y menor igual que 86, hay ms nmeros primos impares que nmeros compuestos impares (Ver Introduccin a la Teora Analtica de Nmeros, de Tom M. Apstol, pg. 19). Entonces, como mnimo debe existir alguna suma en la cual ambos trminos son primos, y por lo tanto todo n par mayor que 4 y menor igual que 86 resulta ser suma de dos primos.