XXXXXX大学
毕业论文
题目：浅谈中学几种常用证明不等式的方法（外文）：On the method commonly used in Middle School to prove inequality 院（系）：数学与计算机科学学院
专业：数学与应用数学
学生姓名：
学号：
指导教师：
2013年3月20日
目录
1引言 (1)
2放缩法证明不等式 (1)
2.1放缩法 (1)
2.2（改变分子分母）放缩法 (1)
2.3拆补放缩法 (2)
2.4编组放缩法 (3)
2.5寻找“中介量”放缩法 (4)
3反正法证明不等式 (4)
3.1反证法定义 (4)
3.2反证法步骤 (5)
4．换元法证明不等式 (6)
4.1利用对称性换元，化繁为简 (6)
4.2三角换元法 (7)
4.3和差换元法 (8)
4.4分式换元法 (8)
5．综合法证明不等式 (9)
5.1综合法证明不等式的依据 (9)
5.2用综合法证明不等式的应用 (9)
5.3综合法与比较法的内在联系 (10)
6.分析法 (11)
6.1分析法的定义 (11)
6.2分析法证明不等式的方法与步骤 (11)
6.3分析法证明不等式的应用 (11)
7．构造法证明不等式 (13)
7.1构造函数模型 (13)
7.2构造数列模型 (14)
8．数学归纳法证明不等式 (15)
8.1分析综合法 (16)
8.2放缩法 (16)
8.3递推法 (17)
9.判别式法证明不等式 (17)
10.导数法证明不等式 (18)
10.1利用函数的单调性证明不等式 (18)
9.2利用极值（或最值） (20)
11比较法证明不等式 (20)
11.1差值比较法 (20)
11.2商值比较法 (21)
11.3比较法的应用范围 (22)
12结束语： (22)
参考文献 (22)
浅谈中学常用几种证明不等式的方法
摘要：中学数学有关不等式的证明的题型多变，技巧性很强，同时它也没有固定的程序加以规定。因而 他是中学数学考试的难点。不等式的证明的方法很多。本文将列举出中学数学常用的几种方法：放缩法、 反正法、换元法、分析法、综合法、构造法、数学归纳法、判别式法、导数法、比较法。
关键词：不等式 证明方法 1引言
不等式，渗透在中学数学各个分支中。而不等式的证明在不等式中占有极其重要的地位。不等式的证明的方法是中学数学的重要知识，也成为了中学数学考试的热点问题。本文针对以上的情况，提出了中学几种常见的不等式的证明方法来和大家一起分享，希望不仅能够对我们今后碰到类似的问题起到指导的作用，而且还能够培养分析和解决问题的能力。
2放缩法证明不等式
2.1放缩法
放缩法的定义：在不等式的证明中，有时可把不等式中的某些项或因式换成数字较大或较小的数或式，以达到证明的目的，这种证明方法称为放缩法。
放缩法的形式：欲证A ≥B ，可通过适当放大或缩小，借助一个或多个中间量，
使得 ,,,211A B B B B B i ≤??????≤≤,,211B A A A A A i ≥??????≥≥，，或再利用传递性，达
到欲证的目的。
2.2（改变分子分母）放缩法
在不等式有分式时，长放大或缩小分式的分子或分母，从而达到“以小代大”或“以大代小”的目的。
例1：求一切3)11(,<+∈n n
N n 证明：n
n n n n n n C n C n C n 1111)11(221++++=+ =n
n n n n n n n n n n !!!3)2)(1(2)1(232++--+-+ ！ n n
1!31!212++++< 122
121212-++++ 11210-++++n 21121 11-- +=n 321 31<-=-n ∴)(3)11(N n n n ∈<+ 2.3拆补放缩法 在证有些不等式的时候，常将其中某些项拆开和或合并以完成证明。 例2：求证：)7(113121 >+>++n n n 证明：k k k 21>++ ∴12 1 ++>k k k ∴12 432 322 1 41 31 21 +++++++>+++n n n 2211)21(2-+++=-+=n n n 2211)21(2-+++=-+=n n n 02217>-+?>n n ∴11 31 21 +>++n n 2.4编组放缩法 证明不等式有时把某项拆开，重新编组，利用基本不等式完成证明。 例3：求证:)1,()1(141312111>∈+>+++++n N n n n n n n . 证明：左)11()311()211()11(n ++++++++= n n 14534232++++++= n n n n 14534232+???> n n n 1 )1(+= ∴n n n n n 1 )1(14131211+>+++++ 2.5寻找“中介量”放缩法 当两式难以比较大小时，可寻找“中介量”牵线搭桥，利用不等式的传递性完成证明。 例4：求证：19 log 319log 219log 1log 1log 123552++>+ππ 证明： 10log 5log 2log log 1log 152πππππ=+=+ 2log 2=>ππ )895(log 2log 3log 5log 19log 319log 219log 11931921919235??=++=++ 2360log 19<= ∴19 log 319log 219log 1log 1log 123552++>+ππ 小结:放缩法是不等式证明中常见的变形方法之一，具有较高的技巧性。放缩 必须有目标，而且要恰到好处，需要细心观察，目标往往要从证明的结论中寻 找。 3反正法证明不等式 3.1反证法定义 “证明某个命题时，先假设它的结论的否定成立，然后从这个假设出发，根据命题的条件和已知的真命题，经过推理，得出与已知事实（条件、公理、定义、 定理、法则、公式等）相矛盾的结果．这样，就证明了结论的否定不成立，从而间接地肯定了原命题的结论成立”.这种证明的方法，叫做反证法． 3.2反证法步骤 1、假设命题的结论不成立； 2、从这个结论出发，经过推理论证，得出矛盾； 3、由矛盾判定假设不正确，从而肯定命题的结论正确，即：提出假设——推出矛盾——肯定结论． 例5：已知：c b a ,,都是小于1的正数；求证：a c a b b a )1(,)1(,)1(---中至少有一个不大于4 1。 分析 ：采用反证法证明．其证明思路是否定结论从而导出与已知或定理的矛盾从而证明假设不成立，而原命题成立．对题中“至少有一个不大于 41”的否命题是“全都大于4 1”。 证明：假设41)1(,41)1(,41)1(>->-> -a c c b b a c b a ,, 都是小于1的正数 ∴ 2 1)1(,21)1(,21)1>->->-a c c b b a （ ∴23)1()1()1> -+-+-a c c b b a （ 又 212121)1()1()1a c c b b a a c c b b a +-++-++-≤ -+-+-（ = 23 故与上式矛盾，假设不成立，原命题正确 说明： 反证法是利用互为逆否命题具有等价性的思想进行推证的．反证法必须罗列各种与原命题相异的结论，缺少任何一种可能，则反证都是不完全的，遇到“至少”、“至多”、“唯一”等字句的命题常用反证法． 例6：若2,0,033=+>>q p q p ，求证：2≤+q p 证明：假设2>+q p ，则8)(3>+q p ，即8)(333>+++q p pq q p 。 因为233=+q p ，所以2)(>+q p pq 故2)(>+q p pq 33q p +=))((22q pq p q p +-+= 又,0,0>>q p 即0>+q p 所以>pq )(22q pq p +- 故0)(2<-q p 与假设不成立，原命题正确。 总结：反证法是根据“正难则反”的原理，即如果正面证明有困难时，或者直接证明需要分多种情况而反面只有一种情况时，可以考虑用反证法。反证法不仅在几何中有着广泛的应用，而且在代数中也经常出现。用反证法证明不等式就是最好的应用 4．换元法证明不等式 4.1利用对称性换元，化繁为简 例7:设,,,+∈R c b a 求证:()()()c b a b a c a c b abc -+?-+?-+≥. 分析:把c b a ,,中的两个互换,不等式不变,所以这是一个对称不等式,令 =-+=y a c b x ,,b a c -+,c b a z -+=则原不等式等价于： ()()()xyz x z z y y x 8≥+?+?+. 证明:令c b a z b a c y a c b x -+=-+=-+=,,,则 ()z y a +=21,(),21z x b +=()y x c +=2 1. ,,,+∈R c b a 0<∴xyz 当时,有()()()xyz x z z y y x 8≥+?+?+； 当0>xyz 时,有+∈R z y x ,,(否则z y x ,,中必有两个不为正值,不妨设0≤x , 0≤y ,则0≤c ,这与0>c 矛盾), 因此 02>≥+xy y x ,,02>≥+yz z y ,02>≥+zx x z ()()()xyz x z z y y x 8≥+?+?+, 综上所述,()()()xyz x z z y y x 8≥+?+?+ 把z y x ,,代入上式得: ()()()c b a b a c a c b abc -+?-+?-+≥ 4.2三角换元法 三角换元法的基本思想是根据已知条件，引进新的变量---三角函数，把一个复杂的不等式问题转化为三角不等式的问题，再利用三角函数的性质及三角恒等式去证明，从而使不等式得证。 例8：已知122≤+y x ，求证2222≤-+y xy x 分析：由已知122≤+y x ，令?α?αsin ,cos ==y x ，则1≤a 证明：令?α?αsin ,cos ==y x ，1≤a 2222≤-+y xy x ??α?α?αsin cos 2sin cos 2222+-= 22)42sin(22sin 2cos 222≤≤+?=+=απ ???a a 说明:换元法是将较为复杂的不等式利用等价转换的思想转换成易证明的不等式．常用的换元法有(1)若1≤x ，可设αsin =x ，R ∈α； (2)若122=+y x ，可设ααcos ,sin ==y x ； (3)若122≤+y x ，可设?α?αsin ,cos ==y x ，1≤a 。 4.3和差换元法 在题中有两个变量y x ,，可设b a y b a x -=+=,，这称为和差换元法，换元后有可能简化代数式。 例9:对任意实数b a ,，求证：2 2226 63322b a b a b a b a +≤+?+?+ 分析：对于任意实数a 与b ，都有22,22b a b a b b a b a a --+=-++= 。令 2 ,2b a t b a s -=+=，则有t s b t s a -=+=,。 证明：设t s b t s a -=+=,， 下面只须证： 64224623221515)3)((t t s t s s st s t s s +++≤++ ∵不等式右边—不等式左边=0121164224≥++t t s t s ∴64224623221515)3)((t t s t s s st s t s s +++≤++ 即2 2226 63322b a b a b a b a +≤+?+?+ 说明：利用“和差换元”可以简证难度较大的不等式. 4.4分式换元法 例10：已知 9)11)(11(,1,,≥++=+∈+b a b a R b a 求证：且 分析：本题的证明方法很多，下面我们利用分式换元来进行证明 证明：设0,0,,>>+=+=y x y x y b y x x a 且 )(25) 2)(2() 1)(1() 11)(11(y x x y y x x y y y x x y x b a ++=++=++++=++ 9)11)(11(≥++b a 当且仅当时等号成立即2 1,===b a y x x y 说明：不等式的证明中，我们知道证明不等式时，可以利用分式换元，使其分式结构变得简单，分母变为单项式，然后把逐项分离，便于利用均值不等式。 5．综合法证明不等式 5.1综合法证明不等式的依据 （1）已知条件和不等式性质； （2）基本不等式： “＝”号）． 5.2用综合法证明不等式的应用 例11：已知c b a ,,是不全等的正数，求证： abc b a c a c b c b a 6)()()(222222>+++++． 分析：观察题目，我们很容易想到利用性质ab b a 222≥+． 证明：bc c b 222≥+ ，0>a ∴abc c b a 2)(22≥+ ① 同理可得：abc c a b 2)(22≥+ ② abc b a c 2)(22≥+ ③ c b a ,,是不全等的正数， ∴①，②, ③至少有一个不等式不能取等号 ∴①+②+③?abc b a c a c b c b a 6)()()(222222>+++++ 5.3综合法与比较法的内在联系 由于作为综合法证明依据的不等式本身是可以根据不等式的意义、性质或比较法证出的，所以用综合法可以获证的不等式往往可以直接根据不等式的意义、性质或比较法来证明；摆在我们面前的问题恐怕是方法的选择．方法选择不当，不是证不出来就是难度加大；方法合理使用，会使题目难度大大下降．因此我们不要学过某种方法就抱定不放，要善于观察，根据题目的特征选择证题方法。 6.分析法 6.1分析法的定义 从求证的不等式出发，分析使这个不等式成立的充分条件，把证明不等式转化为判定这些充分条件是否具备的问题。如果能够肯定这些充分条件都已具备，那么就可以断定原不等式成立，这种证明方法叫做分析法。 6.2分析法证明不等式的方法与步骤 用分析法论证“若A 则B ”这个命题的格式是： 欲证命题B 为真， 只需证命题B1为真， 只需证命题B2为真， …… 只需证命题Bn 为真， 只需证命题A 为真， 令已知命题A 为真， 故命题B 为真。 6.3分析法证明不等式的应用 例12：若b c a c >>>,0，求证：ab c c a ab c c -+<<--22 分析： 采用分析法证明． 证明：ab c c a ab c c -+<<--22 ab c c a ab c -<-<--?22 c b a ac ab a ab c c ac a ab c c a ab c c a 222)(2222222<+?<+?-<+-?-<-?-<-? b c a c >>>,0 ∴b a c +>2 ∴原不等式成立。 说明：从这道题目我们不难看出“分析法”的证明格式，是用“?”符号，不断用充分条件代替前面的不等式 6.4综合法与分析法的综合应用 条件和结论之间的关系比较复杂,根据既定法则和事实条件,由因导果,一直推究下去,有时会在中途迷失方向,使解题无法进行下去.在这种情况下,可以同时运用综合法与分析法的解题方法,执行. 例13： 若c b a ，,是不全相等的正数，求证 c b a a c c b b a lg lg lg 2 lg 2lg 2lg ++>+++++。 分析：利用对数的性质，所要证的不等式等价于 abc a c c b b a lg )2 22lg(>+?+?+，所以只要证abc a c c b b a >+?+?+2 22，于是我们可以利用不等式的性质：ab b a 22 ≥+即可得证。 证明：c b a a c c b b a lg lg lg 2 lg 2lg 2lg ++>+++++ ?abc a c c b b a lg )222lg( >+?+?+ ?abc a c c b b a >+?+?+2 22 0,0,>>>c b o a ∴ab b a ≥+2，bc c b ≥+2 ，ac a c ≥+2 ，且这三个不等式的等号不能同时成立（它们是3个不全等的正数） ∴abc a c c b b a >+?+?+2 22 ∴c b a a c c b b a lg lg lg 2lg 2lg 2lg ++>+++++ 说明：分析法和综合法是对立统一的两个方面．在这道题目中，前面是分析法，后面是综合法，两种方法结合使用，使问题较易解决．分析法的证明过程恰恰是综合法的分析、思考过程，综合法的证明方法是分析思考过程的逆推。 7．构造法证明不等式 构造法作为一种数学思维方法，在解题过程中通过观察分析给出式和欲证式，充分挖掘题目的隐含信息，并进行联想与思考，恰当地构造出一个与题目相关的数学模型，将欲证的问题转化到我们所熟悉的情景之中，从而达到证题的目的，这是构造法证题的解题模式。本文以证明不等式为例，介绍几种常见的构造法。 7.1构造函数模型 我们常常利用一次函数的线性性质、二次函数的最值以及函数的单调性等性质证明某些不等式问题。在证明不等式时，抓住不等式与函数的密切关系，以问 题的结构特征为起点，构造相应函数，从函数的思想和方法来解决问题。 例14：已知: ,11<<-a ,11<<-b 11<<-c 求证: 1->++ac bc ab 证明: 构造函数bc x c b x f ++=)()( )11(<<-x ,此图象为一条直线. ∵1)1)(1()1(-++=++=c b bc c b f 01>+b 01>+c ∴1)1(->f 1)1)(1()1(---=+-=-c b bc c b f 又01,01>->-c b ∴1)1(->-f ∴1)()(->++=bc a c b a f 例15:已知y x ,都是正数,1=+y x ；求证 ()51)1(2 922<+++≤y x 证明: 22)1()1()(+++=y x x u 设 522)(1,102+-=∴-=< y x 在(0,1)上的值域为.5,29?????? 所以, ()51)1(2922<+++≤y x . 7.2构造数列模型 对于某些自然数的不等式问题，与数列有着密切的联系，这时可构造有关数列模型，利用其单调性解决。 例16： 求证：.11 312111>++???++++n n n 证明: 构造数列模型,11312111-++???++++= n n n a n 则有1 12313314311+-+++++=-+n n n n a a n n 3 31231431+-+++=n n n 0) 43)(33)(23(2>+++=n n n ，所以数列}{n a 为递增数列。 又因为012 114131211>=-++= a ，故)(0+∈>N n a n 其中 即原不等式得证。 总结：欲证含有与自然数n 有关的和的不等式)()(n g n f >，可以构造函数模型)()(n g n f a n -=，只需证明数列}{n a 是单调递增，且01>a 。另外，本题也可以用数学归纳法证明，但是构造数列模型证明简洁。 8．数学归纳法证明不等式 说明数学归纳法是一种证明与正整数有关的数学命题的重要方法。主要有 两个步骤一个结论： （1） 证明当n 取0n （如0n =1或2等）时结论正确 （2） 假设n=k （k 0,n k N ≥∈+且）时结论正确，证明n=k+1时结论也正确 由（1）、（2）得出结论正确。因此，熟悉归纳步骤的证明方法是十分重要的其实归纳步骤可以看作是一个独立的证明问题，归纳假设“P （k ）成立”是问题的条件而“命题P （k+1）成立”就是所要证明的结论，因此，合理运用归纳假设这一条件就成了归纳步骤中的关键，下面简要分析用数学归纳法证明不等式常涉及的方法。 8.1分析综合法 例17：求证：+∈<++ +?+?N n n n n ,)1(1321211 证明：（1）当，所以原不等式成立。时，因为121211 1<=?=n （2）假设时，原不等式成立，),1(+∈≥=N k k k n 即有：k k k <+++?+ ?)1(1321211 1+=k n 时：)2)(1(1 )2)(1(1)1(1321 211+++<++++++?+?k k k k k k k 因此，要证明当1+=k n 时，原不等式成立， 只要证明1) 2)(1(1 +<+++k k k k 成立 即证明23111 )2)(1(112++>++?++>-+k k k k k k k k 也就是证明k k k k ++>++1232 即[]01)1()1(21)1()23(2 2222>-+= +-++=++-++k k k k k k k k k k 从而k k k k ++>++1232 于是当1+=k n 时，原不等式也成立。 由（1）、（2）可知，对于任意的正整数n ，原不等式都成立。 8.2放缩法 例18：求证：)(22 1312111+-∈>++++ N n n n 证明：（1）当1=n 时，211>，不等式成立。 （2）假设22 131211),1(1k N k k k n k >++++∈≥=-+ 时不等式成立，即 当1+=k n 时 212 12221213121111+=?+>++++++--k k k k k k 所以当1+=k n 时，不等式成立 由（1）、（2）可知，)(221312111+-∈>++++ N n n n 8.3递推法