轮换对称不等式的证明技巧

第一篇：轮换对称不等式的证明技巧

轮换对称不等式的证明技巧

轮换对称不等式的证明技巧

上海市宝山区教师进修学院王凤春

轮换对称不等式形式优美，证明技巧很多，但规律难寻。本文介绍利用基本不等式等号成立的条件凑项证明，只要领悟添项的技巧，这类不等式完全可以程式化证明，供参考。

一、凑项升幂法

例1 已知x,y,zR，且xyz1，求证：4x1

4y1

4z121

4x1

4y1

4z137

分析：由于当xyz证明：因为2

4z1

73

时，上述不等式的“=”成立，于是

4x1。

4x1，所以

4x1

(2x5)，同理

4y1(2y5)，(2z5)，上述三式相加，并将xyz1代入化简即得证。

二、凑项降幂法

例2 证明Cauchy不等式a12

a2an

(a1a2an)

n

2n

证明：设a1a2ana即

a1

2a2

2an

2，则ai

()n

a



2an



ai，所以ai

i1

n()

n

a



2an

n



i1

ai，

(a1a2an)

n

2。

三、凑项去分母法

例3 设x1,x2,,xn是正数，且x1x2xn1，求证：

x1

x1x2



x2

x2x3



xn1xn1xn



xn

xnx1



（1990年

题2）

证明：原不等式等价于

bc

a(bc)



ca

b(ca)

bc



ab

c(ab)



32bc

当a=b=c=1时等号成立，此时

ca

a(bc)14

a(bc)，所以，a(bc)



a(bc)bc，同理，b(ca)bc



b(ca)caca，ab

c(ab)12

c(ab)ab

32，上述三式相加并化简得

a(bc)



b(ca)



ab

c(ab)

(abbcca)

abbcca

例5 设角A、B、C满足cos求证：

sin

1Acos

9

2Bcos

C1

A

sin

B

sin

Asin

C

分析：原条件等价于sin2Asin2Bsin2C2，当sin2

1sin

BsinC

时等号成立，于是

A

9sin

A

3，sin

B

9sin

B

3，sin

C

9sin

C

3

上述三式相加并化简得证，证明略。

四、凑项平衡系数法

例6 设z>0，zxy，则x2分析：当x=y=证明：因为

x

x

y

z



(yzzxxy)。

z2

时等号成立。，6525

y

z2

()xz2z2

()yz，32

(x

y)3xy

①，将上述三式相加并化简得，y



z



(xzyz)

xy

②

65xy

z(xy)

(xzyz)

65xy

所以，x2即xy

y

z



z

(xzyz)

z

(yzzxxy)。

注：只有①式的系数凑成，②式中xy的系数才能是。

上述各种凑项方法不是相对独立的，可以交替使用，但凑项的关键是在求和时能利用已知条件，并能取到等号。

注：本文发表于《上海中学数学》2003年第6期

第二篇：关于对称不等式的证明

有关对称不等式的证明

四川省资阳中学黄学文

关于对称不等式（任意互换两个字母，不等式不变）的证明，常见的方法除了有比较法，分析法，综合法，反证法外，还可以运用构造法，轮换法等方法证明，下面举列说明。一构造法

1、构造函数

例1 设 0

1证明：构造函数f(x)= x(1-y)+y(1-z)+z(1-x)，整理，得f(x)=(1-y-z)x+(y+z-yz)因为0

(1)当0<1-y-z<1时，f(x)在(0,1)上是增函数，于是f(x)<1-yz<1；

(2)当-1<1-y-z<0 时，f(x)在(0,1)上是减函数，于是f(x)

(3)当1-y-z=0，即 y+z=1时，于是f(x)=y+z-yz=1-yz<1，所以原不等式成立。

2、构造向量

例2 正实数a、b、c，满足a+b+c=1，求

2证:13a13b3c6

223,23)

证明：设m=（23a,2

3b,3c), n=（22

3,222

则m·n=3(13a+3b+3c)

23a13b13c=

222

2·

33(abc)3a

222

2·

3

3(abc)

3=2

所以

3b

3c6

