Demostracin de una conjetura presentada en el Quinto Congreso Internacional de Matemticas en 1912 Proof of a conjecture presented on the Fifth International

Congress of Mathematics in 1912 Rodolfo A. Nieves Rivas fesol7luzley@gmail.com

Resumen En este artculo se presenta la demostracin de la conjetura de los primos gemelos, conjetura que fue presentada en el Quinto Congreso de Matemticas en Cambridge en el ao 1912 por Edmund Landau y conocida como uno de los problemas de Landau. De igual forma se realiza la demostracin de su generalizacin conocida como la conjetura de Polignac y se concluye con la confirmacin de ambas conjeturas. Palabras claves:Problemas de Landau, primos gemelos. Conjetura de Polignac Abstract This article presents a proof of the twin prime conjecture which was presented al the Fifth Congress of Mathematics at Cambridge in 1912 by Edmund Landau and known as one of the Landaus problems. Similarly, it is presented the proof of its generalization known as Polignacs conjecture and concludes with the confirmation of the conjectures. Keywords: Landaus problems, twin primes, Polignacs conjecture

Introduccin Un problema que ha intrigado y desafiado el intelecto de muchos eminentes y famosos matemticos desde que fue planteado es: la conjetura de los primos gemelos 3,4 y su generalizacin conocida como la conjetura de Polignac formulada por: Alphonse de Polignac en 1849. Estas conjeturas afirman lo siguiente: La conjetura de los primos gemelos expresa que: Existe un nmero infinito de primos p tales que p + 2 tambin es primo. La conjetura de Polignac asegura que: Para todo nmero natural k existen infinitos pares de primos cuya diferencia es 2k. El caso k=1 es la conjetura de los nmeros primos gemelos. Cabe destacar que la conjetura de los primos gemelos forma parte de los problemas de Landau5 quien la present en el Quinto congreso internacional de matemticas en Cambridge en el ao de 1912, mantenindose sin solucin estas dos conjeturas hasta la fecha.

El objetivo de este trabajo es presentar la solucin de dichas conjeturas ante la comunidad cientfica y de esta forma brindar otro aporte en funcin del avance de la ciencia. Marco terico Teorema 1:Si McD (a; n) = 1 entonces hay una cantidad infinita de nmeros primos congruentes con a modulo n.(Dirichlet )1,7 Teorema 2: Existen infinitos primos8 (Euclides) Corolario 1: Existen infinitos semi-primos Teorema 3: La suma de dos nmeros mas su diferencia es igual al duplo del mayor 2 Teorema 4: La suma de dos nmeros menos su diferencia es igual al duplo del menor 2 Teorema 5: El producto de la suma de dos nmeros por su diferencia es igual a la diferencia de los cuadrados de los dos nmeros2 . Corolario2: Todo semi-primo se puede expresar como la diferencia de dos cuadrados. Lema 1: Todo producto de dos primos impares diferentes tiene cuatro y solo cuatro divisores6 . Criterio 1: Toda diferencia de cuadrados de la forma: n2 -k2 es un semi-primo producto de dos primos impares diferentes de la forma: (n-k)(n+k). Si y solo si:(n+1)2 -k2 es la suma de sus cuatro divisores. Bases Tericas (anlisis descriptivo) Sean: (n+k).(n-k)=n2 -k2 Para: 0k<n Donde: (n-k)=Pi Y: (n+k)= Pj Donde: Ax2 +Bx+c=Pi..Pj Para: PiPj Donde: x=(Pi-1)/2 Donde: A=4 (constante) Y: B=2c+2 Para c= cualquier impar Donde: c1 (teorema 5) (definicin) (definicin) (definicin) (definicin) (condicin) (deduccin) (definicin y deduccin) (definicin y deduccin) (definicin y condicin) (condicin)

