第1卷 第8章 调和数

学习目标

• 能用有限部分和区分调和数、无穷级数和极限行为，并正确书写变量作用域
• 能用全称量词与存在量词定义发散到正无穷，再用二进制分组构造门槛
• 能用积分比较解释调和数的对数增长，并建立对数函数与调和数的差分对应
• 能在有限质数假设下展开欧拉乘积，利用质因数分解唯一性完成质数无限性的反证

从一个无限和开始寻宝

第1卷第8章从 1+1/2+1/3+... 出发。式子看似熟悉，真正的问题却不是“把无穷代入上限后算多少”，而是：每个有限部分和怎样定义；当项数增长时是否有有限终点；“越来越大”如何用量词写清；为什么每项趋于 0 仍可能发散？

先预测：所有项都为正是否必然让总和趋向正无穷？调和数增长得很慢，怎样证明它终究越过任意阈值？连续世界的 log x 为何对应离散世界的调和数？假设只有有限个质数，收敛等比级数的乘积为什么会等于一个发散级数？

官方路线包含调和数、部分和与无穷级数、约束变量与命题、全称量词与存在量词、正项级数不一定发散、调和级数发散与增长界、黎曼zeta函数在s=1、对数函数与调和数的对应、两个世界、四种运算、收敛等比级数的欧拉乘积、质因数分解唯一性和质数无限性的反证法。本章把慢增长的直觉升级为一条可以逐行复查的逻辑链。

一、先把无限写法拆开

调和数 对每个正整数 n，定义：

$$H_n=\sum_{k=1}^{n}\frac1k.$$

H_1=1、H_2=3/2、H_3=11/6。每个固定 n 只涉及有限次加法，所以 H_n 是确定的有理数。这里的 n 是输入规模，不能被“无穷”替换。

部分和 如果把 S_n=Σ_{k=1}^{n}a_k 叫作部分和，那么 Σ_{k=1}^{∞}a_k 讨论的是 S_n 随 n 增大时的极限。若极限是有限实数，级数收敛；若部分和越过每个实数界并持续增大，就趋于正无穷。有限部分和和无穷级数不能按外观混同。

二、约束变量、命题与量词

在 H_n=Σ_{k=1}^{n}1/k 中，k 只在求和号内部取值，改名为 j 不改变结果；n 决定上限并保留在结果 H_n 中。必须说明变量范围：“对所有正整数 n，H_{n+1}>H_n”是完整命题，因为：

$$H_{n+1}-H_n=\frac1{n+1}>0.$$ 全称量词

有限样本不能证明全称命题；算出 H_1 到 H_{100} 只覆盖 100 个对象。反过来，推翻全称命题只需一个合法反例，而证明存在命题只需构造一个见证。量词顺序决定含义，不能为了语言顺口而交换。

三、正项级数不一定发散

每个 a_k>0 只说明部分和严格递增，不说明它没有有限上界。取 a_k=2^{-k}：

$$S_n=\sum_{k=1}^{n}2^{-k}=1-2^{-n}<1.$$

所有项都为正，S_n 一直增长，却收敛到 1。必要条件 a_k 趋于 0 同样不充分：若级数收敛，项必须趋于 0；反过来，1/k 趋于 0 却不足以保证调和级数收敛。

四、用量词定义发散到正无穷

发散到正无穷

H_n 趋于正无穷的精确定义是：

$$\forall M>0,\ \exists N\in\mathbb N,\ \forall n\ge N,\quad H_n>M.$$

先由挑战者任选阈值 M，证明者再给出可依赖 M 的门槛 N；此后所有 n≥N 都越过阈值。若把顺序换成“存在一个 N，对所有 M 都有 H_N>M”，就要求一个有限实数大于所有实数，显然不可能。

命题的否定也要翻转量词：不是“某个 M 下偶尔没超过”就能否定发散，而是存在 M>0，使得无论选择多大的 N，仍能找到 n≥N 满足 H_n≤M。对单调部分和，这等价于存在统一上界。

五、二进制分组证明调和级数发散

把调和级数按项数 1,2,4,8,... 分块：

$$1+\frac12+ \left(\frac13+\frac14\right)+ \left(\frac15+\cdots+\frac18\right)+\cdots.$$

第 m 个完整块从 2^m+1 到 2^{m+1}，共有 2^m 项，每项至少 1/2^{m+1}，所以块和至少 1/2。因此：

$$H_{2^r}\ge1+\frac r2.$$

给定任意 M>0，选择整数 r>2(M-1)，再取 N=2^r，就有 H_N>M。又因 H_n 单调，所有 n≥N 也超过 M。这一步给出了量词定义需要的门槛，而不只是说“越来越大”。

关键不在分组外观，而在每个块都提供不会衰减的固定下界；块数无限增长，总下界便无界。若错误地把块内每项用更大的数替代，只能得到上界，无法证明发散。

六、调和级数发散与增长界

对数增长界 因为 1/x 递减，矩形与曲线面积比较给出：

$$\log(n+1)\le H_n\le1+\log n.$$

左界随 n 无界，提供另一条发散证明；上下界又说明 H_n 只有对数量级。要让 H_n 大约增加 1，n 需要乘上接近 e 的因子，所以即使计算很多项，数值也可能显得增长迟缓。

要强调不等号方向。对递减正函数，左端或右端矩形分别落在曲线上下；画图并检查前几个矩形，可以防止把 log(n+1) 与 1+log n 的方向写反。

七、黎曼 zeta 边界与两个世界的四种运算

对实数 s>1，黎曼 zeta 函数可由收敛级数定义：

