Nmeros primos

Un nmero primo es un nmero entero mayor que cero, que tiene exactamente
dos divisores positivos. Tambin podemos definirlo como aquel nmero entero
positivo que no puede expresarse como producto de dos nmeros enteros
positivos ms pequeos que l, o bien, como producto de dos enteros positivos de
ms de una forma. Conviene observar que con cualquiera de las dos definiciones
el 1 queda excluido del conjunto de los nmeros primos.
Ejemplos: a) El 7 es primo. Sus nicos divisores son 1 y 7. Slo puede
expresarse como producto de 71.
b) El 15 no es primo. Sus divisores son 1, 3, 5 y 15. Puede
expresarse como 35. (y tambin como 151)
El trmino primo no significa que sean parientes de alguien. Deriva del latn
"primus" que significa primero (protos en griego). El teorema fundamental de la
aritmtica afirma que todo nmero entero se expresa de forma nica como
producto de nmeros primos. Por eso se les considera los "primeros", porque a
partir de ellos obtenemos todos los dems nmeros enteros. (El 15 se obtiene
multiplicando los primos 3 y 5)
Los 25 primeros nmeros primos son 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37,
41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89 y 97, que son todos los primos
menores que 100.
En la siguiente tabla tenemos todos los primos menores que 1000, que hacen
un total de 168 (218)
2

7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73

79 83 89 97 10 10 10 10 11 12 13 13 13 14 15 15 16 16 17 17 181
1 3 7 9 3 7 1 7 9 9 1 7 3 7 3 9
19 19 19 19 21 22 22 22 23 23 24 25 25 26 26 27 27 28 28 29 307
1 3 7 9 1 3 7 9 3 9 1 1 7 3 9 1 7 1 3 3
31 31 31 33 33 34 34 35 35 36 37 37 38 38 39 40 40 41 42 43 433
1 3 7 1 7 7 9 3 9 7 3 9 3 9 7 1 9 9 1 1
43 44 44 45 46 46 46 47 48 49 49 50 50 52 52 54 54 55 56 56 571
9 3 9 7 1 3 7 9 7 1 9 3 9 1 3 1 7 7 3 9
57 58 59 59 60 60 61 61 61 63 64 64 64 65 65 66 67 67 68 69 701

70 71 72 73 73 74 75 75 76 76 77 78 79 80 81 82 82 82 82 83 853
9 9 7 3 9 3 1 7 1 9 3 7 7 9 1 1 3 7 9 9
85 85 86 87 88 88 88 90 91 91 92 93 94 94 95 96 97 97 98 99 997
7 9 3 7 1 3 7 7 1 9 9 7 1 7 3 7 1 7 3 1

Pster con los nmeros primos hasta 1000 (pdf) Listado con los primos
menores que 1.000.000 (txt)
Para ver los 10.000 primeros nmeros primos pincha aqu
Primos en el anillo de los enteros de Gauss

Cmo averiguar si un nmero es primo.

El algoritmo ms sencillo que puede utilizarse para saber si un nmero n es
primo es el de la divisin. Se trata de ir probando para ver si tiene algn divisor
propio. Para ello vamos dividiendo el nmero n entre 2, 3, 4, 5, ... , n-1. Si alguna
de las divisiones es exacta (da resto cero) podemos asegurar que el nmero n es
compuesto. Si ninguna de estas divisiones es exacta, el nmero n es primo. Este
mtodo puede hacerse ms eficiente observando simplemente, que si un nmero
es compuesto alguno de sus factores (sin contar el 1) debe ser menor o igual que
n. Por lo tanto, el nmero de divisiones a realizar es mucho menor. Slo hay
que dividir entre 2, 3, 4, 5, ... , [ n]. En realidad, bastara hacer las divisiones
entre los nmeros primos menores o iguales que n.
Ejemplo: Para probar que 227 es primo sabiendo que 227 = 15'0665... basta
con ver que no es divisible entre 2, 3, 5, 7, 11 y 13.
Este procedimiento resulta eficiente para nmeros pequeos o que tienen
factores pequeos. Sin embargo si el nmero tiene por ejemplo unas 20 cifras y
es primo, habr que realizar miles de millones de divisiones para comprobarlo.
Aunque un ordenador pueda realizar millones de divisiones en un segundo, el
tiempo necesario es bastante considerable. Y cuando el nmero de dgitos
aumenta el tiempo necesario crece de forma exponencial!!
Ejemplo prctico: Supongamos que queremos saber si un nmero de unas 50 cifras es primo. La raz
cuadrada de un nmero de este orden est en torno a 1025. Si un ordenador hace 1000 millones de divisiones
por segundo, necesitar 1025/109 segundos; es decir, 1016 segundos. Este tiempo equivale, aproximadamente, a
1'6*1014 minutos, que son 2'7*1012 horas, o tambin 1'16*1011 das, aproximadamente 3'17*108 aos. Que
para hacer esto se necesiten 317.097.920 aos se me antoja una tarea poco recomendable. Y si nos

decidisemos a llevarla a cabo, sera til esta informacin pasado todo este tiempo? O ms drstico todava,
seguira existiendo nuestra especie entonces?

