收敛准则（二）

我们继续收敛准则最基本的定理——单调有界数列必定收敛。今天我们介绍关于极限的三个常数——圆周率π、自然底数e和欧拉常数γ.

传送门：收敛准则（一）

1

我们都知道单位圆的周长是2π，但这是怎么来的呢。实际上这是数学家定义出来的，也就是说，规定单位圆周长为2π，而π称为圆周率。

数学上定义曲线的长度：折线长度的极限值。在极限开篇的时候，我们通过计算机模拟单位圆内接正多边形来计算圆周率，用正多边形的周长去逼近圆的周长，从而把圆周率近似值求解。

现在，我们就通过圆周长定义来计算圆的面积。假设下面是圆内接正n多边形：

我们可以得到该多边形的周长为：

当n趋于无穷时，该数列收敛，我们证明一下。

我们证明了圆内接正n边形周长的极限收敛，并且定义了半周长为π，那么周长就是2π.下面我们计算其面积：

总结一下，首先数学家们定义了曲线的长度（折线长度的极限值），然后对圆进行分析，利用三角函数去表达内接正n边长的周长，最终证明其收敛，该极限就是单位圆的周长。从此数学家们给这个极限定义为π，也称圆周率。圆周率不是凭空出现的，也不是随意给数值的，而是发现了它的存在，然后给它“取名”而已。今天我们利用计算机很容易去逼近其数值。

2

接下来我们介绍第二个常数——自然底数e。先看例题：

利用计算机我们很容易算出e：

我们把e称为自然底数，并定义以e为底数的对数为自然对数：

下面我们来看关于自然底数的几个例题。

• 例1

特别的，当p=1时我们称为调和级数：

根据结论，调和级数是正无穷大量.

• 例2

调和级数是正无穷大量，而自然对数也是正无穷大量，我们讨论：

利用计算机我们很容易逼近欧拉常数，它的值约等于0.577

这个结果表明，即使调和级数和自然对数都是正无穷大量，但是两者的差值在0.577之内。在精度要求不是非常严格的前提下，我们可以认为它们几乎无差异，也就是这两个正无穷大量是等价的.

3

我们对调和级数继续研究，对它做一些处理可以得到一些有趣的结论。

• 例3

我们可以看到,调和级数发散到正无穷大量,但它的n+1~2n部分收敛到ln2。这还没完，n是无穷项的,我们可以继续计算2n+1~3n项的极限,3n+1~4n项的极限,kn+1~(k+1)n项：

这里要深刻认识到,kn+1~(k+1)n部分只是调和级数的一部分，它的部分是存在极限的，但是调和级数的n是趋于无穷，把所有项加起来才是调和级数的值，这个极限是正无穷的。

• 例4

4

附计算欧拉常数的python代码:

import math
from math import e
c = 0
for n in range(1, 100000):
    c += 1/n   #调和级数
    b = c - math.log(n, e)  #调和级数减去自然对数
    print('n is {},Euler常数 is {}'.format(n,b))