当且仅当a=b=c=3时，等号成立。构造复数

例3 设0

a(1b)

求证:ab++

(1a)b

+

(1a)(1b)



证明：构造复数Z1 =a+biZ2 =a+(1-b)iZ3 =(1-a)+biZ4=(1-a)+(1-b)i 用复数模的性质，得左边=z1+z2+z3+z4z1z2z3z4=22i=22 所以原不等式成立。

二轮换法

例4a、b、cR+,求证:证明：因为

12a

12b



212a

12b

12a

12b

12c



1ab



1bc12a

12b

1ca

2ab



1ab



2ab

所以

同理可得所以

12a



12b12b



12c12c



2bc1ab, 

12c

1

12a

1

2ca

bcca

abC

所以原不等式得证。

例5已知a、b、cR+，求证:abcab证明：设abc,则

abab

ba

ba

abcab

(abc)

aa-b=1 b

所以aabbabba

同理可得aabbbccb,ccaacaac三式相乘，得(aabbcc)2ab+cba+cca+b 从而得(aabbcc)3(abc)a+b+c所以原不等式成立。

三、换元法

x

例6 求证：yz



yzx



zxy



2(其中x、y、z均为正数)

证明：设y+z=2a、z+x=2b、x+y=2c, 则x=b+c-a、y=c+a-b、z=a+b-c 因为a、b、c>0,得左边=

bca2a



cab2b



abc2c

（b2a

a2b)（c2b

b2c)（a2cc2a)

32111

32

右边。所以原不等式得证。

例7 已知a、bR，且a+b=1求证:(a+2)2+(b+2)2

证明：设a=

12t, b=1

212

t(tR)

252

则(a+2)2+(b+2)2=(+t+2)2+(-t+2)2=(t+)2+(t-)2=2t2+

55252



252

当且仅当t=0时，等号成立。四放缩法

例8a、b是正实数，且a+b=1求证:a1



1b1



1ba1b



1ab1a



2abab1



1b132



证明: a1



所以原不等式得证。

第三篇：不等式证明常用技巧总结

不等式的证明

一、常用方法：

作差、作商法；分析、综合法；换元法；构造函数法；反证法；放缩法；归纳法；

（分析综合法）已知a0,b0,2cab,求证：cc2abacc2ab.二、不等式证明中常用技巧：

1(x1)的值域。1.加减常数

求函数yxx112.巧变常数

已知0x，求函数y＝x（1－2x）的最大值。

25x23x33.分离常数

已知x，求f(x)的最值。

22x44.巧用常数

若x,yR且满足

4161，求x＋y的最小值。xy11)的最小值。abc5.统一形式