Debemos pues, buscar una alternativa que nos permita responder a este
problema de una forma ms favorable; necesitamos un algoritmo ms eficiente.
Una respuesta puede ser el teorema pequeo de Fermat. Este teorema afirma
que si n es primo y mcd(a,n) = 1, entonces an-1 1 (mod n). Hay que tener en
cuenta que la exponenciacin modular puede realizarse en un tiempo bastante
favorable, si se hace de forma adecuada (hay algoritmos que nos dan la respuesta
en tiempo polinmico)
Ejemplo: Queremos comprobar si el nmero 15 es primo o no (utilizando esta
propiedad). Tomamos a = 2, n = 15, y evaluamos 214 (mod 15). La respuesta es
214 4 (mod 15). Podemos asegurar entonces que 15 es compuesto. Probemos
con a = 2, n = 341, evaluamos 2340 (mod 341) y obtenemos que 2340 1 (mod
341). Esto no nos permite deducir que 341 sea compuesto, pero tampoco que sea
primo. Al probar con a=3 tenemos 3340 56 (mod 341), lo cual implica que 341
es compuesto.
A los nmeros que se comportan como el 341 en el ejemplo anterior se les
llama pseudoprimos para la base 2 (se comportan como un primo para a=2). Este
comportamiento es bastante ms peculiar peculiar para algunos nmeros.
Tomando por ejemplo a=2 y n=561, obtenemos que 2560 1 (mod 561), 3560 1
(mod 561), 5560 1 (mod 561) y as con todas las bases con las que probemos. Es
decir, se comporta como un primo para cualquier base que elijamos. Sin
embargo, 561 es compuesto (561 = 31117). A los nmeros que como ste, son
pseudoprimos para todas las bases se les llama nmeros de Carmichael. Los
nmeros de Carmichael menores que 100.000 son 561, 1105, 1729, 2465, 2821,
6601, 8911, 10585, 15841, 29341, 41041, 46657, 52633, 62745, 63973 y 75361.
Desde luego, no parecen muy abundantes. Los expertos se preguntaban en los
aos 80 si seran un conjunto finito, con lo cual una vez identificados se podran
"evitar" fcilmente, aunque la creencia generalizada apuntaba a que el conjunto
era infinito. Se demostr que si un nmero es de Carmichael debe ser libre de
cuadrados y producto de al menos tres primos distintos. En 1994, Alford,
Granville y Pomerance demostraron que existen infinitos nmeros de
Carmichael. De hecho, su resultado indica que para n suficientemente grande
C(n) > n2/7, donde C(n) es la cantidad de nmeros de Carmichael menores que n.
Para evitar este contratiempo, podemos recurrir a un teorema un poco ms fino
debido a Euler. Este resultado afirma que si n es primo y mcd (a,n)=1, entonces

a(n-1)/2 1 (mod n). Con esto evitamos que algunos nmeros compuestos puedan
pasar por primos como ocurre utilizando el teorema pequeo de Fermat.
Ejemplo: Para comprobar que 91 es compuesto basta ver 2 45 57 (mod 91). Y
que pasa con un nmero de Carmichael como el 561?. Veamos 2 280 1(mod 561),
pero 5280 67 (mod 561). Parece que esto funciona.
Pero todava podemos afinar un poco ms. La idea es que si n es primo,
entonces Zn es un cuerpo. Y en un cuerpo las nicas races cuadradas de 1 son 1 y
-1. En el ltimo ejemplo estamos diciendo que Z 561 no es un cuerpo porque en l,
la raz de 1 es 67, y por tanto 561 no es primo. Si tomamos n-1 y lo dividimos
entre 2 de forma sucesiva, mientras sea posible, estamos extrayendo races
cuadradas y se trata de comprobar si los resultados dan siempre 1 -1. Esto da
lugar al test de Miller-Rabin.
Ejemplo: Tomando n = 561 hacemos 2280 (mod 561) 1 , 2140 (mod 561) 67,
que continuara con 270 y 235, pero ya no es necesario calcularlos porque tenemos
que la raz cuadrada de 1 es 67 (mod 561). Por tanto, 561 es compuesto.
Si al llegar a 235 no obtenemos un resultado distinto de +1 -1, tendramos que
elegir otra base. Y ah es donde podemos tener dificultades, porque si n es
bastante grande quiz tengamos que probar con muchas bases y la respuesta
tardar en llegar. Y podemos empezar a preguntarnos si la tardanza se debe a que
n es primo o porque es un compuesto que se comporta como un primo para un
conjunto "grande" de bases. Qu debemos hacer entonces? La solucin es
determinar el nmero de bases con las que tenemos que probar para asegurar que
un nmero compuesto no pase la prueba como si fuese primo.
Definiciones: Si un entero n compuesto e impar verifica la congruencia de Euler
para la base b, entonces n es un pseudoprimo de Euler para la base b. Asmismo,
si n pasa el test de Miller-Rabin para la base b, entonces n es un pseudoprimo
fuerte para la base b. Los siguientes resultados nos dan la respuesta a la cuestin
del prrafo anterior.
Proposicin: Si n es compuesto e impar, al menos la mitad de las bases b que
verifican 0<b<n, no satisfacen la congruencia de Euler.
Teorema (Rabin): Si n es un entero compuesto impar, entonces n es un
pseudoprimo fuerte para la base b, para a lo sumo un 25% de las posibles bases
que verifican 0 < b < n, mcd(b,n) = 1.

Desde luego que el teorema anterior no es para tirar cohetes. Probar con un
25% de las bases es algo descomunal si n es un nmero grande. Sin embargo,
tambin hay que decir, que experimentalmente se ha comprobado que el test es
mucho ms eficiente de lo que indica la acotacin del 25%. Es decir, cuando el
nmero es compuesto, basta probar con unas pocas bases (la mayora de veces
con una sola) para demostrar que el nmero es compuesto. Si probamos con
varias bases y nuestro nmero pasa el test, la probabilidad de que sea primo es
muy pequea. Y se puede elegir el nmero de bases que queramos de manera que
la probabilidad sea menor que una cota prefijada de antemano.
Yendo un poco ms lejos, hay un resultado de Miller basado en la hiptesis
generalizada de Riemann, que afirma lo siguiente:
Teorema (Miller, 1976): Si la hiptesis generalizada de Riemann es cierta y n es
un entero compuesto impar, entonces n no pasa el test de Miller-Rabin para
alguna base b < 2log2n (teorema de bach, aukemy, montgomery 1985??)
Este resultado implicara un test de primalidad en tiempo polinmico del orden
de O(log5n).
En la tabla de abajo podemos ver la cantidad de nmeros de Carmichael y
pseudoprimos para la base 2. Por ejemplo, el primer 1 de la fila que comienza
con 103 indica que slo hay un nmero de Carmichael menor que 1000, y el 3 que
sigue que hay 3 pseudoprimos para la base 2 menores que 1000.
( Nota: Los pseudoprimos de Euler tambin son llamados a veces pseudoprimos de Euler-Jacobi )

