数列不等式证明的放缩法论述.docx

《数理化解题研究》 2016年01期 【所属期刊栏目】 高考命题导向与研究_数学篇 第 PAGE \* MERGEFORMAT 13页 数列不等式证明的放缩法 侯胜哲 （华南师范大学数学科学学院，广州） 数列不等式证明是部分省份高考中重要的题型。随着课程改革，全国新课标卷也在数列大题中涉及数列不等式证明。证明数列不等式常常需要考虑用“放缩”的方法解决问题，这成了许多学生难以攻克且必须攻克的知识点。说其难攻克，主要难在类型杂、技巧性高，且思想性强。说这种方法必须攻克，因为数学归纳法不是万能，其它方法技巧性要求更高。要想比较快速且有把握地解决这种数列不等式证明题，还要掌握本文介绍“放缩”的方法。 要想掌握“放缩”的方法，需要积累常见的放缩模型，并形成套路。另外还得理解放缩的基本思想：“放大了就要放回来”。这样，在解答此类问题时就会既有素材，???能易于见招拆招，在考试中才能胸有成竹。下面笔者将针对放缩法做比较全面、系统的归纳，希望对学生的学习和老师的教学研究有所帮助。 一、裂项型放缩 （一）基础贮备：标准的可裂项求和形式（常用） （1）通项为，求其前项和时，用裂项相消得，继而得。 （2）通项为，继而得。 （3），其形式相当于（其中是纵截距为0的等差数列），继而得。 我们发现，若将题目改为，虽也可裂项，得，但无法相加相消。于是我提出一个问题：对于这种形式，怎样的裂项才可相消？ 经探究，发现：当是的公差的整数倍时，才可以裂项且相消（注：对于，我们经过放缩后可以裂项且求和时可以相消，详情见下文）。 （4）通项为，其形式相当于（其中是纵截距为0的等差数列），继而得。 我们发现也可以将裂项为，但是无用，相邻无法相消，无法求。 于是提出一个问题：对于这种形式，怎样的裂项才可求和时相消？ 经探究，我发现当是的公差的整数倍时可以裂项且相消，而形式是是不行的。 （5）当通项为时，可以这样变形：，其符合上述类型（4），继而可求（注：后续发现用下面“等比型”的方法也可做出来，且更为简便，所以除此例外，如果“等比型”也能做且更为简便，作者就不在此类型举例了）。 （6）（注：实际上其形式可以写成，即，是的公差1的整数倍，所以原式是可以裂项且相消）。 （7）， 。 （8）。 （9），变形为，裂项得。（若，则 ，凑出，）。 （10），由公式 ，利用此公式，可计算出 。 （11），即求，利用， =。 （12）通项为，分母有理化，得， 裂项，相加、相消可得。 （二）裂项型“放缩”概述 真实的考试中，要证明数列不等式时，出题者往往不会直接给出以上的标准可裂项的形式，求得，再证明出数列不等式。而需要解题者进行放缩变形，再根据以上的标准可裂项的形式来解决问题。 下面是几个常见的需要经放缩变形为标准可裂项的模型（放缩的思路是：化到可裂项形式）。 （1）当通项为时，可以这样变形。与均是可裂项型，继而得，继而得 。 （2）当通项为时，可以这样变形：或，再利用（1）。 （3）当通项为时，是我们之前提到的“可裂项但无法相消”型，对照上面的类型。我们发现，并不是的公差2的整数倍，所以我们的思路是：通过放缩，使新的符合公差的整数倍的要求。 可以这样放缩：。 注：类似，当时，可以放大为 （4）通项为时，其形式属于 ，是公差不等的等差数列且纵截距均为0，想到使其公差相等就行，所以分子分母同乘2，得，结合（3），得到，继而转化为可裂项求和的形式。 （5），继而转化为可裂项求和的形式。 （6），继而转化为可裂项求和的形式。 还可以这样放大： 。 （7） 。。 （8）。 （9）。 （10）其他的形式，如，可参考基本类型（8），请读者自行思考，灵活变形，其思路就是经放大或缩小，靠向标准的可裂项形式。 （三）裂项型放缩举例 例1：（2014广东高考文）设各项均为正数的数列的前项和为，且满足，。 （1） 求的值； （2）求数列的通项公式； （3）求证：对一切正整数，有。 证明：（1），（2）。 （3）要证对一切正整数有， 即证。 因为，所以可变为证明，但是无法相消，要使其间隔为2才行。所以做以下放缩：， 而，因而 。 此时，发现放大了，题目要求原式小于，现证得小于。于是乎，我们要做一些修改，放过头了就要缩回来一些。 原来的做法是： 。 现在，保留第一项不变，将后面部分进行放缩： 。 接着往下做，原式 故得证。 证明上面题的思路是将原式放缩为标准的可裂项形式，接着裂项求和。如果放大了，则保持前几项不放大，后面几项重新放缩。 例2：[1]（2012年佛山高三第二次调研考试试题）已知，设点到直线：的距离为，证明：，都有不等式成立。 证明：由点到直线：的距离为得： 。 现在看能否去绝对值。 对通分看是否大于0。 即证，即证。 由于， 故。下求： 。 注意到，所以