调和级数

维基百科，⾃由的百科全书

调和级数（英语：Harmonic series）是正整数的倒数之和，是发散的⽆穷级数，表达式为：

这级数名字源于泛⾳及泛⾳列[注 1]：振动的弦的泛⾳的波长依次是基本波长的 、 、 ……等。

调和序列中，第⼀项之后的每⼀项都是相邻两项的调和平均数；⽽“调和平均数”⼀词同样也源⾃
⾳乐。

历史
早在14世纪，尼克尔·奥⾥斯姆已经证明调和级数发散，但知道的⼈不多。17世纪时，⽪耶特罗
·曼⼽⾥、约翰·伯努利和雅各布·伯努利完成了全部证明⼯作。

调和序列历来很受建筑师重视；在巴洛克时期尤其明显。当时建筑师在建造教堂和宫殿时，运⽤
调和序列为楼⾯布置和建筑物⾼度建⽴⽐例，并使室内外的建筑细节间呈现和谐的联系。[1]

佯谬
对刚接触这级数的⼈⽽⾔，调和级数违反直觉——尽管随 不断增⼤， ⽆限接近0，但它却是发
散级数。调和级数也因此成为⼀些佯谬的原型。“橡⽪筋上的蠕⾍”就是其中⼀例。[2]假设蠕⾍沿
着1⽶长的橡⽪筋爬⾏，⽽橡⽪筋每分钟匀速伸展1⽶。如果相对于其所在的橡⽪筋，蠕⾍的爬⾏
速度是每分钟1厘⽶，那么它最终会到达橡⽪筋的另⼀头吗？与直觉相反，答案是肯定的： 分钟
之后，蠕⾍爬⾏过的距离与橡⽪筋总长度的⽐值为：

调和级数发散（证明见本条⽬“发散”⼀节），即 趋于⽆穷⼤时级数也趋于⽆穷⼤，这⽐值也必
定在某时刻超过1；也就是说，蠕⾍最终⼀定会到达橡⽪筋另⼀头。然⽽，在这时刻的n的值极其
之⼤，约为 ，超过1040（1后⾯有40个零）。这也说明了，尽管调和级数确确实实是发散，但
它发散的速度⾮常慢。

另⼀例：假设有⼀堆完全相同的⾻牌，可以肯定的是，它们可以叠在⼀起，并使得每块⾻牌都突
出其下⽅⾻牌外⼀定长度，最终使得最上层的⾻牌完全在最底层⾻牌以外甚⾄更远。违反直觉的
是，只要⾻牌够多，就可以使最上层的⾻牌与最底层⾻牌⽔平距离⽆穷远。[2][3]较简单的证明如
下：
设每⼀块⾻牌的长度为 。再设⼀叠 块平衡的⾻牌的质
⼼与最底层⾻牌最右端的距离为 ；在只有1块⾻牌时，
质⼼就在⾻牌的⼏何中⼼（假设⾻牌密度均匀），即
。对于⼀叠刚好平衡的⾻牌（即对于任意⼀层
⾻牌，在其之上的⾻牌的质⼼恰好落在其边缘），新⾻牌
不置于其上⽅（否则使得质⼼往右偏移⽽倒塌），⽽是垫
在整叠⾻牌之下，并使得原有⾻牌的质⼼刚好落在新⾻牌
的最左端（则原来的⾻牌不会倒塌）；设从上往下第n层
⾻牌突出其下⽅⾻牌的长度为 ，则有： 。
根据质⼼的坐标系计算公式，可得到新的⾻牌叠的质⼼
为：

只要有⾜够多的⻣牌，最顶层⻣牌离最底
层的距离就可以⽆穷远。可以发现，图中
⻣牌排列的形状就像顺时针旋转90°的对数
函数，也即函数y=1/x的不定积分。

则 ，即 。

也就是说，理想的摆法是：最顶层⾻牌与第⼆层之间⽔平距离是⾻牌长度的 ，第⼆、三层间⽔

平距离是⾻牌长度的 ，第三、四层之间⽔平距离是⾻牌长度的 ……依此类推。最终，最顶层

和最底层⾻牌的⽔平距离是：

调和级数发散，当⾻牌数⽬ 趋于⽆穷⼤时，⽔平距离也趋于⽆穷⼤。

发散

⽐较审敛法
因此该级数发散。

积分判别法（integral test）
将调和级数的和与⼀个瑕积分⽐较可证此级数发散。考虑
右图中长⽅形的排列：长⽅形宽1单位、⾼ 单位（换句

话说，每个长⽅形的⾯积都是 ），所有长⽅形的总⾯积
就是调和级数的和：

矩形⾯积和

⽽曲线 以下、从1到正⽆穷部分的⾯积由以下瑕积
分给出：

曲线下⾯积

。这部分⾯积真包含于（换⾔之，⼩于）长⽅形总⾯积，长⽅形的总⾯积也

必定趋于⽆穷。更准确说，这证明了

这⽅法的拓展即积分判别法。

反证法
假设调和级数收敛 , 则
但与 ⽭盾，故假设不真，即调
和级数发散。

发散率
调和级数发散的速度⾮常缓慢。举例来说，调和序列前1043项的和还不⾜100。[4]调和数列的部分
和呈对数增长。特别地，

