Suma de los inversos de los primos

Luis Ferroni
Introducci on Vamos a dar una prueba elemental (sin hacer uso del c alculo) de que la suma de los inversos de los n umeros primos diverge, es decir, que se puede lograr que esta suma sea tan grande como se desee tomando una cantidad sucientemente grande de sumandos. En rigor, si llamamos {pn } a la sucesi on de los n umeros primos (p1 = 2, p2 = 3, p3 = 5, etc.), para todo n umero real M existe un n umero natural n tal que: n 1 >M p i=1 i Esto suele abreviarse diciendo que

i=1

1 = pi

Demostraci on de la divergencia de la serie de los inversos de los primos Vamos a proceder por el absurdo. Supongamos que existe una constante real C tal que para todo n natural se verique que: n 1 < C* p i=1 i Si elegimos C de tal manera que no haya otra constante menor que C con esta propiedad (es decir, tomando C como la cota superior m nima de esta suma), resulta que existe un m aximo k natural para el cual k 1 1 C p 2 i=1 i En efecto, si no hubiera un valor m aximo de k , estar amos contradiciendo que C es la m nima cota superior. Ahora, de esto, se obtiene que, por lo tanto, para todo n k + 1 natural: 1 1 < pi 2 i=k+1 Ahora, sea F una funci on tal que F (x, t) = Cantidad de n umeros naturales menores o iguales a x, cuyos factores primos est an entre los primeros t primos. Vamos a tratar de dar una estimaci on razonable para F (x, t). Lema Para todos x, t se verica que F (x, t) 2t x.
n

Es claro que C no puede coincidir con ninguna suma parcial, y por lo tanto no es necesario usar el s mbolo en lugar de <.

Demostraci on: Notemos que todo n umero natural y se puede escribir como producto de un cuadrado perfecto y un n umero libre de cuadrados. Es decir, y = w2 v donde v es un n umero que no es divisible por ning un cuadrado (es decir, v es producto de primos distintos). Si queremos que y sea contado por nuestra funci on F deben ocurrir simult aneamente las siguientes cosas: y x y los factores primos de y deben estar en el conjunto {p1 , p2 , . . . , pt }. Pero, notemos que escribiendo y = w2 v con v libre de cuadrados, resulta que w2 v x, y en particular, w2 x, de donde w x. Adem as, debe ocurrir que los factores primos de v est en entre los primeros t primos, de donde resulta que hay a lo sumo 2t posibles valores para v . Luego, siendo generosos con estas observaciones, si no ocurriera que p1 p2 . . . pt > x, ciertamente ocurre que la cantidad de valores y contados por la funci on F (x, t) es a lo sumo el producto de las cantidades de valores que pueden tomar w y v , de donde resulta nalmente que F (x, t) 2t x Ahora, vamos a tratar de dar una estimaci on para x F (x, t), usando la hip otesis de que la suma de los inversos de los primos converge. Notemos que, entre los primeros x n umeros naturales, hay F (x, t) cuyos factores primos est an entre los primeros t, de donde se obtiene que los dem as x F (x, t) son divisibles por al menos un primo del ** conjunto {pt+1 , pt+2 , . . .}. Notemos que entre los primeros x n umeros hay exactamente ptx que son +1 divisibles por pt+1 , y an alogamente para los dem as primos. Entonces, resulta que:
M

x F (x, t)
i=t+1

x pi

Donde el n umero M es el ndice del menor primo pM tal que x < pM . Vale el s mbolo porque puede haber un n umero que sea m ultiplo de dos primos simult aneamente, y que en la suma de la derecha estar a contado m as de una vez. De esta desigualdad se obtiene que: 1 x =x x F (x, t) p p i=t+1 i i=t+1 i Notemos que hasta este momento t y x fueron inmateriales y nuestras deducciones fueron generales, luego, si ponemos t = k y x = 22k+2 , y usamos la hip otesis que asumimos, se obtiene: x F (x, t) x 1 1 < x = 22k+1 pi 2 i=k+1
M M M

De donde resulta que x F (x, t) < 22k+1 y entonces 22k+2 22k+1 < F (x, t), que equivale a 2 < F (x, t).
2k+1

Pero por el lema, F (x, t) 2t x = 2k 22k+2 = 22k+1 . Luego, resulta que 22k+1 < F (x, t) 22k+1 , que es claramente un absurdo, y la prueba est a completa.