43数列不等式的证明方法

1数列型不等式的证明数列型不等式问题在近年逐渐成为高考热点，数列型不等式问题常被设置为高考压轴题，能力要求较高。因其仍然是不等式问题，可用处理不等式的方法：基本不等式法；比较法；放缩法，函数单调性法等都是常用的方法；但数列型不等式与自然数有关，因而还有一种行之有效的方法：数学归纳法。1、重要不等式法若数列不等式形如下式，可用均值不等式法求证。（1）),(222Rbaabba;（2）),(2Rbaabba（3）),,,(2121321Rxxxxxxnnxxxxnnnn2、比较法比较法是证明不等式的基本方法，可以作差比较也可以作商比较，是一种易于掌握的方法。3、放缩法常用的放缩结论：①、,111)1(11)1(11112kkkkkkkkk其中（2k）②、;)12)(12(1)12(12nnn;)12)(32(1)12(12nnn)22(21)12(12nnn③、12112kkkkk用放缩法解题的途径一般有两条，一是先求和再放缩，二是先放缩再求和。（1）、先求和再放缩一般先分析数列的通项公式，如果此数列的前n项和能直接求和或通过变形后可以求和，则采用先求和再放缩的方法证明不等式。数列求和的方法较多，我们在数列求和的专题中有具体的讲解，主要用的有公式法、裂项法、倒序相加法、分组求和法等方法。例1、已知函数)(xf对任意实数qp,都满足)()()(qfpfqpf，且31)1(f，（1）当Nn时，求)(nf的表达式；（2）设))((Nnnnfan，nT是其前n项和，试证明43nT.分析：不难求得nnf)31()(，于是nnna)31(.对于nT，这是一个“差比”数列的和，可以用错位相减法求出nT，然后再与43比较大小.于是有：nnnT)31()31(3)31(2)31(132①，1432)31()31(3)31(2)31(1031nnnT②，两式相减得：1432)31()31()31()31()31(3132nnnnT，化简得nnnT)31(42343，显然有43nT.2（2）、先放缩再求和高考数列不等式证明一般用此法的较多，对此法往往又有以下几个具体情况。①、将数列的通项进行去项或添项的适当放缩，使之成为我们所熟悉的等差、等比或差比数列进而进行求和证明；②、对通项式进行裂项处理，并对其中某些项的分母进行适当放缩，构成便于加减相消的结构或变形出能使用重要不等式法的结构，使题目便于证明。③、以某一不等关系为依据建立起相邻两项的不等关系进行逐层递推放缩，以寻求各项与首项的不等关系。④、利用二项式定理将通项展开后进行适度放缩，有时展开后只需保留其中一部分就可达到放缩的目的。⑤、先分组在放缩比较例2、（2002全国卷）设数列na满足211,1,2,nnnaanan，（1）当12a时，求234,,aaa，并由此猜想出na的一个通项公式；（2）当13a时，证明对所有的1n，有（Ⅰ）2nan；（Ⅱ）1211111112naaa.分析：（1）略.对于（2）中的（Ⅱ），由1()1nnnaaan及（Ⅰ）中的2nan可知121nnaa，从而112(1)nnaa，1111111112112nnnaaa，于是211211111()11111111212(1)1111122211212nnnaaaaaa.说明：对于一些复杂的数列不等式，考虑将每一项进行确当的放大或缩小是一种常见的方法，而方法的寻找要结合题设条件和要证的结论，看它们的内在关系，考虑将通项朝什么方向进行放缩。请你思考一下，直接由2nan得1113nan，能证明这个问题吗？例3、（2004全国卷改编）已知数列na的前n项和ns满足：2(1),1nnnsan，（1）写出数列na的前三项123,,aaa，并求数列na的通项公式；（2）证明对任意的整数4m，有4511178maaa.分析：（1）212321,0,2,2(1)3nnnaaaa，过程略.对于（2），显然42a.当3n且n为奇数时，12212312111311322()2212122221nnnnnnnnnaa122321322311()22222nnnnn，3所以当4m且m为偶数时，45456111111111()()mmmaaaaaaaa342131111()222222m431137(1)82288m；当4m且m为奇数时，45451111111178mmmaaaaaaa，综上所述对任意的整数4m，有4511178maaa成立.说明：通过计算比较可以发现该数列的通项规律较复杂，用求和的方法计算45111maaa难度很大，这时可以通过两个方面来寻找解题方向，一是看通项的特点，二是从特殊入手，例如取5,6,7,8m等进行比对发现.此外发现数值713828也是很重要的一点.4、数学归纳法5、构造数列法.6、函数单调性法