$$\zeta(s)=\sum_{n=1}^{\infty}\frac1{n^s}.$$

形式上取 s=1 时，右侧正是调和级数，因此 s=1 是发散边界。严格说，原级数定义不能在 s=1 给出有限值；后续复分析讨论的解析延拓和极点，不能与原发散级数的普通和混为一谈。

两个世界四种运算包括连续世界的微分和积分，以及离散世界的差分和求和。 连续世界用微分和积分，离散世界用差分和求和；指数对象比较“变化后保持自身”，对数对象比较“累积倒数”。这是结构对应，不是把连续图像和离散点说成完全相同。

对数函数与调和数的对应 连续世界中 D log x=1/x、∫_1^x dt/t=log x；离散世界令 H_0=0，有：

$$\Delta H_n=H_{n+1}-H_n=\frac1{n+1},\qquad H_n=\sum_{k=1}^{n}\frac1k.$$

索引出现 n+1 是前向差分的端点选择，不应悄悄抹掉；若改用后向差分 H_n-H_{n-1}，右侧才是 1/n。

八、收敛等比级数的欧拉乘积

现在把发散证据用于质数。反设质数只有有限个 p_1,...,p_m。每个因子都是收敛等比级数：

$$1+\frac1{p_j}+\frac1{p_j^2}+\cdots =\frac1{1-1/p_j}.$$ 欧拉乘积

于是有限乘积：

$$Q_m=\prod_{j=1}^{m}\left(1-\frac1{p_j}\right)^{-1}$$

是有限个有限正数的乘积，故为有限值。展开时，从每个因子选择一个幂 p_j^{-r_j}，得到分母 p_1^{r_1}\cdots p_m^{r_m}。

九、质数无限性的反证法

有限质数假设还需要一份关于展开的唯一性证据。质因数分解唯一性保证在“所有质数只有这 m 个”的假设下，每个正整数恰好作为一个分母出现一次。因此展开应等于：

$$Q_m=\sum_{n=1}^{\infty}\frac1n.$$

左边由有限个收敛因子构成而有限，右边是已证明发散的调和级数，产生矛盾。所有项非负，有限部分积与有限截断可单调逼近，因此这里不靠危险的条件收敛重排。

证据链是：

1. 假设质数只有有限个。
2. 有限个收敛几何级数的乘积 Q_m 为有限值。
3. 质因数分解唯一性使乘积展开恰好包含每个 1/n 一次。
4. 因而 Q_m 等于发散到正无穷的调和级数。
5. 同一对象不可能既有限又发散，所以完成质数无限性的反证法。

分步验收：慢增长如何打开远处的门

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 定义：从有限部分和开始

计算 H_1、H_2、H_3，标出求和变量 k 的作用域和自由参数 n；再说明无穷级数为何必须改写成部分和的极限。

上一步播放下一步

本章回顾：慢增长也能打开远处的门

• 调和数是有限部分和；无穷级数讨论其极限行为。
• 发散到正无穷的量词顺序是 ∀M∃N∀n≥N，不能交换。
• 正项不保证发散；二进制分组为调和数提供固定块下界。
• 积分比较给出调和数的对数增长，前向差分出现 n+1 端点。
• 有限质数假设下，欧拉乘积有限却等于发散级数，故质数无限。

练习与答案

练习

1. 问题 1：区分三个对象。 用自己的话区分 H_n、Σ_{k=1}^{∞}1/k 和 lim_{n→∞}H_n；说明为什么无穷不是 H_n 的一个合法下标。

查看答案

H_n 是固定正整数 n 下的有限部分和；无穷级数是研究这些部分和的极限行为的记号；极限是当 n 增大时可能得到的有限值或发散结论。无穷不是普通整数，不能作为有限求和的下标直接代入。

2. 问题 2：完成分组证明。 证明第 m 个二进制块的和至少为 1/2，并根据给定阈值 M 构造一个能使 H_N>M 的 N。

查看答案

第 m 个块有 2^m 项，最大分母不超过 2^{m+1}，所以每项至少 1/2^{m+1}，块和至少 1/2。取整数 r>2(M-1)，令 N=2^r，则 H_N≥1+r/2>M；单调性保证更大的 n 也满足不等式。

3. 问题 3：检查欧拉乘积。 为什么有限质数假设下的乘积展开不会漏掉某个 1/n，也不会重复计算？

查看答案

每个展开项由质数幂的指数向量决定。质因数分解唯一性说明每个正整数有唯一的质数幂分解，因此每个 1/n 对应唯一的一组选择；有限质数假设保证这组选择只使用乘积中的因子，不会漏项或重项。

4. 问题 4：改 Demo 代码。 在实验中增加一个“错误分组”开关：把块内每项错误地替换成上界，并显示这只能得到什么方向的不等式；再恢复正确下界。

查看答案

错误模式用块中的最大项替换每个真实项，会得到块和的上界，不能推出发散所需的下界。正确模式应使用每项都不小于 1/2^{m + 1} 的事实，得到块和至少为 1/2，再累加无限多个块。

名词解释

本章出现的专业名词，用大白话再讲一遍。

调和数

前 n 个正整数倒数的有限和，记作 H_n。

部分和

无穷级数取前 n 项后的有限累加，是讨论极限的对象。

全称量词

表示“对所有合法对象都成立”的逻辑范围，必须写清变量和作用域。

发散到正无穷

无论给出多大的正阈值，最终所有部分和都会超过它。

对数增长界

用对数函数从上下两侧夹住调和数增长速度的关系。

欧拉乘积

把质数对应的等比级数因子相乘，并用唯一分解展开成所有正整数倒数。