调和级数相关证明

0. 调和级数定义

$a,b,c$ 为调和级数中的三个连续的元素，试证明：

$$\frac{b+a}{b-a}+\frac{b+c}{b-c}=2$$

不妨令 $a=\frac{1}{x},b=\frac{1}{x+d},c=\frac{1}{x+2d}$，则有：

$$\frac{b+a}{b-a}+\frac{b+c}{b-c}=\frac{\frac{1}{x}+\frac{1}{x+d}}{\frac{1}{x}-\frac{1}{x+d}}+\frac{\frac{1}{x+d}+\frac{1}{x+2d}}{\frac{1}{x+d}-\frac{1}{x+2d}}=2$$

1. 发散性证明

$$1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n-1}+\frac{1}{n}\approx \log (n)$$

也算间接证明了调和级数的发散性。这里给出调和级数发散的略严格点的证明：

$$\begin{array}{ll}{\sum }_{n=1}^N\frac{1}{n}& =1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}+\cdots \\ & =1+\frac{1}{2}+\left(\frac{1}{3}+\frac{1}{4}\right)+\left(\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}\right)+\left(\frac{1}{9}+\cdots +\frac{1}{16}\right)+\cdots +\\ & =1+\frac{1}{2}+\frac{1}{2}+\frac{1}{2}+\cdots \end{array}$$

这样放缩似乎也不太严谨，当我再查找欧拉常数 $\gamma$ 的相关内容时，又发现了一个证明：

$$\begin{array}{ll}{\lim }_{n\to \infty }{\sum }_{k=1}^n\frac{1}{k}\ge & {\lim }_{n\to \infty }{\sum }_{k=1}^n\ln (1+\frac{1}{k})\\ & =\ln (1+1)+\ln (1+\frac{1}{2})+\cdots +\ln (1+\frac{1}{n})\\ & =\ln (2)+\ln (\frac{3}{2})+\cdots +\ln (\frac{n}{n-1})+\ln (\frac{n+1}{n})\\ & =\ln (2\cdot \frac{3}{2}\cdots \frac{n}{n-1}\frac{n+1}{n})\\ & =\ln (n+1)\end{array}$$

$x>-1$ 时，$\ln (1+x)\le x$，