2. 数列极限
2.4 收敛准则
2.4.3 π \pi π与 e e e
假设有一个单位圆,半径为1,在圆内做正
n
n
n边形
则多边形的周长为
2
n
sin
18
0
∘
n
2n\sin\frac{180^{\circ}}{n}
2nsinn180∘,记半周长为
L
n
=
n
sin
18
0
∘
n
L_{n}=n\sin\frac{180^{\circ}}{n}
Ln=nsinn180∘,记数列
{
L
n
}
\{L_{n}\}
{Ln}
【例2.4.5】证明
{
L
n
=
n
sin
18
0
∘
n
}
\{L_{n}=n\sin\frac{180^{\circ}}{n}\}
{Ln=nsinn180∘}收敛,并求单位圆长度。
【证】令
t
=
18
0
∘
n
(
n
+
1
)
t=\frac{180^{\circ}}{n(n+1)}
t=n(n+1)180∘,当
n
≥
3
n\ge 3
n≥3时(
n
n
n边形至少是一个三角形,即至少有3条边)
n
t
=
18
0
∘
(
n
+
1
)
≤
18
0
∘
4
=
4
5
∘
nt=\frac{180^{\circ}}{(n+1)}\le\frac{180^{\circ}}{4}=45^{\circ}
nt=(n+1)180∘≤4180∘=45∘,
tan
n
t
=
tan
(
(
n
−
1
)
t
+
t
)
=
tan
(
n
−
1
)
t
+
tan
t
1
−
tan
(
n
−
1
)
t
⋅
tan
t
\tan nt=\tan ((n-1)t+t)=\frac{\tan(n-1)t+\tan t}{1-\tan(n-1)t\cdot\tan t}
tannt=tan((n−1)t+t)=1−tan(n−1)t⋅tanttan(n−1)t+tant
由于
n
≥
3
n\ge 3
n≥3,则
0
<
tan
(
n
−
1
)
t
<
tan
n
t
≤
tan
4
5
∘
=
1
0<\tan(n-1)t<\tan nt\le \tan 45^{\circ}=1
0<tan(n−1)t<tannt≤tan45∘=1,
所以
0
<
1
−
tan
(
n
−
1
)
t
⋅
tan
t
<
1
0<1-\tan(n-1)t\cdot\tan t<1
0<1−tan(n−1)t⋅tant<1,故
tan
n
t
=
tan
(
(
n
−
1
)
t
+
t
)
=
tan
(
n
−
1
)
t
+
tan
t
1
−
tan
(
n
−
1
)
t
⋅
tan
t
>
tan
(
n
−
1
)
t
+
tan
t
=
tan
(
(
n
−
2
)
t
+
t
)
+
tan
t
(
套娃
)
>
tan
(
n
−
2
)
t
+
2
tan
t
>
.
.
.
>
n
tan
t
\tan nt=\tan ((n-1)t+t)=\frac{\tan(n-1)t+\tan t}{1-\tan(n-1)t\cdot\tan t}>\tan(n-1)t+\tan t=\tan((n-2)t+t)+\tan t(套娃)>\tan(n-2)t+2\tan t>...>n\tan t
tannt=tan((n−1)t+t)=1−tan(n−1)t⋅tanttan(n−1)t+tant>tan(n−1)t+tant=tan((n−2)t+t)+tant(套娃)>tan(n−2)t+2tant>...>ntant
即
tan
n
t
>
n
tan
t
\tan nt>n\tan t
tannt>ntant
亦即
tan
t
tan
n
t
<
1
n
\frac{\tan t}{\tan nt}<\frac{1}{n}
tannttant<n1
sin
(
n
+
1
)
t
=
sin
n
t
cos
t
+
cos
n
t
sin
t
=
sin
n
t
cos
t
⋅
(
1
+
tan
t
tan
n
t
)
<
sin
n
t
cos
t
⋅
(
1
+
1
n
)
<
sin
n
t
⋅
(
1
+
1
n
)
=
sin
n
t
⋅
(
1
+
n
n
)
\sin(n+1)t=\sin nt\cos t+\cos nt\sin t=\sin nt\cos t\cdot(1+\frac{\tan t}{\tan nt})<\sin nt\cos t\cdot(1+\frac{1}{n})<\sin nt\cdot(1+\frac{1}{n})=\sin nt\cdot(\frac{1+n}{n})
sin(n+1)t=sinntcost+cosntsint=sinntcost⋅(1+tannttant)<sinntcost⋅(1+n1)<sinnt⋅(1+n1)=sinnt⋅(n1+n)
即
sin
(
n
+
1
)
t
<
sin
n
t
⋅
(
1
+
n
n
)
\sin(n+1)t<\sin nt\cdot(\frac{1+n}{n})
sin(n+1)t<sinnt⋅(n1+n)
由于
t
=
18
0
∘
n
(
n
+
1
)
t=\frac{180^{\circ}}{n(n+1)}
t=n(n+1)180∘,则
sin
18
0
∘
n
<
sin
18
0
∘
n
+
1
⋅
(
1
+
n
n
)
\sin\frac{180^{\circ}}{n}<\sin\frac{180^{\circ}}{n+1}\cdot(\frac{1+n}{n})
sinn180∘<sinn+1180∘⋅(n1+n)
即
n
sin
18
0
∘
n
<
(
1
+
n
)
sin
18
0
∘
n
+
1
n\sin\frac{180^{\circ}}{n}<(1+n)\sin\frac{180^{\circ}}{n+1}
nsinn180∘<(1+n)sinn+1180∘
亦即
L
n
=
n
sin
18
0
∘
n
<
(
1
+
n
)
sin
18
0
∘
n
+
1
=
L
n
+
1
L_{n}=n\sin\frac{180^{\circ}}{n}<(1+n)\sin\frac{180^{\circ}}{n+1}=L_{n+1}
Ln=nsinn180∘<(1+n)sinn+1180∘=Ln+1
所以
{
L
n
}
\{L_{n}\}
{Ln}单调增加
正
n
n
n边形中,
∣
A
B
∣
=
sin
18
0
∘
n
,
∣
B
C
∣
=
cos
18
0
∘
n
|AB|=\sin\frac{180^{\circ}}{n},|BC|=\cos\frac{180^{\circ}}{n}
∣AB∣=sinn180∘,∣BC∣=cosn180∘,对于每个小等腰三角形的一半面积(直角三角形面积)是
1
2
∣
A
B
∣
∣
B
C
∣
=
1
2
sin
18
0
∘
n
cos
18
0
∘
n
\frac{1}{2}|AB||BC|=\frac{1}{2}\sin\frac{180^{\circ}}{n}\cos\frac{180^{\circ}}{n}
21∣AB∣∣BC∣=21sinn180∘cosn180∘,所以一个等腰三角形面积为
sin
18
0
∘
n
cos
18
0
∘
n
\sin\frac{180^{\circ}}{n}\cos\frac{180^{\circ}}{n}
sinn180∘cosn180∘,这样的等腰三角形有
n
n
n个,则
正
n
n
n边形的面积
S
n
=
n
sin
18
0
∘
n
cos
18
0
∘
n
S_{n}=n\sin\frac{180^{\circ}}{n}\cos\frac{180^{\circ}}{n}
Sn=nsinn180∘cosn180∘
则
S
n
=
n
sin
18
0
∘
n
cos
18
0
∘
n
<
4
S_{n}=n\sin\frac{180^{\circ}}{n}\cos\frac{180^{\circ}}{n}<4
Sn=nsinn180∘cosn180∘<4
即
n
sin
18
0
∘
n
<
4
cos
18
0
∘
n
n\sin\frac{180^{\circ}}{n}<\frac{4}{\cos\frac{180^{\circ}}{n}}
nsinn180∘<cosn180∘4,由于
n
≥
3
n\ge 3
n≥3,则
18
0
∘
n
≤
18
0
∘
3
=
6
0
∘
\frac{180^{\circ}}{n}\le\frac{180^{\circ}}{3}=60^{\circ}
n180∘≤3180∘=60∘,由于
cos
n
\cos n
cosn在
n
∈
(
0
,
π
)
n\in(0,\pi)
n∈(0,π)上单调减少,则
cos
18
0
∘
n
≥
cos
6
0
∘
=
1
2
\cos\frac{180^{\circ}}{n}\ge \cos 60^{\circ}=\frac{1}{2}
cosn180∘≥cos60∘=21
所以
L
n
=
n
sin
18
0
∘
n
<
4
cos
18
0
∘
n
<
4
1
2
=
8
L_{n}=n\sin\frac{180^{\circ}}{n}<\frac{4}{\cos\frac{180^{\circ}}{n}}<\frac{4}{\frac{1}{2}}=8
Ln=nsinn180∘<cosn180∘4<214=8
所以
{
L
n
}
\{L_{n}\}
{Ln}单调增加有上界
则
{
L
n
=
n
sin
18
0
∘
n
}
\{L_{n}=n\sin\frac{180^{\circ}}{n}\}
{Ln=nsinn180∘}收敛
所以
lim
n
→
∞
n
sin
18
0
∘
n
=
π
\lim\limits_{n\to\infty}n\sin\frac{180^{\circ}}{n}=\pi
n→∞limnsinn180∘=π(就是将这个极限记作
π
\pi
π)
设单位圆的面积为
S
S
S,
共有
n
n
n个和四边形DGFE一样的四边形
单位圆的外切
n
n
n边形的面积为
S
n
′
=
n
tan
18
0
∘
n
S_{n}'=n\tan\frac{180^{\circ}}{n}
Sn′=ntann180∘
圆的面积介于内接多边形面积和外接多边形面积之间
即
S
n
<
S
<
S
n
′
S_{n}<S<S_{n}'
Sn<S<Sn′
lim
n
→
∞
S
n
=
lim
n
→
∞
n
sin
18
0
∘
n
cos
18
0
∘
n
=
π
\lim\limits_{n\to\infty}S_{n}=\lim\limits_{n\to\infty}n\sin\frac{180^{\circ}}{n}\cos\frac{180^{\circ}}{n}=\pi
n→∞limSn=n→∞limnsinn180∘cosn180∘=π
lim
n
→
∞
S
n
′
=
lim
n
→
∞
n
tan
18
0
∘
n
=
lim
n
→
∞
n
sin
18
0
∘
n
cos
18
0
∘
n
=
π
1
=
π
\lim\limits_{n\to\infty}S_{n}'=\lim\limits_{n\to\infty}n\tan\frac{180^{\circ}}{n}=\lim\limits_{n\to\infty}\frac{n\sin\frac{180^{\circ}}{n}}{\cos\frac{180^{\circ}}{n}}=\frac{\pi}{1}=\pi
n→∞limSn′=n→∞limntann180∘=n→∞limcosn180∘nsinn180∘=1π=π
由数列极限的夹逼性定理可知,
lim
n
→
∞
S
=
π
\lim\limits_{n\to\infty}S=\pi
n→∞limS=π
所以单位圆的面积是
π
\pi
π
【例2.4.6】
x
n
=
(
1
+
1
n
)
n
,
y
n
=
(
1
+
1
n
)
n
+
1
x_{n}=(1+\frac{1}{n})^{n},y_{n}=(1+\frac{1}{n})^{n+1}
xn=(1+n1)n,yn=(1+n1)n+1,证明
{
x
n
}
\{x_{n}\}
{xn}单调增加,
{
y
n
}
\{y_{n}\}
{yn}单调减少,两者收敛于同一极限。
【证】
x
n
=
(
1
+
1
n
)
n
=
(
1
+
1
n
)
n
⋅
1
≤
(
n
(
1
+
1
n
)
+
1
n
+
1
)
n
+
1
=
(
1
+
1
1
+
n
)
n
+
1
=
x
n
+
1
x_{n}=(1+\frac{1}{n})^{n}=(1+\frac{1}{n})^{n}\cdot 1 \le(\frac{n(1+\frac{1}{n})+1}{n+1})^{n+1}=(1+\frac{1}{1+n})^{n+1}=x_{n+1}
xn=(1+n1)n=(1+n1)n⋅1≤(n+1n(1+n1)+1)n+1=(1+1+n1)n+1=xn+1(平均值不等式:
a
1
+
a
2
+
.
.
.
+
a
n
n
≥
a
1
a
2
.
.
.
a
n
n
≥
n
1
a
1
+
1
a
2
+
.
.
.
+
1
a
n
\frac{a_{1}+a_{2}+...+a_{n}}{n}\ge \sqrt[n]{a_{1}a_{2}...a_{n}}\ge \frac{n}{\frac{1}{a_{1}}+\frac{1}{a_{2}}+...+\frac{1}{a_{n}}}
na1+a2+...+an≥na1a2...an≥a11+a21+...+an1n)
则
{
x
n
}
\{x_{n}\}
{xn}单调增加。
1
y
n
=
(
n
n
+
1
)
n
+
1
⋅
1
≤
(
(
n
+
1
)
n
n
+
1
+
1
n
+
2
)
n
+
2
=
(
n
+
1
n
+
2
)
n
+
2
=
(
1
1
+
1
n
+
2
)
n
+
2
=
1
y
n
+
1
\frac{1}{y_{n}}=(\frac{n}{n+1})^{n+1}\cdot 1\le(\frac{(n+1)\frac{n}{n+1}+1}{n+2})^{n+2}=(\frac{n+1}{n+2})^{n+2}=(\frac{1}{1+\frac{1}{n+2}})^{n+2}=\frac{1}{y_{n+1}}
yn1=(n+1n)n+1⋅1≤(n+2(n+1)n+1n+1)n+2=(n+2n+1)n+2=(1+n+211)n+2=yn+11
则
{
1
y
n
}
\{\frac{1}{y_{n}}\}
{yn1}单调增加,则
{
y
n
}
\{y_{n}\}
{yn}单调减少。
2
=
x
1
<
x
n
=
(
1
+
1
n
)
n
<
y
n
=
(
1
+
1
n
)
n
+
1
≤
y
1
=
4
2=x_{1}<x_{n}=(1+\frac{1}{n})^{n}<y_{n}=(1+\frac{1}{n})^{n+1}\le y_{1}=4
2=x1<xn=(1+n1)n<yn=(1+n1)n+1≤y1=4
所以
{
x
n
}
\{x_{n}\}
{xn}单调增加有上界,
{
y
n
}
\{y_{n}\}
{yn}单调减少有下界,所以
{
x
n
}
\{x_{n}\}
{xn}和
{
y
n
}
\{y_{n}\}
{yn}均收敛,设
lim
n
→
∞
x
n
=
a
,
lim
n
→
∞
y
n
=
b
\lim\limits_{n\to\infty}x_{n}=a,\lim\limits_{n\to\infty}y_{n}=b
n→∞limxn=a,n→∞limyn=b
y
n
=
x
n
(
1
+
1
n
)
y_{n}=x_{n}(1+\frac{1}{n})
yn=xn(1+n1),等式两边同时取极限得
a
=
b
a=b
a=b,所以两者收敛于同一极限。
定义
lim
n
→
∞
x
n
=
e
≈
2.71828...
\lim\limits_{n\to\infty}x_{n}=e\approx 2.71828...
n→∞limxn=e≈2.71828...
e
e
e和
π
\pi
π都是无理数。
定义
ln
=
log
e
\ln=\log_{e}
ln=loge,称为自然对数,
e
e
e称为自然对数的底数。
【例2.4.7】证明
a
n
=
1
+
1
2
p
+
1
3
p
+
.
.
.
+
1
n
p
(
p
>
0
)
a_{n}=1+\frac{1}{2^{p}}+\frac{1}{3^{p}}+...+\frac{1}{n^{p}}(p>0)
an=1+2p1+3p1+...+np1(p>0),显然
{
a
n
}
\{a_{n}\}
{an}单调增加,当
p
>
1
p>1
p>1,
{
a
n
}
\{a_{n}\}
{an}收敛,当
P
≤
1
P\le 1
P≤1,
{
a
n
}
\{a_{n}\}
{an}发散到
+
∞
+\infty
+∞。
【证】若
p
>
1
p>1
p>1,令
1
2
p
−
1
=
r
,
0
<
r
<
1
\frac{1}{2^{p-1}}=r,0<r<1
2p−11=r,0<r<1
1
2
p
+
1
3
p
<
1
2
p
+
1
2
p
=
2
2
p
=
1
2
p
−
1
=
r
\frac{1}{2^{p}}+\frac{1}{3^{p}}<\frac{1}{2^{p}}+\frac{1}{2^{p}}=\frac{2}{2^{p}}=\frac{1}{2^{p-1}}=r
2p1+3p1<2p1+2p1=2p2=2p−11=r
1
4
p
+
1
5
p
+
1
6
p
+
1
7
p
<
1
4
p
+
1
4
p
+
1
4
p
+
1
4
p
=
4
4
p
=
2
2
p
⋅
2
2
p
=
r
2
\frac{1}{4^{p}}+\frac{1}{5^{p}}+\frac{1}{6^{p}}+\frac{1}{7^{p}}<\frac{1}{4^{p}}+\frac{1}{4^{p}}+\frac{1}{4^{p}}+\frac{1}{4^{p}}=\frac{4}{4^{p}}=\frac{2}{2^{p}}\cdot\frac{2}{2^{p}}=r^{2}
4p1+5p1+6p1+7p1<4p1+4p1+4p1+4p1=4p4=2p2⋅2p2=r2
1
8
p
+
1
9
p
+
.
.
.
+
1
1
5
p
<
8
8
p
=
r
3
\frac{1}{8^{p}}+\frac{1}{9^{p}}+...+\frac{1}{15^{p}}<\frac{8}{8^{p}}=r^{3}
8p1+9p1+...+15p1<8p8=r3
1
(
2
k
)
p
+
1
(
2
k
+
1
)
p
+
+
.
.
.
+
1
(
2
k
+
1
−
1
)
p
<
2
k
(
2
k
)
p
=
1
(
2
k
)
p
−
1
=
r
k
\frac{1}{(2^{k})^{p}}+\frac{1}{(2^{k}+1)^{p}+}+...+\frac{1}{(2^{k+1}-1)^{p}}<\frac{2^{k}}{(2^{k})^{p}}=\frac{1}{(2^{k})^{p-1}}=r^{k}
(2k)p1+(2k+1)p+1+...+(2k+1−1)p1<(2k)p2k=(2k)p−11=rk
由于
{
a
n
}
\{a_{n}\}
{an}单调增加且
n
∈
N
+
n\in\mathbb{N}^{+}
n∈N+,现在来证明
2
n
−
1
≥
n
2^{n}-1\ge n
2n−1≥n成立
当
n
=
1
n=1
n=1时,
2
1
−
1
=
1
2^{1}-1=1
21−1=1成立
假设当
n
=
k
n=k
n=k时,
2
k
−
1
≥
k
2^{k}-1\ge k
2k−1≥k成立,即
2
k
≥
1
+
k
2^{k}\ge 1+k
2k≥1+k成立
当
n
=
k
+
1
n=k+1
n=k+1时,
2
k
+
1
−
1
=
2
⋅
2
k
−
1
=
2
k
+
2
k
−
1
≥
2
k
+
1
>
k
+
1
2^{k+1}-1=2\cdot 2^{k}-1=2^{k}+2^{k}-1\ge2k+1>k+1
2k+1−1=2⋅2k−1=2k+2k−1≥2k+1>k+1也成立
由数学归纳法可知
2
n
−
1
≥
n
2^{n}-1\ge n
2n−1≥n
则
∀
n
,
a
n
≤
a
2
n
−
1
=
1
+
r
+
r
2
+
.
.
.
+
r
n
−
1
=
1
⋅
(
1
−
r
n
)
1
−
r
<
1
1
−
r
\forall n,a_{n}\le a_{2^{n}-1}=1+r+r^{2}+...+r^{n-1}=\frac{1\cdot(1-r^{n})}{1-r}<\frac{1}{1-r}
∀n,an≤a2n−1=1+r+r2+...+rn−1=1−r1⋅(1−rn)<1−r1
所以
{
a
n
}
\{a_{n}\}
{an}单调增加有上界,所以
lim
n
→
∞
a
n
\lim\limits_{n\to\infty}a_{n}
n→∞liman收敛。
当
p
≤
1
p\le 1
p≤1时,
1
2
p
≥
1
2
\frac{1}{2^{p}}\ge \frac{1}{2}
2p1≥21
1
3
p
+
1
4
p
≥
1
4
p
+
1
4
p
≥
1
4
+
1
4
=
1
2
\frac{1}{3^{p}}+\frac{1}{4^{p}}\ge \frac{1}{4^{p}}+\frac{1}{4^{p}}\ge\frac{1}{4}+\frac{1}{4}=\frac{1}{2}
3p1+4p1≥4p1+4p1≥41+41=21
1
5
p
+
1
6
p
+
1
7
p
+
1
8
p
≥
1
8
p
+
1
8
p
+
1
8
p
+
1
8
p
≥
4
8
=
1
2
\frac{1}{5^{p}}+\frac{1}{6^{p}}+\frac{1}{7^{p}}+\frac{1}{8^{p}}\ge\frac{1}{8^{p}}+\frac{1}{8^{p}}+\frac{1}{8^{p}}+\frac{1}{8^{p}}\ge\frac{4}{8}=\frac{1}{2}
5p1+6p1+7p1+8p1≥8p1+8p1+8p1+8p1≥84=21
……
1
(
2
k
+
1
)
p
+
1
(
2
k
+
2
)
p
+
.
.
.
+
1
(
2
k
+
1
)
p
≥
2
k
(
2
k
+
1
)
p
≥
2
k
2
k
+
1
≥
1
2
\frac{1}{(2^{k}+1)^{p}}+\frac{1}{(2^{k}+2)^{p}}+...+\frac{1}{(2^{k+1})^{p}}\ge\frac{2^{k}}{(2^{k+1})^{p}}\ge\frac{2^{k}}{2^{k+1}}\ge\frac{1}{2}
(2k+1)p1+(2k+2)p1+...+(2k+1)p1≥(2k+1)p2k≥2k+12k≥21
a
n
=
1
+
1
2
p
+
1
3
p
+
.
.
.
+
1
n
p
≥
1
+
1
2
+
1
2
+
.
.
.
+
1
2
a_{n}=1+\frac{1}{2^{p}}+\frac{1}{3^{p}}+...+\frac{1}{n^{p}}\ge1+\frac{1}{2}+\frac{1}{2}+...+\frac{1}{2}
an=1+2p1+3p1+...+np1≥1+21+21+...+21(写大于等于是因为还有可能结尾项的分母不正好是
2
k
2^{k}
2k,从分母为
2
k
2^{k}
2k项的后面可能还加上
1
(
2
k
+
1
)
p
+
1
(
2
k
+
2
)
p
+
.
.
.
\frac{1}{(2^{k}+1)^{p}}+\frac{1}{(2^{k}+2)^{p}}+...
(2k+1)p1+(2k+2)p1+...)
随着
n
n
n的增加,
{
a
n
}
\{a_{n}\}
{an}没有上界,
所以
lim
n
→
∞
a
n
=
+
∞
\lim\limits_{n\to\infty}a_{n}=+\infty
n→∞liman=+∞
【注】当
p
=
1
p=1
p=1时,
a
n
=
1
+
1
2
+
1
3
+
.
.
.
+
1
n
a_{n}=1+\frac{1}{2}+\frac{1}{3}+...+\frac{1}{n}
an=1+21+31+...+n1是正无穷大量,称
∑
n
=
1
∞
1
n
=
1
+
1
2
+
1
3
+
.
.
.
+
1
n
\sum\limits_{n=1}^{\infty}\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+...+\frac{1}{n}
n=1∑∞n1=1+21+31+...+n1为调和级数,则这个调和级数是发散的。