典型例题一例1 若10<<x ，证明)1(log )1(log x x a a +>-（0>a 且1≠a ）．分析1 用作差法来证明．需分为1>a 和10<<a 两种情况，去掉绝对值符号，然后比较法证明．解法1 （1）当1>a 时，因为 11,110>+<-<x x ， 所以 )1(log )1(log x x a a +-- )1(log )1(log x x a a +---=0)1(log 2>--=x a ．（2）当10<<a 时， 因为 11,110>+<-<x x 所以 )1(log )1(log x x a a +-- )1(log )1(log x x a a ++-=0)1(log 2>-=x a ．综合（1）（2）知)1(log )1(log x x a a +>-．分析2 直接作差，然后用对数的性质来去绝对值符号． 解法2 作差比较法．因为 )1(log )1(log x x a a +-- ax a x lg )1lg(lg )1lg(+--=[])1lg()1lg(lg 1x x a+--=[])1lg()1lg(lg 1x x a+---=0)1lg(lg 12>--=x a， 所以)1(log )1(log x x a a +>-．说明：解法一用分类相当于增设了已知条件，便于在变形中脱去绝对值符号；解法二用对数性质（换底公式）也能达到同样的目的，且不必分而治之，其解法自然简捷、明快．典型例题二例2 设0>>b a ，求证：.ab ba b a b a >分析：发现作差后变形、判断符号较为困难．考虑到两边都是正数，可以作商，判断比值与1的大小关系，从而证明不等式．证明：b a a b ba ab b a b a b aba b a ---=⋅=)( ∵0>>b a ，∴.0,1>->b a ba∴1)(>-ba b a . ∴a b b a ba b a .1> 又∵0>abb a ， ∴.ab ba b a b a >.说明：本题考查不等式的证明方法——比较法(作商比较法).作商比较法证明不等式的步骤是：判断符号、作商、变形、判断与1的大小.典型例题三例3 对于任意实数a 、b ，求证444()22a b a b ++≥（当且仅当a b =时取等号） 分析 这个题若使用比较法来证明，将会很麻烦，因为，所要证明的不等式中有4()2a b +，展开后很复杂。

若使用综合法，从重要不等式：222a b ab +≥出发，再恰当地利用不等式的有关性质及“配方”的技巧可得到证明。

证明：∵ 222a b ab +≥（当且仅当22a b =时取等号） 两边同加4444222():2()()a b a b a b ++≥+，即：44222()22a b a b ++≥ （1） 又：∵ 222a b ab +≥（当且仅当a b =时取等号） 两边同加22222():2()()a b a b a b ++≥+∴222()22a b a b ++≥ ∴ 2224()()22a b a b ++≥ （2） 由（1）和（2）可得444()22a b a b ++≥（当且仅当a b =时取等号）． 说明：此题参考用综合法证明不等式．综合法证明不等式主要是应用均值不等式来证明，要注意均值不等式的变形应用，一般式子中出现有平方和乘积形式后可以考虑用综合法来解．典型例题四例4 已知a 、b 、c R +∈，1a b c ++=，求证1119.a b c ++≥ 分析 显然这个题用比较法是不易证出的。

若把111a b c++通分，则会把不等式变得较复杂而不易得到证明．由于右边是一个常数，故可考虑把左边的式子变为具有“倒数”特征的形式，比如b aa b+，再利用“均值定理”就有可能找到正确的证明途径，这也常称为“凑倒数”的技巧．证明：∵1a b c ++=∴ 111a b c ++a b c a b c a b c a b c++++++=++ (1)(1)(1)b c a c a ba ab bc c =++++++++3()()()b a c a c ba b a c b c=++++++∵2b a a b +≥=，同理：2c a a c+≥，2c bb c +≥。

∴11132229.a b c++≥+++= 说明：此题考查了变形应用综合法证明不等式．题目中用到了“凑倒数”，这种技巧在很多不等式证明中都可应用，但有时要首先对代数式进行适当变形，以期达到可以“凑倒数”的目的．典型例题五例５ 已知c b a >>，求证：ac c b b a -+-+-111＞0. 分析：此题直接入手不容易，考虑用分析法来证明，由于分析法的过程可以用综合法来书写，所以此题用两种方法来书写证明过程.证明一：(分析法书写过程)为了证明ac c b b a -+-+-111＞0 只需要证明c b b a -+-11＞ca -1∵c b a >>∴0,0>->->-c b b a c a∴c b c a b a ---1,11φ＞0 ∴c b b a -+-11＞c a -1成立 ∴ac c b b a -+-+-111＞0成立 证明二：(综合法书写过程)∵c b a >> ∴0,0>->->-c b b a c a∴b a -1＞c a -1 c b -1＞0 ∴c b b a -+-11＞c a -1成立 ∴ac c b b a -+-+-111＞0成立 说明：学会分析法入手，综合法书写证明过程，但有时这两种方法经常混在一起应用，混合应用时，应用语言叙述清楚.典型例题六例6 若0,0a b >>，且2c a b >+，求证：22.c c ab a c c ab --<<+-分析 这个不等式从形式上不易看出其规律性，与我们掌握的定理和重要的结论也没有什么直接的联系，所以可以采用分析的方法来寻找证明途径．但用“分析”法证不等式，要有严格的格式，即每一步推出的都是上一步的充分条件，直到推出的条件是明显成立的（已知条件或某些定理等）．证明：为要证22.c c ab a c c ab -<<- 只需证22c ab a c c ab --<-<- 即证2a c c ab -<-也就是22()a c c ab -<-，即证22a ac ab -<-， 即证2()ac a a b >+， ∵0,2,0a c a b b >>+>， ∴2a bc ab +>≥，故2c ab >即有20c ab ->， 又 由2c a b >+可得2()ac a a b >+成立，∴ 所求不等式22c c ab a c c ab --<<+-成立．说明：此题考查了用分析法证明不等式．在题目中分析法和综合法是综合运用的，要注意在书写时，分析法的书写过程应该是：“欲证……需证……”，综合法的书写过程是：“因为（∵）……所以（∴）……”，即使在一个题目中是边分析边说明也应该注意不要弄混．典型例题七例7 若233=+b a ，求证2≤+b a ．分析：本题结论的反面比原结论更具体、更简、宜用反证法．证法一：假设2>+b a ，则)(2))((222233b ab a b ab a b a b a +->+-+=+，而233=+b a ，故1)(22<+-b ab a ．∴ab b a ab 2122≥+>+．从而1<ab ， ∴2122<+<+ab b a ．∴4222)(222<+<++=+ab ab b a b a ． ∴2<+b a ．这与假设矛盾，故2≤+b a ．证法二：假设2>+b a ，则b a ->2，故3333)2(2b b b a +->+=，即261282b b +->，即0)1(2<-b ， 这不可能．从而2≤+b a ．证法三：假设2>+b a ，则8)(3)(333>+++=+b a ab b a b a ． 由233=+b a ，得6)(3>+b a ab ，故2)(>+b a ab ． 又2))((2233=+-+=+b ab a b a b a ，∴))(()(22b ab a b a b a ab +-+>+． ∴ab b ab a <+-22，即0)(2<-b a ．这不可能，故2≤+b a ．说明：本题三种方法均采用反证法，有的推至与已知矛盾，有的推至与已知事实矛盾． 一般说来，结论中出现“至少”“至多”“唯一”等字句，或结论以否定语句出现，或结论肯定“过头”时，都可以考虑用反证法．典型例题八例8 设x 、y 为正数，求证33322y x y x +>+． 分析：用综合法证明比较困难，可试用分析法．证明：要证33322y x y x +>+，只需证233322)()(y x y x +>+， 即证6336642246233y y x x y y x y x x ++>+++，化简得334224233y x y x y x >+，0)323(2222>+-y xy x y x ． ∵0334422<⨯⨯-=∆y y ， ∴032322>+-y xy x ． ∴0)323(2222>+-y xy x y x ． ∴原不等式成立．说明：1．本题证明易出现以下错误证法：xy y x 222≥+，323233332y x y x ≥+，然后分(1)1>>y x ；(2)1<<y x ；(3)1>x 且10<<y ；(4)1>y 且10<<x 来讨论，结果无效．2．用分析法证明数学问题，要求相邻两步的关系是B A ⇐，前一步是后一步的必要条件，后一步是前一步的充分条件，当然相互为充要条件也可以．典型例题九例9 已知2122≤+≤y x ，求证32122≤+-≤y xy x ． 分析：联想三角函数知识，进行三角换元，然后利用三角函数的值域进行证明． 证明：从条件看，可用三角代换，但需要引入半径参数r ．∵2122≤+≤y x ，∴可设θ=cos r x ，θ=sin r y ，其中π≤θ≤≤≤2021，r ．∴)2sin 211(cos sin 22222θ-=θθ-=+-r r r y xy x ． 由232sin 21121≤θ-≤，故22223)2sin 211(21r r r ≤θ-≤． 而21212≥r ，3232≤r ，故32122≤+-≤y xy x ． 说明：1．三角代换是最常见的变量代换，当条件为222r y x =+或222r y x ≤+或12222=±b y a x 时，均可用三角代换．2．用换元法一定要注意新元的范围，否则所证不等式的变量和取值的变化会影响其结果的正确性．典型例题十例10 设n 是正整数，求证121211121<+++++≤n n n Λ． 分析：要求一个n 项分式nn n 212111+++++Λ的范围，它的和又求不出来，可以采用“化整为零”的方法，观察每一项的范围，再求整体的范围．证明：由),,2,1(2n k n k n n Λ=>+≥，得nk n n 1121<+≤．当1=k 时，n n n 11121<+≤；当2=k 时，n n n 12121<+≤…… 当n k =时，nn n n 1121<+≤．∴1212111221=<+++++≤=nn n n n n n Λ． 说明：1、用放缩法证明不等式，放缩要适应，否则会走入困境．例如证明4712111222<+++n Λ．由kk k 11112--<，如果从第3项开始放缩，正好可证明；如果从第2项放缩，可得小于2．当放缩方式不同，结果也在变化．2、放缩法一般包括：用缩小分母，扩大分子，分式值增大；缩小分子，扩大分母，分式值缩小；全量不少于部分；每一次缩小其和变小，但需大于所求，第一次扩大其和变大，但需小于所求，即不能放缩不够或放缩过头，同时放缩后便于求和．典型例题十一例11 已知0>>b a ，求证：bb a ab b a a b a 8)(28)(22-<-+<-． 分析：欲证不等式看起来较为“复杂”，宜将它化为较“简单”的形式，因而用分析法证明较好．证明：欲证b b a ab b a a b a 8)(28)(22-<-+<-， 只须证bb a ab b a a b a 4)(24)(22-<-+<-． 即要证2222)(2⎪⎪⎭⎫ ⎝⎛-<-<⎪⎪⎭⎫ ⎝⎛-b b a b a a b a ，即要证bb a b a ab a 22-<-<-．即要证bb a a b a 212+<<+，即要证bb a ab a +<<+2．即要证121+<<+ba ab ，即baa b <<1． 即要证baa b <<1 （*） ∵0>>b a ，∴（*）显然成立，故b b a ab b a a b a 8)(28)(22-<-+<- 说明：分析法证明不等式，实质上是寻求结论成立的一个充分条件．分析法通常采用“欲证——只要证——即证——已知”的格式．典型例题十二例12 如果x ，y ，z R ∈，求证：332332332888y x z x z y z y x z y x ++≥++．分析：注意到不等式左边各字母在项中的分布处于分离状态，而右边却结合在一起，因而要寻求一个熟知的不等式具有这种转换功能（保持两边项数相同），由0)()()(222≥-+-+-a c c b b a ，易得ca bc ab c b a ++≥++222，此式的外形特征符合要求，因此，我们用如下的结合法证明．证明：∵242424888)()()(z y x z y x ++=++444444x z x y y x ++≥222222222)()()(x z z y y x ++=222222222222y x x z x z z y z y y x ⋅+⋅+⋅≥222222)()()(y zx x yz z xy ++= z xy y zx y zx x yz x yz z xy 222222⋅+⋅+⋅≥ 332332332y x z x z y z y x ++=．∴332332332888y x z x z y z y x z y x ++≥++．说明：分析时也可以认为是连续应用基本不等式ab b a 222≥+而得到的．左右两边都是三项，实质上是ca bc ab c b a ++≥++222公式的连续使用．如果原题限定x ，y ，z +∈R ，则不等式可作如下变形：)111(333888z y x z y x z y x ++≥++进一步可得到：z y x yx z z x y z y x 111335335335++≥++．显然其证明过程仍然可套用原题的思路，但比原题要难，因为发现思路还要有一个转化的过程．典型例题十三例13 已知10<<a ，10<<b ，10<<c ，求证：在a c c b b a )1()1()1(---，，三数中，不可能都大于41． 分析：此命题的形式为否定式，宜采用反证法证明．假设命题不成立，则a c cb b a )1()1()1(---，，三数都大于41，从这个结论出发，进一步去导出矛盾．证明：假设a c c b b a )1()1()1(---，，三数都大于41，即41)1(>-b a ，41)1(>-c b ，41)1(>-a c ．又∵10<<a ，10<<b ，10<<c ，∴21)1(>-b a ，21)1(>-c b ，21)1(>-a c ．∴23)1()1()1(>-+-+-a c c b b a ①又∵21)1(b a b a +-≤-，21)1(c b c b +-≤-，21)1(ac a c +-≤-．以上三式相加，即得：23)1()1()1(≤⋅-+⋅-+⋅-a c c b b a ②显然①与②相矛盾，假设不成立，故命题获证． 说明：一般情况下，如果命题中有“至多”、“至少”、“都”等字样，通常情况下要用反证法，反证法的关键在于“归谬”，同时，在反证法的证明过程中，也贯穿了分析法和综合法的解题思想．典型例题十四例14 已知a 、b 、c 都是正数，求证：⎪⎭⎫⎝⎛-++≤⎪⎭⎫⎝⎛-+33322abc c b a ab b a ．分析：用分析法去找一找证题的突破口．要证原不等式，只需证332abc c ab -≤-，即只需证332abc ab c ≥+．把ab 2变为ab ab +，问题就解决了．或有分析法的途径，也很容易用综合法的形式写出证明过程．证法一：要证⎪⎭⎫⎝⎛-++≤-⎪⎭⎫ ⎝⎛+33322abc c b a ab b a ， 只需证332abc c b a ab b a -++≤-+，即332abc c ab -≤-，移项，得332abc ab c ≥+． 由a 、b 、c 为正数，得332abc ab ab c ab c ≥++=+． ∴原不等式成立．证法二：∵a 、b 、c 为正数，3333abc ab ab c ab ab c =⋅≥++∴．即332abc ab c ≥+，故332abc c ab -≤-．332abc c b a ab b a -++≤-+∴，⎪⎭⎫⎝⎛-++≤-⎪⎭⎫ ⎝⎛+∴33322abc c b a ab b a ． 说明：题中给出的2b a +，ab ，3c b a ++，3abc ，只因为a 、b 、c 都是正数，形式同算术平均数与几何平均数定理一样，不加分析就用算术平均数与几何平均数定理来求证，问题就不好解决了．原不等式中是用“不大于”连结，应该知道取等号的条件，本题当且仅当ab c =时取“＝”号．证明不等式不论采用何种方法，仅仅是一个手段或形式问题，我们必须掌握证题的关键．本题的关键是证明332abc ab c ≥+．典型例题十五例15 已知0>a ，0>b ，且1=-b a ．求证：1)1)(1(10<+-<bb a a a ． 分析：记)1)(1(10bb a a a M +-<=，欲证10<<M ，联想到正、余弦函数的值域，本题采用三角换元，借助三角函数的变换手段将很方便，由条件1=-b a ，+∈R b a 、可换元，围绕公式1tan sec 22=θ-θ来进行．证明：令θ=2sec a ，θ=2tan b ，且20π<θ<， 则)tan 1(tan )sec 1(sec sec 1)1)(1(12θ+θ⋅θ-θθ=+-bb a a a )sin cos cos sin ()cos cos 1(cos 2θθ+θθ⋅θ-θθ= θ=θθ⋅θθ⋅θ=sin cos sin 1cos sin cos 22 ∵20π<θ<，∴1sin 0<θ<，即1)1)(1(10<+-<bb a a a 成立． 说明：换元的思想随处可见，这里用的是三角代换法，这种代换如能将其几何意义挖掘出来，对代换实质的认识将会深刻得多，常用的换元法有：(1)若1≤x ，可设R x ∈αα=,sin ；(2)若122=+y x ，可设α=cos x ，α=sin y ，R ∈α；(3)若122≤+y x ，可设α=cos r x ，α=sin r y ，且1≤r ．典型例题十六例16 已知x 是不等于1的正数，n 是正整数，求证n n n n x x x ⋅>+++12)1)(1(． 分析：从求证的不等式看，左边是两项式的积，且各项均为正，右边有2的因子，因此可考虑使用均值不等式．证明：∵x 是不等于1的正数， ∴021>>+x x ， ∴n n n x x 2)1(>+． ① 又021>>+n n x x ． ②将式①，②两边分别相乘得n n n n n x x x x ⋅⋅>++22)1)(1(，∴n n n n x x x ⋅>+++12)1)(1(．说明：本题看起来很复杂，但根据题中特点，选择综合法求证非常顺利．由特点选方法是解题的关键，这里因为1≠x ，所以等号不成立，又因为①，②两个不等式两边均为正，所以可利用不等式的同向乘性证得结果．这也是今后解题中要注意的问题．典型例题十七例17 已知，x ，y ，z +∈R ，且1=++z y x ，求证3≤++z y x ．分析：从本题结构和特点看，使用比较法和综合法都难以奏效．为找出使不等式成立的充分条件不妨先用分析法一试，待思路清晰后，再决定证题方法．证明：要证3≤++z y x ，只需证3)(2≤+++++yz xz xy z y x ， 只需证1≤++yz xz xy ．∵x ，y ，z +∈R ， ∴xy y x 2≥+，xz z x 2≥+，yz z y 2≥+，∴)(2)(2yz xz xy z y x ++≥++， ∴1≤++yz xz xy 成立． ∴3≤++z y x ．说明：此题若一味地用分析法去做，难以得到结果．在题中得到只需证1≤++yz xz xy 后，思路已较清晰，这时改用综合法，是一种好的做法．通过此例可以看出，用分析法寻求不等式的证明途径时，有时还要与比较法、综合法等结合运用，决不可把某种方法看成是孤立的．典型例题十八例18 求证2131211222<++++n Λ． 分析：此题的难度在于，所求证不等式的左端有多项和且难以合并，右边只有一项．注意到这是一个严格不等式，为了左边的合并需要考查左边的式子是否有规律，这只需从21n下手考查即可．证明：∵)2(111)1(11112≥--=-<⋅=n nn n n n n n ， ∴ΛΛ+⎪⎭⎫ ⎝⎛-+⎪⎭⎫ ⎝⎛-+<++++312121111131211222n 212111<-=⎪⎭⎫ ⎝⎛--+n n n ． 说明：此题证明过程并不复杂，但思路难寻．本题所采用的方法也是解不等式时常用的一种方法，即放缩法．这类题目灵活多样，需要巧妙变形，问题才能化隐为显，这里变形的这一步极为关键．典型例题十九例19 在ABC ∆中，角A 、B 、C 的对边分别为a ，b ，c ，若B C A 2≤+，求证4442b c a ≤+．分析：因为涉及到三角形的边角关系，故可用正弦定理或余弦定理进行边角的转化． 证明：∵B B C A 2≤-π=+，∴21cos 3≤π≥B B ，． 由余弦定理得ac c a B ac c a b -+≥-+=22222cos 2∴ac b c a +≤+222，∴22222442)(c a c a c a -+=+=)2)(2(2222ac c a ac c a -+++])12([])12([22ac b ac b --⋅++≤22242c a b ac b -⋅+=44222)(b b b ac ≤+--=说明：三角形中最常使用的两个定理就是正弦和余弦定理，另外还有面积公式C ab S sin 21=．本题应用知识较为丰富，变形较多．这种综合、变形能力需要读者在平时解题时体会和总结，证明不等式的能力和直觉需要长期培养．。