Teorema de los númberos primos

En teoría de númberos el **teorema de los númberos primos** ye un enunciáu que describe la distribución asintótica de los númberos primos. Esti teorema da una descripción xeneral de cómo tán distribuyíos los númberos primos nel conxuntu de los númberos naturales. Esto formaliza la idea intuitiva de que los primos son menos comunes cuanto más grandes son. Ye unu de los teoremes más importantes de la historia de les matemátiques, non solo pola so guapura sinón pola so influencia nel desenvolvimientu posterior de la investigación de los númberos primos.

El teorema tamién ye conocíu como **teorema del númberu primu** o **teorema del númberu de primos**.

## Espresión del teorema

Sía \pi(x)\, la función contador de númberos primos, que denota la cantidá de primos que nun entepasen a x\,. El teorema establez que:

Esta espresión nun implica que la diferencia de les dos partes de la mesma pa valores de x bien grandes sía cero; namái implica que'l cociente d'éstes pa valores de x\, bien grandes ye casi igual a 1.

Un meyor aproximamientu que l'anterior vien dada pola integral logarítmica movida:

## Historia
En 1792 o 1793, tando entá nel Collegium Carolinum, y siempres según el mesmu Gauss («ins Jahr 1792 oder 1793»), este anotó na so llibreta de notes:
:: «Númberos primos menores que *a* (= ∞) *a*/l*a*» qu'en llinguaxe modernu quier dicir que π(*a*) pa valores cada vez más grandes averar al cociente *a*/ln*a*) y considérase como "la primer conxetura del Teorema de los númberos primos". Amás la función π(*x*) qu'indica la cantidá de númberos primos que nun superen a *x* foi definida por Gauss.

El teorema de los númberos primos tamién foi conxeturáu por Adrien-Marie Legendre en 1798, indicando que π(*x*) paecía tener la forma *a*/(*A* ln(*a*) + *B*), onde *A* y *B* son constantes ensin especificar. Na segunda edición del so llibru de teoría de númberos (1808) él fixo una conxetura más precisa, indicando que *A* = 1 y *B* = −1.08366. La conxetura foi darréu refinada por Gauss cola espresión que, anguaño, acomúñase más frecuentemente al teorema. Emprestaron contribuciones significatives sobre esta proposición Legendre, Gauss, Dirichlet, Chebychev y Riemann.

La demostración formal del teorema facer de forma independiente tantu Jacques Hadamard como Charles-Jean de la Vallée Poussin nel añu 1896. Dambes demostraciones basar na resultancia de que la función zeta de Riemann \zeta(z)\, nun tien ceros de la forma *1 + it* con *t > 0*. En realidá la demostración fixo sobre una espresión daqué más estricta de lo que s'indica na definición anterior del teorema, siendo la espresión demostrada por Hadamard y Poussin la siguiente:


\pi(x)\approx\mbox{Li}(x)

onde 

\mbox{Li}(x)=\int_{2}^{x}\frac{dy}{\ln(y)}.


Dende 1896 la espresión acomuñada al teorema de los númberos primos foi ameyorada socesivamente, siendo'l meyor aproximamientu actual la dada por:

\pi(x)={\rm Li} (x) + O \left(x \, \exp \left( -\frac{A(\ln x)^{3/5}}{(\ln \ln x)^{1/5}} \right) \right)


onde O(f(x))\, defínese como la función asintótica a f(x)\, y A\, ye una constante indeterminada.