已知a,b,cR，求(abc)(证：a2b2c2abbcac..6.轮换对称

若a,b,c是互不相等的实数，求7.重要不等式 ab0,求证：a21616

b(ab)8.逆向运用公式型已知a,bR,且ab1,求证：a11b2.22ab1111（提示：将a，b转换成1a，）1b然后运用公式ab22222如何巧用常数：

111.若a0,b0,且a2b1,则322.ab1112.已知a,b,cR,且abc1,求证：9.abc113.已知a,bR,且ab1,求证：119.ab1已知x,y,z均为正数，且xyz1，则x2y2z2.4.3 5.已知x,y,z均为正数，求证：abc3.bccaab2abcabcbcacab111bccaabbccaab11111911(abc)(bc)(ca)(ab）.bccaab2bccaab2不等式证明中的放缩法

11111.1.已知nN*，且n2，求证：2nn12n2.已知nN*，求证：1222332nn23.kk21kk222kkkk(k1)kkk1k(k1)(kk1)2(kk1)112(（）k2）.k(k1)k1k

3.设n∈N，求证：

(2)引进辅助式，设

比较两式的对应因式可知

第四篇：《不等式的证明技巧》专题讲座

《不等式的证明技巧》专题讲座

不等式的证明从初中到高中都是一个令学生头痛的一类数学问题。其实造成这一现象的本质是——在用基本不等式的性质时，放大与缩小的范围较难把握。这一“放大与缩小”的原理是基于小学奥数的“估值法”的应用关键。这时学过小学奥数的学生就有一点点优势了。

既然用不等式的性质证明的技巧性太强，那么换个思路，用其他驾轻就熟的方法不是可以避重就轻？所以我也不常用不等式的性质来证明不等式的题目。

证明不等式的常用方法：

1、二次函数。利用最值求解。

2、三角函数。利用正弦函数、余弦函数的有界性求解。

3、向量。利用向量:a·b＝| a|·|b |cosA,即a·b≥| a|·|b |cosA求解。

4、几何法。利用立体几何与平面几何知识求解。

方法不一而足。其本质是限制所要证明的代数式的范围。

例6 求证：

(2)若a＞b＞c＞0，d＞c，ac＞bd，则a+c＞b+d。解(1)因x+y+z=1，故可设

其中t1+t2+t3=0，于是

(2)因a＞b，d＞c，故可设a=b+t1，d=c+t2，其中t1＞0，t2＞

∴(a+c)-(b+d)=(a-b)-(d-c)=t1-t2＞0 ∴a+c＞b+d 注 ①用n个数的平均数与适当参数来表示这n个数的代换通常称为均值代换，如(1)中施行的代换。这种代换的特点是利用对称性可使运

数组，不能保证由上述代换而得到。如x=y=0，z=1就不存在对应的t值。②当a＞b时，令a=b+t(t＞0)，其中t是a用b表示时引进的增量。这种代换通常称为增量代换。它的特点是把条件中的不等关系转化为相等系，使得变形过程简化。例7 求证：

解(1)由a＞0，b＞0，a+2b=1，可设

则有

(2)因a＞b＞0，且(a-b)+b=a，故可设

这时，原不等式等价于

故只须证明

这个不等式显然成立。事实上，因为0＜cosθ＜1，0＜sinθ＜1又

故原不等式得证。

注 代数问题三角化，往往可充分利用三角函数的特有性质，使较为复杂的问题得以简化，从而获得简捷解法。

例8 求证：

(1)|a|＜1，|b|＜1，|c|＜1，则abc+2＞a+b+c；(2)ai，bi∈R(i=1，2，3)，且ai≠0，则(a1b1+a2b2+a3b3)2≤(a12+a22+a32+)(b12+b22+b32)当且仅当bi=λai时取等号。解(1)原不等式等价于(bc-1)a+(2-b-c)＞0 构造一次函数

f(x)=(bc-1)x+(2-b-c)(-1＜x＜1)则 f(-1)=(1-bc)+(1-b)+(1-c)＞0 f(1)=bc-1+2-b-c=(1-b)(1-c)＞0 于是，根据一次函数的单调性，f(x)在区间[-1，1]上恒大于0。而a∈(-1，1)，故f(a)＞0，即(bc-1)a-b-c+2＞0。所以

abc+2＞a+b+c(2)构造二次函数

f(x)=(a1x+b1)2+(a2x+b2)2+(a3x+b3)2

(当且仅当bi=λai，λ∈R时取等号)所以

注 函数思想是解决数学问题的重要思想，应用广泛。在不等式证明中，若能要据其结构特征，构造相应的函数，则可充分利用函数的性质，使问题简明。(2)中不等式及其证明可推广到一般情形：若ai，bi∈R(i∈1，2，„n)，且ai≠0，则

(a1b1+„+anbn)2≤(a12+„+an2)·(b12+„+bn2)这就是著名的柯西不等式。柯西不等式不仅应用广泛，而且它的证明方法，即构造二次函数并通过其判别式证明不等式的方法，堪称构造法的典范。

例9 设n∈N，求证：

解(1)采取逐项放缩的方法。由于

令1，2，„，n，则有

„„„„„„„„

依项相加，即得

(2)设

并引进辅助式

比较两式的对应因式可知

注 用放缩法证不等式，常通过拆项、分组、加强命题等方式进行。此法没有固定模式，关键在于放缩要适度。放得过宽或缩得太小，都会导致方法失效。

练习：

1、已知a＞0，b＞0，且a+b=1，求证：

当且仅当a=b时右边取等号。

2、已知2x+3y=1,求x2+y2的最大值。

用向量的方法是：构造向量（x,y）,(2,3)即可。以后有机会，继续这方面的探讨。

3、请教两道对称不等式的证明(1)a,b,c,d为正数,证明

(2)对实数a,b,c,证明

第五篇：不等式证明的技巧

欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

不等式证明的技巧

知识与方法

证明不等式的方法很多，技巧性强；如较低要求的，在所证不等式两端同乘以一个常数；1的代换；利用函数的单调性，等等。不等式证明的技巧，本人的理解有如下三个方面：

一．基本技巧

我认为不等式的证明的基本思想和技巧是通过“放大和缩小”的思想和方法，对两个数、两个量、两个式的值的大小关系的“确定”过程，这种大小关系的确定一般有比较法、分析法、综合法三种基本方法。二．构造法

1．构造重要不等式的结构，再利用相关的重要不等式来证明不等式。

2．构造函数，利用函数性质来证明不等式。

3．构造图形，利用几何知识来证明不等式。三．转化法

1．反证法

2．数学归纳法

3．变量代换法

4．从“特殊”到“一般”的转化方法

5．以“直”代“曲”的转化方法

6．“整体”与“部分”合理巧妙转化

范例选讲

例1 已知0x1，求证：|loga(1x)||loga(1x)|.分析 因所证不等式两端是同底的对数、单项式，故“作差比较”、“作商比较”均可以。

解（作差比较）

（1）当0a1时，因0x1，所以

|loga(1x)||loga(1x)|loga(1x)loga(1x)loga(1x2)0.（2）当a1时，因0x1，所以

|loga(1x)||loga(1x)|loga(1x)loga(1x)loga(1x2)0.综合以上可知，所证不等式成立。

（作商比较）

因0x1，所以|loga(1x)|0，|loga(1x)|0，嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

|loga(1x)|1|log(1x)(1x)|log(1x)(1x)log(1x)log(1x)(1x)1

|loga(1x)|1x

所以，|loga(1x)||loga(1x)|.评注

本题虽是一道很简单的不等式证明题，也显示出了证明不等式的技巧性：合理选择方法，可以回避讨论。例2 实数a1,a2,,an(n3)满足a1a2ann，且a1a2ann2.求证：max{a1,a2,a3,,an}2.分析 这是一道美国数学竞赛试题，直接证明比较困难，因此，可考虑运用反证法证明。

解

设a1,a2,,an中有i个非负数，记为x1,x2,,xi，有j个负数，记为

y1,y2,,yj(y1,y2,,yj0)，其中i0,j0，且ijn.不妨设max{a1,a2,a3,,an}2，即max{x1,x2,x3,,xi}2.因x1x2xiny1y2yi，又max{x1,x2,x3,,xi}2，y1,y2,,yj0.则2ix1x2xiny1y2yiijy1y2yj,所以ijy1y2yj.因为 x1x2xi(y1)2(y2)2(yj)2)n2,所以

x1x2xin2(y1y2yj).又因为 max{x1,x2,x3,,xi}2，y1,y2,,yj0，所以 4ix1x2xin2(y1y2yj)n2(ij)

2(ij)(ij)4ij.因 i0，故j1，且j0，则j0.所以a1,a2,,an都为非负数.即4na1a2ann2,因而n4，这与n3相矛盾，即假设不成立，所证结论：max{a1,a2,a3,,an}2成立.嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com ***22222222欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

评注

反证法的实质是从否定结论出发，通过逻辑推理，导出矛盾。运用“正难则反”的策略，是证明不等式中常见技巧。

例3 平面上给定一个由有限多条线段组成的集合，线段总长为1.证明：存在一条直线l，使得已给线段在l上的射影之和小于

2.分析 可将给定的线段排序，再通过中心对称构造一个周长为2的凸多边形。

解 证明：取一条不与已给线段垂直的直线作x轴，将所给线段按照斜率的大小排成一列：

非负的下角标则表示斜率非ln,ln1,,l1,,lm（其中负的下角标表示该线段的斜率为负，负）。经过平移可以将这些线段按照上面的次序一个接一个地首尾相连形成一条凸折线。设端点为A、B，AB中点为O。关于O作中心对称，产生一个凸多边形（包括退化为直线段），周长为2，每一条边与对应边平行（或共线）。

这个多边形的最小宽度，也就是各对平行边之间的最小距离，设为d，以O为圆心，d为直径的圆一定完全在多边形内，否则，设圆O与某条边li相交于X，那么X关于O的对称点X是圆O与对边li的交点，li与li的距离小于XX，即小于d，与d为最小宽度矛盾。

由于圆O的周长为d，所以d2，即d2，这是因为面积一定的闭曲线中，以圆的周长最小。

取直线l与距离最小的平行边垂直，则各已知线段在l上的射影之和不超过d，也就小于2.

评注 本题的解答过程中通过“排序----平移----中心对称”等方法上的处理使所给线段呈现一种简单有序的易于估算的状态，困难得以化解。这种通过对称、旋转等变换，以直代曲，将复杂的不等式化归为基本不等式是一种重要的技巧。

2例4 设ABC三边长为a,b,c，有不等式(bc)1bc(bc)2,------① 3a试证不等式①中的系数

分析 可将系数

1是最优的.311一般化，设系数为k，再证明k的取值范围是k.33ab2(ab)2

证明 在不等式①中，取ab，设(ab)kc

(ab)2(bc)2(ca)2k[bccaab(bc)2(ca)2(ab)2] abc2bc2k(bc)21k2(bc)[b()c],令ab，所以2(bc)2kbbk嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

又因在ABC中，三边长为a,b,c，取ab，显然有不等式2bc0,所以，要使0，注意到k为正数，则须是成立的，故k1k12，即k，但已证不等式①k31是不等式①的最优值.评注 将“特殊”向“一般”转化也是常见的技巧。

例5 设x,y,z(0,)，且xyz1，证明

x3y3z33

.（1998年第39届IMO预选试题）(1y)(1z)(1x)(1z)(1x)(1y)分析 可利用均值不等式构造三个同向不等式相加来进行证明，也可以将所证不等式进行等价转化。

证法一: 因x,y,z(0,)，所以

x31y1z3

x,①

(1y)(1z)884y31x1z3 4y,②

(1x)(1z)884z31x1y3z,③

(1x)(1y)884x3y3z3以上三式相加可得： (1y)(1z)(1x)(1z)(1x)(1y)

上述不等式都是在xyz1时取等号.所以，当且仅当xyz1时原不等式取等号.证法二: 原不等式等价于

xxyyzz34343433113133(xyz)(62x2y2z)(xyz)33xyz.48242443(x1)(y1)(z1).433

由于对任意正数a,b,c，有abc3abc，下面证明更强的不等式：

xxyyzz4343431[(x1)3(y1)3(z1)3]

④ 成立.4嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

设f(t)tt 则f(t) 431(t1)3，g(t)(t1)(4t23t1).41(t1)g(t)，且g(t)在(0,)上是严格递增函数，因为 41x4x3y4y3z4z3[(x1)3(y1)3(z1)3]f(x)f(y)f(z)

411(x1)g(x)(y1)g(y)(z1)g(z).444111

只需证明(x1)g(x)(y1)g(y)(z1)g(z)0即可.444

其证明如下：

假设xyz，则g(x)g(y)g(z)0.由xyz1，得x1，z1.因(x1)g(x)(x1)g(y)，(z1)g(y)(z1)g(z)，111(x1)g(x)(y1)g(y)(z1)g(z)44411

(xyz3)g(y)(33xyz3)g(y)0.44

所以

故原不等式成立.等号当且仅当xyz1时成立.评注

证法1利用均值不等式进行证明，显得简洁、清晰；证法2是将所证不等转化为更强的不等式，再进行证明。

例6

已知x,y,z(0,)，且xyz1，证明：xyyzzx

分析 因xyyzzx是关于x,y,z的轮换对称式。

证明 设xmax{x,y,z}，又因x,y,z(0,)，则xyyzzxxyxyzzxx(xyyzz)2222222222224成立的条件.2711z(zx)]x(xz)(2yz)221x(xz)(2yz)34]