Y: k=(c-1)/2 Donde: n=2x+k+1 Y: 2n=4x+2k+2 Y: 2n+1=4x+2k+3 Donde: (n-k)=2x+1 Cuando: (n+k)=2x+2k+1= 2x+c Donde: Pj=Pi+2k=(n+k) Donde: (Pi+1)(Pj+1)=Ay2 +By+c=(n+1)2 -k2 Cuando: y= (Pi/2) Si y Solo si: Ax2 +Bx+c(Pn )3 Donde: Pn Donde: Ax2 +Bx+c +4x+2k+3=n2 -k2 +(n-k)+(n+k)+1 Y: Ay2 +By+c= Pi..Pj+Pi+Pj+1 Donde: (n+k)(n-k)2 Donde: (n-k)+(n+k)=2n Y: (n-k)-(n+k)=2k Cuando: (n-k)(n+k)=n2 -k2

(deduccin) (deduccin) (deduccin) (deduccin) (deduccin) (deduccin) (deduccin) (criterio 1 y lema 1) (definicin) (condicin) (definicin) (criterio 1) (criterio 1) (condicin) (teorema 3) (teorema 4) (teorema 5)

Objetivo: Demostracin de la infinitud de los primos gemelos y la conjetura de Polignac Si: ax+b Cuando: ax+c Donde: a=2 (constante) Cuando b=1 (constante) Para: c3 Donde: c es cualquier nmero impar Dado que: McD (a,b)=1 (Por teorema 1)

Y: McD (a,c)=1

(Por teorema 1)

Entonces: Ax2 +Bx+c= Es un semi-primo producto de: Pi(Pi+2k) Si: 2k= (c-1) Donde: Pi Cuando:Pi+2k Si y solo si: A=4 Donde: B=2c+2 Para toda: c3 Si: x=(Pi-1)/2 Y como: existen infinitos Pi Entonces: Existen infinitas x Por tanto: Existen infinitos semi-primos generados por: Ax2 +Bx+c Cuando: c=3 Entonces: Existen infinitos primos:Pi y (Pi+2k) Donde: k=1 Por tanto: La infinitud de los primos gemelos es cierta Y como: Toda: c es co-primo con: a Entonces: Existen infinitos semi-primos generados por: Ax2 +Bx+c Para toda: k1 Entonces: la conjetura de Polignac es cierta. Q.e.d. Q.e.d. (Por teorema 2)

Resultados: n2 32 52 72 112 . . . K2 02 02 02 02 . . . = = = = =

Tabla I (Ejemplos: Para: K= 0) Ax2 4.12 4.22 4.32 4.52 . . . + + + + + Bx 4.1 4.2 4.3 4.5 . . . + + + + + c 1 1 1 1 . . . = Semi-primo = 9 = 25 = 49 = 121 . . . = (n-k)(n+k) = 3.3 = 5.5 = 7.7 = 11.11 . . .

Observacin: Para: k=0 (constante), c= 1 n=(2x+k+1),

(constante), B= (2.c+2)=4 (constante)

k= (c-1)/2, x= (Pi-1)/2, Pi=3,5,7, 11

Tabla II (Ejemplos: Para: K= 1 gemelos) Demostracin de la infinitud de los primos gemelos n2 42 62 122 182 . . . K2 12 12 12 12 . . . = = = = = Ax2 4.12 4.22 4.52 4.82 . . . + + + + + Bx 8.1 8.2 8.5 8.8 . . . + + + + + c 3 3 3 3 . . . = Semi-primo = 15 = 35 = 143 = 323 . . . (visualizacin) = (n-k)(n+k) = 3.5 = 5.7 = 11.13 = 17.19 . . .

Observacin: Para: k=1 (constante), c= 3 n=(2x+k+1),

(constante), B= (2.c+2)=8 (constante)

k= (c-1)/2, x= (Pi-1)/2, Pi=3,5, 11,17

Tabla III (Ejemplos: Para: K= 2) n2 52 92 152 212 . . . K2 22 22 22 22 . . . = = = = = Ax2 4.12 4.32 4.62 4.92 . . . + + + + + Bx 12.1 12.3 12.6 12.9 . . . + + + + + c 5 5 5 5 . . . = Semi-primo = 21 = 77 = 221 = 467 . . . = (n-k)(n+k) = 3.7 = 7.11 = 13.17 = 19.23 . . .

Observacin: Para: k=2 (constante), c= 5 n=(2x+k+1),

(constante), B= (2.c+2)=12 (constante)

k= (c-1)/2, x= (Pi-1)/2,Pi=3,7, 13,19