10n

Carmichael

psprimos(2)

pspEuler(2)

pspFuerte(2)

101

102

103

104

22

12

10

16

78

36

16

106

43

245

114

46

10

105

750

375

162

108

255

2057

1071

488

109

646

5597

2939

1282

10

10

1547

14884

7706

3291

1011

3605

38975

20417

8607

10

8241

101629

53332

22407

12

1013

19279

264239

124882

58892

Tabla 2: Pseudoprimos y nmeros de Carmichael

Los primeros pseudoprimos para la base 2 son 341, 561, 645, 1105, 1387,
1729, 1905, 2047, 2465, 2701, ...
Los primeros pseudoprimos para la base 3 son 91, 121, 286, 671, 703, 949,
1105, 1541, 1729, 1891, 2821,...
Los primeros pseudoprimos para la base 5 son 4, 124, 217, 561, 781, 1541,
1729, 1891, ...
Los primeros pseudoprimos de Euler para la base 2 son 561, 1105, 1729, 1905,
2047, 2465, ...
Los primeros pseudoprimos de Euler para la base 3 son 121, 703, 1729, 1891,
2821, 3281, 7381, ...
Los primeros pseudoprimos fuertes para la base 2 son 2047, 3277, 4033, 4681,
8321, 15841, 29341, 42799, 49141, 52633, 65281, 74665, 80581, 85489, 88357,
90751, ...
Los primeros pseudoprimos fuertes para la base 3 son 121, 703, 1891, 3281,
8401, 8911, 10585, 12403, 16531, 18721, 19345, 23521, 31621, 44287, 47197,
55969, 63139, 74593, 79003, 82513, 87913, 88573, 97567, ...
Estos ejemplos nos permiten ver que si en lugar de la base 2 utilizamos las
bases 2 y 3, los nmeros que pueden pasar el test siendo compuestos son muchos
menos. Y si tomamos ms bases todava, los resultados mejoran
considerablemente. Por ejemplo, slo hay un pseudoprimo fuerte para las bases
2, 3, 5 y 7 menor que 25109, y este nmero es 3,215,031,751.
La sucesin de los nmeros impares ms pequeos que pasan el test de MillerRabin usando los primeros k nmeros primos para k = 1, 2, 3,... est dada por
2047, 1373653, 25326001, 3215031751, 2152302898747, 3474749660383,
341550071728321, 341550071728321, ... (Sloane A014233; Jaeschke 1993). Por
lo tanto, el test es totalmente determinista si usamos los siete primeros nmeros
primos (con 8 no da ninguna mejora) para nmeros menores menores de
3,410^14.
Lo que se hace en la prctica para nmeros muy grandes es tomar una serie de
bases al azar y comprobar si se verifican las congruencias. Si no se verifica en

algn caso, el nmero es compuesto con total seguridad. Si se verifican todas,

hay una "sospecha" muy grande de que el nmero es primo, aunque no puede
asegurarse. La probabilidad de error puede hacerse tan pequea como se quiera
con solo coger un nmero suficiente de bases.
Gracias a los trabajos de Pomerance, Selfridge y Wagstaff (1980) y Jaeschke
(1993) podemos elaborar tests de rpida ejecucin y completamente
deterministas (usando Miller-Rabin) si consideramos nmeros hasta un cierto
tamao:
Para nmeros menores que 25,326,001 basta probar con las bases 2,
3 y 5.
Para nmeros menores que 4,759,123,141 basta probar con las
bases 2, 7 y 61.
Para nmeros menores que 2,152,302,898,747 basta probar con las
bases 2, 3, 5, 7 y 11.
Para nmeros menores que 341,550,071,728,321 basta probar con
las bases 2, 3, 5, 7, 11, 13 y 17.
En 1980, Adleman publica un artculo titulado "On distinguishing prime
numbers from composite numbers". Sus resultados son mejorados por
Pomerance, Rumely, Cohen, H.W. Lenstra y A.K. Lenstra. Esta trabajo conjunto
junto con el teorema que viene a continuacin dan lugar a un test de primalidad
conocido como APR (hay ms de una versin de este test)
Teorema (Odlyzko-Pomerance, 1982): Existe una constante c>0 efectivamente
computable tal que para todo n > ee existe un entero positivo t que satisface:
i) t es libre de cuadrados.
ii) 0 < t < (log n)clog(log(log n)) y tal que s(t) > n , donde s(t) = { q Z+ / q
primo y q-1 divisor de t }

El test APR seguira entonces los siguientes pasos:

Paso1: Introducimos un primo impar n.
Paso2: Buscamos (secuencialmente) un valor t que verifique s = s(t) > n.
Paso3: Factorizamos t. A sus factores pi les llamamos primos iniciales.

Paso4: Factorizamos s. A sus factores qi les llamamos primos eucldeos.

