Historia de los nmeros primos Los nmeros primos y sus propiedades fueron estudiados de manera exhaustiva por los

matemticos de la antigua Grecia. Los matemticos de la Escuela Pitagrica (500 a. C. a 300 a. C.) estaban interesados en los nmeros por su misticismo y sus propiedades numerolgicas. Ellos comprendan la idea de primalidad y estaban interesados en los nmeros perfectos y amigables. Un nmero perfecto es aquel que la suma de sus divisores propios da como resultado el nmero en si mismo. Por ejemplo, el nmero 6 tiene como divisores propios al 1, 2 y al 3 y 1 + 2 + 3 = 6, 28 tiene divisores 1, 2, 4, 7 y 14 y 1 + 2 + 4 + 7 + 14 = 28. Un par de nmeros amigables es un par como 220 y 284 tal que los divisores propios de un nmero suman el otro y viceversa. Puede ver ms acerca de estos nmeros en el artculo de Nmeros Perfectos en la seccin de Artculos de Historia de las Matemticas. Para el momento en que los Elementos Euclidianos aparecieron por el 300 a. C., ya haban sido probados varios resultados importantes acerca de nmeros primos. En el Libro IX de los Elementos, Euclides prueba que hay infinidad de nmeros primos. Esta es una de las primeras demostraciones conocidas en la que se utiliza el mtodo del absurdo para establecer el resultado. Euclides tambin demuestra el Teorema Fundamental de Aritmtica: Todo entero puede ser escrito como un producto nico de primos. Euclides tambin demostr que si el nmero 2n - 1 es primo, entonces el nmero 2n-1(2n - 1) es un nmero perfecto. El matemtico Euler (ms tarde, en 1747) pudo demostrar que todos, an los nmeros perfectos, tienen esta forma. Hasta el da de hoy no se sabe si existe algn nmero perfecto que sea impar. Cerca del 200 a. C. el Griego Eratstenes ide un algoritmo para calcular nmeros primos llamado el Tamiz de Eratstenes. Se da luego un gran vaco en la historia de los nmeros primos que es usualmente llamado la Edad Obscura. El prximo gran descubrimiento fue realizado por Fermat en los inicios del siglo

XVII. El demostr que la teora de Albert Girard de que cada nmero primo de la forma 4 n + 1 puede ser escrito de una manera nica como la suma de 2 cuadrados y demostr como cualquier nmero puede ser escrito como la suma de cuatro cuadrados. Ide un nuevo mtodo de factorizacin de nmeros largos que demostr por medio de la factorizacin del nmero 2027651281 = 44021 46061. Prob lo que se conoce como El pequeo teorema de Fermat (para distinguirlo del llamado Ultimo Teorema). Este establece que si p es un nmero primo entonces para cualquier entero a obtenemos que ap = a modulo p. Esto prueba la mitad de lo que se ha llamado la Hiptesis China que data de unos 2000 aos antes, y que dice que un entero n es primo si y solo si el nmero 2n - 2 es divisible por n. La otra mitad es falsa, ya que, por ejemplo, 2341 - 2 es divisible por 341 an cuando 341 = 31 11 es compuesto. El Pequeo Teorema de Fermat es la base de otros muchos resultados en la Teora de Nmeros y es la base de mtodos de verificacin de nmeros primos que se utilizan an hoy en ordenadores electrnicos. Fermat mantuvo correspondencia con otros matemticos de su poca, y en particular con el monje Marn Mersenne. En una de sus cartas a Mersenne, l conjetura que los nmeros 2n + 1 eran siempre primos si n es una potencia de 2. El haba verificado esto para n = 1, 2, 4, 8 y 16 y saba que si n no era una potencia de 2, el resultado fallaba. Los nmeros de esta forma son llamados Nmeros de Fermat y no fue hasta ms de 100 aos ms tarde que Euler demostr que 232 + 1 = 4294967297 es divisible por 641 y por tanto no es primo. Los nmeros de la forma 2n - 1 tambin atrajeron la atencin porque es muy fcil demostrar que a menos que n sea primo, este nmero ser compuesto. A menudo stos son llamados Nmeros primos de Mersenne Mn, dado que Mersenne los estudi. No todos los nmeros de la forma 2n - 1 con n primo son primos. Por ejemplo 211 - 1 = 2047 = 23 89 es compuesto, aunque fue notado por primera vez en 1536. Durante muchos aos los nmeros obtenidos de esta forma fueron los primos

ms largos conocidos. Cataldi prob que el nmero M19 es primo en 1588 y fue el primo ms grande conocido por unos 200 aos hasta que Euler prob que M31 es primo. Este marc el rcord por otra centuria hasta que Lucas demostr que M127 (el cual tiene 39 dgitos) es primo, tomando el rcord hasta la era de la computadora electrnica. En 1952 Robinson prob que los nmeros primos de Mersenne M521, M607, M1279, M2203 y M2281 son primos utilizando un modelo temprano de ordenador comenzando as la era electrnica. Para el 2005 haban sido encontrados un total de 42 primos de Mersenne. El ms grande es M25964951, el cual tiene 7816230 dgitos decimales. El trabajo de Euler tuvo un gran impacto en la teora numrica en general y sobre la de primos en particular. l ampli el Teorema Pequeo de Fermat e introdujo la funcin de Euler. Como mencionamos antes, factoriz el 5o nmero Fermat 232 + 1, y encontr 60 pares de nmeros amigables a los que nos referimos anteriormente, y estableci (pero no pudo demostrar) lo que se conoce como la Ley de Reciprocidad Cuadrtica. Fue el primero en notar que la Teora de Nmeros puede ser estudiada utilizando las herramientas del anlisis y as fundo el objeto de la Teora del Anlisis Numrico. l demostr que no solo las llamadas series Armnicas (1/n) divergen, sino que las series 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ...

