放缩法的应用技巧放缩法证明数列不等式是高考数学命题的热点和难点。所谓放缩法就是利用不等式的传递性,对不等式的局部进行合理的放大和缩小从而向结论转化,其难度在于放缩的合理和适度。证明数列型不等式,因其思维跨度大、构造性强,需要有较高的放缩技巧从而充满思考性和挑战性。为了帮助更多的学生突破这一难点,我们从以下几个方面对放缩法证明数列不等式的基本策略进行分析。一、常见的放缩方法证题中经常用到的放缩方法法有:1.“添舍”放缩:对不等式一边添项或舍项以达到放大和缩小的效果;2.分式放缩:分别放缩分式的分子、分母或者同时放缩分子分母以达到放缩的效果;3.利用重要的不等式或结论放缩:把欲证不等式变形构造,然后利用已知的公式或恒不等式进行放缩,例如均值不等式、柯西不等式、绝对值不等式、二项式定理、贝努力公式、真分数性质定理等。4.单调性放缩:挖掘不等式的结构特征和函数内涵来构造单调数列或单调函数,利用单调性、值域产生的不等关系进行放缩。二、常见的放缩控制当我们选择了正确的放缩方法后,却往往会在放缩的过程中不知不觉间失控,导致放缩的过大或过小,达不到欲证的目标。那么如何控制好放缩的尺度呢?例1.求证:4713121112222n分析1:不等式左边不能直接求和,我们希望通过合适的放缩后可以求和。若采取“)1(112nnn)2(1)1(1nnn”的方法向右端放大,则左边nn)1(13212111)2111(1)3121(47212)111(nnn很明显,放得有点大了,导致传递性失败,不等式链中断,放缩失败。那怎么办呢?【1】调整放缩的“量”的大小分析2:分析1中“放”的有点过大,因为,,放大了41211212,,放大了181321312所以可以通过调整放大的“量”来控制放缩的效果。在)1(112nnn分母减少了n,我们可以把分母只减少1,即),(2)1111(2111122nnnnn这样放的量就少了。证明1:左边1)3111(21)4121()5131(+)1111(nn=1+)111211(21nn1+)211(21=74【2】调整放缩的“项”的起点分析3:分析1中从第二项开始放缩,放的最终有点大。可以调整放缩的项数,从第三项开始放缩。证明2:左边nn)1(1321411411)3121(47147)111(nnn由此可见,调整成功。显然从第三项开始放缩所得的结果比从第二项开始放缩所得的结果又更小些。以此类推,当放缩的项数越少,放缩后的结果就会越来越精细,越来越逼近目标。除此之外,还可以调整放缩的次数,通过多次放缩的调整来达到效果;有时也可以根据欲证式子的结构特点,把相邻的项分组捆绑后进行放缩,也可以达到控制放缩合理和尺度的效果。三、常见的问题类型数列型不等式的一边常与求和有关,所以可以通过放缩后求和(或求和后放缩)来达到欲证的目标。下面我们通过几道典型例题来体会常见问题的处理手法。一.放缩与“公式法求和”选择恰当..的放缩方法,通过“通项”的适度..放缩使之转化为等差或等比数列,从而求和达到简化证题的目的。例2.1223(1)nnn设S,求证:2)1(2)1(2nsnnn证明:因为2)1()1(kkkkkk,21)1(kkkknknnkkSk11)21(,即2)1(2)1(2nsnnn说明:分别利用“添舍项”和“均值不等式”把通项放缩为等差数列,然后求和得证。例3.求证:2!1!31!21!11n证明:因为,2122212)1(!1kkkk.,,2,1,21!11nkkk2)21(2211)21(121212121!1!31!21!1111210nnkn说明:把分母适当变小,实现分式的放大,把通项放缩为等比数列,然后方便求和。例4.已知12nna,证明:231213221naaaaaannn证明:通项2122121212111kkkkkkaa,211naankkk,不等式右边得证。kkkkkkkkkkkaa23121023121)22(23121)212(4121)212(221212121211312)211(312)212121(312)23121(21111nnnaannnkknkkk,不等式左边得证。说明:不等式两端的结构特点是本题证明的突破口,利用“添舍项”把通项放缩为与21有关的形式,然后求和证明。其中不等式左边的放缩方法有数种,值得体会研究。二.放缩与“裂项法求和”在例1中,不等式的左边无法求和,但通过放缩产生裂项相消的求和效果后,使问题解决。例2的右边也是利用放缩产生了裂项的效果,然后求和。下面我们再通过几道例题的证明体会裂项求和效果的运用。例5.求证:nnn21312111)11(2证明:)2(),1(21221kkkkkkkknnnnnknk212)1(21)]1()23()12[(2111)1(21221kkkkkkk)11(2)11(2)]1()23()12[(211nnnnknk说明:例1分式、例5根式的放缩后裂项相消求和的处理手法是很多灵活题目的原型,值得体会。例6.已知,1111,)31(1nnnnnaaba证明:3121nbnkk证明:13113131131331333111311111111nnnnnnnnnnnb13113121nn,(※)131312nnnb(※※)312)3131(2)]3131()3131()3131[(21132211nnnbnnnnkk说明:对通项利用“分离变量”化简至(※)处是本题的关键,根据式子中各项的符号以及分母的幂指数决定放缩为(※※)的形式,以实现“相消”求和的效果。例7.已知),()()1(,2)1(2nfnfnff求证:nkkf1211)(1证明:,1)(1)(1]1)()[(1)1(1],1)()[()1(nfnfnfnfnfnfnfnf)1(1)(11)(1nfnfnf,)1(1)1(1])1(1)(1[])3(1)2(1[])2(1)1(1[1)(11nffnfnfffffkfnk由已知可得,0)(nfnkfkf121)1(11)(1说明:对通项结构特点的分析,决定对已知等式的右边进行因式分解取倒数。然后再裂项、移项变形就是很自然的想法了。三.放缩与“并项法求和”例8.已知,1],)1(2[3212nannn证明:87111,454maaam有对任意整数分析:通项中含有1111)1(nnnaa,把,捆绑并为一项,然后结合n的奇偶性进行适度的放缩。证明:当n为奇数时,32212132211212222312222223]121121[2311nnnnnnnnnnnnaa即当n为奇数时,)2121(2311121nnnnaa,且,24a当m为偶数且m4时:)21212121(2321)11()11(11112343165454mmmmmaaaaaaaa=87412321)211(4123214m当m为奇数且m4时:1m为偶数,87111111115454mmmaaaaaaa综上可知,对于任意整数m4,都有8711154maaa例9.求证),2(21211214131211Nnnnnn分析:观察分母的变化规律,把若干项“捆绑”并为一项后进行放缩,然后求和就很容易实现欲证的目标。证明:左边=)21121121()16115110191()81716151()4131(2111nnn)212121()161161161161()81818181()4141(211nnn=21)21(212121211nn个共四.利用递推关系式放缩利用递推关系式本身蕴含的不等关系或放缩产生的不等关系,在很多题目中可以起到很好的放缩效果。例10.已知),2(12,311kaaakk求证:2111111121naaa分析:根据欲证不等式的结构特点,通过递推关系式构造关于ka1的不等式,然后实现对通项的放缩。证明:,121kkaa41)1(2111aaakk且1k1122-1-1-2422211111111)(aaaaaaaakkkkk1k2111)(ka21)21-1212121211n32n()()()(左边例11.已知12nna,证明:32111132naaa分析:通过对na的适度放缩产生关于na的不等递推关系式,然后谋求对ka1的放缩,转化为熟悉的问题。证明:112)12(22212nnnnnaa,,3,1)2(2211aanaann且3232223211nnnnnnaaaaaaaan时,,2)21(31nna左边32)211(32])21()21(211[3112nn五.构造和数列后进行放缩如果数列不等式没有直接的求和的形式,很多时候可以间接的构造和数列,然后进行放缩处理。例12.已知][log21131212nn,正数列na满足)2(,0111nannaabannn证明:)2(][log222nnbban分析:根据已知构造关于na1的递推关系式,然后利用“累加法”把不等式的左边转化为和数列的形式。证明:110nnnannaa,naann1111,)2(1111nnaannbnnaaaaaaaannnnnn1211111)11()11()11(12112211时,02][log21][log21122bnbbnan,][log222nbban例13.已知函数21()2fxx,定义数列{}nx:10x,1()nnxfx,*nN,若10(2,3,4,)2kxk,证明:对任意*mN都有:1134mkkkxx.分析:利用递推式构造关于1kkxx的不等式,利用“绝对值不等式”把mkkxx放缩为和数列的形式证明:由10x得212x,349x,当2k时,102kx,∴22112222111122(2)(2)kkkkkkkkxxxxxxxx114kkkkxxxx14kkxx∴1143221323211232111()()4418kkkkkkkkkkkkxxxxxxxxxxxxxxxxxx对*mN,1121()()()mkkmkmkmkmkkkxxxxxxxx1121mkmkmkmkkkxxxxxx342111118444mkmkk