Paso5: Se comprueba que mcd (st, n) = 1 (si no es el caso, n no es primo)
Paso6: Para cada primo inicial p se tiene una de estas dos opciones:
a) np-1 1 (mod p2)
b) np-1 1 (mod p2) y para cada primo eucldeo q tal que p | q-1 existe un
carcter (aplicacin de un grupo en el cuerpo de los nmeros complejos) :
Zq* --------> Gp de orden p y conductor q, tal que G()n ()nG(n) mdulo
nZ[p, q] para algn 1 () Gp (revisar)
Si se da el caso a) probamos con otro primo inicial y si se da b) seguimos con
el paso 7.
Paso7: Para cada i = 0, 1, 2, 3, ... , t-1 se calcula mcd( n i (mod s) , n). Si alguno
de los resultados obtenidos es un nmero comprendido estrictamente entre 1 y n
entonces el nmero n es compuesto. Si todos los resultados dan 1 n, entonces
podemos estar seguros de que n es primo.
(continuar con AKS, Agrawal 2002)

Cuntos nmeros primos hay

Una de las primeras preguntas que podemos hacernos es si la cantidad de
nmeros primos es finita o infinita. Euclides de Alejandra demostr que hay
infinitos. Supongamos que existe solamente un nmero finito de primos. Sea C =
{ p1, p2, ... pn } el conjunto formado por todos ellos. Consideremos ahora el
nmero M = p1p2 ... pn+1. Como cada primo pi es mayor que 1, M es un
nmero mayor que cualquiera de los pi; es decir, M no est en el conjunto C y por
tanto es compuesto. Admitir entonces una descomposicin como producto de
factores primos (por el teorema fundamental de la aritmtica). Por hiptesis, estos
factores slo pueden estar entre los primos que aparecen en el conjunto C. Por
tanto, existir un primo q del conjunto C, tal que q | M y obviamente, q |
p1p2 ... pn. Por consiguiente, q divide a la diferencia M - p 1p2 ... pn (que es
1). Pero ningn nmero primo divide a 1, y q es un nmero primo que divide a 1
(Contradiccin). Concluimos entonces que el conjunto de los nmeros
primosno puede ser finito (q.e.d.)
Hay otras demostraciones posibles, como la de Euler, que se obtiene como
corolario de un teorema que afirma que la suma de la serie de los inversos de los
nmeros primos es divergente. Otra demostracin ms reciente (y sencilla de
hacer) fue obtenida por Polya basndose en los nmeros de Fermat. Ms adelante

veremos ms sobre estos nmeros que se definen como F n=2^(2n)+1. As, F1=5,
F2=17, F3=257, etc. Polya observ y demostr que para todo k>0 se tiene que F n y
Fn+k son coprimos; es decir, no tienen factores comunes. Esto implica la infinitud
de los nmeros primos, ya que cada uno de los F n da lugar a uno o varios
nmeros primos que no aparecen en los anteriores nmeros de Fermat. Curioso,
no? La demostracin es como sigue:
Observamos en primer lugar que todos los nmeros de Fermat son impares,
evidente. En segundo lugar hay que ver que Fn+k-2 es mltiplo de Fnpara todo
k>0. Para ello slo hay que seguir este clculo:

Ahora, si m 1 es un divisor comn de Fn y Fn+k , entonces m es divisor de Fn+k 2 y Fn+k , y por tanto de su diferencia; es decir, m es divisor de 2 al mismo tiempo
que de Fn que es impar. Contradiccin. Podemos concluir entonces que
cualesquiera dos nmeros de Fermat no tienen ningn factor en comn, q.e.d.
Otra demostracin interesante se la debemos a Erdos: Consideremos un nmero x
fijo y sean p1, p2, ..., pn x, los nmeros primos menores o iguales que x. .Como
todo entero puede expresarse como producto de un cuadrado por un nmero libre
de cuadrados, podemos escribir cada entero m x de la forma

donde ei {0, 1} y Q2 x. Podemos elegir los ei de 2n formas diferentes, y Q de

r(x) formas y, por tanto, podemos asegurar que todos los nmeros m x pueden
escribirse alguna de estas 2nr(x) formas, o sea, x 2nr(x). Ahora, despejamos n
de esta expresin, x 4n, y por tanto, n ln x / ln 4. El nmero de primos es
mayor que cualquier nmero x fijado de antemano, q.e.d.

La sucesin de los nmeros primos

La sucesin de los nmeros primos es poco predecible. No sabemos si
obedecern algn tipo de regla u orden que no hemos sido capaces de descubrir

todava. Durante siglos, las mentes ms preclaras intentaron poner fin a esta
situacin pero sin xito. Leonhard Euler coment en una ocasin: "Los
matemticas han intentado en vano hasta la fecha descubrir algn orden en la
sucesin de los nmeros primos, y tenemos razones para creer que es un misterio
en el que la mente no podr penetrar nunca". En una conferencia dada por D.
Zagier en 1975, ste dijo: "Hay dos hechos en torno a la distribucin de los
nmeros primos que espero crean tan abrumadoramente, que quedarn por
siempre grabadas en sus corazones. La primera es que a pesar de su sencilla
definicin y de su papel como ladrillos que construyen los nmeros naturales, los
nmeros primos crecen como la mala hierba alrededor de los nmeros naturales,
simulando no obedecer otra ley que la del azar, y nadie puede predecir donde
brotar el siguiente. El segundo hecho es incluso ms asombroso, porque dice
justamente lo opuesto: que los nmeros primos hacen gala de una pasmosa
regularidad, que hay leyes que gobiernan su comportamiento, y que obedecen
esas leyes con una precisin casi militar" (Havil 2003)
Euler commented "Mathematicians have tried in vain to this day to discover some order in the sequence of
prime numbers, and we have reason to believe that it is a mystery into which the mind will never penetrate"
(Havil 2003, p. 163). In a 1975 lecture, D. Zagier commented "There are two facts about the distribution of
prime numbers of which I hope to convince you so overwhelmingly that they will be permanently engraved in
your hearts. The first is that, despite their simple definition and role as the building blocks of the natural
numbers, the prime numbers grow like weeds among the natural numbers, seeming to obey no other law than
that of chance, and nobody can predict where the next one will sprout. The second fact is even more
astonishing, for it states just the opposite: that the prime numbers exhibit stunning regularity, that there are
laws governing their behavior, and that they obey these laws with almost military precision" (Havil 2003, p.
171).

