Números Primos y Criptografía Daniel Prelat, Martín Maulhardt, Tomás Cordero Enero - Febrero 2014 Resumen. En el año 2013 probamos que en el conjunto de los números primos se satisface infinitas veces la desigualdad p n+2 p n+1 p n+1 p n. Hemos mencionado también que este resultado había sido probado previamente por Paul Erdős y Pal Turán en 1948 por un método diferente al nuestro. El valor de nuestro método se demostró en el hallazgo y la prueba de la generalización de la desigualdad mencionada. Concretamente hemos probado que en el conjunto de los números primos se satisface infinitas veces la desigualdad p n+k p n p n p n k para cada valor entero positivo de k. Desafortunadamente no hay hasta el momento una medida de la proporción de veces que ocurre la desigualdad en cuestión. En este trabajo responderemos en esta dirección definiendo un nuevo concepto a través del cual podremos dar una cota inferior para el número de veces en que se verifica la desigualdad p n+2 p n+1 p n+1 p n. 1. CONCEPTOS FUNDAMENTALES Definición : Sea : n N una sucesión creciente de números naturales. Sea d n = +1 la sucesión de diferencias primeras de. Decimos que dicha sucesión satisface la propiedad de separación si la sucesión d n es estrictamente creciente, i.e. d n+1 > d n. Veamos algunos ejemplos de sucesiones que satisfacen la propiedad de separación y de otras que no. 1
Ejemplos. 1. Sea = n 2 i.e. 1, 4, 9, 16,... n 2... Sus diferencias d n = +1 = 2n + 1 forman una sucesión creciente. Luego la sucesión = n 2 satisface la propiedad de separación. 2. Sea = 1, 2, 4, 5, 7, 8,... 3n + 1, 3n + 2,... La sucesión no satisface la propiedad de separación pues d 2n = 2 y d 2n 1 = 1 i.e. d n = 1, 2, 1, 2, 1, 2,... Observación. Si una sucesión satisface la propiedad de separación a partir de un cierto n 0 diremos indistintamente que la sucesión tiene la propiedad de separación. Sólo si es necesario aclararemos a partir de qué n 0 se satisface dicha propiedad. Ahora bien, si se introduce unuevoción en matemática es porque uno va a aplicar dichoción para concluir alguna propiedad. La consecuencia fundamental de la propiedad de separación se enuncia en el criterio de convergencia a continuación y el cual creemos es nuevo en la literatura matemática. Teorema 1 (Criterio de convergencia). Sea una sucesión de numeros naturales que satisface la propiedad de separación i.e. d n+1 > d n. donde d n = +1. Entonces la serie converge. Demostración. Puede verse la demostración de este criterio en el trabajo correspondiente al año 2013. Definición. Sea una sucesión creciente de números naturales. Sea A el conjunto formado por los elementos de dicha sucesión. Se dice que el conjunto A es grande si la serie de sus recíprocos diverge i.e. = Nota. Nos interesa resaltar esta definición y la sintetizamos así : A = { : n N} es grande n=1 1 = Algunos ejemplos triviales de conjuntos grandes son el conjunto N de los números naturales, cualquier progresión aritmética infinita y también el conjunto P de los números primos (Euler, 1737). 2
Observemos ahora el contrarrecíproco del Teorema 1. Como una serie de terminos positivos necesariamente converge o diverge ( no hay posibilidad de oscilación o de no existencia del límite de las sumas parciales si se considera como posible límite al infinito ) deducimos una condición necesaria para que un conjunto sea grande. Concretamente el contrarrecíproco del Teorema 1 es el siguiente Corolario 2. Corolario 2. Sea una sucesión creciente de números naturales tal que la serie =. Entonces la sucesión de sus diferencias d n satisface infinitas veces la desigualdad d n+1 d n i.e. +2 +1 +1. Este contrarrecíproco es nuestro verdadero aporte al trabajo de Erdős y Turán, porque nuestra demostración comprende a todos los conjuntos grandes y no sólo al conjunto de los números primos. Si se aplica el Colorario 2 al conjunto de los números primos obtenemos que infinitas veces ocurre la desigualdad p n+2 p n+1 p n+1 p n. La obtención de dichas desigualdades es una propiedad intrínseca de la divergencia de sus recíprocos y no de que todo número natural se exprese de manera única como producto de números primos. Se puede aplicar, como haremos a continuación a los primos cuyo índice es solo par, impar, y en general a cualquier subconjunto de números primos que satisfaga la definición anterior de conjunto grande. Antes de pasar a la sección 2 resumimos el colorario anterior en la siguiente implicación logica : = = infinitas veces d n+1 d n 3
2. GENERALIZACIÓN. AVANCES. Hasta este punto hemos probado de una manera más simple que Erdős y Turán que el conjunto de los números primos no tiene la propiedad de separación. Nuestra prueba extiende esta propiedad a todos los conjuntos grandes. Es decir, todo conjunto grande no posee la propiedad de separación. Apliquemos esta idea para obtener algunos resultados nuevos en Teoría de números. Erdős y Turán han probado, cambiando de índices, que se satisface infinitas veces en el conjunto de los números primos la desigualdad p n+1 p n p n p n 1. Geométricamente este resultado se puede interpretar así : La distancia de un determinado número primo al siguiente primo hacia la derecha es menor o igual que la distancia de dicho primo hacia el primo de la izquierda infinitas veces. Dos ejemplos de ternas de primos consecutivos que satisfacen dicha desigualdad son (7, 11, 13) y (23, 29, 31). De este tipo de ternas hay, según el corolario 2 aplicado al conjunto P de los números primos una infinidad. Los primeros resultados de este tipo se encuentran el su paper conjunto On some new questions on the distribution of prime numbers, 1948. Al final de dicho paper se preguntan por varias posibles generalizaciones de su resultado sin dar respuesta. Sin embargo, parece, han olvidado una. Concretamente, habrá infinitas ternas de primos que satisfagan la desgualdad o más general aún p n+2 p n p n p n 2. p n+r p n p n p n r. de la cual el caso r = 1 es sólo un caso particular? La respuesta a esta pregunta es afirmativa y constituye el núcleo de esta sección. Definición. Sea p 1, p 2, p 3, p 4..., p n... la sucesión de números primos. La subsucesión p 1, p 3,..., p 2n+1,... constituye el conjunto de los primos de índice impar y p 2, p 4,..., p 2n,... constituye el conjunto de los primos de índice par. Nota. Sin riesgo de confusión alguna diremos que un primo de índice par es un primo par y un primo de índice impar diremos que es un primo impar. 4
Teorema 3. El conjunto de los primos pares es un conjunto grande y también lo es el conjunto de los primos impares. Demostración. Si uno de ellos no es un conjunto grande (por ejemplo el de los primos de índice par) entonces la serie de sus recíprocos converge i.e. p 2n <. Pero entonces converge también 1 n=1 p 2n+1 <. Y sumando ambas series obtendríamos la contradicción p n <. Teorema 4. En el conjunto de los números primos se satisface infinitas veces la desigualdad p n+2 p n p n p n 2. Demostración. De acuerdo al Teorema 3 el conjunto de los primos pares es un conjunto grande i.e. la serie p 2n =. Luego, por el Corolario 2 se satiface infinitas veces la desigualdad +2 +1 +1 Ahora bien, el conjunto de los primos pares se define por la identidad = p 2n. Luego sustituyendo obtenemos infinitas veces o lo que es lo mismo como queríamos demostrar. p 2n+4 p 2n+2 p 2n+2 p 2n p n+2 p n p n p n 2 Nota. El Teorema 4 es la generalización de la desigualdad de Erdős y Turán que mencionamos al comienzo de esta sección. Está probada en detalle para r = 2 pero nuestros razonamientos se extienden inmediatamente para cada r N resultando infinitas veces en la desigualdad p n+r p n p n p n r. Finalizamos esta sección con la siguiente síntesis : = = infinitas veces +k k 5
3. DENSIDADES. FRECUENCIA CON QUE d n+1 d n 6