Suma de los inversos de los números primos

En el siglo III a. C., Euclides demostró la existencia de infinitos números primos. En el siglo XVIII, Leonhard Euler demostró un resultado aún más profundo:

La suma de los recíprocos de todos los números primos diverge.

El teorema, es equivalente a demostrar que:

He aquí algunas de las demostraciones de este resultado.

Para empezar, describiremos algunos de los pasos previos usados por Euler en su demostración.

En primer lugar consideró la serie armónica :

Esta serie es divergente (se puede ver en el artículo serie armónica). Este resultado también era conocido por Euler.

Usando su fórmula del producto , mostró la existencia de infinitos números primos como sigue:

Aquí, el producto es sobre todos los números primos, o dicho de otra manera, el producto indexa a todos los números primos. De ahora en adelante, sin que se diga lo contrario, la suma o producto sobre el conjunto de todos los números primos se representa como p bajo el sumatorio o productorio.

Euler se dio cuenta de que si existía un número finito de primos, entonces el producto de la derecha convergería claramente, contradiciendo la divergencia de la serie armónica. En lenguaje moderno, se dice que la existencia de infinidad de números primos está reflejada por el hecho de que la función zeta de Riemann tiene un polo simple en s = 1.

Demostración

Euler, tomando el producto indicado arriba, llegó a una conclusión.

Tomó logaritmos naturales en ambos miembros de la igualdad, y utilizando las propiedades de las series geométricas y que la serie de Taylor de log(1-x) es:

entonces:

para una constante C < 1. Puesto que la suma de los recíprocos de los primeros n números enteros positivos es asintótica a ln(n) ( es decir, su ratio se acerca a 1 cuando n se acerca a infinito ) se tiene:

que sustituyendo en la expresión de arriba y despreciando el valor de C cuando n se acerca a infinito, Euler llegó a la conclusión de que:

Q.E.D.

Es también cierto que Euler comprendía que la suma de los recíprocos de todos los números primos menores que n es asintótica a ln (ln(n)) cuando n se aproxima a infinito, y de hecho este es el caso. Euler había llegado a esta conclusión por métodos cuestionables.

Una demostración elemental por reducción a lo absurdo fue descubierta por Paul Erdős y es la siguiente:

Asuma que la suma de los recíprocos de todos los números primos converge:

Defina p_i como el i -ésimo número primo.

Tenemos que:

Entonces existe un número entero positivo i tal que:

Defina N_i(x) como:

el número de enteros positivos menores que x que son divisibles únicamente por los i primeros números primos, o dicho de otra forma, que están formados por factores primos menores o iguales a p_i. ( el símbolo # significa la cantidad de números que cumplen la condición )

Cualquiera de esos números puede expresarse como:

concretamente como producto de un cuadrado perfecto por un número libre de cuadrados. Hay 2ⁱ opciones distintas para la parte del número libre de cuadrados y puesto que a lo sumo habrá √x para la parte cuadrática tenemos que:

El número de enteros divisibles por un primo p menores que x es ${displaystyle {lfloor extstyle {x over p} floor }}$, así que el número de enteros menores que x que son divisibles por algún primo mayor que p_i es x - N_i(x), lo denotaremos como N^*_i(x) y está acotado por:

Dado que:

es suficiente con encontrar un x tal que N_i(x) ${displaystyle scriptstyle {leq }}$ x/2 para llegar a una contradicción ya que N^*_i(x) es siempre menor que x/2. Si tomamos la desigualdad:

y considerando la cota máxima que es cuando N_i(x) = 2ⁱ√x:

Q.E.D.

He aquí otra demostración que da una menor estimación sobre la suma parcial, en particular, muestra como la suma crece al menos tan rápido como log (log(n)). La demostración es una adaptación de la idea de expansión del producto de Euler. De aquí en adelante, una suma o producto sobre p siempre representa una suma o producto sobre un conjunto de números primos específicos.

La demostración se basa en las siguientes cuatro desigualdades:

Donde para cada número i entre 1 y n el producto (expandido) contiene la parte del cuadrado libre de i y la suma contiene la parte del cuadrado de i.

Combinando todas las ecuaciones vemos que:

Dividiendo por 2 y tomando el logaritmo natural en ambos miembros nos queda que:

cuando n tiende a infinito obtenemos la misma conclusión que en las anteriores demostraciones. Q.E.D.

De la desigualdad de Dusart (ver teorema de los números primos) tenemos que:

entonces

aplicando el criterio integral a la serie de la izquierda vemos que ésta diverge claramente.

Q.E.D.

---