证明级数不等式的放缩法
兰琦
2014 年 12 月 8 日
目录
朮 朮
朮 朮
朮 朮
朮 朮
朮 朮
朮朮朮
朮朮朮朮朮
朮朮朮朮
朮朮朮
朱
1 引 言
3
2 分析通项法 朲朮朱 分析通项法
朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
3
朮 朳
朲朮朲 对数函数不等式
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朴
朲朮朳 习题
朮 朮 朮 朮 朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朷
朲朮朴 习题参考答案 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朸
3 等比放缩法 朳朮朱 等比放缩法
朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
9
朮 朹
朳朮朲 交错级数的处理思路
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朮 朱 朱
朳朮朳 进阶篇
朮 朮 朮 朮 朮 朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朮 朱 朱
朳朮朴 习 题
朮 朮 朮 朮 朮 朮 朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朮 朱 朳
朳朮朵 习题参考答案
朮 朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朮 朱 朴
4
裂项放缩法 朴朮朱 裂项放缩法
朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
16
朮
朱 朶
朴朮朲 一些常用的裂项
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朱 朷
朴朮朳 进阶篇
朮 朮 朮 朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朲 朳
朴朮朴 习题
朮 朮 朮 朮 朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朲 朶
朴朮朵 习题参考答案 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朲 朷
5
不动点裂项 朵朮朱 迭代函数
朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
28
朮
朲 朸
朵朮朲 不动点裂项 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朳 朲
朵朮朳 习题
朮 朮 朮 朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朳 朳
朵朮朴 习题参考答案 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朳 朴
6
积分放缩法 朶朮朱 积分放缩法 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
37
朮
朳 朷
朶朮朲 习题
朮 朮 朮 朮 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朴 朱
朶朮朳 习题参考答案 朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朴 朱
朮朮朮朮
7 其他放缩法
44 朷朮朱 整体放缩法
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朴朴
朷朮朲 并项放缩法
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朴朵
朷朮朳 倒序放缩法
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朴朷
朷朮朴 切线放缩法
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朴朸
朷朮朵 二项式放缩法
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮
朮 朵 朰
Σ
Σ
Σ−
T
朩 ,而 Σ
Σ
Σ
Σ
Σ
Σ
Σ⇔
例题
2.1
已知 f
木 x 朩
朽
朲 x
末
朱
, h
木 x 朩
朽
√ x
,试比较 f
木朱朰朰朩 h
木朱朰朰朩
−
1Σ00
h
木 k 朩 与 朱
的大小 k
1 引言 形如
n a
k =1
< T n
(
n ∈ N ∗
,
n > N 0
)的不等式称为级数不等式,这类不等式在高考压 轴题及自主招生考试压轴题中频繁出现,在这里对这种类型的级数不等式的证明方法作一个 系统的阐述. 考虑到 T n
朽 T 1
末 n − 1 木 T
k =1
k +1
n
k a k
k =1
朽 a 1
末 n−1 a
k =1
k +1
,于是级数不等式
n
a k
< T n
k =1
可以改写为 n n
a 1
末Σ a k +1
< T 1
末Σ 木 T k +1
− T k 朩
k =1
即 n
k =1
Σ 杛 a k +1
− 木 T k +1
− T k 朩杝 < T 1
− a 1
因此所有级数不等式可以改写为 n a k =1
< C 的形式.
级数不等式的证明最为困难的一点就是 n a k =1
难以求和,因此利用各种放缩的手段将其 放缩为可以求和的形式至关重要,常用的处理方式有分析通项法、等比放缩法、裂(错)项 放缩法、积分放缩法以及整体(并项)放缩法.
2 分析通项法
2.1 分析通项法 对于级数不等式 n a k =1
< C ,若通项
a n
从某项( a N
)后1 满足
a n
< 朰 ,那么
n a <
k =1
C N a
k =1
< C 这种级数不等式是较为简单的,这种证明 2 方法称为分析通项法3 .
朳 朲
关系. Å ã
k =1 朶
朲 朱 √ Σ
令 S
朽
f
木 n 朩
·
g
木 n 朩
−
Σn
h
木 k 朩
朽
n 末
·
n −
n
√ k .则
n
k =1
朳 朲
Å 朲 朱 ã k =1
朱
S 1
朽 朳 末 朲 · 朱 − 朱 朽 朶
1 这种想法称为“后移放缩起点”,是可以配合所有放缩法使用的调整方式. 2 可以用分析通项法证明的级数不等式一定可以利用数学归纳法证明,其本质相同. Σn
k =1
3 在实际应用时,对 a k
< T k
类型的级数不等式,我们可以直接去探索
a n+1
< T n+1
− T n
而无需先行改写.
k
k
k
k
k
k=1
n +1
n
−
−
Q
− √
朳
朶
朲
√
≤
事实上, Å 朲 朱 ã S
朽 · 朲 末
· √ 朲 − 朱 − √ 朲 朽
朵√朲 − 朱 >
朷 − 朱 朽
朱
2
朳 朲
考虑证明 S n
单调递增. 朶 朶 朶
S − S
ï朲 朱 ò 朽 木 n 末 朱朩 末
√ n 末朱 − Σ √ k −
Å 朲 朱 ã n 末 √ n 末 Σ √ k
n +1
n 朳
Å 朲
朱 ã 朽 n 末 朲
√ n 末朱 − 朳 朲
Å k =1 ã
朲 朱
n 末 n
k =1
朽 朱 î 木朴 n 末 朱朩√ n 末 朱 木朴 n 末 朳朩√nó 朶
朽 朱 Ä √朱朶 n 3 末 朲朴 n 2 末 朹 n 末 朱 √朱朶 n 3 末 朲朴 n 2 末 朹 nä 朶
>
朰
因此当
n > 朲 时,
S n
朱
>
S 1
朽 . 朶
Å
例题 2.2
求证:
n 朱 末
k =1
朱 ã Å 朱 ã 朲 k 朳 朱 − 朲 n . 对于这种题目,我们可以延续分析通项的思想1 ,先计算
Å 朱 ã 朳 朱 − 朲 n
朲 n
− 朱 朱
Å 朱 ã 朽 朲 n − 朲 朽 朱末 朲 n − 朲
朳 朱 − 朲 n−1
而通项 朱 朱
朱 末 < 朱 末
朲 n 朲 n − 朲
显然成立.因此原不等式成立.
2.2 对数函数不等式 首先回顾对
f 木 x 朩 朽 杬杮 x 的常用放缩 2 :
在 木 − 朱 , 朰朩 ∪ 木朰 , 末 ∞ 朩 上,
x
朱 末 x < 杬杮木朱 末 x 朩 < x.
这个放缩有其优点:①简单;②在 x 朽 朰 左右两边均成立;但也有明显的缺点,那就是太过 宽松. 接下来我们探索对于对数函数 f 木 x 朩 朽 杬杮 x 在 x 朽 朱 附近一种重要放缩 c 木 x − 朱朩 . ax 末 b
1 Q a k
≤ T k
类型的不等式的本质也是级数不等式,可以利用作商代替作差
2 事实上,有更好的
2
2
1 + x
< ln (1 + x ) < x
朳
−
首先计算 朱 阶导数:
木杬杮 x 朩 ′
x =1
朽 x −1
x =1 朽 朱
Å c 木 x − 朱朩 ã′
c 木 a 末 b 朩 c
朽 朽
ax 末 b
x =1
木 ax 末 b 朩
x =1
a 末 b
为了保证二者在 x 朽 朱 处相切,令 c
a 末 b
朽 朱 ,即 c 朽 a 末 b .此时
c 木 x − 朱朩 朽
ax 末 b
木 a 末 b 朩木 x − 朱朩 朽
ax 末 b
Å b ã 朱 末 木 x 朱朩
a ,
b
x 末 a
记 λ 朽 b ,则 g 朱 末 λ 朱 末 λ 木 x 朩 朽 木 x − 朱朩 ,考虑函数
F 木 x 朩 朽 杬杮 x − 木 x − 朱朩 有 a λ
x 末 λ
朱 木朱 末 λ 朩 2
x 末 λ
木 x − 朱朩木 x − λ2 朩
F ′ 木 x 朩 朽 x − 木 x 末 λ 朩 2 朽
2 .
x 木 x 末 λ 朩
第一种情形, 当 λ 朽 朱 时 F 木 x 朩 单调递增, 而 F 木朱朩 朽 朰 , 于是在 木朰 , 朱朩 上, 杬杮 x < 朲 朲
x 末 朱 木 x − 朱朩 ;在 木朱 , 末 ∞ 朩上,
杬杮 x > x 末朱 木 x − 朱朩 .由于此时
g λ
木 x 朩 与
f 木 x 朩 朽 杬杮 x 在
x 朽
朱 处的二阶导数相同,所以这是一个很好的近似.但是它有个明显的缺点,那就是不等号的
方向是不可控的.我们接下来研究 λ /朽 朱 的情形. 第二种情形,当
λ > 朱 时
F 木 x 朩 在 木朰 , 朱朩 上单调递增,在 木朱 , λ2 朩上单调递减,在 木 λ2 , 末 ∞ 朩上
单调递增,而 F 木朱朩 朽 朰 ,于是 在 木朰 , 朱朩 上1 ,
在 木朱 , λ2 朩 上,
朱 末 λ 杬杮 x < x 末 λ 木 x − 朱朩朻
朱 末 λ 杬杮 x < x 末 λ 木 x − 朱朩朻
这点相当重要,因为相当于给出了对 f 木 x 朩 朽 杬杮 x 在 朱 右侧的很好估计,配合第一种情形中的 结论有:在 木朱 , λ2 朩 上,
朲 木 x − 朱朩 < 杬杮 x < 朱 末 λ 木 x − 朱朩 .
x 末 朱
例如取
λ 朽 朲 ,就有在 木朱 , 朴朩 上,
朲
x 末 λ
朳
x 末 朱 木 x − 朱朩 < 杬杮 x < x 末 朲 木 x − 朱朩 .
并且不难知道, λ 越小,上界越精确,但放缩范围也随之减小. 需要注意的是在 木 λ2 , 末 ∞ 朩上,
f 木 x 朩 朽 杬杮 x 的图象将逐步追上
g λ
图象并位于其他上方.
朱 末 λ 木 x 朩 朽 x 末 λ 木 x − 朱朩 的 1 这点无价值,因为
1 + λ ( x − 1) > 2
( x − 1)
x + λ x + 1
2
Σ−
Σ朸 −
√
−
第三种情形,当 λ < 朱 时与 λ > 朱 情况类似,我们有重要结论:在 木 λ2 , 朱朩 上,
朱 末 λ 朲
x 末 λ 木 x − 朱朩 < 杬杮 x < x 末 朱 木 x − 朱朩
至此,我们就得到了对数函数 杬杮 x 在 x 朽 朱 附近的可调整松紧的放缩:
2 朲 朱 末 λ •
在 木朱 , λ 朩 上, x 末 朱 木 x − 朱朩 < 杬杮 x < x 末 λ 木 x − 朱朩 ;
2 朱 末 λ 朲
•
在 木 λ , 朱朩 上, x 末 λ 木 x − 朱朩 < 杬杮 x < x 末 朱 木 x − 朱朩 . 此...