[.232721不等式等号当且仅当x,y,z0或x0,y,z或

333312x,y0,z时成立.3 x[y(xz)

评注

对于“轮换对称式”，不能将其中的变量排序；有时只能找到一个最小字母作“弱”排序。

嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

例7

设a,b,c(0,)，且满足abc1，试证：

1113.a3(bc)b3(ca)c3(ab)2b2c2c2a2a2b23

分析 由已知条件abc1，可知所证不等式与等价.a(bc)b(ca)c(ab)2

故可运用“含参数基本不等式”来证明之.a22a2b.证明 由a(b)2ab（为参数），得b22

(bc)2

则有2bc2a(bc),①

a(bc)(ca)2 2ca2b(ca),②

b(ca)(ab)22ab2c(ab).③

c(ab)①+②+③，得

(bc)2(ca)2(ab)2 2(abbcca)22(abbcca)

a(bc)b(ca)c(ab)

2(abbcca)().④ 因abbcca33(abc)3，取21，代入④中，得 2(bc)2(ca)2(ab)213 23.a(bc)b(ca)c(ab)42评注

本题是先将所证不等式进行等价转化，再运用“含参数基本不等式”进行证明，当然也可利用柯西不等式进行证明，还可以直接利用基本不等式来证明。

例8（1）设x1,x2,,xn,y1,y2,,yn(0,)，满足：

（a）0x1y1x2y2xnyn;

（b）x1x2xky1y2yk,k{1,2,n}, 嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

证明：1x11111.1x2xny1y2yn

（2）设A{a1,a2,,an}N，对所有不同的子集B,CA，有

xx，证明：

1xBxa112.C1a2an

分析

可运用数学归纳法进行证明。

证明

（1）当n1时，x1y110,x1;1y1

当n2时，x1x2y1y2，x1y1y2x2，则

11x1y1y2yxx211, 11x1y1x2y2x2y2

所以

1x111.1x2y1y2

假设nk时命题成立.那么，当nk1时，设yixiai(i1,2,k1)，由条件a10，a1a20,,a1a2ak0，a1a2ak10，有

a1xya2ak0.11x2y2xkyk

下面用反证法证明以上结论.假设

a1xa2xaky0，则

1y12y2xkk0a1aakxa2k1 1y1x2y2xkykxk1yk1

a1a2akaa2akx1 1y1x2y2xkykxk1yk1

(a11a2ak)(xy1y)+(a111a2ak1)()kkxk1k1xk1yk1xkyk嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com

有

欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

+(a1a2ak2)(1111)(a1a2)()

x2y2x3y3xk2yk2xk1yk1

a1(11)0, 矛盾.x1y1x2y2

所以，当nk1时，原不等式成立.（2）对于集合A{1,2,4,8,16,,2n1}，满足对BC,B,CA，有

1111122.，且xxn1n112422xBxC

对所有A{a1,a2,,an}N，不妨设a1a2an.令a11（否则将ai都减去一个数，使a11），又使设A中从第k个数开始，ak2k1(k1,2,,n)，则ak1,2,,2k11,于是ak2k1，那么

ak1ak(122k2)2k11(122k2)2k, 以此类推，则

111111n12.2a1a2an12

评注 归纳法证明问题时，有时在第二步由nk（或nk）去推证nk1时，要用到反证法，或分析法。另外，本题的第（2）小题用到了“调整法”。

训练题

12．已知an1111(nN*).23n试证：当

n2时，an2(aa2a31n).23nn2证明：（1）当n2时，左边=a2(1

a1291312);右边=a2222;24222292，所以，所证不等式成立.42

（2）假设nk(k2)时不等式成立，即ak2(aa2a31k)成立.23kk嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

当nk1时，ak1(ak22a1212)akk2k1k1(k1)2(ak11)1k1 2k1(k1)

2(aa2a31k)23kk2(aaa2a311 kk1)223kk1k(k1)akak1a2a3k2k1

2()223kk1k(k1)

akak1a2a3akak1a2a31k2k2(), 2()223kk1k123kk1k(k1)

所以，当nk1时，不等式也成立.由（1）、（2）可知，当nN,n2时，所证不等式成立.2．对任意实数x,y,z，试证：11921192(xy29z2)xy2xz3yz(xy29z2).66

证明：当xyz时，所证不等式显然成立.当x,y,z不全为零时，xy9z0, 将所证不等式可变形为

22119xy2xz3yz1192.2266xy9zxy2xz3yzk

① 222xy9z

令

①式中的x,y,z均可取一切实数（x,y,z不同时为零即可）.不妨取变量z作为考查对象.（1）当z0时，kxy|xy|122,即，由，得xy2|xy|x2y2x2y2211k.22222

（2）当z0时，将①式整理，得kx(y2z)xk(y9z)3yz0，k可以为0，当k0时，不等式显然成立；

嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

当k0时，因xR，0，即0或0.由0得(y2z)24k(ky29kz23yz)

(14k2)y2(4z12kz)y4z2(19k2)0.1时，不等式显然成立； 2

1当k时，yR,0.当k

(4z12kz)24(14k2)4z2(19k2)0.即16z2[(13k)2(14k2)(13k)(13k)]0, 16z20,(13k)2(14k2)(13k)(13k)]0

即(13k)k(k1191191191)(k)0.解得：k，或66630k119.6

同理，由0，得(14k2)y2(4z12kz)y4z2(19k2)0，对任意实

214k0,数y都满足的充要条件是：2222(4z12kz)4(14k)4z(19k)0.解得1k0.3 综合以上，可得k的取值范围是：

119119k.66

由此可得119xy2xz3yz1192.即所证不等式成立.2266xy9z

说明：“双判别式法”可以解决：

q(k1x2k2y2k3z2)axybxzcyzp(k1x2k2y2k3z2)(ki0,i1,2,3)的三元二次齐次不等式的证明问题.BC内一点O引三边的平行线，DE//BC，FG//CA，HI//AB，点D、E、F、3．过AG、H、I都在ABC的边上，S1表示六边形DEFGHI的面积，S2表示ABC的面嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

积.求证：S12S2.3S2S2，只须证明SAGHSDBISEFC2.注33S2.① 3

证明：欲证S1意到平行四边形AGOH、BIOD、CEOF，故命题的解决只在于能证明：SOIFSOEHSOGD设BCa,CAb,ABc,IFx,EHy,GDz，那么①式等价于

x2y2z2122.② 23abc依题设，有OECF，从而所以，yOECFzBI,同理.baacaxyzIFCFBI1.③ abcax2y2z21xyz21由柯西不等式有，222（).3abc3abc故②式成立，命题成立。

