La divergencia de la serie armnica prueba corta

Comprese con la estrategia empleada para probar el criterio de Pringsheim

La prueba se har por reduccin al absurdo. Supngase que definicin, ello significa que sus sumas parciales S n = lmite finito, digamos S . Ms precisamente:

k
k =1

es convergente. Por

k
k =1

forman una sucesin con

l m S n = S ( S )
n

Ahora bien, si l m S n = S , tambin lo mismo es cierto para la subsucesin de las sumas parciales de ndice par: l m S 2 n = S , por lo cual, y gracias a nuestra suposicin
n n

de que S es un nmero real, podemos restar sin problemas, y obtener

l m ( S 2 n S n ) = S S = 0
n

(*)

Llegaremos a una contradiccin contra este ltimo lmite, lo que nos probar que la sucesin estudiada no es sumable. Veamos la siguiente escena de sumatoria explcita:

S2 n Sn =

1 1 + + n +1 n + 2

1 n+n

Con lo que el resultado anterior se expresa

1 1 + + l m n n + 1 n+2
La siguiente acotacin ser reveladora: la suma

1 =0 n+n

1 1 + + n +1 n + 2

1 n+n

* Obsrvese que en caso de ser S = + , hubisemos tenido una resta con forma indeterminada + (+ ) .
( )

de n sumandos(**), es mayor que n veces el sumando ms chico, que es ltimo sumando) . Ms precisamente

1 2n

(el

1 1 + + n +1 n + 2
Reuniendo estos resultados,

1 1 1 > + + n+n 2n 2n
n sumandos

1 1 1 = n = 2n 2n 2

S2 n Sn =

1 1 + + n +1 n + 2 S2 n Sn > 1 , 2

1 1 > n+n 2

lo que va en contra de l m ( S 2 n S n ) = 0 .
n

El absurdo provino de suponer que las sumas parciales tenan lmite finito. Por lo tanto, la serie de los recprocos de los naturales no es convergente.

**) Viendo que los denominadores son n + 1, n + 2, n + 3, . . . , n + n , el recorrido del segundo sumando de cada uno de estos nmeros nos muestra que hay un total de n sumandos.
(