如何证明调和级数发散:两种主流证法
如何证明调和级数发散,最常用的是分组放缩法与积分比较判别法,分组放缩法适合初等数学阶段,不需要微积分基础,操作是把调和级数后项按2的幂次打包,每一组下界固定为1/2,分组数量可以无限增多,部分和会无限上涨;积分比较判别法适合已经掌握定积分的学习者,用函数1/x的积分和级数部分和做大小对比,直接通过积分趋向无穷推导级数发散,这两种方法都只能判断发散,不能给出调和级数部分和的收敛速度,也不适合用来估算部分和的精确数值,仅用于判定敛散性,在高中竞赛、大学高数上册敛散性判断题中使用较多。
如何证明调和级数发散:分组放缩法
调和级数的表达式是1+1/2+1/3+1/4+1/5+1/6+1/7+1/8+…,它的第n项通项是1/n,部分和Sₙ就是前n项相加。分组放缩的操作方式是跳过第一项,从第二项开始,依次取2项、4项、8项、16项,也就是数量不断翻倍的方式划分,第一组是1/3+1/4,这两项都大于等于1/4,相加结果大于1/2,第二组是1/5+1/6+1/7+1/8,四项都大于等于1/8,总和同样大于1/2,后续每一个分组都可以用相同逻辑得到下界1/2。
你可以不断拆分出更多这样的分组,想要多少个下界为1/2的分组,就可以取足够多的级数项,部分和Sₙ就会持续累加多个1/2,数值能够突破任意给定的正数,满足数列趋向无穷的定义,对应级数发散。这个证法的优势是只用到不等式放缩,没有引入高等工具,在高数入门阶段优先学习。
这个证法不适合求近似值。
如何证明调和级数发散:积分比较判别法
函数f(x)=1/x在x大于0时单调递减,当k是正整数,1/k大于区间[k,k+1]上f(x)的积分,把级数前n项和和积分建立不等关系,Sₙ大于从1到n+1对1/x求定积分,1/x的原函数是lnx,积分结果就是ln(n+1),当n不断增大,ln(n+1)可以无限变大,Sₙ跟着没有上界,因此调和级数发散。这个方法还能顺带得到调和级数部分和的近似形式,Sₙ≈lnn+γ,γ是欧拉常数,数值约等于0.5772。
| 证明方法 | 前置知识 | 推导难度 | 附加信息 |
|---|---|---|---|
| 分组放缩法 | 不等式基础 | 较低 | 仅判定发散,无近似公式 |
| 积分比较判别法 | 定积分、原函数 | 中等 | 附带部分和对数近似关系 |
调和级数的通项1/n会趋向0,通项趋于0只是级数收敛的必要条件,不是充分条件,这是很多初学者容易混淆的点,不能仅凭通项趋近0直接判定级数收敛,调和级数就是典型的反例。比如级数1/n²通项同样趋于0,但是它是收敛级数,两者的差异来自项衰减的快慢,衰减速度更快的正项级数更容易收敛。
p级数可以统一概括这类规律,p级数形式为∑1/nᵖ,当p大于1时级数收敛,p小于等于1时级数发散,调和级数就是p取1的特殊情况,这个结论在高等数学敛散性习题里可以直接引用,不用每次重复完整证明。
适用边界是,上面两种证法只针对正项调和级数,对于带正负交替的交错调和级数,结论不再成立,交错调和级数是收敛的,它的和等于ln2,不能套用这里的放缩和积分对比逻辑。
验证推导是否正确,你可以自行计算前几组部分和,S₂=1.5,S₄≈2.083,S₈≈2.717,S₁₆≈3.381,数值上涨速度缓慢,但没有上限,直观印证发散结论。