4．已知a,b,c(0,)，且abc1，求证：

a(3a1)b(3b1)c(3c1)0.1a21b21c2x 证明：构造函数f(x)，易知f(x)在(0,1)上为增函数，所以对任意21x

x(0,1)，有

(x)(1x3x(3x1)3)0(3x1),，则31x210101x2 再分别令xa,b,c，代入上式，相加得

5．已知a,b,c(0,)，且abc1，a(3a1)b(3b1)c(3c1)3[3(abc)3]0.222101a1b1c证明：(ab)(bc)(ca)4(abc1).嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com 欢迎光临《嘉兴市高中数学学科基地》

Http://www.xiexiebang.com

证明：不妨设

a1，①式等价于a2(bc)b2(ac)c2(ab)64(abc)，即(a21)(bc)(b21)(ac)(c21)(ab)64a3(bc).因(a1)(bc)4abc4，只须证明：

4(a1)b2(ac)c2(ab)64a3(bc),即证：2a(b2c2)(3bc)(bc)0 ② 因2(b2c2)(bc)2, 对于②式，只须证明： a(bc)2(3bc)(bc)0.③ 2 把③左边看作bc的二次函数，判别式(3bc)24a.即证(3bc)4a0，即证：(3212)4a.a 即4a39a26a10, 分解因式可得(a1)2(4a1)0，此不等式显然成立.所以③式成立，即原不等式成立.嘉兴市高中数学学科基地资料

Http://www.xiexiebang.com