Es esta una prueba válida de que la serie armónica diverge?
- Suponga que la serie converge a un valor de S:
$$S=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+...$$
- Dividir la serie en dos, con la alternancia de pares e impares denominadores. Desde la original de la serie converge, el componente de la serie convergerá.
$$S_{EVEN}=\frac{1}{2}+\frac{1}{4}+\frac{1}{6}+\frac{1}{8}+...$$ $$S_{ODD}=1+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+...$$ $$S=S_{EVEN}+S_{ODD}$$
- Mostrar que $S_{EVEN}=\frac{1}{2}S$
$$\frac{1}{2}S=\frac{1}{2}(1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+...)=\frac{1}{2}+\frac{1}{4}+\frac{1}{6}+\frac{1}{8}+...=S_{EVEN}$$
Espectáculo $S_{ODD}>S_{EVEN}$ debido a que cada extraño término es mayor que su correspondiente incluso término: $$1>\frac{1}{2}\qquad \frac{1}{3}>\frac{1}{4}\qquad \frac{1}{5}>\frac{1}{6}\qquad ...$$
Espectáculo $S_{ODD}=S_{EVEN}$ $$S_{ODD}=S-S_{EVEN}=S-\frac{1}{2}S=\frac{1}{2}S=S_{EVEN}$$
La contradicción implica que la hipótesis original de convergencia es falsa:
$$S_{ODD}>S_{EVEN}$$ $$S_{ODD}=S_{EVEN}$$ $$\therefore S\ne 1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+...$$