formadas por la suma de los recprocos de los nmeros primos, son tambin divergentes. La suma de n trminos en las series armnicas crece rpidamente como log(n), mientras que las series tardas divergen ms lentamente como log[ log(n) ]. Esto significa, por ejemplo, que sumando los recprocos de todos los primos que hemos listado, an en las ms poderosas computadoras, solo da un resultado prximo a 4, pero la serie contina divergiendo a infinito. A primera vista, los primos parecen estar distribuidos de manera catica entre los enteros. Por ejemplo entre los 100 nmeros anteriores a 10 000 000 hay 9 primos, mientras que entre los 100 nmeros posteriores hay solo 2 primos. Sin embargo, tomando una escala mayor, la distribucin de los nmeros primos es bastante regular. Legendre y Gauss realizaron exhaustivos clculos sobre la

densidad de los nmeros primos. Gauss (que fue un calculador prodigioso) le dijo a un amigo que siempre que tena 15 minutos libres los gastaba en contar los primos existentes en un 'chiliad' (rango de 1000 nmeros). Para el final de su vida se estima que haba contado todos los primos existentes en un rango de cerca de 3 millones. Legendre y Gauss llegaron a la conclusin de que para un largo de n la densidad de los primos cercanos a n es de aproximadamente 1/log(n). Legendre dio una estimacin para (n) del nmero de primos n de (n) = n / (log(n) 1.08366)

mientras la estimacin de Gauss es en trminos de Integrales Logartmicas (n) = 1/log(t) dt dnde el tramo de integracin va de 2 a n. Podis ver la Estimacin de Legendre y la Estimacin de Gauss y compararlas.

Al enunciado de que la densidad de primos es 1/log(n) se le conoce como el Teorema de Nmeros Primos. Los intentos por probarlo continuaron durante el Siglo XIX, con los notables progresos realizados por Chebyshev y Riemann quien pudo relacionar este problema con algo llamado la Hiptesis de Riemann: un resultado an sin probar acerca de los ceros en el plano complejo de algo llamado la funcin-zeta de Riemann. Los resultados fueron demostrados (utilizando poderosos mtodos de anlisis complejo) por Hadamard y Valle Poussin en 1896. An quedan abiertas muchas preguntas (algunas de ellas datan de hace ms de cien aos) relacionadas a los nmeros primos. Algunos problemas no resueltos

1. La Conjetura de los Primos Gemelos que dice que existen infinidad de pares de nmeros primos. 2. La Conjetura de Goldbach (realizada en una carta de C Goldbach a Euler en 1742) de que cada entero par mayor que 2 puede ser escrito como la suma de 2 primos. 3. Existen muchos primos de la forma n2 + 1 ? (Dirichlet probo que cada progresin aritmtica: {a + bn | n N} con a, b coprimos contiene infinidad de primos).

4. Siempre existe un primo entre n2 y (n + 1)2 ? (El hecho de que siempre exista un nmero primo entre n y 2n se llama la Conjetura de Bertrand y fue demostrada por Chebyshev.) 5. Existe una infinidad de nmeros primos de Fermat? De hecho, hay algn nmero primo de Fermat luego del cuarto? 6. Hay alguna progresin aritmtica de primos consecutivos para cualquier largo (finito) dado? Por ejemplo, 251, 257, 263, 269 tiene largo 4. El ejemplo ms largo conocido tiene largo 10. 7. Existen infinitos conjuntos de 3 primos consecutivos en progresiones aritmticas. (Verdadero si omitimos la palabra consecutivos). 8. n2 - n + 41 es primo en 0 n 40. Hay infinitos primos de esta forma? La misma pregunta se aplica a n2 - 79 n + 1601 que es primo en 0 n 79. 9. Existen infinitos primos de la forma n# + 1? (dnde n# es el producto de todos los primos n.) 10. Existen infinitos primos de la forma n# - 1? 11. Existen infinitos primos de la forma n! + 1? 12. Existen infinitos primos de la forma n! - 1? 13. Si p es primo, 2p - 1 es siempre libre de cuadrados? Es decir, no divisible por el cuadrado de un primo. 14. Contiene la secuencia de Fibonacci un nmero infinito de primos?

Aqu hay algunos de los ltimos rcords de nmeros primos que conocemos.

El nmero primo ms grande conocido (encontrado por GIMPS [Gran Buscador de Internet de Primos Mersenne] en febrero de 2005) es el 42o primo de Mersenne: M25964951 que tiene 7816230 dgitos decimales. Vea el Anuncio Oficial (en ingls). Los primos gemelos ms grandes conocidos son 242206083 238880 1. Tienen 11713 dgitos y fueron anunciados por Indlekofer y Ja'rai en noviembre de 1995. El nmero primo factorial ms grande conocido (primo de la forma n! 1) es 3610! - 1. Es un nmero de 11277 dgitos y fue anunciado por Caldwell en 1993. El nmero primo primorial ms grande conocido (primo de la forma n# 1,

dnde n# es el producto de todos los primos n) es 24029# + 1. Es un nmero de 10387 dgitos y fue anunciado por Caldwell en 1993.