LA CONJETURA DE GOLDBACH Y SU RELACIN CON EL TEOREMA DE DIRICHLET CAMPO ELAS GONZALEZ PINEDA.

cegp @utp.edu.co

La Conjetura de Goldbach afirma que todo nmero par mayor o igual a 4 se puede expresar como la suma de dos nmeros primos positivos. Se ha comprobado por clculo directo, que esto es cierto para un nmero suficiente de casos que hacen pensar que la conjetura es cierta. En este documento mostramos una conjetura equivalente y veremos como la conjetura y el Teorema de Dirichlet estn relacionados. De otra parte, es claro que si q es un nmero primo y P=2q, entonces P es un nmero par. As, al haber infinitos nmeros primos existen infinitos pares que se pueden escribir como la suma de dos nmeros primos. Ms an, sabemos que todo primo distinto de 2 es impar, y como suma de impares da par, el nmero de pares que se pueden escribir como suma de dos primos aumenta. Por ahora analicemos algunos casos en los que se comprueba la conjetura por clculo directo. 4=2+2 6=3+3 8=5+3 10=5+5=7+3 12=7+5 16=13+3=11+5 24=17+7=19+5 80=73+7=37+43 8900=7+8893=13+8887. 14=7+7=11+3

Una sencilla observacin a la lista anterior muestra que los nmeros primos involucrados para algunas representaciones no son necesariamente nicos, como en el caso del nmero 14. Es decir, la representacin en suma de primos no es nica en general. Antes de continuar, introduzcamos la siguiente definicin. DEFINICIN 1.1 Un entero positivo se llama de Goldbach si se puede escribir como la suma de dos nmeros primos. Veamos que conclusiones podemos obtener suponiendo que la conjetura fuera cierta. Es decir, supongamos que todo para mayor o igual a 4 se puede escribir como la suma de dos nmeros primos. El caso se cumple trivialmente.

Observemos que los nmeros pares son de la forma par o impar. Analicemos las siguientes situaciones: Sea un nmero para dado y supongamos que nmeros primos. Debe existir un impar I de tal manera que:

, donde k puede ser

, con

(1.1) De donde podemos escribir ,y . , con

De igual forma, sea un impar dado y supongamos que nmeros primos. Debe existir un par P de tal manera que: (1.2) De donde podemos escribir ,y .

donde son nmeros primos. Para el caso (1.1) es fcil ver que los primos son de la forma y . As y los primos para el caso (1.2) son de la forma , e . Podemos de esta observacin, enunciar el siguiente resultado. TEOREMA 1.1 1. Sean enteros positivos de tal manera que , ,

sean nmeros primos. Hagamos

, entonces se tiene que

2. Sean ( (

enteros positivos de tal manera que , sean nmeros primos. Hagamos ), entonces se tiene que:

Demostracin. Para la parte (1),

, luego

Como existen infinitos nmeros primos de la forma siguiente resultado como Corolario del anterior.

tenemos el

TEOREMA 1.2 1. Existen infinitos nmeros de Goldbach de la forma 2P, con P par. 2. Existen infinitos nmeros Goldbach de la forma , con impar.

Se trata entonces de ver si todo entero par es de Goldbach. La discusin anterior nos permite enunciar la siguiente conjetura que es equivalente a la de Goldbach. CONJETURA 1. Sea un par( impar). Entonces, existe un impar (par) primo relativo con de tal manera que y donde , son nmeros primos. (1.3)

Para el caso impar, si ste es primo se elige el par como cero. Ntese que efectivamente si se cumple (1.3) tambin se cumple la Conjetura de Goldbach y viceversa, basta sumar las dos igualdades. El recproco de la Conjetura 1 se puede probar teniendo en cuenta la siguiente propiedad interesante de los nmeros impares. TEOREMA 1.3 1. Sean a) b) 2. Si enteros impares positivos, entonces: es par si y slo si es impar si y slo si son pares es impar. es par.

tienen la misma paridad.

La demostracin del resultado anterior es elemental y se deja al lector. De este resultado tenemos el siguiente corolario. Corolario 1.1 Sean impares positivos. Si es par( impar) existe un impar( par) I

de tal manera que y

En particular, si son nmeros primos y en este caso es fcil verificar que tienen que ser primos relativos.

Antes de continuar veamos ciertas propiedades triviales que resumen lo visto hasta ahora y nos abre un poco la visin para la conclusin que tenemos. Las letras que aparecen a continuacin se refieren a enteros positivos. En particular . 1. 2. 3. 4. 5. 6. donde 7. donde 8. Si en 5) y 6) , , { , . e son primos relativos. si y slo si si y slo si si y slo si si y slo si si y slo si { , . .

. .

son nmeros primos, entonces

De otro lado, la conjetura de Goldbach se cumple trivialmente para el caso 4 y 6. Consideremos el caso con . Ahora, . De donde podemos conjeturar lo siguiente: CONJETURA 2: Para todo entero de tal manera que existen , con enteros positivos tales que son nmeros primos. tenemos que

De igual manera si consideramos el caso

Y podemos tambin conjeturar: CONJETURA 3. Para todo entero donde son nmeros primos. existen enteros positivos tales que son nmeros primos o

Las conjeturas 2) y 3) pueden reunirse en una sola as. CONJETURA 4: Para todo entero que donde 1. 2. nmeros primos. existen enteros positivos tales

