Demostracin de la Conjetura de Golbach por Reduccin.

Rodolfo A. Nieves Rivas Fesol7luzley@gmail.com

En este Articulo se Presenta un Teorema Anlogo de la Conjetura de Golbach Par. Luego se realiza la Demostracin de este Teorema y de esta forma se concluye que La Conjetura de Golbach Par es cierta.

Palabras claves: Conjetura de Golbach; Reduccin; Teorema Anlogo.

Introduccin: La Conjetura de Golbach3 la formulo Cristians Golbach a travs de una comunicacin enviada a: Leonardo Euler en el ao 1.742 y desde ese momento han sido en vano Los intentos por demostrarla a tal punto que la misma es considerada Intratable Motivo por el cual la misma fue Nuevamente presentada por Edmund Landau en El Quinto Congreso Internacional de Matemticas en el ao 1.912 y es por Esto que desde ese momento se le conoce como uno de los Problemas de Landau Siendo mejor conocida como el Problema ms difcil de resolver en Matemticas: Para el logro del Objetivo de este trabajo de Investigacin el contenido est desarrollado de la siguiente forma: a) b) c) d) e) f) g) h) Marco Terico. Bases Tericas. Metodologa.(Heurstica)1 Planteamiento del Problema. (Presentacin de la Conjetura de Golbach)(Chenyan.)3(Otros) Presentacin de un Problema Equivalente.(Teorema Anlogo)1(Polya.G;2002)1(Nieves.R;2011)2 Anlisis de un Teorema Principal y Justificacin de la Reduccin a travs de Dos Criterios.(Polya.G 2002)1 Resultados y Demostracin del Teorema Anlogo(Polya.G;2002) Conclusin.

Marco Terico: Teorema 1: n2 K2 = (n-K) (n+K) Teorema 2: (n + K) + (n K) = 2.n Teorema 3: El menor Nmero Primo Impar Es el Tres (3) Corolario 1: El menor semiprimo Impar Es el Nueve (9) Bases Tericas: Lema 1: Siempre existe: K < n Para toda: n Ii Tal que: n K = Ii Donde: Ii Es cualquier Nmero Impar. Lema 2: Siempre existe: K < n Para toda: n Ij Tal que: n + K = Ij Cuando: Ij Es cualquier Nmero Impar. Lema 3: Para toda: n1 Siempre existen: (n K) y (n + K) Equidistantes a: n Tal que: (n K) + (n + K) = 2.n Cuando: K0 Lema 4: Si: n2 K2 = Ii.Ij (Por ser Ii y Ij ambos Impares) (Teorema Principal) Entonces: Ii.Ij = (n K) (n + K) (Por los Lemas 1 y 2) Teorema 4: n=n Si: n=K = n=n + 2.n - 1 n=K+1 K = Constante

2.n - 1
n=1

2.n - 1
n=1

Para toda: n 1

Cuando: K 0

n=n Entonces:

n=K -

n=n =

2.n - 1
n=1

2.n - 1
n=1

2.n - 1
n=K+1 K= Constante

Metodologa: Demostracin por Reduccion1 Planteamiento del Problema: Conjetura de Golbach3: Todo Nmero par mayor e igual que Seis. Se puede expresar con la Suma de Dos Nmeros Primos. Teorema Analogo2: Si para todo Nmero Natural: n 3 Existen Dos Nmeros Primos Impares de la forma:(n - K) y (n + K) Que sean: Equidistantes a: n Entonces: La Conjetura de Golbach Par es cierta.

Demostracin del Teorema 6: n=n Dado que: n2 =

2.n 1
n=1

Para toda: n 1 n=K Y como: K2 =

2.n 1
n=1

Para toda: K 0

n=n Entonces: n2 - K2 =

n=K -

2.n 1
n=1

2.n 1
n=1

n=n Donde: =

n=K -

n=n =

2.n 1
n=1

2.n 1
n=1

2.n - 1
n=K + 1

Para toda: n1 Cuando: K 0 n=n Entonces: n2 - K2 =

2.n - 1
n=K+1 (n K).(n + K) n=n ( Por el Teorema 1 )

Y como: n2 - K2

Entonces: (n K)(n + K)

2.n - 1
n=K+1

= Semiprimo

Si y solo si: (n + K) Es el Termino Central de: n=n

2.n - 1
n=K+1

= Semiprimo

Cuando: (n - K) Es el Nmeros de Trminos de:

n=n

2.n - 1
n=K+1

= Semiprimo

Donde: (n K) Pertenece a los Nmeros Primos.

Cuando: (n + K) Pertenece a los Nmeros Primos. Justificacin: Todo el desarrollo de esta Investigacin est basado en lo siguiente: Criterio 1: Para que todo Nmero par de la forma: 2.n Donde: n3 Sea la Suma de Dos Nmeros Primos. Solo es Necesario y Suficiente que: Para todo Numero Natural: n3 Existan: Dos Nmeros Primos Impares Equidistantes a: n De la forma: (n-K) y (n+K) Tal que: (n - K) n (n + K) Y cuya Suma: (n - K) + (n + K) Sea: (n - K) + (n + K) = 2.n (Por el Teorema 2) Criterio 2: Para que: Un Nmero Par de la forma: 2.n Sea: La Suma de Dos Nmeros: a y b Cuando: ab Solo es Necesario y Suficiente que: a y b Tengan igual Paridad. Y adems que: a y b Sean Equidistantes a: n Y para que: a y b Sean Equidistantes a: n Entonces: a = n K Cuando: b = n + K

