Los nmeros primos

1. QU ES UN NMERO PRIMO?
Empecemos un paso antes. Qu es un nmero natural? Para nosotros va a ser un montn de piedras. No, mejor, mejor, un montn de bombones! Mira, ste es el 3 Y ste el 6 Alguien ha visto el 24?

Elaborado por Carlos Vinuesa

2. CMO SE CALCULAN?
Los antiguos griegos ya saban que existen infinitos nmeros primos; Euclides lo prob en torno al ao 300 a. C. Para saber cules son los nmeros primos hasta cierta cantidad, podemos recurrir al mtodo conocido como criba de Eratstenes, tambin griego (lo que saban estos griegos!). Y eso qu es? Echar los nmeros a un colador y esperar a que caigan los que no son primos? Algo parecido. La criba consiste en lo siguiente: Se escriben los nmeros desde el 2 en adelante. Se rodea el 2 (es primo) y a continuacin se tachan todos los nmeros que sean mltiplos de 2, as:

Un nmero primo es un nmero natural mayor que 1 que slo es divisible por s mismo y por 1. Y eso qu quiere decir? Bueno, pues que si colocamos los bombones en un rectngulo, la nica posibilidad es hacer una fila. Por eso 3 es primo, porque slo se puede poner como una fila, y 6 no es primo, porque se puede poner como un rectngulo.

3 es primo 6 no es primo Se rodea el primer nmero que haya sobrevivido, en este caso el 3 (es primo) y a continuacin se tachan todos los nmeros que sean mltiplos de 3:

3. PRIMOS DE MERSENNE
Como hemos visto, para saber si un nmero N es primo podemos, por ejemplo, hacer la criba de Eratstenes hasta l. Pero si el nmero N que nos interesa es muy grande, la criba nos obliga a almacenar un montn de informacin y a hacer muchas operaciones. Para no tener que almacenar tanta informacin, podemos tratar de usar otros algoritmos. Por ejemplo, podemos ir comprobando si N es divisible por los nmeros desde el 2 hasta raz cuadrada de N (quiz slo por el 2 y los impares de ese intervalo para ahorrarnos la mitad de las cuentas). Si N no es divisible por ninguno de esos nmeros entonces ser primo y si lo es, ser compuesto. Pero an as seguimos teniendo el problema de que son demasiadas cuentas. A lo largo de la historia se han buscado algoritmos para comprobar si un nmero es primo que utilizaran el menor nmero de operaciones posible. Como se puede entender fcilmente, si nos restringimos a familias de nmeros de cierta forma tenemos algoritmos mucho mejores, esto es, que utilizan muchas menos operaciones en relacin al tamao del nmero para determinar si es primo. Una familia interesante es la de Mersenne. Para que un nmero de la forma 2n 1 sea primo, n tiene que ser primo. Los nmeros de la forma Mp = 2p - 1, con p primo reciben el nombre de nmeros de Mersenne. Pero no todos los nmeros de Mersenne son primos, por ejemplo para p=11 tenemos M11 = 211 1 = 2047 = 23 x 89. Los primos de la forma 2p - 1 se conocen como primos de Mersenne. Para nmeros de Mersenne tenemos el siguiente resultado debido a Edouard Lucas: Teorema de Lucas (1876): Sea S0 = 4 y definamos la sucesin Sk, para k 0, de la siguiente manera: Sk+1 = Sk2 2. Si Sp-2 es divisible por Mp entonces Mp es primo. El Teorema de Lucas implica que para determinar la primalidad de Mp, es necesario saber si ciertas sumas y multiplicaciones muy largas son divisibles por un nmero y curiosamente para eso no hace falta "hacer las cuentas del todo". Con este resultado, y un clculo (hecho a mano!) Lucas demostr que M127 es primo. Posteriormente, ya en el siglo XX, D. H. Lehmer demostr que la condicin de Lucas tambin es necesaria. Por ello, el teorema, que da una condicin necesaria y suficiente para determinar la primalidad de Mp, se conoce hoy como la Prueba de Lucas-Lehmer.

Se sigue rodeando el primer nmero que haya sobrevivido y tachando todos sus mltiplos. Al final quedarn rodeados slo los nmeros primos.

5. PRIMOS GRANDES PARA QU?

Uno puede pensar, y no con falta de razn, que todo esto est muy bien pero como hay infinitos primos nunca vamos a encontrar el ms grande y que el hecho de buscar primos enormes y de hacer psters que hay que leer con lupa no deja de ser una prdida de tiempo, un entretenimiento para frikis. Lo cierto es que (aunque por un lado no deje de ser as) los primos grandes se emplean a diario en cuestiones relacionadas con seguridad y privacidad de datos: enviar mensajes, comprar por Internet, hacer operaciones bancarias Los sistemas empleados se basan en que con un ordenador es muy sencillo (rpido) multiplicar dos primos grandes, pero en cambio es dificilsimo (lentsimo, imposible en la prctica) factorizar un producto de dos primos grandes, es decir, saber cules son los dos primos cuyo producto es el nmero dado. As, si cada usuario tiene una clave pblica que sirva para codificar mensajes dirigidos a l (consistente en un producto de dos primos muy grandes) y una clave privada que sirva para descifrar los mensajes (consistente en los dos primos), cualquiera podr enviarle mensajes seguros, que slo l podr descifrar. Haciendo una analoga con candados y cajas, es como si cada usuario repartiera a todo el resto candados (clave pblica) de los que slo l tiene la llave (clave privada). Quien quiera mandarle un mensaje seguro, lo mete en una caja y la cierra con el candado (eso es fcil) pero una vez cerrado slo quien tenga la llave podr abrirlo (sin la llave es difcil). Para ser sinceros, deberamos decir que los primos que se emplean en este tipo de asuntos no tienen millones de cifras, sino slo del orden de cientos de cifras, con ello basta para que el sistema sea seguro. En cualquier caso quien no se haya dejado convencer por todos estos argumentos, debera saber que la "Electronic Frontier Foundation" ofrece un premio de 150.000 dlares al primero que encuentre un nmero primo de al menos 100 millones de cifras y otro de 250.000 dlares al primero que encuentre un nmero primo de al menos 1.000 millones de cifras Convencido de la utilidad de los primos grandes?

4. EL PRIMO MS GRANDE
No, el primo ms grande no es el de Zumosol! Aunque ya sabemos que son infinitos y por tanto no existe el mayor, el primo ms grande que se conoce hasta la fecha es un primo de Mersenne (ms concretamente el cuadragsimo quinto conocido) y fue descubierto en agosto de 2008, gracias al proyecto Great Internet Mersenne Prime Search (GIMPS) en el que miles de ordenadores de todo el mundo trabajan con el algoritmo descrito de Lucas-Lehmer. El nmero en cuestin es M43.112.609 = 243.112.609 1 y tiene 12.979.189 cifras. Este es el primer primo que se conoce que tiene ms de 10 millones de cifras. No es de extraar que si se escribe en un pster sea necesaria una lupa para verlo.

Referencias: XVII Escuela Venezolana de Matemticas. Algoritmos Deterministas de Primalidad. Pedro Berrizbeitia. Los cdigos secretos. Simon Singh. Debate editorial. The Great Internet Mersenne Prime Search Page: http://www.mersenne.org/.