其中 是欧拉－马歇罗尼常数，⽽ 约等于 ，并且随着 趋于正⽆穷⽽趋于 。这结果由欧拉给

出。

当然⽆论调和级数发散率再怎样低，其都不是发散率最慢的级数，仍存在发散率⽐调和级数更低
的级数。理论上没有发散率“最慢”的发散性级数和。

部分和
调和级数的第 项部分和为：

也叫作第n个调和数。

第n个调和数与 的⾃然对数的差值（即 ）收敛于欧拉-马歇罗尼常数。

两个不同的调和数之间的差值永远不是整数。

除了 以外，没有任何调和数是整数。[5]

相关级数

交错调和级数
如下级数：

称作交错调和级数。这级数可经交错级数判别法证明收敛。特别地，这级数的和等于2的⾃然对
数：
 。

这公式是墨卡托级数（⾃然对数的泰勒级数形式）的特
例。

从反正切函数的泰勒展开式可导出相关级数：

这级数也称作π的莱布尼茨公式。

⼴义调和级数
⼴义调和级数是指有如下形式的级数：

其中 且 为实数。
此图显示，交错调和级数的前14项部分
[6] 和（图中⿊⾊线段）收敛于2的⾃然对数
由⽐较审敛法可证所有⼴义调和级数均发散。
（红⾊直线）。

-级数

调和级数⼴义化的其中⼀种结果是 -级数，定义如下：

P是任何正实数。当 ， -级数即调和级数。由积分判别法或柯西稠密判定法可知 -级数在

时收敛（此时级数又叫过调和级数（over-harmonic series）），⽽在 时发散。当
时， -级数的和即 ，也就是黎曼ζ函数在 的值。

-级数

对凸实值函数 ，若满⾜以下条件：

则级数 收敛。

随机调和级数
随机调和级数定义如下：

其中 是恒等分布的独⽴随机变量，取值范围为+1和-1，取这两值的概率都是 。阿尔伯塔⼤学

的拜伦·施姆兰研究此级数的性质，[7][8]并发现这级数收敛的概率为1，并发现这随机变量有些有
趣 的 性 质 。 特 别 地 ， 这 随 机 变 量 的 概 率 密 度 函 数 在 +2 和 -2 处 的 值
为0.124 999 999 999 999 999 999 999 999 999 999 999 999 999 764…，与 只差不到10−42 。施姆兰的

论⽂解释了为什么这概率如此接近、但却不是 。这概率的精确值由⽆穷余弦乘积积分 除以
⽽给出的。[9]

贫化调和级数
贫化调和级数是将调和级数中、分母含有数字9的项去除后所剩的级数。这级数是收敛的，其和
⼩于80。[10]实际上，将包含任意数字串的项从调和级数中去除后，所剩级数都收敛。

拉⻢努⾦求和
调和级数是柯西发散的，⽽且很多常⽤的发散级数求和⽅法[注 2]对它也不适⽤。但是，调和级数
的拉马努⾦求和存在，且为欧拉-马斯刻若尼常数。

注释
1. 泛⾳列与调和级数英⽂同为harmonic series
2. 如博雷尔求和法

参⻅
⽆穷级数
调和平均数
黎曼ζ函数

参考
1. George L. Hersey, Architecture and Geometry in the Age of the Baroque, p 11-12 and
p37-51.
2. Graham, Ronald; Knuth, Donald E.; Patashnik, Oren, Concrete Mathematics 2nd,
Addison-Wesley: 258–264, 1989, ISBN 978-0-201-55802-9
3. Sharp, R.T., Problem 52: Overhanging dominoes, Pi Mu Epsilon Journal, 1954: 411–412
4. Sequence A082912 (https://oeis.org/A082912) in the On-Line Encyclopedia of Integer
 Sequences
5. Weisstein, Eric W. (编). Harmonic Number. at MathWorld--A Wolfram Web Resource.
Wolfram Research, Inc. [2011-01-16]. （原始内容存档于2013-05-16） （英语）.
6. Art of Problem Solving: "General Harmonic Series" (http://www.artofproblemsolving.co
m/Wiki/index.php/Harmonic_series#General_Harmonic_Series) （⻚⾯存档备份 (https://
web.archive.org/web/20110728025322/http://www.artofproblemsolving.com/Wiki/inde
x.php/Harmonic_series#General_Harmonic_Series)，存于互联⽹档案馆）
7. "Random Harmonic Series", American Mathematical Monthly 110, 407-416, May 2003
8. Schmuland's preprint of Random Harmonic Series (PDF). [2011-01-16]. （原始内容 (PDF)
存档于2011-06-08）.
9. Weisstein, Eric W. (编). Infinite Cosine Product Integral. at MathWorld--A Wolfram Web
Resource. Wolfram Research, Inc. [2010-11-14]. （原始内容存档于2011-12-28） （英语）.
10. Nick's Mathematical Puzzles: Solution 72. [2011-01-16]. （原始内容存档于2010-09-
28）.

外部链接
"The Harmonic Series Diverges Again and Again" (https://web.archive.org/web/2011071
6200825/http://faculty.prairiestate.edu/skifowit/htdocs/harmapa.pdf), The AMATYC
Review, 27 (2006), pp. 31–43. Many proofs of divergence of harmonic series.

取⾃“https://zh.wikipedia.org/w/index.php?title=调和级数&oldid=77042930”