Para toda: n1 Y toda: K0 Teorema Principal: Todo Nmero impar se puede expresar con la diferencia de Dos Cuadrados

12 - 02 = 1 22 - 12 = 3 32 42 32 - 02 = 52 22 = 5 32 = 7 42 = 9

62 - 52 = 11 72 42 - 12 = 82 92 62 = 13 72 = 15 82 = 17

102 - 92 = 19 52 - 22 = 112 - 102 = 21 122 - 112 = 23 52 02 = 62 - 32 = 13 2 - 122 = 25 142 - 132 = 27 152 - 142 = 29 162 - 152 = 31 72 - 42 62 - 12 = = 172 - 162 = 33 18 2 - 172 = 35 192 - 182 = 37 82 - 52 = 202 - 192 = 39 212 - 202 = 41 222 - 212 = 43

72 - 22 =

9 2 - 62

= 232 - 222 = 45 242 - 232 = 47

72 - 02 = 102 - 72

= =

252 - 242 = 49 262 - 252 = 51 272 - 262 = 53

82 - 32 112 - 82

= =

282 - 272 = 55 292 - 282 = 57 302 - 292 = 59 312 - 302 = 61

8 2 - 12 92 - 42 =

122 - 92 =

322 - 312 = 63 33 2 - 322 = 65 342 - 332 = 67

132 - 102 =

352 - 342 = 69

Anlisis de Resultados: Observacin: En la Visualizacin del desarrollo del anterior Teorema Principal Se pueden deducir los siguientes resultados los cuales permiten Justificar y establecer la conexin y relacin de equivalencia anloga de la Conjetura de Golbach. Teorema 5: Todo Nmero Primo Impar se puede expresar de forma nica con la diferencia de Dos Cuadrados Consecutivos. Corolario 2: Todo Libre de Cuadrado de (n) Factores; Se puede expresar con la diferencia de Dos Cuadrados de: 2n-1 formas Distintas. Corolario 3: Todo Semiprimo se puede expresar de Dos formas Distintas con la Diferencias de Dos Cuadrados. Teorema 6: Todo Semiprimo Impar.Se puede expresar con la diferencia de Dos Cuadrados.

Resultados: Objetivo Principal:

Objetivo: Demostracin del Teorema Anlogo. Dado que: Para todo Nmero Impar de la forma: Ii.Ij (Por los Lemas 1 y 2) Siempre Existen: Dos Nmeros de la forma: (n K) y (n + K) (Por los Lemas: 1 y 2) Tal que: (n K) = Ii (Por el Lema 1) Cuando: (n + K) = Ij (Por el Lema 2) Para toda: n > K Donde: Ii Es cualquier Nmero Impar. Cuando: Ij Es tambin cualquier Nmero Impar. Y como: Ii.Ij = (n K)(n + K) = n2 K2 (Por el Teorema 1 y el Teorema 6) Entonces: Ii.Ij Es un Semiprimo Impar. Si y solo si: Ii Es un Nmero Primo Impar de la forma: (n K) (Por el Lema 1) Cuando: Ij Es un Numero Primo Impar de la forma: (n + K) (Por el Lema 2) Para toda: n 3 (Por el Teorema 3 y El Corolario 1) Donde: n > K Y como: Ii + Ij = (n K) + (n + K) = 2.n (Por el Teorema 2 y el Criterio 2) Para toda: n 1 Entonces: Todo Nmero de la forma: 2.n Para toda: n 3 Se puede expresar: Con Dos Nmeros Primos Impares de la forma: (n K) y (n + K) Entonces: Para todo Numero Natural: n 3 Siempre existen Dos Nmeros Primos Impares Equidistantes a:(n) Tal qu:(n K) n (n + K) Cuya suma: Es un Nmero Par de la forma: 2.n Entonces: La Conjetura de Golbach es cierta. Conclusin: Cabe destacar que est Demostrado que Existen Nmeros Primos

Comprendidos entre: 0 y n (Por el Teorema de los Nmeros Primos. As como Existen Nmeros Primos Comprendidos entre: n y 2.n (Postulado de Bertrand) Lo que Fortalece los resultados obtenidos en est Investigacin y el logro del Objetivo Alcanzado.

Referencias: [1] Polya G.Como plantear y resolver problemas.Ed.Trillas.Mexico.2002 [2] Nieves R.Rodolfo Demostracin de una Conjetura presentada en el Quinto Congreso Internacional de Matemticas en 1.912; Memorias XIX Jornadas Tcnicas de Investigacin y III de Postgrado.Ed.Horizontes.Venezuela.2011 Pp.123-128 [3] Chengyan, L.Sieve method and Lndau Problems.Arxiv; 9909.15v1.1999.Pp1-7