一个高数问题 为什么调和级数1+1/2+1/3+……+1/n+……是发散的?

一个高数问题 为什么调和级数1+1/2+1/3+……+1/n+……是发散的?

调和级数 $\sum_{n=1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \cdots$ 的发散性看似违背直觉——它的部分和增长极慢，计算到 $n=100000$ 时仅约为 12.09，但数学上可通过多种严谨方法证明其和会无限增大。

一、分组比较法：无穷个“半和”的累积

14世纪数学家奥里斯姆的经典证明至今仍具启发性。将级数按如下方式分组：

$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) + \cdots$

每组的项数依次翻倍，且每一组的和均大于 $\frac{1}{2}$：

$\frac{1}{3} + \frac{1}{4} > \frac{1}{4} + \frac{1}{4} = \frac{1}{2}$

$\frac{1}{5} + \cdots + \frac{1}{8} > 4 \times \frac{1}{8} = \frac{1}{2}$
由于无穷多个 $\frac{1}{2}$ 相加的结果为无穷大，调和级数必然发散。这种“抱团取暖”的策略，直观展现了缓慢增长如何积累成无限大。

二、积分判别法：与对数函数的赛跑

将调和级数的部分和 \(H_n = \sum_{k=1}^n \frac{1}{k}\) 与函数 \(f(x) = \frac{1}{x}\) 的积分比较：

\(\sum_{k=1}^n \frac{1}{k} > \int_{1}^{n+1} \frac{1}{x} \, dx = \ln(n+1)\)

当 \(n \to \infty\) 时，\(\ln(n+1) \to +\infty\)，因此 \(H_n\) 也趋向无穷大。这揭示了调和级数的增长速度与对数函数相当——虽然缓慢，但永不停止。欧拉进一步证明 \(H_n \approx \ln n + \gamma\)（其中 \(\gamma \approx 0.5772\) 为欧拉-马歇罗尼常数），更精确地描述了这种发散趋势。

三、柯西收敛准则：无法满足的“无限接近”

根据柯西准则，级数收敛的充要条件是：对任意 \(\varepsilon > 0\)，存在 \(N\)，使得当 \(n > N\) 时，\(|H_{2n} - H_n| < \varepsilon\)。但对调和级数：

\(H_{2n} - H_n = \frac{1}{n+1} + \cdots + \frac{1}{2n} > n \times \frac{1}{2n} = \frac{1}{2}\)

无论 \(n\) 多大，这部分和始终大于 \(\frac{1}{2}\)，不满足收敛条件。这种“间隔检测”的方法，从极限本质上否定了收敛的可能性。

四、反证法：矛盾中揭示真相

假设调和级数收敛于 \(S\)，则可构造矛盾：

\(S = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots = 1 + \frac{1}{2} + \left( \frac{1}{3} + \frac{1}{4} \right) + \left( \frac{1}{5} + \cdots + \frac{1}{8} \right) + \cdots > 1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \cdots\)

右侧显然发散，与假设矛盾。这种“自我指涉”的证明，简洁却极具说服力。

从奥里斯姆的分组法到现代测度论证明，调和级数的发散性跨越了六个世纪的数学探索。它提醒我们：直觉有时会被“慢增长”欺骗，而数学逻辑能穿透表象，揭示无穷过程的本质。