Pa valores de x\, pequeños demostrárase que \pi(x), lo que llevó a conxeturar a dellos matemáticos na dómina de Gauss que \mbox{Li}(x)\, yera una cota cimera estricta de \pi(x)\, (esto ye que la ecuación \pi(x) - \mbox{Li}(x) = 0\, nun tien soluciones reales). Sicasí, en 1912 J. E. Littlewood demostró que dicha cota ye cruciada pa valores de x\, abondo grandes. El primeru d'ellos conozse como primer númberu de Skewes, y anguaño sábese que ye inferior a \scriptstyle 10^{317}\,, anque se piensa que pue ser inferior inclusive a \scriptstyle 10^{176}\,. En 1914 Littlewood amplió la so demostración cola inclusión de múltiples soluciones a la ecuación \pi(x) - \mbox{Li}(x) = 0\,. Munchos d'estos valores y afayos tán acomuñaos a la validez de la hipótesis de Riemann.

## Rellación cola hipótesis de Riemann

Dada la conexón qu'hai ente la función zeta de Riemann ζ(*s*) y π(''x''), la hipótesis de Riemann ye bien importante en teoría de númberos, y de xacíu, nel teorema de los númberos primos.

Si la hipótesis de Riemann cumplir, entós el términu error qu'apaez nel teorema de los númberos primos puede acutase de la meyor manera posible. Concretamente, Helge von Koch demostró en 1901 que

: \pi(x) = {\rm Li} (x) + O\left(\sqrt x \ln x\right). 

si y namái si la hipótesis de Riemann cumplir.
Una variante refinada de la resultancia de Koch, dada por Lowel Schoenfeld en 1976, afirma que la hipótesis de Riemann ye equivalente a la siguiente resultancia:

:|\pi(x) - \operatorname{Li}(x)| 

## Aproximamientos pal enésimu númberu primu

De resultes del teorema de los númberos primos, llógrase una espresión asintótica pal enésimu númberu primu, denotado por *p**n*:
:p_n \approx n \ln n.
Un aproximamientu meyor ye:
: p_n = n \ln n + n \ln \ln n + \frac{n}{\ln n} \big( \ln \ln n - \ln n- 2 \big) 
+ O\left( \frac {n (\ln \ln n)^2} {(\ln n)^2}\right).

## Teorema de los númberos primos pa progresiones aritmétiques

Sía \pi_{n,a}(x) la función que denota el númberu de primos nuna progresión aritmética *a*, *a* + *n*, *a* + 2*n*, *a* + 3*n*, … menor que *x*. Dirichlet y Legendre conxeturaron, y Vallée-Poussin demostró, que, si *a* y *n* son coprimos, entós

:
\pi_{n,a}(x) \sim \frac{1}{\varphi(n)}\mathrm{Li}(x), .

onde φ(·) ye la función φ de Euler. N'otres pallabres, los númberos primos distribúyense uniformemente ente los residuos de clases [*a*] módulu *n* con mcd(*a*, *n*) = 1. Esto puede demostrase usando métodos similares utilizaos por Newman na so demostración del teorema de los númberos primos.

El teorema de Siegel–Walfisz da una bona estimación de la distribución de los númberos primos nes residuos de clases.

### Carrera de númberos primos

Anque tenemossobremanera, que

:
\pi_{4,1}(x) \sim \pi_{4,3}(x), \, .

empíricamente los primos congruentes con 3 son más numberosos y tán casi siempres en delantre nesta carrera de númberos primos», la primer inversión producir en *x* = 26,861. Sicasí, Littlewood amosó en 1914 qu'hai un númberu infinitu de cambeos de signu de la función

:
\pi_{4,1}(x) - \pi_{4,3}(x), \, 

de manera que'l lideralgu d'esta carrera camuda socesivamente infinites vegaes. El fenómenu de que π4,3(*x*) ta per delantre la mayor parte del tiempu llámase polarización de Chebyshev. La carrera de los númberos primos xeneralizada a otros módulos ye oxetu de numberoses investigaciones; Pál Turán preguntó si dase siempres el casu de que π(*x*;*a*,*c*) y π(*x*;*b*,*c*) camuden posiciones cuando *a* y *b* son coprimos con *c*. Granville y Martin dan-y una esposición completa y estudiada.

## Referencies

* 

## Enllaces esternos
* 
*