Pero el espritu del hombre es obstinado y su inquietud por descubrir no

conoce fronteras. As, con el paso de los aos y los siglos se ha ido avanzando a
pequeos pasos, pero tantos, que al mirar atrs parecen gigantescos. En primer
lugar presentamos una tabla con las cifras del nmero primo que ocupa el
lugar 10n-simo. Lectura: El primo que ocupa el lugar 1000 (10 3) en la sucesin
de los nmeros primos es 7919.
=n
=

Primo 10n

Nmero de |
cifras

=n
=

Primo 10n

Nmero de
cifras

11

2760727302517

13

29

12

29996224275833

14

541

13

323780508946331

15

7919

14

3475385758524527

16

104729

15

37124508045065437

17

1299709

16

394906913903735329

18

15485863

17

4185296581467695669

19

179424673

18

44211790234832169331

20

2038074743

10

19

465675465116607065549

21

22801763489

11

20

4892055594575155744537

22

10

252097800623

12

21

23

Tabla 3: Dgitos del 10n-simo primo

Otra posibilidad es contar cuntos primos acaban en una determinada cifra o

cuntos son de una determinada forma como 4k+1 4k+3. Por ejemplo, los
nmeros primos de la forma 4k+1 son 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97... y
los de la forma 4k+3 son 3, 7, 11, 19, 23, 31, 43, 47, 59, 67, 71, 79, 83... Para
abreviar los llamaremos primos de tipo 1 y de tipo 3 respectivamente.
Observamos que de los 24 primos enumerados, 11 son del tipo 1 y 13 del tipo 3.
Contando el nmero de primos de cada tipo hasta 100.000 obtenemos:
x

Primos 4k+1

Primos 4k+3

Primos 4k+1

Primos 4k+3

100

11

13

10.000

609

619

200

21

24

20.000

1.125

1.136

300

29

32

50.000

2.549

2.583

400

37

40

70.000

3.491

3.443

500

44

50

100.000

4.783

4.808

600

51

57

200.000

8.995

8.988

700

59

65

300.000

13.026

12.970

800

67

71

400.000

16.967

16.892

900

74

79

500.000

20.804

20.733

1000

80

87

600.000

24.573

24.524

2000

147

155

700.000

28.306

28.236

3000

222

207

800.000

32.032

31.918

5000

329

339

900.000

35.676

35.597

7000

442

457

1.000.000

39.266

39.231

Tabla 4: Recuento de primos de la forma 4k+1 y 4k+3 desde 3 hasta x

Observamos que los primos de tipo 3 van ganando por un escaso margen a los
de tipo 1. Este fenmeno fue observado ya por Tchebychev, que se lo contaba en
una carta a M. Fuss el 23 de marzo de 1853. Este sesgo resulta quizs inesperado
en vista de un importante resultado en la teora analtica de los nmeros conocido
como el teorema de los nmeros primos para progresiones aritmticas. Este
resultado nos dice que, para todo mdulo a, los primos tienden a distribuirse
equitativamente entre las diferentes progresiones an + b tales que mcd(a, b) =
1. Esto implica entre otras cosas que cualquier progresin aritmtica contiene
infinitos primos, hecho que fue conjeturado ya por Gauss y demostrado por
Dirichlet en 1837. Tambin nos permite deducir que existe "el mismo nmero de
primos" acabados en 1, 3, 7 9, tomando como progresiones aritmticas 10n+1,
10n+3, 10n+7 y 10n+9.
x

10n + 1

10n + 3

10n + 7

10n + 9

100

200

10

12

12

10

500

22

24

24

23

1.000

40

42

46

38

2.000

73

78

77

73

5.000

163

172

169

163

10.000

306

310

308

303

20.000

563

569

569

559

50.000

1274

1290

1288

1279

100.000

2387

2402

2411

2390

200.000

4478

4517

4503

4484

500.000

10386

10382

10403

10365

1.000.000

19617

19665

19621

19593

El intento de "controlar" los nmeros primos llevo a muchos a la bsqueda de

algn tipo de frmula o expresin algebraica que generase la sucesin de los
nmeros primos. Goldbach demuestra en 1752 que no existe ningn polinomio
con coeficientes enteros que d nmeros primos para cualquier valor entero.
Aos despus Legendre demuestra que no existe ninguna funcin algebraica
racional que cumpla tal requisito. Queda por decir que todava se puede buscar
un polinomio de forma que produzca una sucesin de nmeros primos lo ms
larga posible. Euler propuso el polinomio n2 + n + 41 que da nmeros primos
para valores 0 n < 40 (tambin para 40 < n < 81 excepto n = 41, 44, 49, 56, 65
y 76 [sucesin cuadrtica]).
Otro resultado que hay que mencionar, a pesar de los resultados de Goldbach y
Legendre, es que se ha podido encontrar un polinomio en 10 variables con
coeficientes enteros que da nmeros primos siempre que se sustituyan las
variables por enteros no negativos. Jones, Sato, Wada y Wiens han hallado un
polinomio de grado 25 en 26 variables cuyos valores positivos son exactamente
los nmeros primos.
Otra frmula que produce nicamente nmeros primos tiene que ver con una
constante = 1'3063778..., conocida como constante de Mills (el menor nmero
que tiene esta propiedad). Tomando f(n) = [^(3 n)] siempre se obtienen nmeros
primos, donde [x] representa la parte entera de x. Los primeros valores de f(n)
son 2, 11, 1361, 2521008887, ... No se sabe todava si es racional o irracional
(febrero 2012).
Hacia 1845 Joseph Bertrand propone que para cada entero positivo n, existe al
menos un primo p tal que n < p < 2n. Esta proposicin conocida como postulado
de Bertrand, fue demostrada por Tchebychev en 1850. En 1919, Ramanujan
prueba que para n > 5, existen al menos dos primos entre n y 2n; para n > 8,

existen al menos tres primos entre n y 2n; para n > ?, existen al menos cuatro
primos entre n y 2n. De forma ms general, demuestra que para cada k > 0,
existen k primos entre n y 2n salvo para un nmero finito de casos. Erds, en
1932, consigue una prueba bastante ms simple del caso de dos primos entre n y
2n para n>6, aadiendo adems que uno de esos dos primos debe ser de la forma
4k+1 y el otro de la forma 4k+3.
Otra cuestin similar (pero ms restrictiva) haba sido propuesta por Legendre
unos aos antes de la demostracin de Tchebychev. Legendre conjetur que
existe al menos un primo entre n y (n+1) para todo entero n > 0. La conjetura
sigue sin demostrarse. (febrero 2012)

El teorema del nmero primo

(n) n/log n Li(x)
La funcin que nos dice cuntos nmeros primos hay en el intervalo [0, n] se
representa por (n) = # { p n , p primo}. Legendre y Gauss dedicaron mucho
tiempo y esfuerzo a calcular nmeros primos y contar los que haba en grandes
intervalos. Conjeturaron que el valor de (n) poda aproximarse por n/log(n).
Tchebychev, en su intento de demostrar esta conjetura, obtiene que existen dos
constantes c1 y c2 verificando 0 < c1 1 c2 < tales que
c1 n / log(n) (n) c2 n / log(n)
En 1881, James J. Sylvester da otro resultado similar pero mucho ms fino; a
saber, que 0,96695 c1 1 c2 1,04423
El teorema del nmero primo nos da una aproximacin asinttica al valor de (n)
y se expresa de la siguiente forma:

Fue demostrado en primer lugar por Hadamard y de la Valle Poussin en 1896

basndose en algunas propiedades de la funcin Zeta de Riemann.
Una mejor aproximacin de (x) es la funcin Li(x).

lo cual equivale a decir

que

se aproxima mejor a (n) que

n/log(n).

En 1901, Koch demuestra que la Hiptesis de Riemann es equivalente a la

desigualdad | (x) - Li(x) | cxln(x) para alguna constante c. Erds en 1949 y
Selberg en 1950 dieron demostraciones ms sencillas en el sentido que no se
apoyan en "herramientas de gran calibre" como la funcin zeta o similares.
Para valores de n no demasiado grandes se comprob que (n) < Li(n), lo cual
dio lugar a la conjetura de que la desigualdad se verificaba para todo valor de n.
Sin embargo, la conjetura fue refutada en 1914 por Littlewood al demostrar que
ambas funciones se cruzan infinitas veces. Skewes demostr posteriormente que
el primer encuentro de ambas funciones ocurre para un n menor que
10^(10^(10^(34))). Este nmero ha sido reducido despus hasta 10 371.

(x)

Li(x)-(x)

(x)

10

78,498

129

-0.209

107

664,579

336

-0.1809

10

5,761,455

753

-0.1339

109

Comments

Meissel 1871

50,847,534

1,700

-0.0994 Meissel 1886 (Corrected)

10

455,052,511

3,103

-0.0594 Lehmer 1959 (Corrected)

10

11

4,118,054,813

11,587

-0.0725

1012

37,607,912,018

38,262

-0.0781

1013

346,065,536,839

108,970

-0.0723

Bohmann 1972
(Corrected)

1014

3,204,941,750,802

314,889

-0.0678

Lagarias Miller Odlyzko

1985

1015

29,844,570,422,669

1,052,618

-0.0735

LMO 1985

1016

279,238,341,033,925

3,214,631

-0.0726

LMO 1985

2,623,557,157,654,233

7,956,588

-0.0581

Delglise Rivat 1994

10

10

17

1018

24,739,954,287,740,860

21,949,554

0.05177

Delglise Rivat 1994

1019

234,057,667,276,344,607

99,877,774

-0.0760

Delglise 1996

2,220,819,602,560,918,840

222,744,643 -0.0546

Delglise 1996

2*10

4,374,267,703,076,959,271

472,270,046 -0.0823

X. Gourdon 2000 Nov

1021

21,127,269,486,018,731,928

20

10

20

597,394,253 -0.0471

X. Gourdon 2000 Nov

2*10

21

41,644,391,885,053,857,293 1,454,564,714 -0.0816

pi(x) project, 2000 Dec

4*1021

82,103,246,362,658,124,007 1,200,472,717 -0.0479

pi(x) project, 2000 Dec

201,467,286,689,315,906,290 1,932,355,207 -0.0491

pi(x) project, 2000 Dec

22

10

1.5*1022 299,751,248,358,699,805,270 2,848,114,312 -0.0592

P. Demichel, X. Gourdon,
2001 Feb

2*1022 397,382,840,070,993,192,736 2,732,289,619 -0.0493

pi(x) project, 2001 Feb

4*1022 783,964,159,847,056,303,858 5,101,648,384 -0.0655

pi(x) project, 2001 Mar

(Current world record)

(Aadir Hardy-Wright pag 10)

Nmeros de Fermat
Un nmero de Fermat es un nmero de la forma 2^2 n + 1. La sucesin de
nmeros de Fermat para n = 0, 1, 2, ... sera entonces 3, 5, 17, 257, 65537,
4294967297, 18446744073709551617, ... Cada uno de ellos duplica (o casi) al
anterior en nmero de cifras, lo cual da una idea de la rapidez con la que crecen.
Fermat comprob que los cinco primeros nmeros eran primos y conjetur que
posiblemente todos ellos lo fuesen.

El gran cclope (Euler) fue el encargado de desmentir esta hiptesis al demostrar