Tabla IV (Ejemplos: Para: K= 3) n2 82 102 142 162 . . . K2 32 32 32 32 . . . = = = = = Ax2 4.22 4.32 4.52 4.62 . . . + + + + + Bx 16.2 16.3 16.5 16.6 . . . + + + + + c 7 7 7 7 . . . = Semi-primo = 55 = 91 = 187 = 247 . . . = (n-k)(n+k) = 5.11 = 7.13 = 11.17 = 13.19 . . .

Observacin: Para: k=3 (constante), c= 7 n=(2x+k+1),

(constante), B= (2.c+2)=16 (constante)

k= (c-1)/2, x= (Pi-1)/2, Pi=5,7,11,13

Discusin y Anlisis de Resultados: Las Principales Aplicaciones que se deducen de forma inmediata de los resultados obtenidos en esta investigacin estn relacionadosdirectamente a dos problemas con caractersticas similares a el problema tratado en este artculo los cuales son: El problema sobre la infinitud de los primos de Sophie Germain y la conjetura de Golbach Par. Problemas abiertos que an no se les ha encontrado una solucin satisfactoria siendo estos de importancia en la estructuracin de la teora de nmeros y que adems estn considerados como intratables, por falta de fundamentos tericos que los sustenten razn por la cual la conjetura de Golbach se le conoce como el problema ms difcil de resolver en matemticas. Es por esto que de comprobarse la consistencia y veracidad de los resultados obtenidos en esta investigacin estos nos conducen hacia la demostracin de estas otras dos conjeturas dado que: Si se demuestra que existen infinitos valores para: x = Primo Entonces los primos de Sophie Germain son infinitos. Por ser: 2. x + 1 = Primo Cuando: 2. x + c = Primo (vertabla de resultados) (vertablas de resultados)

Y si se demuestra que la diferencia de Dos Cuadrados de la forma: n2 - k2 Es un semi-primo para toda: n mayor e igual a: 3 Por ser: (n k ) + ( n + k ) = 2. n = La suma de dos nmeros primos (Teorema 3) Cuando: n2 - k2 = ( n k ) . ( n + k ) Es un semi- primo (Teorema 5)

Entonces: la Conjetura de Golbach Par es Cierta Conclusin y recomendaciones: Una vez obtenidos estos resultados y haber cumplido de forma satisfactoria co n el objetivo planteado esto permite proponer ante la comunidad cientfica su estudio y aplicacin en el rea correspondiente, dada su importancia en algunas teoras tales como: teora de nmeros, teora de cribas, algoritmos de primalidad, problemas Np completo entre otros, ya que es precisamente en estas teoras donde se encuentra la mayor parte de los problemas abiertos an sin solucin y relacionados con los nmeros primos. Referencias [1] Angel, Jos y Guillermo, M.L. (2005).Breve resea sobre la Hiptesis de Reimann, Primalidad y el Algoritmo AKS. http://www.criptored.upm.es/guiateoria/gt_m117j.htm. [consulta: 2011, junio 15] [2] Baldor, A. Aritmtica terica-prctica. Ed. Cultural Venezolana S.A. 1992. ISBN980-204-000-2. Pp. 86:108 [3]Balestrieri, F. An Equivalent Problem Conjecture.Arxiv:1106.6050v1.2011. pp.1-7 to the Twin Prime

[4] Benoit, C. 10 Conjectures in Additive Number Theory. Arxiv:1101.4274v1. 2011. pp 1: 46 [5] Chengyan, L. Sieve Method and Landau Problems. Arxiv:9909.154v1. 1999. Pp 1-7 [6] Nieves R., Rodolfo. Prueba de Primalidad. Memorias XVIII Jornadas tcnicas de investigacin y II de postgrado. Ed. Horizontes. Venezuela. 2009. Pp. 216-220 [7] Selberg, Atle , "An elementary proof of Dirichlet's theorem about primes in an arithmetic progression", Annals of Mathematics 1949. pp. 297304 [8] Yamada,T. (s.f).Proofs of the Infinitude of Primes. http://www.math.kyotou.ac.jp/~tyamada/files/infprime.pdf [consulta: 2011, Julio 17]