Número primo

Ir a la navegaciónIr a la búsqueda
Este artículo trata sobre primos en los números enteros. Para la generalización
a anillos, véanse elemento primo y elemento irreducible.

La distribución de los números primos (línea azul) hasta el 400

En matemáticas, un número primo es un número natural mayor que 1 que

tiene únicamente dos divisores distintos: él mismo y el 1.12 Por el contrario,
los números compuestos son los números naturales que tienen algún divisor
natural aparte de sí mismos y del 1, y, por lo tanto, pueden factorizarse.
El número 1, por convenio, no se considera ni primo ni compuesto.
Los 168 números primos menores que 1000 son:
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 8
3, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 
173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257,
263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353,
359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449,
457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563,
569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653,
659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761,
769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877,
881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991
y 997 (sucesión A000040 en OEIS).
El primer número primo a partir del número mil es el 1009, luego de diez mil es
el 10 007, a partir de cien mil es el 100 003, inmediatamente después de
un millón es el 1 000 003.
La propiedad de ser número primo se denomina primalidad.
En la teoría algebraica de números, a los números primos se les conoce como
números racionales primos para distinguirlos de los números gaussianos
primos.3. La primalidad no depende del sistema de numeración, pero sí del
anillo donde se estudia la primalidad. Dos es primo racional; sin embargo tiene
factores como entero gaussiano: 2 = (1+i)*(1-i).
El estudio de los números primos es una parte importante de la teoría de
números, rama de las matemáticas que trata las propiedades, básicamente
aritméticas,4 de los números enteros.
Los números primos están presentes en algunas conjeturas centenarias tales
como la hipótesis de Riemann y la conjetura de Goldbach, resuelta por Harald
Helfgott en su forma débil.
La distribución de los números primos es un asunto reiterativo de investigación
en la teoría de números: si se consideran números aisladamente, los primos
parecieran estar distribuidos de modo probabilístico, pero la distribución
«global» de los números primos se ajusta a leyes bien definidas.
 Índice

 1Historia de los números primos

o 1.1El Oriente prehelénico
o 1.2Antigua Grecia
o 1.3Desde la época del Renacimiento
 2El número 1 no se considera primo
 3Propiedades de los números primos
o 3.1Teorema fundamental de la aritmética
o 3.2Otras propiedades
o 3.3Números primos y funciones aritméticas
 4Características del conjunto de los números primos
o 4.1Infinitud de los números primos
 4.1.1Otros enunciados que implican la infinitud de los números primos
o 4.2Frecuencia de los números primos
o 4.3Diferencia entre dos primos consecutivos
o 4.4Conclusión
 5Encontrar números primos
o 5.1Tests de primalidad
o 5.2Algoritmos de factorización
o 5.3Fórmulas que solo generasen números primos
o 5.4Algoritmo de primalidad no probabilístico
 6Clases de números primos
o 6.1Primos primoriales y primos factoriales
o 6.2Números primos de Fermat
o 6.3Números primos de Mersenne
o 6.4Otras clases de números primos
 7Conjeturas
o 7.1Hipótesis de Riemann
o 7.2Otras conjeturas
 7.2.1Infinitud de ciertos tipos de números primos
 7.2.2Distribución de los números primos
 7.2.3Teoría aditiva de números
o 7.3Los cuatro problemas de Landau
 8Generalización del concepto de número primo
o 8.1Elementos primos en un anillo
o 8.2Ideales primos
o 8.3Primos en teoría de la valoración
o 8.4Nudos primos
 9Aplicaciones en la matemática
 10Aplicaciones en la computación
 11Números primos en el arte y la literatura
 12Véase también
 13Referencias
 14Enlaces externos

Historia de los números primos[editar]

El Oriente prehelénico[editar]
Imagen del hueso de Ishango expuesto en el Real Instituto Belga de Ciencias Naturales.

Las muescas presentes en el hueso de Ishango, que data de hace más de 20