que F5 = 4294967297 es divisible por 641. Adems hasta la fecha (abril 2007) no
se han vuelto a encontrar ms primos entre los nmeros de Fermat.

Factores de los nmeros de Fermat son:

274.177 de F6, 59.649.589.127.497.217 de F7, 1.238.926.361.552.897 de F8,
2.424.833 de F9, 45.592.577 de F10, ...

Primos de Mersenne y nmeros perfectos

A los nmeros primos de la forma 2n-1 se les llama primos de Mersenne. Es
fcil demostrar que si 2n-1 es primo, entonces n debe ser primo. Si suponemos
que n es compuesto, pongamos n = ab (a, b>1), entonces
2n-1 = (2a)b-1 = (2a-1)(2a(b-1) + 2a(b-2) + ... + 2a + 1)
y por lo tanto 2n-1 tambin es compuesto. Pero el hecho de que n sea primo no
asegura que 2n-1 sea primo. Una propiedad destacable es que si p es primo y 2 p-1
es compuesto entonces sus factores son de la forma 2kp+1. Por ejemplo pero 2 111 = 2047 = 2389 y 23 = 211+1, 89 = 811+1.
Todava no se sabe si el nmero de primos de Mersenne es finito o infinito
(diciembre 2010)
Un nmero entero se llama perfecto si es igual a la suma de sus divisores (sin
contar el propio nmero). Los casos ms sencillos son 6=1+2+3 y
28=1+2+4+7+14. Euclides demostr que si 2n-1 es un nmero primo, entonces 2n1 n
(2 -1) es un nmero perfecto. Euler demostr que todos los nmeros perfectos
pares son de este tipo. Por tanto, no se sabe si hay una cantidad finita o infinita de
nmeros perfectos. Tampoco se sabe si existe algn nmero perfecto que sea
impar.
Tabla de nmeros primos de Mersenne conocidos (diciembre 2010)

Exponente

Dgitos

Ao

Descubridor

13

1456

Annimo (H.Regius1)

17

1588

Cataldi (J. Scheybl2)

19

10

1588

Cataldi

1772

Euler

1883

Pervushin

1911

Powers

1914

Powers

1876

Lucas

1952

Robinson

1952

Robinson

12
31
19
61
27
89
33
107
39
127
157
521
183
607

386
1279

1952

Robinson

1952

Robinson

1952

Robinson

1937

Riesel

1961

Hurwitz

1961

Hurwitz

1963

Gillies

1963

Gillies

1963

Gillies

1971

Tickerman

1978

Noll y Nickel

1979

Noll

664
2203
687
2281
969
3217
1.281
4253
1.332
4423
2.917
9689
2.993
9941
3.376
11213
6.002
19937
6.533
21701
6.987
23209

13.395
44497

1979

Nelson y Slowinski

1982

Slowinski

1988

Colquitt y Welsh

1983

Slowinski

1985

Slowinski

1992

Slowinski y Gage

1994

Slowinski y Gage

1996

Slowinski y Gage

25.962
86243
33.265
110503
39.751
132049
65.050
216091
227.832
756839
258.716
859433
378.632
1257787

1398269

420.921

1996

GIMPS (Armengaud,
Woltman, et. al.)

2976221

895.932

1997

GIMPS (Spence,
Woltman, et. al.)

909.526
3021377

1998

GIMPS, PrimeNet
(Clarkson, Woltman,

Kurowski et. al.)

6972593

2.098.960

1999

GIMPS (Hajratwala,
Woltman, Kurowski
et. al.)

13466917

4.053.946

2001

Michael Cameron
(GIMPS, PrimeNet)

20996011

6.320.430

2003

Michael Shafer's
(GIMPS, PrimeNet)

Nota: No se han incluido los ltimos primos (que si aparecen en la tabla de

abajo) porque aunque se sabe quien es la madre todava no sabemos quien es el
padre; quiero decir, que se sabe que son primos de Mersenne, pero no se sabe si
son los que siguen inmediatamente a los anteriores.
(1) Aunque el quinto nmero perfecto (primo de Mersenne)

Cazando primos titnicos

Los nmeros primos ms grandes conocidos hoy (diciembre de 2010) son:
Primo

Dgitos

Fecha

Nombre

243112609-1

12.978.189

2008

Mersenne 47??

42643801

12.837.064

2009

Mersenne 46??

37156667

-1

11.185.272

2008

Mersenne 45??

232582657-1

9.808.358

2006

Mersenne 44??

30402457

-1

9.152.052

2005

Mersenne 43??

225964951-1

7.816.230

2005

Mersenne 42?

2
2

-1

Descubridor

224036583-1

7.235.733

2004

Mersenne 41?

Josh Findley
(GIMPS, PrimeNet)

220996011-1

6.320.430

2003

Mersenne 40

Michael Shafer's
(GIMPS, PrimeNet)

213466917-1

4.053.946

2001

Mersenne 39

Michael Cameron
(GIMPS, PrimeNet)

27653.29167433+1

2.759.677

2005

2.357.207

2004

. 7830457

28433 2

+1

6972593

2.098.960

1999

Mersenne 38

5359.25054502+1

-1

Hajratwala, Woltman,
Kurowski et. al.
(GIMPS, PrimeNet)

1.521.561

2003

. 3321063

999.744

2005

23021377-1

909.526

1998

Mersenne 37

Clarkson, Woltman,
Kurowski et. al.
(GIMPS, PrimeNet)

22976221-1

895.932

1997

Mersenne 36

Spence, Woltman,
et. al. (GIMPS)

1372930131072+1

804.474

2003

Fermat General

1361244131072+1

803.988

2004

Fermat General

795.695

2003

Fermat General

4847 2

1176694

+1

131072

+1

La conjetura de los primos gemelos

Dos primos se llaman gemelos si se diferencian en dos unidades. Por ejemplo 5 y
7 tambin 29 y 31. Saber si hay una cantidad finita o infinita de tales parejas es
un problema abierto en mayo de 2007, aunque se cree ampliamente que hay
infinitos.
En 1919 Viggo Brun demostr que la suma de los inversos de los primos gemelos
converge a un nmero que llamaremos la constante de Brun para primos
gemelos. Se representa como B2 y su valor se estima en torno a
1.902160583104.

Alfonso de Polignac (1817-1890) fue un matemtico francs que conjetur que

para cada nmero natural k>0, existen infinitas parejas de primos que estn a una
distancia de 2k. El caso k=1 es la conjetura de los primos gemelos.
De forma similar al teorema del nmero del nmero primo, la conjetura de
Hardy-Littlewood postula que el nmero de primos p N, tales que p+2 es
tambin primo se aproxima asintticamente a 2C 2N/(Ln N)2, donde C2 =
0,6601618158...
En 1940, Paul Erds demuestra que existe una constante c<1 e infinitos primos p
tales que p'-p < cLn(p), donde p' denota al menor nmero primo mayor que p (el
primo que "sigue" a p). Con el paso de los aos, el resultado se fue mejorando.
En 1986, se demuestra que debe ser menor que 0,25; en 2004, menor que 0,0858;
en 2005, arbitrariamente pequea.
En 1966, Chen Jingrun demuestra que existen infinitos primos p tales que p + 2
es o primo o semiprimo (producto de dos primos).
En febrero de 2012, la conjetura sigue abierta.
Curiosidades
La constante 0.235711131719232931374143..., obtenida concatenando los
nmeros primos es un nmero irracional.
Los primeros nmeros de la sucesin de Fibonacci que son primos son 2, 3, 5,
13, 89, 233, 1597, 28657, 514229, ... No se sabe todava si hay infinitos primos
es esta famosa sucesin (2007)
Citas
Los matemticos han intentado en vano hasta hoy descubrir algn orden en la
sucesin de los nmeros primos, y tenemos razones para creer que es un misterio
en el que la mente humana nunca podr penetrar (Leonhard Euler)
"Mathematicians have tried in vain to this day to discover some order in the
sequence of prime numbers, and we have reason to believe that it is a mystery
into which the human mind will never penetrate." Leonhard Euler
Puede que Dios no juegue a los dados con el universo, pero algo extrao est
pasando con los nmeros primos (Paul Erds)
"God may not play dice with the universe, but something strange is going on with
the prime numbers." Paul Erds

Cmo se protege la cigarra con nmeros primos.

Las cigarras peridicas, muy especialmente la Magicicada septendecim , tienen el
ciclo vital ms largo de todos los insectos. Su nico ciclo vital empieza bajo
tierra, donde las ninfas absorben pacientemente el zumo de las races de los
rboles. Entonces, despus de 17 aos de esperar, las cigarras adultas emergen de
la tierra en gran nmero e invaden temporalmente nuestro paisaje. Unas semanas
despus se aparean, ponen los huevos y mueren.
La cuestin que inquietaba a los zologos era: Por qu el ciclo vital de la cigarra
es tan largo? Qu quiere decir que el ciclo vital sea un nmero primo de aos?
Otra especie, la Magicicada tredecim, aparece cada 13 aos, lo que indica que los
ciclos vitales que son un nmero primo de aos dan algn tipo de ventaja para la
conservacin de la vida.
Segn una teora, la cigarra tiene un parsito que tambin recorre un ciclo vital, y
que la cigarra est intentando evitar. Si el parsito tiene un ciclo vital, pongamos,
de 2 aos, entonces la cigarra quiere evitar un ciclo vital que sea divisible por 2,
sin el parsito y la cigarra coincidirn regularmente. De esta manera parecida, si
el parsito tiene un ciclo vital de 3 aos, entonces la cigarra querr evitar un ciclo
vital divisible por 3, si no el parsito y la cigarra volvern a coincidir. . Al fin, si
se quiere evitar de encontrase con su parsito, la mejor estrategia de la cigarra es
darse un ciclo de vida largo, que dure un nmero primo de aos. Como nada
dividir el 17, la Magicicada septendecim raramente se encontrar con su
parsito. Si el parsito tiene un ciclo de 2 aos, solo se encontrarn cada 34 aos,
y si tiene un ciclo vital ms largo, de 16 aos por ej., slo se encontrarn cada
272 (16 x 17) aos.
En su turno, el parsito, si quiere luchar, slo tiene dos ciclos vitales que
incrementan la frecuencia de las coincidencias: el del ciclo anual y el mismo
ciclo de 17 aos que la cigarra. Ahora bien, es poco probable que el parsito
pueda sobrevivir y reaparecer 17 aos seguidos, porque durante las 16 primeras
apariciones no habr cigarras a las cuales parasitar. De otro modo, si quieren
conseguir el ciclo de 17 aos, las generaciones de parsitos tendrn que
evolucionar primero durante un ciclo vital de 16 aos. Esto significara que, en
algn estadio evolutivo de su vida, el parsito y la cigarra no coincidirn durante
272 aos! En cualquier caso, el largo ciclo vital de las cigarras, y el nmero
primo de aos, las protege.
Esto podra explicar por qu el supuesto parsito no ha sido encontrado nunca!

En la lucha por coincidir con la cigarra, el parsito probablemente ha continuado

alargando su ciclo vital, hasta conseguir traspasar la barrera de los 16 aos.
Entonces dejar de coincidir durante 272 aos; mientras tanto su falta de
coincidencia con las cigarras le habr llevado a la extincin. El resultado es una
cigarra con un ciclo vital de 17 aos; ciclo que ya no le hace ninguna falta porque
su parsito ya no existe.
Bibliografa: pgina 128 de "El enigma de Fermat"