数列型不等式的证明
数列型不等式问题在近年逐渐成为高考热点，数列型不等式问题常被设置为高考压轴题，能力要求较高。

因其仍然是不等式问题，可用处理不等式的方法：基本不等式法；比较法；放缩法，函数单调性法等都是常用的方法；但数列型不等式与自然数有关，因而还有一种行之有效的方法：数学归纳法。

1、重要不等式法
若数列不等式形如下式，可用均值不等式法求证。

（1）),(222R b a ab b a ∈≥+; （2） ),(2
+∈≥+R b a ab b
a
（3）
),,,(2121321+∈⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅≥+⋅⋅⋅⋅⋅⋅+++R x x x x x x n n
x x x x n n n n
2、比较法
比较法是证明不等式的基本方法，可以作差比较也可以作商比较，是一种易于掌握的方法。

3、放缩法
常用的放缩结论： ①、
,111)1(11)1(11112k
k k k k k k k k --=-<<+=+-其中（2≥k ） ②、
;)12)(12(1)12(12+->-n n n ;)12)(32(1)12(12--<-n n n )
22(21
)12(12+<+n n n
③、
1
211
2-+<
<
++k k k
k k
用放缩法解题的途径一般有两条，一是先求和再放缩，二是先放缩再求和。

（1）、先求和再放缩
一般先分析数列的通项公式，如果此数列的前n 项和能直接求和或通过变形后可以求和，则采用先求和再放缩的方法证明不等式。

数列求和的方法较多，我们在数列求和的专题中有具体的讲解，主要用的有公式法、裂项法、倒序相加法、分组求和法等方法。

例1、已知函数)(x f 对任意实数q p ,都满足)()()(q f p f q p f ⋅=+，且3
1
)1(=f ，
（1）当+∈N n 时，求)(n f 的表达式；（2）设))((+∈=N n n nf a n ，n T 是其前n 项和，试证明4
3
<n T .
分析：不难求得n n f )31()(=，于是n n n a )3
1
(=.对于n T ，这是一个“差比”数列的和，可以用
错位相减法求出n T ，然后再与4
3
比较大小.于是有：
n n n T )3
1
()31(3)31(2)31(132⋅++⋅+⋅+⋅= ①，
1432)3
1
()31(3)31(2)31(1031+⋅++⋅+⋅+⋅+=⋅n n n T ②， 两式相减得：1432)3
1
()31()31()31()31(3132+⋅-+++++=⋅n n n n T ，
化简得n n n T )31(42343⋅+-=
，显然有4
3<n T . （2）、先放缩再求和
高考数列不等式证明一般用此法的较多，对此法往往又有以下几个具体情况。

①、将数列的通项进行去项或添项的适当放缩，使之成为我们所熟悉的等差、等比或差比数列
进而进行求和证明；
②、对通项式进行裂项处理，并对其中某些项的分母进行适当放缩，构成便于加减相消的结构
或变形出能使用重要不等式法的结构，使题目便于证明。

③、以某一不等关系为依据建立起相邻两项的不等关系进行逐层递推放缩，以寻求各项与首项
的不等关系。

④、利用二项式定理将通项展开后进行适度放缩，有时展开后只需保留其中一部分就可达到放
缩的目的。

⑤、先分组在放缩比较 例2、（2002全国卷）设数列{}n a 满足2
11,1,2,n n
n a a na n +=-+=，（1）当12a =时，求234,,a a a ，
并由此猜想出n a 的一个通项公式；（2）当13a ≥时，证明对所有的1n ≥，有（Ⅰ）2n a n ≥+；（Ⅱ）
12
11
11
1112
n a a a +++
≤+++. 分析：（1）略.对于（2）中的（Ⅱ），由1()1n n n a a a n +=-+及（Ⅰ）中的2n a n ≥+可知121n n a a +≥+，从而112(1)n n a a ++≥+，
111111
11
12112
n n n
a a a -+≤⋅≤
≤
⋅+++， 于是211211111()11111111212(1)11111222112
12
n
n n a a a a a a --+++≤++++=⋅≤≤++++++-. 说明：对于一些复杂的数列不等式，考虑将每一项进行确当的放大或缩小是一种常见的方法，而方法的寻找要结合题设条件和要证的结论，看它们的内在关系，考虑将通项朝什么方向进行放缩。

请你思考一下，直接由2n a n ≥+得
11
13
n a n ≤++，能证明这个问题吗 例3、（2004全国卷改编）已知数列{}n a 的前n 项和n s 满足：2(1),1n
n n s a n =+-≥，（1）写出数列{}n a 的
前三项123,,a a a ，并求数列{}n a 的通项公式；（2）证明对任意的整数4m >，有45
11
178
m a a a +++
<. 分析：（1）212321,0,2,2(1)3
n n n a a a a -⎡⎤====
--⎣⎦，过程略. 对于（2），显然42a =.当3n ≥且n 为奇数时，
12
212312
111311322()2212122221n n n n n n n n n a a -------+++=+=⋅+-+--122321322311()2
2222n n n n n -----+<⋅=⋅+，
所以当4m >且m 为偶数时，
45
456
1
11111111
()(
)m m m
a a a a a a a a -+++
=+++++
34
2
13111
1()22222
2m -<
++++
=+431137
(1)82288
m -⋅-<+=； 当4m >且m 为奇数时，
45
45
111111
1178
m m m a a a a a a a ++++
<+++
+<， 综上所述对任意的整数4m >，有
451117
8
m a a a +++
<成立. 说明：通过计算比较可以发现该数列的通项规律较复杂，用求和的方法计算
45
111
m
a a a +++
难度很大，这时可以通过两个方面来寻找解题方向，一是看通项的特点，二是从特殊入手，例如取5,6,7,8m =等进行比对发现.此外发现数值
713
828
=+也是很重要的一点.
4、数学归纳法
5、构造数列法.
6、函数单调性法。