El teorema de los números primos describe cómo se distribuyen los números primos entre los enteros positivos. Sea π(x) la función que cuenta cuántos primos hay ≤ x. El teorema afirma que, cuando x tiende a infinito, π(x) se comporta asintóticamente como x/ln(x). En formulación matemática:

π(x) ~ x / ln(x), es decir, limx→∞ π(x) ln(x) / x = 1.

Interpretación probabilística y ejemplos

Una consecuencia práctica es que la probabilidad de que un entero elegido al azar y menor o igual que n sea primo es aproximadamente 1 / ln(n). Por eso, la densidad de primos disminuye lentamente con n y la distancia media entre primos consecutivos alrededor de n es aproximadamente ln(n).

Por ejemplo, entre los enteros positivos de a lo sumo 1000 dígitos la probabilidad de que un número sea primo es aproximadamente 1 / ln(101000) ≈ 1/2302,6, es decir, alrededor de uno de cada 2300 números. Para números de hasta 2000 dígitos la probabilidad cae a aproximadamente 1/ln(102000) ≈ 1/4605,2, o sea, aproximadamente la mitad que antes. En otras palabras, duplicar el orden de magnitud (número de cifras) duplica el valor de ln(·) y reduce a la mitad la probabilidad de primalidad.

Enunciado formal y funciones relacionadas

Además de la aproximación x/ln(x), la función logarítmica aparece en una expresión alternativa más precisa: la integral logarítmica

Li(x) = ∫2x dt / ln t,

que proporciona una estimación más ajustada para π(x) en muchas regiones. En la práctica Li(x) suele aproximar mejor π(x) que x/ln(x).

Historia y demostraciones

La relación entre primos y logaritmos fue observada por Carl Friedrich Gauss desde muy joven (alrededor de 1793) y también por Adrien‑Marie Legendre hacia 1798. La primera demostración rigurosa del teorema se dio en 1896 por Jacques Hadamard y por Charles‑Jean de La Vallée Poussin de forma independiente; su prueba utilizó técnicas de análisis complejo y la función zeta de Riemann, en particular la no existencia de ceros de la zeta en la línea Re(s)=1.

En 1949, D. J. Selberg y P. Erdős encontraron una demostración «elemental» (sin recurrir al análisis complejo) de resultados equivalentes al teorema de los números primos, lo que supuso un avance conceptual importante en la comprensión de la distribución de los primos.

Refinamientos y conexiones con la hipótesis de Riemann

Existen refinamientos que cuantifican el error en la aproximación π(x) ≈ x/ln(x). La integral logarítmica Li(x) suele acercarse más a π(x), y resultados más profundos vinculan la precisión de las estimaciones con la ubicación de los ceros de la función zeta de Riemann. En particular, la Hipótesis de Riemann implicaría una cota mucho más fuerte para el término de error, concretando cuánto difiere π(x) de Li(x) o de x/ln(x) para grandes x.

Consecuencias y aplicaciones

  • La comprensión de la densidad de primos es fundamental en teoría de números y tiene aplicaciones prácticas en criptografía: conocer cuántos primos hay en intervalos grandes ayuda a estimar la facilidad de generar primos grandes para claves criptográficas.
  • El teorema explica por qué los algoritmos probabilísticos de búsqueda de primos (por ejemplo, para generar claves RSA) encuentran primos con relativa facilidad incluso entre números muy grandes.
  • Sirve como punto de partida para numerosos resultados más finos sobre la distribución de primos en progresiones aritméticas, en intervalos cortos, o sobre brechas entre primos consecutivos.

Resumen

El teorema de los números primos da una descripción asintótica simple y poderosa de la distribución de los primos: π(x) es aproximadamente x/ln(x), lo que equivale a que la probabilidad de que un número alrededor de n sea primo es ≈ 1/ln(n). Fue conjeturado por pioneros como Gauss y Legendre y demostrado en 1896 por Hadamard y de La Vallée Poussin; desde entonces ha sido refinado y ampliado, manteniéndose como un resultado central en la teoría de números.