son nmeros primos. son nmeros primos son

OBSERVACIN: Recordemos que todo impar es de la forma o de la foma pero no de ambas a la vez. Como todo primo distinto de 2 es impar, entonces todo primo impar es de esta forma. Ms an se puede demostrar con relativa facilidad que existen infinitos primos de la forma e infinitos de la forma . Es ms, la mitad de los primos son de la forma y los otros de la forma . Como veremos, en realidad este es un caso particular de la generalizacin del Teorema de Dirichlet que estudiamos a continuacin.

Nota:(

indica que

son primos relativos. son primos relativos,

Recordemos que el Teorema de Dirichlet afirma que si entonces la sucesin (1.4)

contiene infinitos nmeros primos. Considerando todas las posibilidades para y en la ecuacin (1.4) vemos que el Teorema de Dirichlet se reduce al siguiente resultado. TEOREMA 1.4 La sucesin ( ) (1.5)

Contiene infinitos nmeros primos. Para la demostracin de este resultado ver el Artculo: Algunos Tpicos en Teora de Nmeros: Nmeros de Mersenne, Teorema de Dirichlet, Nmeros de Fermat. Scientia et Technica Ao XVI, NO. 48, Agosto de 2011. Universidad Tecnolgica de Pereira. ISSN 0122-1701. Observaciones sencillas de (1.4) y (1.5) cuando son nmeros primos muestran que ( ) ( ) ( ) ( ) . El Teorema (1.4) se puede generalizar fcilmente as.

TEOREMA 1.5 Para cada 1. 2. existe de tal manera que:

es un nmero primo para algn . es un nmero primo para algn .

Demostracin. Hacemos la primer parte por induccin y es claro que la parte dos es igual. Para simplificar hagamos . Es decir consideremos la sucesin

Si , , vemos que o hacen cierta la proposicin. Supongamos que el resultado es cierto para n. Es decir es un nmero primo para algn impar . Ahora, induccin . Por hiptesis de es primo para algn . Podemos hacer

y el resultado es cierto para todo n. De otro lado si hacemos

Vemos que es primo para algn por lo que acabamos de demostrar. Si suponemos que es primo para algn y hacemos

es primo aplicado la Hiptesis de Induccin con Obsrvese que para la parte (1) del teorema ( ) , para la parte dos esto no es cierto en general como es el caso Para ilustrar un poco los resultados anteriores consideremos el siguiente caso particular. EJEMPLO 1.1. Sea 1. . . . , entonces

3. 4. y hacemos

. . En particular o . impar contiene todos los primos menores o contiene todos los primos menores que y

5. La expresin con iguales a y la expresin mayores que . De otra parte, si es un impar y

es un par, podemos considerar la sucesin (1.6)

Si es primo vemos que n tiene que ser impar, digamos (1.6) queda en la forma

. Es decir,

Obsrvese que

ya que

entonces

. De otro lado si hacemos (1.7)

Como convierte en

vemos que

, luego si

tenemos que (1.7) se

Se tiene entonces el siguiente corolario. COROLARIO 1.2 Para todo impar tal manera que existe un par con ( ) de

son nmeros primos. De lo visto hasta ahora, vemos que el Teorema de Dirichlet implica la conjetura de Goldbach. Ms an, si consideramos las sucesiones

donde

son nmeros primos, notamos que

Para algn

debe ser que

. De igual forma en la sucesiones

donde

son nmeros primos, notamos que

Para algn n debe ser que . Esto se debe a que en la expresin es imposible que se encuentren primos nicamente cuando e no sean primos relativos. Para tal efecto veamos el siguiente resultado. TEOREMA 1.6 Supongamos que ( primo. Entonces . ) y que es un nmero

DEMOSTRACIN. Con las hiptesis dadas tenemos que que

, por lo

Como

es primo se deduce que

y por tanto

De otro lado el siguiente resultado es evidente. TEOREMA 1.7 Para cada n existe un impar y adems es un nmero primo. de tal manera que ( )

Por ltimo, es posible mirar la conjetura 4 por induccin completa.

Referencias.
[1]. Elementos de lgebra. Marco Fidel Surez. Centro Editorial. Universidad del Valle. 1994. [2] De los enteros a los dominios, Ruiz, Roberto. Centro Editorial. Universidad del Valle 1994. [3]Introduccin a la Teora de Nmeros. Niven, I. Zuckerman, H. S., Editorial Limusa-Wiley, Mxico, 1969. [4] Teora de los Nmeros Burton, W.Jones. Centro Regional para la ayuda tcnica, Agencia para el desarrollo Internacional, Mxico, 1969.

[5] Solved and unsolved problems in number theory, Shanks, Daniel, Chelsea publishing company, New York, 1978.