000 años (anterior por tanto a la aparición de la escritura) y que fue hallado por
el arqueólogo Jean de Heinzelin de Braucourt,5 parecen aislar cuatro números
primos: 11, 13, 17 y 19. Algunos arqueólogos interpretan este hecho como la
prueba del conocimiento de los números primos. Con todo, existen muy pocos
hallazgos que permitan discernir los conocimientos que tenía realmente el
hombre de aquella época.6
Numerosas tablillas de arcilla seca atribuidas a las civilizaciones que se fueron
sucediendo en Mesopotamia a lo largo del II milenio a.C. muestran la
resolución de problemas aritméticos y atestiguan los conocimientos de la
época. Los cálculos requerían conocer los inversos de los naturales, que
también se han hallado en tablillas. 7En el sistema sexagesimal que empleaban
los babilonios para escribir los números, los inversos de los divisores de
potencias de 60 (números regulares) se calculan fácilmente; por ejemplo, dividir
entre 24 equivale a multiplicar por 150 (2·60+30) y correr la coma sexagesimal
dos lugares. El conocimiento matemático de los babilonios necesitaba una
sólida comprensión de la multiplicación, la división y la factorización de los
naturales.
En las matemáticas egipcias, el cálculo de fracciones requería conocimientos
sobre las operaciones, la división de naturales y la factorización. Los egipcios
solo operaban con las llamadas fracciones egipcias, suma de fracciones
unitarias, es decir, aquellas cuyo numerador es 1, como , por lo que las
fracciones de numerador distinto de 1 se escribían como suma de inversos de
naturales, a ser posible sin repetición  en lugar de .8 Es por ello que, en cierta
manera, tenían que conocer o intuir los números primos. 9
Antigua Grecia[editar]
Un fragmento de los Elementos de Euclides encontrado en Oxirrinco

La primera prueba indiscutible del conocimiento de los números primos se

remonta a alrededor del año 300 a. C. y se encuentra en
los Elementos de Euclides (tomos VII a IX). Euclides define los números
primos, demuestra que hay infinitos de ellos, define el máximo común divisor y
el mínimo común múltiplo y proporciona un método para determinarlos que hoy
en día se conoce como el algoritmo de Euclides. Los Elementos contienen
asimismo el teorema fundamental de la aritmética y la manera de construir
un número perfecto a partir de un número primo de Mersenne.
La criba de Eratóstenes, atribuida a Eratóstenes de Cirene, es un método
sencillo que permite encontrar números primos. Hoy en día, empero, los
mayores números primos que se encuentran con la ayuda de ordenadores
emplean otros algoritmos más rápidos y complejos.
Desde la época del Renacimiento[editar]

Pierre de Fermat

Después de las matemáticas griegas hubo pocos avances en el estudio de los

números primos hasta el siglo XVII. En 1640 Pierre de Fermat estableció
(aunque sin demostración) el pequeño teorema de Fermat, posteriormente
demostrado por Leibniz y Euler. Es posible que mucho antes se conociera un
caso especial de dicho teorema en China.
Fermat conjeturó que todos los números de la forma 22n+1 eran primos (debido
a lo cual se los conoce como números de Fermat) y verificó esta propiedad
hasta n = 4 (es decir, 216 + 1). Sin embargo, el número de Fermat 232 + 1 es
compuesto (uno de sus factores primos es 641), como demostró Euler. De
hecho, hasta nuestros días no se conoce ningún número de Fermat que sea
primo aparte de los que ya conocía el propio Fermat.
El monje francés Marin Mersenne investigó los números primos de la forma
2p − 1, con p primo. En su honor, se los conoce como números de Mersenne.
En el trabajo de Euler en teoría de números se encuentran muchos resultados
que conciernen a los números primos. Demostró la divergencia de la serie , y
en 1747 demostró que todos los números perfectos pares son de la forma 2p-
1
(2p - 1), donde el segundo factor es un número primo de Mersenne. Se cree
que no existen números perfectos impares, pero todavía es una cuestión
abierta.
A comienzos del siglo XIX, Legendre y Gauss conjeturaron de forma
independiente que, cuando n tiende a infinito, el número de primos menores o
iguales que n es asintótico a , donde ln(n) es el logaritmo natural de n. Las
ideas que Bernhard Riemann plasmó en un trabajo de 1859 sobre la función
zeta describieron el camino que conduciría a la demostración del teorema de
los números primos. Hadamard y De la Vallée-Poussin, cada uno por separado,
dieron forma a este esquema y consiguieron demostrar el teorema en 1896.
Actualmente no se comprueba la primalidad de un número por divisiones
sucesivas, al menos no si el número es relativamente grande.
Durante el siglo XIX se desarrollaron algoritmos para saber si un número es
primo o no factorizando completamente el número siguiente (p+1) o el anterior
(p-1). Dentro del primer caso se encuentra el test de Lucas-Lehmer,
desarrollado a partir de 1856. Dentro del segundo caso se encuentra el test de
Pépin para los números de Fermat (1877). El caso general de test de
primalidad cuando el número inmediatamente anterior se encuentra
completamente factorizado se denomina test de Lucas.
Posteriormente se encontraron algoritmos de primalidad con solo obtener una
factorización parcial de p+1 o p-1. Ejemplos de estos algoritmos son el test de
Proth (desarrollado alrededor de 1878) y el test de Pocklington (1914). En estos
algoritmos se requiere que el producto de los factores primos conocidos de p-1
sea mayor que la raíz cuadrada de p. Más recientemente, en 1975, Brillhart,
Lehmer y Selfridge desarrollaron el test BLS de primalidad que solo requiere
que dicho producto sea mayor que la raíz cúbica de p. El mejor método
conocido de esta clase es el test de Konyagin y Pomerance del año 1997, que
requiere que dicho producto sea mayor que p3/10.1011
A partir de la década de 1970 varios investigadores descubrieron algoritmos
para determinar si cualquier número es primo o no con complejidad
subexponencial, lo que permite realizar tests en números de miles de dígitos,
aunque son mucho más lentos que los métodos anteriores. Ejemplos de estos
algoritmos son el test APRT-CL (desarrollado en 1979 por Adleman,
Pomerance y Rumely, con mejoras introducidas por Cohen y Lenstra en 1984),
donde se usan los factores de pm-1, donde el exponente m depende del tamaño
del número cuya primalidad se desea verificar, el test de primalidad por curvas
elípticas (desarrollado en 1986 por S. Goldwasser, J. Kilian y mejorado por A.
O. L. Atkin), que entrega un certificado consistente en una serie de números
que permite después confirmar rápidamente si el número es primo o no. El
desarrollo más reciente es el test de primalidad AKS (2002), que si bien su
complejidad es polinómica, para los números que puede manejar la tecnología
actual es el más lento de los tres.
Durante mucho tiempo, se pensaba que la aplicación de los números primos
era muy limitada fuera de la matemática pura.1213 Esto cambió en los años
1970 con el desarrollo de la criptografía de clave pública, en la que los números
primos formaban la base de los primeros algoritmos, tales como el
algoritmo RSA.
Desde 1951, el mayor número primo conocido siempre ha sido descubierto con
la ayuda de ordenadores. La búsqueda de números primos cada vez mayores
ha suscitado interés incluso fuera de la comunidad matemática. En los últimos
años han ganado popularidad proyectos de computación distribuida tales como
el GIMPS, mientras los matemáticos siguen investigando las propiedades de
los números primos.

El número 1 no se considera primo[editar]

La cuestión acerca de si el número 1 debe o no considerarse primo está
basada en la convención. Ambas posturas tienen sus ventajas y sus
inconvenientes. De hecho, hasta el siglo XIX, los matemáticos en su mayoría lo
consideraban primo. Muchos trabajos matemáticos siguen siendo válidos a
pesar de considerar el 1 como un número primo, como, por ejemplo, el
de Stern y Zeisel. La lista de Derrick Norman Lehmer de números primos hasta
el 10.006.721, reimpresa hasta el año 1956 14 empezaba con el 1 como primer
número primo.15
Actualmente, la comunidad matemática se inclina por no considerar al 1 en la
lista de los números primos. Esta convención, por ejemplo, permite una
formulación muy económica del teorema fundamental de la aritmética: «todo
número natural tiene una representación única como producto de factores
primos, salvo el orden».1617 Además, los números primos tienen numerosas
propiedades de las que carece el 1, tales como la relación del número con el
valor correspondiente de la función φ de Euler o la función divisor.18 Cabe
también la igualdad para todo  entero positivo, , lo que permitiría decir que
tiene  factores.19

Propiedades de los números primos[editar]

Teorema fundamental de la aritmética[editar]
Artículo principal: Teorema fundamental de la aritmética

Esta ilustración muestra que el 11 es un número primo, pero el 12 no lo es.

El teorema fundamental de la aritmética establece que todo número natural

tiene una representación única como producto de factores primos, salvo el
orden. Un mismo factor primo puede aparecer varias veces. El 1 se representa
entonces como un producto vacío.
Se puede considerar que los números primos son los «ladrillos» con los que se
construye cualquier número natural. Por ejemplo, se puede escribir el número
23.244 como producto de 22·3·13·149, y cualquier otra factorización del 23.244
como producto de números primos será idéntica excepto por el orden de los
factores.
La importancia de este teorema es una de las razones para excluir el 1 del
conjunto de los números primos. Si se admitiera el 1 como número primo, el
enunciado del teorema requeriría aclaraciones adicionales.
A partir de esta unicidad en la factorización en factores primos se desarrollan
otros conceptos muy utilizados en matemáticas, tales como el mínimo común
múltiplo, el máximo común divisor y la coprimalidad de dos o más números.
Así,

 El mínimo común múltiplo de dos o más números es el menor de los

múltiplos comunes de todos ellos. Para calcularlo, se descomponen los
números en factores primos y se toman los factores comunes y no comunes
con su máximo exponente. Por ejemplo, el mínimo común múltiplo de
10=2·5 y 12=22·3 es 60=22·3·5.
 El máximo común divisor de dos o más números es el mayor de los
divisores comunes de todos ellos. Es igual al producto de los factores
comunes con su mínimo exponente. En el ejemplo anterior, el máximo
común divisor de 10 y 12 es 2.
 Finalmente, dos o más números son coprimos, o primos entre sí, si no
tienen ningún factor primo común; es decir, si su máximo común divisor es
1. Un número primo es, así, coprimo con cualquier número natural que no
sea múltiplo de él mismo.
Otras propiedades[editar]

 En su escritura en el sistema de numeración decimal, todos los números

primos, salvo el 2 y el 5, tiene como el guarismo de las unidades uno de
estos: 1, 3, 7 o 9. En general, en cualquier sistema de numeración, todos
los números primos salvo un número finito acaban en una cifra que
es coprima con la base.
 De lo anterior se deduce que todos los números primos salvo el 2 son de
la forma 4n + 1 o bien 4n + 3. Igualmente, todos los números primos salvo
el 2 y el 3 son de la forma 6n + 1 o 6n - 1.
 En la progresión aritmética 3, 7, 11, 15, 19, 23, 27, 31, …, hay una
cantidad infinita de números primos de la forma 4n-1, n entero. 20
 En la progresión aritmética 7, 13, 19, 25, 31, 37, 43, 49, 55, 61, 67, …,
hay una cantidad infinita de números primos de la forma 6k+1, k entero 21
 Lema de Euclides: Si p es un número primo y divisor del producto
de números enteros ab, entonces p es divisor de a o de b.
 Pequeño teorema de Fermat: Si p es primo y a es algún número natural
diferente de 1, entonces ap - a es divisible por p.
 Si un número p no divide al número m, entonces (p; m) =1 22
 Si p es primo distinto de 2 y 5,  siempre es un número periódico en su
representación decimal, de periodo p − 1 o un divisor de p − 1. Esto se
 puede deducir directamente a partir del pequeño teorema de
Fermat.  expresado en base q (en lugar de en base 10) tiene propiedades
similares, siempre que p no sea un factor primo de q.
 Teorema de Wilson: Un número natural n > 1 es primo si y solo
si el factorial (n - 1)! + 1 es divisible por n. Asimismo, un número natural n >
4 es compuesto si y solo si (n - 1)! es divisible por n.
 La característica de todo cuerpo es, o bien cero, o bien un número
primo.
 Primer teorema de Sylow: Si G es un grupo finito, p primo y pn es la
mayor potencia de p que divide el orden de G. Entonces, existe un
subgrupo de G de orden pn.
 Teorema de Cauchy: Si G es un grupo finito y p es un número primo que
divide al orden de G, entonces G contiene un elemento de orden p.
 La constante de Copeland-Erdős 0,235711131719232931374143…,
obtenida por concatenación de los números primos en el sistema decimal,
es un número irracional.
 El valor de la función zeta de Riemann en cada punto del plano
complejo se da como una continuación meromorfa de una función definida
por un producto sobre el conjunto de todos los primos para Re(s) > 1:
En la región donde es convergente, este producto indexado por los
números primos se puede calcular, obteniéndose diversos valores,
algunos de ellos importantes en teoría de números. Los dos primeros
son:
 (Correspondiente a la serie armónica, relacionado con la infinitud de
números primos).
 (Correspondiente al problema de Basilea).
En general  es un número racional cuando n es un número entero
positivo par.
 El anillo  es un cuerpo si y solo si p es primo.
Equivalentemente: p es primo si y solo si φ(p) = p − 1.
 Si p > 1, el polinomio x p-1+x p-2+ ··· + 1 es irreducible sobre  si y solo
si p es primo.
 Un número natural n es primo si y solo si el n-ésimo polinomio de
Chebyshov de la primera especie Tn(x), dividido entre x,
es  irreducible en . Además, Tn(x) ≡ xn si y solo si n es primo.
 No todo número primo es un número gaussiano primo; tal el caso de
2, que como entero gaussiano admite la descomposición  don de la
norma de  es 2, por lo tanto no es unidad en Z[i].
 Los números primos de la forma  son igual a la suma de dos
cuadrados perfectos; por lo que no son números gaussianos primos.
En tanto que los números primos de la forma  sí son números
gaussianos primos.
 Todo número racional primo es un número gaussiano entero, sin ser
necesariamente número gaussiano primo.23
Números primos y funciones aritméticas[editar]
Las funciones aritméticas, es decir, funciones reales o complejas,
definidas sobre un conjunto de números naturales, desempeñan un
papel crucial en la teoría de números. Las más importantes son
las funciones multiplicativas, que son aquellas funciones f en las cuales,
para cada par de números coprimos (a,b) se tiene
.
Algunos ejemplos de funciones multiplicativas son la función φ de
Euler, que a cada n asocia el número de enteros positivos menores
y coprimos con n, y las funciones τ y σ, que a cada n asocian
respectivamente el número de divisores de n y la suma de todos
ellos. El valor de estas funciones en las potencias de números
primos es
,
,
.
Gracias a la propiedad que las define, las funciones
aritméticas pueden calcularse fácilmente a partir del valor
que toman en las potencias de números primos. De
hecho, dado un número natural n de factorización
se tiene que
con lo que se ha reconducido el problema de
calcular f(n) al de calcular f sobre las potencias de
los números primos que dividen n, valores que son
generalmente más fáciles de obtener mediante
una fórmula general. Por ejemplo, para conocer el
valor de la función φ sobre n=450=2·32·52 basta
con calcular
.

Características del conjunto de

los números primos[editar]
Infinitud de los números
primos[editar]
Véase también: Infinitud de los números primos
Existen infinitos números primos. Euclides
realizó la primera demostración alrededor del
año 300 a. C. en el libro IX de su
obra Elementos24 Una adaptación común de
esta demostración original sigue así: Se toma
un conjunto arbitrario pero finito de números
primos p1, p2, p3, ···, pn, y se considera el
producto de todos ellos más uno, . Este
número es obviamente mayor que 1 y distinto
de todos los primos pi de la lista. El
número q puede ser primo o compuesto. Si es
primo tendremos un número primo que no está
en el conjunto original. Si, por el contrario, es
compuesto, entonces existirá algún
factor p que divida a q. Suponiendo que p es
alguno de los pi, se deduce entonces
que p divide a la diferencia , pero ningún
número primo divide a 1, es decir, se ha
llegado a un absurdo por suponer que p está
en el conjunto original. La consecuencia es
que el conjunto que se escogió no es
exhaustivo, ya que existen números primos
que no pertenecen a él, y esto es
independiente del conjunto finito que se tome.
Por tanto, el conjunto de los números primos
es infinito.
Si se toma como conjunto el de los n primeros
números primos, entonces , donde pn# es lo
que se llama primorial de pn. Un número primo
de la forma pn# +1 se denomina número primo
de Euclides en honor al matemático griego.
También se puede elaborar una demostración
similar a la de Euclides tomando el producto de
un número dado de números
primos menos uno, el lugar del producto de
esos números primos más uno. En ese
sentido, se denomina número primo primorial a
un número primo de la forma pn# ± 1.
No todos los números de la forma pn# +1 son
primos. En este caso, como se sigue de la
demostración anterior, todos los factores
primos deberán ser mayores que n. Por
ejemplo: 2·3·5·7·11·13+1=30031=59·509
Otros matemáticos han demostrado la infinitud
de los números primos con diversos métodos
procedentes de áreas de las matemáticas tales
como al álgebra conmutativa y la topología.25
Algunas de estas demostraciones se basan en
el uso de sucesiones infinitas con la propiedad
de que cada uno de sus términos es coprimo
con todos los demás, por lo que se crea
una biyección entre los términos de la sucesión
y un subconjunto (infinito) del conjunto de los
primos.
Una sucesión que cumple dicha propiedad es
la sucesión de Euclides-Mullin, que deriva de
la demostración euclídea de la infinitud de los
números primos, ya que cada uno de sus
términos se define como el factor primo más
pequeño de uno más el producto de todos los
términos anteriores. La sucesión de
 Sylvester se define de forma similar, puesto
que cada uno de sus términos es igual a uno
más el producto de todos los anteriores.
Aunque los términos de esta última sucesión
no son necesariamente todos primos, cada
uno de ellos es coprimo con todos los demás,
por lo que se puede escoger cualquiera de sus
factores primos, por ejemplo, el menor de
ellos, y el conjunto resultante será un conjunto
infinito cuyos términos son todos primos.
Otros enunciados que implican la infinitud de los
números primos[editar]
Un resultado aun más fuerte, y que implica
directamente la infinitud de los números
primos, fue descubierto por Euler en el siglo
XVIII. Establece que la serie  es divergente.
Uno de los teoremas de Mertens concreta
más, estableciendo que
26

donde la expresión O(1) indica que ese

término está acotado entre
-C y C para n mayor que n0, donde los
valores de C y n0 no están especificados.27
Otro resultado es el teorema de Dirichlet,
que dice así:

En toda progresión aritmética an = a + n·q, donde

los enteros positivos a, q ≥ 1 son primos entre sí,
existen infinitos términos que son primos.

El postulado de Bertrand enuncia así:

Si n es un número natural mayor que 3, entonces

siempre existe un número primo p tal que n < p <
2n- 2.

Una manera más débil pero elegante de

formularlo es que, si n es un número
natural mayor que 1, entonces siempre
existe un número primo p tal que n < p <
2n. Esto supone que, en una progresión
geométrica de primer término entero mayor
que 3 y razón igual a 2, entre cada término
de la progresión y el siguiente, se tiene al
menos un número primo.
Frecuencia de los números
primos[editar]
 10 4 −0,3 2,2 2,500
2
10 25 3,3 5,1 4,000
103 168 23 10 5,952
4
10 1.229 143 17 8,137
105 9.592 906 38 10,425
6
10 78.498 6.116 130 12,740
7
10 664.579 44.158 339 15,047
108 5.761.455 332.774 754 17,357
9
10 50.847.534 2.592.592 1.701 19,667
1010 455.052.511 20.758.029 3.104 21,975
11.58
1011 4.118.054.813 169.923.159 24,283
6
… … … … …

Véase también: Teorema de los números

primos

Comparación entre las

funciones π(n) (azul), n / ln n (verde) y Li(n)
(rojo); se puede ver que la aproximación de
π(n) con Li(n) es mejor que la que hay con 

Una vez demostrado la infinitud de los

números primos, cabe preguntarse
cómo se distribuyen los primos entre
los números naturales, es decir, cuán
frecuentes son y dónde se espera
encontrar el n-ésimo número primo.
Este estudio lo
iniciaron Gauss y Legendre de forma
independiente a finales del siglo XVIII,
para el cual introdujeron la función
enumerativa de los números
 primos π(n), y conjeturaron que su valor
fuese aproximadamente
.28
El empeño de demostrar esta
conjetura abarcó todo el siglo XIX.
Los primeros resultados fueron
obtenidos entre 1848 y 1859
por Chebyshov, quien demostró
utilizando métodos
puramente aritméticos la existencia
de dos constantes A y B tales que