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 7 1.
b) El 15 no es primo. Sus divisores son 1, 3, 5 y 15. Puede
expresarse como 3 5. (y tambin como 15 1)
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 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73
79 83 89 97 10
1
10
3
10
7
10
9
11
3
12
7
13
1
13
7
13
9
14
9
15
1
15
7
16
3
16
7
17
3
17
9
18
1
19
1
19
3
19
7
19
9
21
1
22
3
22
7
22
9
23
3
23
9
24
1
25
1
25
7
26
3
26
9
27
1
27
7
28
1
28
3
29
3
30
7
31
1
31
3
31
7
33
1
33
7
34
7
34
9
35
3
35
9
36
7
37
3
37
9
38
3
38
9
39
7
40
1
40
9
41
9
42
1
43
1
43
3
43
9
44
3
44
9
45
7
46
1
46
3
46
7
47
9
48
7
49
1
49
9
50
3
50
9
52
1
52
3
54
1
54
7
55
7
56
3
56
9
57
1
57
7
58
7
59
3
59
9
60
1
60
7
61
3
61
7
61
9
63
1
64
1
64
3
64
7
65
3
65
9
66
1
67
3
67
7
68
3
69
1
70
1
70
9
71
9
72
7
73
3
73
9
74
3
75
1
75
7
76
1
76
9
77
3
78
7
79
7
80
9
81
1
82
1
82
3
82
7
82
9
83
9
85
3
85
7
85
9
86
3
87
7
88
1
88
3
88
7
90
7
91
1
91
9
92
9
93
7
94
1
94
7
95
3
96
7
97
1
97
7
98
3
99
1
99
7
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 10
25
. Si un ordenador hace 1000 millones de divisiones
por segundo, necesitar 10
25
/10
9
segundos; es decir, 10
16
segundos. Este tiempo equivale, aproximadamente, a
1'6*10
14
minutos, que son 2'7*10
12
horas, o tambin 1'16*10
11
das, aproximadamente 3'17*10
8
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 a
n-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 2
14
(mod 15). La respuesta es
2
14
4 (mod 15). Podemos asegurar entonces que 15 es compuesto. Probemos
con a = 2, n = 341, evaluamos 2
340
(mod 341) y obtenemos que 2
340
1 (mod
341). Esto no nos permite deducir que 341 sea compuesto, pero tampoco que sea
primo. Al probar con a=3 tenemos 3
340
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 2
560
1 (mod 561), 3
560
1
(mod 561), 5
560
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 = 3 11 17). 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) > n
2/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 5
280
67 (mod 561). Parece que esto funciona.
Pero todava podemos afinar un poco ms. La idea es que si n es primo,
entonces Z
n
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 2
280
(mod 561) 1 , 2
140
(mod 561) 67,
que continuara con 2
70
y 2
35
, 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 2
35
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 < 2 log
2
n (teorema de bach, aukemy, montgomery 1985??)
Este resultado implicara un test de primalidad en tiempo polinmico del orden
de O(log
5
n).
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 10
3
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 )
10
n
Carmichael psprimos(2) pspEuler(2) pspFuerte(2)
10
1
0 0 0 0
10
2
0 0 0 0
10
3
1 3 1 0
10
4
7 22 12 5
10
5
16 78 36 16
10
6
43 245 114 46
10
7
105 750 375 162
10
8
255 2057 1071 488
10
9
646 5597 2939 1282
10
10
1547 14884 7706 3291
10
11
3605 38975 20417 8607
10
12
8241 101629 53332 22407
10
13
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 25 10
9
, y este nmero es 3,215,031,751.
La sucesin de los nmeros impares ms pequeos que pasan el test de Miller-
Rabin 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,4 10^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 > e
e
existe un entero positivo t que satisface:
i) t es libre de cuadrados.
ii) 0 < t < (log n)
c log(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 p
i
les llamamos primos iniciales.
Paso4: Factorizamos s. A sus factores q
i
les llamamos primos eucldeos.
Paso5: Se comprueba que mcd (s t, 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) n
p-1
1 (mod p
2
)
b) n
p-1
1 (mod p
2
) 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) :
Z
q
*
--------> G
p
de orden p y conductor q, tal que G()
n
()
n
G(
n
) mdulo
nZ[
p
,
q
] para algn 1 () G
p
(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 =
{ p
1
, p
2
, ... p
n
} el conjunto formado por todos ellos. Consideremos ahora el
nmero M = p
1
p
2
... p
n
+1. Como cada primo p
i
es mayor que 1, M es un
nmero mayor que cualquiera de los p
i
; 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 |
p
1
p
2
... p
n
. Por consiguiente, q divide a la diferencia M - p
1
p
2
... p
n
(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
primos no 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^(2
n
)+1. As, F
1
=5,
F
2
=17, F
3
=257, etc. Polyaobserv y demostr que para todo k>0 se tiene que F
n
y
F
n+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 F
n+k
-2 es mltiplo de F
n
para todo
k>0. Para ello slo hay que seguir este clculo:

Ahora, si m 1 es un divisor comn de F
n
y F
n+k
, entonces m es divisor de
F
n+k
- 2 y F
n+k
, y por tanto de su diferencia; es decir, m es divisor de 2 al mismo
tiempo que de F
n
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 p
1
, p
2
, ..., p
n
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 e
i
{0, 1} y Q
2
x. Podemos elegir los e
i
de 2
n
formas diferentes, y Q de
r(x) formas y, por tanto, podemos asegurar que todos los nmeros m x pueden
escribirse alguna de estas 2
n
r(x) formas, o sea, x 2
n
r(x). Ahora, despejamos n
de esta expresin, x 4
n
, 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 10
n
-simo. Lectura: El primo que ocupa el lugar 1000 (10
3
) en la sucesin
de los nmeros primos es 7919.
= n
=
Primo 10
n

Nmero de
cifras
|
= n
=
Primo 10
n

Nmero de
cifras
0 2 1 | 11 2760727302517 13
1 29 2 | 12 29996224275833 14
2 541 3 | 13 323780508946331 15
3 7919 4 | 14 3475385758524527 16
4 104729 6 | 15 37124508045065437 17
5 1299709 7 | 16 394906913903735329 18
6 15485863 8 | 17 4185296581467695669 19
7 179424673 9 | 18 44211790234832169331 20
8 2038074743 10 | 19 465675465116607065549 21
9 22801763489 11 | 20 4892055594575155744537 22
10 252097800623 12 | 21 ? 23
Tabla 3: Dgitos del 10
n
-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 x 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 5 7 6 5
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 n
2
+ 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 c
1
y c
2
verificando 0 < c
1
1 c
2
< tales que
c
1
n / log(n) (n) c
2
n / log(n)
En 1881, James J. Sylvester da otro resultado similar pero mucho ms fino; a
saber, que 0,96695 c
1
1 c
2
1,04423
El teorema del nmero primo nos da una aproximacin asinttica al valor de (n)
y se expresa de la siguiente forma: