不等式的证明例题

不等式的证明·典型例题【例1】已知a，b，c∈R+，求证：a3+b3+c3≥3abc．【分析】用求差比较法证明．证明：a3+b3+c3-3abc=[(a+b)3+c3]-3a2b-3ab2-3abc=(a+b+c)[(a+b)2-(a+b)c+c2]-3ab(a+b+c)=(a+b+c)[a2+b2+c2-ab-bc-ca]∵a，b，c∈R+，∴a+b+c＞0．(c-a)]2≥0即 a3+b3+c3-3abc≥0，∴a3+b3+c3≥3abc．【例2】已知a，b∈R+，n∈N，求证：(a+b)(a n+b n)≤2(a n+1+b n+1)．【分析】用求差比较法证明．证明：左-右=a n+1+ab n+a n b+b n+1-2a n+1-2b n+1=ab n+a n b-a n+1-b n+1=a(b n-a n)+b(a n-b n)=(b n-a n)(a-b)(*) 当a＞b＞0时，b n-a n＜0，a-b＞0，∴(*)＜0；当b＞a＞0时，b n-a n＞0，a-b＜0，∴(*)＜0；当a=b＞0时，b n-a n=0，a-b=0，∴(*)=0．综上所述，有(a+b)(a n+b n)-2(a n+1+b n+1)≤0．即 (a+b)(a n+b n)≤2(a n+1+b n+1)．【说明】在求差比较的三个步骤中，“变形”是关键，常用的变形手段有配方、因式分解等，常将“差式”变形为一个常数，或几个因式积的形式．【例3】已知a，b∈R+，求证a a b b≥a b b a．【分析】采用求商比较法证明．证明：∵a，b∈R+，∴a b b a＞0综上所述，当a＞0，b＞0，必有a a b b≥a b b a．【说明】商值比较法的理论依据是：【例4】已知a、b、c是不全等的正数，求证：a(b2+c2)+b(c2+a2)+c(a2+b2)＞6abc．【分析】采用综合法证明，利用性质a2+b2≥2ab．证明：∵b2+c2≥2bc，a＞0，∴a(b2+c2)≥2abc．①同理b(c2+a2)≥2abc②c(a2+b2)≥2abc③∵a，b，c不全相等，∴①，②，③中至少有一个式子不能取“=”号∴①+②+③，得a(b2+c2)+b(c2+a2)+c(a2+b2)＞6abc．【例5】已知a，b，c∈R+，求证：(1)(ab+a+b+1)(ab+ac+bc+c2)≥16abc；【分析】用综合法证明，注意构造定理所需条件．证明：(1)ab+a+b+1=(a+1)(b+1)，ab+ac+bc+c2=(a+c)(b+c)．∴(a+1)(b+1)(a+c)(b+c)≥16abc因此，当a，b，c∈R+，有(ab+a+b+1)(ab+ac+bc+c2)≥16abc．【说明】用均值定理证明不等式时，一要注意定理适用的条件，二要为运用定理对式子作适当变形，把式子分成若干分，对每部分运用均值定理后，再把它们相加或相乘．【分析】采用分析法证明．(*)∵a＜c，b＜c，∴a+b＜2c，∴(*)式成立．∴原不等式成立．用充分条件代替前面的不等式．【例7】若a、b、c是不全相等的正数，求证：证明二：(综合法)∵a，b，c∈R+，abc成立．上式两边同取常用对数，得【说明】分析法和综合法是对立统一的两个方面．在证法一中，前面是分析法，后面是综合法，两种方法结合使用，使问题较易解决．分析法的证明过程恰恰是综合法的分析、思考过程，综合法的证明方法是分析思考过程的逆推．【例8】已知a＞2，求证log a(a-1)·log a(a+1)＜1．【分析】两个对数的积不好处理，而两个同底对数的和却易于处理．因为我们可以先把真数相乘再取对数，从而将两个对数合二为一，平均值不等式恰好有和积转化功能可供利用．证明：∵a＞2，∴log a(a-1)＞0，log a(a+1)＞0．又log a(a-1)≠log a(a+1)∴log a(a-1)·log a(a+1)＜1．【说明】上式证明如果从log a(a-1)·log a(a+1)入手，得log a(a-1)二为一了．另外，在上述证明过程中，用较大的log a a2代替较小的log a(a2-1)，并用适当的不等号连结，从而得出证明．这种方法通常叫做“放缩法”．同样，也可以用较小的数代替较大的数，并用适当的不等号连结．【例9】已知：a，b，c都是小于1的正数；【分析】采用反证法证明．其证明思路是否定结论从而导出与已知或定理的矛盾．从而证明假设不成立，而原命题成立．对题中“至少∵a，b，c都是小于1的正数，故与上式矛盾，假设不成立，原命题正确．【说明】反证法是利用互为逆否命题具有等价性的思想进行推证的．反证法必须罗列各种与原命题相异的结论，缺少任何一种可能，则反证都是不完全的，遇到“至少”、“至多”、“唯一”等字句的命题常用反证法．|a|≤1．【说明】换元法是将较为复杂的不等式利用等价转换的思想转换成易证明的不等式．常用的换元法有(1)，若|x|≤1，可设x=sinα，α∈R；(2)若x2+y2=1，可设x=sinα，y=cosα；(3)若x2+y2≤1，可设x=【例11】已知a1、a2、…a n，b1、b2、…b n为任意实数，求证明：构造一个二次函数它一定非负，因它可化为(a1x-b1)2+(a2x-b2)2+…+(a n x-b n)2．∴Δ≤0，(当a1，a2，…a n都为0时，所构造式子非二次函数，但此时原不等式显然成立．)【说明】上例是用判别式法证明的“柯西不等式”，它可写为：变量分别取|a+b|，|a|、|b|时就得到要证的三个式子．因此，可考虑从函数∴f（x2）＞f（x1），f（x）在[0，+∞）上是增函数．取x1=|a+b|，x2=|a|+|b|，显然0≤x1≤x2．∴f（|a+b|）≤f（|a|+|b|）．【说明】这里是利用构造函数，通过函数的单调性，结合放缩法来证明不等式的．应注意的是，所给函数的单调整性应予以论证．【例13】已知a，b，m，n∈R，且a2+b2=1，m2+n2=1，求证：|am+bn|≤1．证法一：（比较法）证法二：（分析法）∵a，b，m，n∈R，∴上式成立，因此原不等式成立．证法三：（综合法）∵a，b，m，n∈R，∴（|a|-|m|）2≥0，（|b|-|n|）2≥0．即a2+m2≥2|am|，b2+n2≥2|bn|∴a2+m2+b2+n2≥2（|am|+|bn|）∵a2+b2=1，m2+n2=1，∴|am|+|bn|≤1∴|am+bn|≤|am|+|bn|≤1．证法四：（换元法）由已知，可设a=sinα，b=cosα，m=sinβ，n=cosβ．于是|am+bn|=|sinαsinβ+cosαcosβ|=|cos（α-β）|≤1．【说明】一个不等式的证明方法往往不只一种，要注意依据题目特点选择恰当的方法．【例14】已知f（x）=x2-x+c，且|x-a|＜1，（a，b，c∈R）求证：|f（x）-f（a）|＜2（|a|+1）．【分析】绝对值不等式的证明充分利用绝对值不等式性质：证明：|f（x）－f（a）|=|x2-x+c-a2+a-c|=|（x+a）（x-a）-（x-a）|=|x-a||x+a-1|＜|x+a-1|=|（x-a）+2a-1|＜|x-a|+|2a|+|（-1）|＜1+2|a|+1=2（|a|+1）．∴|f（x）-f（a）|＜2（|a|+1）．【例15】当h与|a|，|b|，1中最大的一个相等，求证：当|x|＞h时，由已知，有|x|＞h≥|a|，|x|＞h≥|b|，|x|＞h≥1 ∴|x|2≥b．。

一个不等式的七种证明方法证明不等式就是证明所给不等式在给定条件下恒成立.由于不等式的形式是多种多样的,因此,不等式的证明方法也可谓是千姿百态.针对不等式证明,要具体问题具体分析,灵活选用证明方法,提高代数变形,推理论证能力,一题多解,有助于我们对辩证唯物主义观点有进一步的认识. 题目：已知a ,b ,c ,d ∈R ,求证:ac +bd ≤))((2222d c b a ++ 分析一:用分析法证法一:(1)当ac +bd ≤0时,显然成立.(2)当ac +bd >0时,欲证原不等式成立, 只需证(ac +bd )2≤(a 2+b 2)(c 2+d 2) 即证a 2c 2+2abcd +b 2d 2≤a 2c 2+a 2d 2+b 2c 2+b 2d 2 即证2abcd ≤b 2c 2+a 2d 2 即证0≤(bc -ad )2因为a ,b ,c ,d ∈R ,所以上式恒成立, 综合(1)、(2)可知:原不等式成立. 分析二:用综合法 证法二:(a 2+b 2)(c 2+d 2)=a 2c 2+a 2d 2+b 2c 2+b 2d 2=(a 2c 2+2abcd +b 2d 2)+(b 2c 2-2abcd +a 2d 2)=(ac +bd )2+(bc -ad )2≥(ac +bd )2 ∴))((2222d c b a ++≥|ac +bd |≥ac +bd .故命题得证. 分析三:用比较法证法三:∵(a 2+b 2)(c 2+d 2)-(ac +bd )2=(bc -ad )2≥0,∴(a 2+b 2)(c 2+d 2)≥(ac +bd )2∴))((2222d c b a ++≥|ac +bd |≥ac +bd , 即ac +bd ≤))((2222d c b a ++. 分析四:用放缩法证法四:为了避免讨论,由ac +bd ≤|ac +bd |,可以试证(ac +bd )2≤(a 2+b 2)(c 2+d 2). 由证法1可知上式成立,从而有了证法四. 分析五:用三角代换法证法五:不妨设⎩⎨⎧==⎩⎨⎧==ββααsin cos ,sin cos 2211r d r c r b r a (r 1,r 2均为变量).则ac +bd =r 1r 2cos αcos β+r 1r 2sin αsin β=r 1r 2cos （α-β） 又|r 1r 2|=|r 1|·|r 2|=))((22222222d c b a d c b a ++=+⋅+ 及r 1r cos （α-β）≤|r 1r 2| 所以ac +bd ≤))((2222d c b a ++. 分析六:用换元法证法六:(1)当(a 2+b 2)(c 2+d 2)=0时,原不等式显然成立.(2)当(a 2+b 2)(c 2+d 2)≠0时,欲证原不等式成立, 只需证| 2222dc b a bd ac +⋅++|≤1.即证|22222222dc d ba b dc c ba a +⋅+++⋅+|≤1,注意到(22b a a +)2+(22b a b+)2=1与(22d c c +)2+(22d c d +)2=1和cos 2x +sin 2x =1的结构特征很类同,不妨设22ba a+=cos α, 22dc c +=cos β,则22ba b +=sin α,22dc d +=sin β,故|22222222dc b a bddc ba ac+⋅++++|=|cos αcos β+sin αsin β| =|cos （α-β）|≤1 所以ac +bd ≤))((2222d c b a ++. 分析七:用构造函数法(判别式法)证法七:待证不等式的结构特征与一元二次方程的判别式Δ =b 2-4ac ≤0的结构特征很类似,由此不妨构造函数, f (x )=(a 2+b 2)x 2+2(ac +bd )x +(c 2+d 2)=(a 2x 2+2acx +c 2)+(b 2x 2+2bdx +d 2) =(ax +c )2+(bx +d )2显然不论x 取任何实数,函数f (x )的值均为非负数,因此,(1)当a 2+b 2≠0时,方程f (x )=0的判别式Δ≤0, 即［2(ac +bd )］2-4(a 2+b 2)(c 2+d 2)≤0, 即(ac +bd )2≤(a 2+b 2)(c 2+d 2)故ac +bd ≤|ac +bd |≤))((2222d c b a ++(2)当a 2+b 2=0时,原不等式显然成立. 分析八:用构造复数法证法八:待证不等式的结构特征与复数的模相似设复数Z 1=a+bi,Z 2=c+di 则有|z 12又。

证明不等式的八大绝招高考数学的压轴题常以不等式为背景，而不等式的证明因其方法灵活，技巧性强，历来是学生学习中的一大难点，本文给同学们介绍不等式证明中的八大绝招：“变形法、拆项法、添项法、放缩法、构造法、换元法、导数法、数形结合法”，希望对同学们的学习有所禅益。

一、变形法例1、已知121212101010,,,:a b c a b c R a b c bc ca ab+∈++≥++求证 证明：原不等式等价于：131313101010a b c a b c abc ++≥++()131313101010a b c abc a b c ⇔++≥++ （*）1313112211a b a b a b +≥+ ， 1313112211b c b c b c +≥+， 1313112211c a a c a c +≥+， ()()()()1313131122112211222a b c a b c b a c c a b ∴++≥+++++()1111111010102222a bc b ac c ab abc a b c ≥++=++。

从而()131313101010a b c abc a b c ++≥++；所以（*）式成立，故原不等式成立。

二、拆项法例2、已知,,,1a b c R a b c +∈++=且 ，求证：231.432ab c ≤证明：122333b b c c c a b c a =++=+++++ 66≥=232362316432ab c ⋅∴≤=。

三、添项法例3、【第36届IMO 试题】设,,a b c 为正数，满足1abc =，求证：()()()33311132a b c b a c c a b ++≥+++.证明：()()3114b c a b c bc a ++≥=+ , ()3114a c b a c ac b++≥=+,311()4a b c a b ab c++≥=+, ∴()()()33311111114b c a c a b a b c b a c c a b bc ac ab a b c+++⎛⎫+++++≥++ ⎪+++⎝⎭.从而()()()33311111111112a b c b a c c a b a b c a b c ⎛⎫++≥++-++ ⎪+++⎝⎭1111322a b c ⎛⎫=++≥= ⎪⎝⎭. 故∴原不等式成立. 四、放缩法 例4、【1998年全国高考试题】求证：())*111111114732n N n ⎛⎫⎛⎫⎛⎫++++>∈ ⎪⎪ ⎪-⎝⎭⎝⎭⎝⎭ 。

多种方法证明高中不等式例1证明不等式n n2131211<++++(n ∈N *)证法一：(1)当n 等于1时，不等式左端等于1，右端等于2，所以不等式成立； (2)假设n =k (k ≥1)时，不等式成立，即1+k13121+++ ＜2k ，,1211)1(11)1(21121131211+=++++<+++=++<+++++k k k k k k k k k k 则∴当n =k +1时，不等式成立.综合(1)、(2)得：当n ∈N *时，都有1+n13121+++ ＜2n .另从k 到k +1时的证明还有下列证法：,1111212212:.12112,01),1(21)1(2,0)1()1()1(2)1(21)1(22+=+++>++=-++<++∴>++<++∴>+-=+++-=+--+k k k kk k k k k k k k k k k k k k k k k k k 又如.12112+<++∴k k k证法二：对任意k ∈N *，都有：.2)1(2)23(2)12(22131211),1(21221n n n n k k k k k k k =--++-+-+<++++--=-+<+=因此证法三：设f (n )=),131211(2nn ++++-那么对任意k ∈N*都有：1)1(])1(2)1[(11]1)1(2)1(2[1111)1(2)()1(2>+-+=++-+⋅+=-+-++=+--+=-+k k k k k k k k k k k k k k k k f k f∴f (k +1)＞f (k )因此，对任意n ∈N * 都有f (n )＞f (n －1)＞…＞f (1)=1＞0， ∴.2131211n n <++++例2求使y x +≤a y x +(x ＞0，y ＞0)恒成立的a 的最小值. 解法一：由于a 的值为正数，将已知不等式两边平方，得： x +y +2xy ≤a 2(x +y )，即2xy ≤(a 2－1)(x +y )，①∴x ，y ＞0，∴x +y ≥2xy ，②当且仅当x =y 时，②中有等号成立. 比较①、②得a 的最小值满足a 2－1=1， ∴a 2=2，a =2 (因a ＞0)，∴a 的最小值是2. 解法二：设yx xyy x xy y x y x y x yx yx u ++=+++=++=++=212)(2. ∵x ＞0，y ＞0，∴x +y ≥2xy (当x =y 时“=”成立)， ∴y x xy +2≤1，yx xy+2的最大值是1. 从而可知，u 的最大值为211=+， 又由已知，得a ≥u ，∴a 的最小值为2. 解法三：∵y ＞0， ∴原不等式可化为yx+1≤a 1+yx， 设y x =tan θ，θ∈(0，2π). ∴tan θ+1≤a 1tan 2+θ；即tan θ+1≤a se c θ ∴a ≥sin θ+cos θ=2sin(θ+4π)，③又∵sin(θ+4π)的最大值为1(此时θ=4π). 由③式可知a 的最小值为2.例3 已知a ＞0，b ＞0，且a +b =1.求证：(a +a 1)(b +b 1)≥425证法一：(分析综合法）欲证原式，即证4(ab )2+4(a 2+b 2)－25ab +4≥0，即证4(ab )2－33(ab )+8≥0，即证ab ≤41或ab ≥8.∵a ＞0，b ＞0，a +b =1，∴ab ≥8不可能成立 ∵1=a +b ≥2ab ，∴ab ≤41，从而得证. 证法二：(均值代换法) 设a =21+t 1，b =21+t 2.∵a +b =1，a ＞0，b ＞0，∴t 1+t 2=0，|t 1|＜21，|t 2|＜21.4254116254123162541)45(41)141)(141()21)(21()141)(141(211)21(211)21(11)1)(1(2242222222222222222112122221122212122=≥-++=--+=-++++++=++++++++=+++⨯+++=+⨯+=++∴t t t t t t t t t t t t t t t t t t t t t b b a a b b a a 显然当且仅当t =0，即a =b =21时，等号成立.证法三：(比较法）∵a +b =1，a ＞0，b ＞0，∴a +b ≥2ab ，∴ab ≤41425)1)(1(04)8)(41(4833442511425)1)(1(2222≥++∴≥--=++=-+⋅+=-++b b a a ab ab ab ab ab b a b b a a b b a a 证法四：(综合法)∵a +b =1， a ＞0，b ＞0，∴a +b ≥2ab ，∴ab ≤41.4251)1(41 16251)1(169)1(434111222≥+-⇒⎪⎪⎭⎪⎪⎬⎫⎪⎪⎩⎪⎪⎨⎧≥≥+-⇒≥-⇒=-≥-∴ab ab ab ab ab ab 425)1)(1(≥++b b a a 即 证法五：(三角代换法）∵a ＞0，b ＞0，a +b =1，故令a =sin 2α，b =cos 2α，α∈(0，2π) .425)1)(1(4252sin 4)2sin 4(412sin 125162sin 24.3142sin 4,12sin 2sin 416)sin 4(2sin 42cos sin 2cos sin )cos 1)(cos sin 1(sin )1)(1(2222222222222442222≥++≥-⇒⎪⎭⎪⎬⎫≥≥+-=-≥-∴≤+-=+-+=++=++b b a a b b a a 即得ααααααααααααααααα例4.已知a ，b ，c 为正实数，a +b +c =1. 求证：(1)a 2+b 2+c 2≥31(2)232323+++++c b a ≤6证明：(1)证法一：a 2+b 2+c 2－31=31(3a 2+3b 2+3c 2－1)=31［3a 2+3b 2+3c 2－(a +b +c )2］=31［3a 2+3b 2+3c 2－a 2－b 2－c 2－2ab －2ac －2bc ］=31［(a －b )2+(b －c )2+(c －a )2］≥0 ∴a 2+b 2+c 2≥31证法二：∵(a +b +c )2=a 2+b 2+c 2+2ab +2ac +2bc ≤a 2+b 2+c 2+a 2+b 2+a 2+c 2+b 2+c 2 ∴3(a 2+b 2+c 2)≥(a +b +c )2=1 ∴a 2+b 2+c 2≥31证法三：∵33222c b a c b a ++≥++∴a 2+b 2+c 2≥3cb a ++ ∴a 2+b 2+c 2≥31证法四：设a =31+α，b =31+β，c =31+γ. ∵a +b +c =1，∴α+β+γ=0∴a 2+b 2+c 2=(31+α)2+(31+β)2+(31+γ)2=31+32 (α+β+γ)+α2+β2+γ2=31+α2+β2+γ2≥31 ∴a 2+b 2+c 2≥31629)(323232323323,23323,21231)23(23:)2(=+++<+++++∴+<++<+++<⨯+=+c b a c b a c c b b a a a 同理证法一 ∴原不等式成立. 证法二：3)23()23()23(3232323+++++≤+++++c b a c b a336)(3=+++=c b a∴232323+++++c b a ≤33＜6 ∴原不等式成立.例5.已知x ，y ，z ∈R ，且x +y +z =1，x 2+y 2+z 2=21，证明：x ，y ，z ∈［0，32］证法一：由x +y +z =1，x 2+y 2+z 2=21，得x 2+y 2+(1－x －y )2=21，整理成关于y 的一元二次方程得：2y 2－2(1－x )y +2x 2－2x +21=0，∵y ∈R ，故Δ≥0∴4(1－x )2－4×2(2x 2－2x +21)≥0，得0≤x ≤32，∴x ∈［0，32］ 同理可得y ，z ∈［0，32］证法二：设x =31+x ′，y =31+y ′，z =31+z ′，则x ′+y ′+z ′=0， 于是21=(31+x ′)2+(31+y ′)2+(31+z ′)2 =31+x ′2+y ′2+z ′2+32 (x ′+y ′+z ′)=31+x ′2+y ′2+z ′2≥31+x ′2+2)(2z y '+'=31+23x ′2故x ′2≤91，x ′∈［－31，31］，x ∈［0，32］，同理y ，z ∈［0，32］证法三：设x 、y 、z 三数中若有负数，不妨设x ＜0，则x 2＞0，21=x 2+y 2+z 2≥x 2+21232)1(2)(2222+-=+-=+x x x x z y ＞21，矛盾.x 、y 、z 三数中若有最大者大于32，不妨设x ＞32，则21=x 2+y 2+z 2≥x 2+2)(2z y +=x 2+2)1(2x -=23x 2－x +21=23x (x －32)+21＞21；矛盾. 故x 、y 、z ∈［0，32］例6 .证明下列不等式：(1)若x ，y ，z ∈R ，a ，b ，c ∈R +，则cb a y b ac x a c b +++++22z 2≥2(xy +yz +zx ) (2)若x ，y ，z ∈R +，且x +y +z =xyz ， 则zyx y x z x z y +++++≥2(z y x 111++))()()()()()(222)(4)(2))(()(2)]()()([)(2)(:)2()(20)()()()2()2()2()(22:)1.(62222222222223333332222222222222222222222222222222222≥-+-+-+-+-+-⇔++≥+++++⇔+++++≥+++++++⇔++≥+++++⋅⇔++≥+++++++≥+++++∴≥-+-+-=-++-++-+=++-+++++y x z x z y z y x y x xy x z zx z y yz xyz z xy yz x xy y x zx x z yz z y xyz z xy yz x x z z y y x xy y x zx x z yz z y z y x zx yz xy y x xy x z zx z y yz xyz zx yz xy z yx y x z x z y z y x zx yz xy z c b a y b a c x a c b x a c z c a z c b y b c y b a x a b zx x a cz c a yz z c b y b c xy y b a x a b zx yz xy z cb a y b ac x c b 所证不等式等介于证明证明∵上式显然成立，∴原不等式得证.例7.已知i ，m 、n 是正整数，且1＜i ≤m ＜n . (1)证明：n i A i m ＜m i A i n ； (2)证明：(1+m )n ＞(1+n )m7.证明：(1)对于1＜i ≤m ，且A i m =m ·…·(m －i +1)，n i n n n n n nm i m m m m m m i i m i i m 11A ,11A +-⋅⋅-⋅=+-⋅⋅-⋅= 同理， 由于m ＜n ，对于整数k =1，2，…，i －1，有mkm n k n ->-， 所以i m i i n i i i mi i n n m mn A A ,A A >>即(2)由二项式定理有：(1+m )n =1+C 1n m +C 2n m 2+…+C nn m n ，(1+n )m =1+C 1m n +C 2m n 2+…+C m m n m ，由(1)知m iA in＞n iA i m (1＜i ≤m )，而C i m=!A C ,!A i i i ni n i m =∴m i C i n ＞n i C i m (1＜m ＜n )∴m 0C 0n =n 0C 0n =1，m C 1n =n C 1m =m ·n ，m 2C 2n ＞n 2C 2m ，…， m m C m n ＞n m C m m ，m m +1C 1+m n ＞0，…，m n C n n ＞0， ∴1+C 1n m +C 2n m 2+…+C n n m n ＞1+C 1m n +C 2m n 2+…+C m m n m ，即(1+m )n ＞(1+n )m 成立.例8.若a ＞0，b ＞0，a 3+b 3=2，求证：a +b ≤2，ab ≤1. 证法一：因a ＞0，b ＞0，a 3+b 3=2，所以 (a +b )3－23=a 3+b 3+3a 2b +3ab 2－8=3a 2b +3ab 2－6=3［ab (a +b )－2］=3［ab (a +b )－(a 3+b 3)］=－3(a +b )(a －b )2≤0. 即(a +b )3≤23，又a +b ＞0，所以a +b ≤2，因为2ab ≤a +b ≤2， 所以ab ≤1.证法二：设a 、b 为方程x 2－mx +n =0的两根，则⎩⎨⎧=+=ab n ba m ，因为a ＞0，b ＞0，所以m ＞0，n ＞0，且Δ=m 2－4n ≥0 ① 因为2=a 3+b 3=(a +b )(a 2－ab +b 2)=(a +b )［(a +b )2－3ab ］=m (m 2－3n )所以n =mm 3232-② 将②代入①得m 2－4(mm 3232-)≥0， 即mm 383+-≥0，所以－m 3+8≥0，即m ≤2，所以a +b ≤2，由2≥m 得4≥m 2，又m 2≥4n ，所以4≥4n ， 即n ≤1，所以ab ≤1.证法三：因a ＞0，b ＞0，a 3+b 3=2，所以2=a 3+b 3=(a +b )(a 2+b 2－ab )≥(a +b )(2ab －ab )=ab (a +b )于是有6≥3ab (a +b )，从而8≥3ab (a +b )+2=3a 2b +3ab 2+a 3+b 3=(a +b )3，所以a +b ≤2，(下略）证法四：因为333)2(2b a b a +-+8))((38]2444)[(22222b a b a ab b a ab b a b a -+=----++=≥0， 所以对任意非负实数a 、b ，有233b a +≥3)2(b a +因为a ＞0，b ＞0，a 3+b 3=2，所以1=233b a +≥3)2(b a +，∴2b a +≤1，即a +b ≤2，(以下略）证法五：假设a +b ＞2，则a 3+b 3=(a +b )(a 2－ab +b 2)=(a +b )［(a +b )2－3ab ］＞(a +b )ab ＞2ab ，所以ab ＜1， 又a 3+b 3=(a +b )［a 2－ab +b 2］=(a +b )［(a +b )2－3ab ］＞2(22－3ab )因为a 3+b 3=2，所以2＞2(4－3ab )，因此ab ＞1，前后矛盾，故a +b ≤2(以下略)。

几何法证明不等式(精选多篇)^2(a,b∈r，且a≠b)设一个正方形的边为c,有4个直角三角形拼成这个正方形,设三角形的一条直角边为a,另一条直角边为b,(b>a)a=b,刚好构成,若a不等于b时,侧中间会出现一个小正方形,所以小正方形的面积为(b-a)^2,经化简有(b+a)^2=4ab,所以有((a+b)/2)^2=ab,又因为(a^2+b^2)/2>=ab,所以有((a+b)/2)^2<=(a^2+b^2)/2,又因为a不等与b,所以不取等号可以在直角三角形内解决该问题=^2-(a^2+b^2)/2=/4=-(a-b)^2/4<0能不能用几何方法证明不等式，举例一下。

比如证明sinx不大于x(x范围是0到兀/2，闭区间)做出一个单位圆，以o为顶点，x轴为角的一条边任取第一象限一个角x，它所对应的弧长就是1*x=x那个角另一条边与圆有一个交点交点到x轴的距离就是sinx因为点到直线，垂线段长度最小，所以sinx小于等于x，当且尽当x=0时，取等已经有的方法：第一数学归纳法2种;反向归纳法(特殊到一般从2^k过渡到n);重复递归利用结论法;凸函数性质法;能给出其他方法的就给分(a1+a2+...+an)/n≥(a1a2...an)^(1/n)一个是算术，一个是几何。

人类认认识算术才有几何，人类吃饱了就去研究细微的东西，所以明显有后者小于前者的结论，这么简单都不懂，叼佬就是叼佬^_^搞笑归搞笑，我觉得可以这样做，题目结论相当于证(a1+a2+...+an)/n-(a1a2...an)^(1/n)≥0我们记f(a1,a2,……,an)=(a1+a2+...+an)/n-(a1a2...an)^(1/n)这时n看做固定的。

我们讨论f的极值，它是一个n元函数，它是没有最大值的(这个显然)我们考虑各元偏导都等于0，得到方程组，然后解出a1=a2=……=an再代入f中得0，从而f≥0，里面的具体步骤私下聊，写太麻烦了。

不等式的证明·典型例题【例1】已知a，b，c∈R+，求证：a3+b3+c3≥3abc．【分析】用求差比较法证明．证明：a3+b3+c3-3abc=[(a+b)3+c3]-3a2b-3ab2-3abc=(a+b+c)[(a+b)2-(a+b)c+c2]-3ab(a+b+c)=(a+b+c)[a2+b2+c2-ab-bc-ca]∵a，b，c∈R+，∴a+b+c＞0．(c-a)]2≥0即 a3+b3+c3-3abc≥0，∴a3+b3+c3≥3abc．【例2】已知a，b∈R+，n∈N，求证：(a+b)(a n+b n)≤2(a n+1+b n+1)．【分析】用求差比较法证明．证明：左-右=a n+1+ab n+a n b+b n+1-2a n+1-2b n+1=ab n+a n b-a n+1-b n+1=a(b n-a n)+b(a n-b n)=(b n-a n)(a-b)(*) 当a＞b＞0时，b n-a n＜0，a-b＞0，∴(*)＜0；当b＞a＞0时，b n-a n＞0，a-b＜0，∴(*)＜0；当a=b＞0时，b n-a n=0，a-b=0，∴(*)=0．综上所述，有(a+b)(a n+b n)-2(a n+1+b n+1)≤0．即 (a+b)(a n+b n)≤2(a n+1+b n+1)．【说明】在求差比较的三个步骤中，“变形”是关键，常用的变形手段有配方、因式分解等，常将“差式”变形为一个常数，或几个因式积的形式．【例3】已知a，b∈R+，求证a a b b≥a b b a．【分析】采用求商比较法证明．证明：∵a，b∈R+，∴a b b a＞0综上所述，当a＞0，b＞0，必有a a b b≥a b b a．【说明】商值比较法的理论依据是：【例4】已知a、b、c是不全等的正数，求证：a(b2+c2)+b(c2+a2)+c(a2+b2)＞6abc．【分析】采用综合法证明，利用性质a2+b2≥2ab．证明：∵b2+c2≥2bc，a＞0，∴a(b2+c2)≥2abc．①同理b(c2+a2)≥2abc②c(a2+b2)≥2abc③∵a，b，c不全相等，∴①，②，③中至少有一个式子不能取“=”号∴①+②+③，得a(b2+c2)+b(c2+a2)+c(a2+b2)＞6abc．【例5】已知a，b，c∈R+，求证：(1)(ab+a+b+1)(ab+ac+bc+c2)≥16abc；【分析】用综合法证明，注意构造定理所需条件．证明：(1)ab+a+b+1=(a+1)(b+1)，ab+ac+bc+c2=(a+c)(b+c)．∴(a+1)(b+1)(a+c)(b+c)≥16abc因此，当a，b，c∈R+，有(ab+a+b+1)(ab+ac+bc+c2)≥16abc．【说明】用均值定理证明不等式时，一要注意定理适用的条件，二要为运用定理对式子作适当变形，把式子分成若干分，对每部分运用均值定理后，再把它们相加或相乘．【分析】采用分析法证明．(*)∵a＜c，b＜c，∴a+b＜2c，∴(*)式成立．∴原不等式成立．用充分条件代替前面的不等式．【例7】若a、b、c是不全相等的正数，求证：证明二：(综合法)∵a，b，c∈R+，abc成立．上式两边同取常用对数，得【说明】分析法和综合法是对立统一的两个方面．在证法一中，前面是分析法，后面是综合法，两种方法结合使用，使问题较易解决．分析法的证明过程恰恰是综合法的分析、思考过程，综合法的证明方法是分析思考过程的逆推．【例8】已知a＞2，求证log a(a-1)·log a(a+1)＜1．【分析】两个对数的积不好处理，而两个同底对数的和却易于处理．因为我们可以先把真数相乘再取对数，从而将两个对数合二为一，平均值不等式恰好有和积转化功能可供利用．证明：∵a＞2，∴log a(a-1)＞0，log a(a+1)＞0．又log a(a-1)≠log a(a+1)∴log a(a-1)·log a(a+1)＜1．【说明】上式证明如果从log a(a-1)·log a(a+1)入手，得log a(a-1)二为一了．另外，在上述证明过程中，用较大的log a a2代替较小的log a(a2-1)，并用适当的不等号连结，从而得出证明．这种方法通常叫做“放缩法”．同样，也可以用较小的数代替较大的数，并用适当的不等号连结．【例9】已知：a，b，c都是小于1的正数；【分析】采用反证法证明．其证明思路是否定结论从而导出与已知或定理的矛盾．从而证明假设不成立，而原命题成立．对题中“至少∵a，b，c都是小于1的正数，故与上式矛盾，假设不成立，原命题正确．【说明】反证法是利用互为逆否命题具有等价性的思想进行推证的．反证法必须罗列各种与原命题相异的结论，缺少任何一种可能，则反证都是不完全的，遇到“至少”、“至多”、“唯一”等字句的命题常用反证法．|a|≤1．【说明】换元法是将较为复杂的不等式利用等价转换的思想转换成易证明的不等式．常用的换元法有(1)，若|x|≤1，可设x=sinα，α∈R；(2)若x2+y2=1，可设x=sinα，y=cosα；(3)若x2+y2≤1，可设x=【例11】已知a1、a2、…a n，b1、b2、…b n为任意实数，求证明：构造一个二次函数它一定非负，因它可化为(a1x-b1)2+(a2x-b2)2+…+(a n x-b n)2．∴Δ≤0，(当a1，a2，…a n都为0时，所构造式子非二次函数，但此时原不等式显然成立．)【说明】上例是用判别式法证明的“柯西不等式”，它可写为：变量分别取|a+b|，|a|、|b|时就得到要证的三个式子．因此，可考虑从函数∴f（x2）＞f（x1），f（x）在[0，+∞）上是增函数．取x1=|a+b|，x2=|a|+|b|，显然0≤x1≤x2．∴f（|a+b|）≤f（|a|+|b|）．【说明】这里是利用构造函数，通过函数的单调性，结合放缩法来证明不等式的．应注意的是，所给函数的单调整性应予以论证．【例13】已知a，b，m，n∈R，且a2+b2=1，m2+n2=1，求证：|am+bn|≤1．证法一：（比较法）证法二：（分析法）∵a，b，m，n∈R，∴上式成立，因此原不等式成立．证法三：（综合法）∵a，b，m，n∈R，∴（|a|-|m|）2≥0，（|b|-|n|）2≥0．即a2+m2≥2|am|，b2+n2≥2|bn|∴a2+m2+b2+n2≥2（|am|+|bn|）∵a2+b2=1，m2+n2=1，∴|am|+|bn|≤1∴|am+bn|≤|am|+|bn|≤1．证法四：（换元法）由已知，可设a=sinα，b=cosα，m=sinβ，n=cosβ．于是|am+bn|=|sinαsinβ+cosαcosβ|=|cos（α-β）|≤1．【说明】一个不等式的证明方法往往不只一种，要注意依据题目特点选择恰当的方法．【例14】已知f（x）=x2-x+c，且|x-a|＜1，（a，b，c∈R）求证：|f（x）-f（a）|＜2（|a|+1）．【分析】绝对值不等式的证明充分利用绝对值不等式性质：证明：|f（x）－f（a）|=|x2-x+c-a2+a-c|=|（x+a）（x-a）-（x-a）|=|x-a||x+a-1|＜|x+a-1|=|（x-a）+2a-1|＜|x-a|+|2a|+|（-1）|＜1+2|a|+1=2（|a|+1）．∴|f（x）-f（a）|＜2（|a|+1）．【例15】当h与|a|，|b|，1中最大的一个相等，求证：当|x|＞h时，由已知，有|x|＞h≥|a|，|x|＞h≥|b|，|x|＞h≥1 ∴|x|2≥b．。

拉格朗日证明不等式经典例题拉格朗日中值定理是一种强有力的数学工具，可以用于证明各种不等式。

下面是一个使用拉格朗日中值定理来证明不等式的例子：**例题**：证明对于所有正数a 和b，以下不等式成立：\[ \sqrt{a} + \sqrt{b} \geq 2 \sqrt{ab} \]**证明**：我们假设函数\( f(x) = x^2 \) 在区间\( [0, \infty) \) 上连续。

由于\( f'(x) = 2x \)，我们可以应用拉格朗日中值定理在区间\( [a, b] \) 上找到一个数\( c \)，满足：\[ f'(c) = \frac{f(b) - f(a)}{b - a} \]即\[ 2c = \frac{b^2 - a^2}{b - a} \]解这个方程得到：\[ c = \frac{b + a}{2} \]现在我们使用均值不等式（AM-GM 不等式）在区间\( [a, c] \) 和\( [c, b] \) 上应用到函数\( f(x) = x^2 \)，得到：\[ f(a) + f(b) \geq 2f(c) \]即\[ a^2 + b^2 \geq 2c^2 \]将\( c \) 的值代入上式，我们得到：\[ a^2 + b^2 \geq 2\left(\frac{b + a}{2}\right)^2 \]简化这个不等式，我们得到：\[ a^2 + b^2 - ab \geq \frac{1}{4}(a - b)^2 \]注意到\( \sqrt{a} + \sqrt{b} \) 可以被看作是函数\( f(x) = x^2 \) 在区间\( [0, \infty) \) 上的导数\( f'(x) = 2x \) 的一个不等值，因为\( \sqrt{x} \) 是一个增函数。

所以我们可以将上面的不等式重写为：\[ (\sqrt{a} + \sqrt{b})^2 \geq 2ab \]这证明了原不等式\[ \sqrt{a} + \sqrt{b} \geq 2 \sqrt{ab} \] 对于所有正数 a 和b 都成立。

1、已知a, b, c为正实数，且a + b + c = 1，则下列不等式中正确的是：A. abc ≥ 1/27 （答案）B. abc ≤ 1/27C. a2 + b2 + c2 ≥ 1/3D. a3 + b3 + c3 ≤ 1/32、对于任意正实数x, y，下列不等式中正确的是：A. (x + y)/2 ≥ sqrt(xy) （答案）B. (x + y)/2 ≤ sqrt(xy)C. x2 + y2 ≥ 2xyD. x3 + y3 ≤ 3xy3、若a, b为正实数，且a ≠ b，则下列不等式中正确的是：A. a2 + b2 > 2ab （答案）B. a2 + b2 < 2abC. a3 + b3 ≥ 3ab2D. a4 + b4 ≤ 4a2b24、对于任意实数x，下列不等式中恒成立的是：A. x2 + 1 ≥ 2x （答案）B. x2 + 1 ≤ 2xC. x2 - x + 1 ≥ 0D. x2 - x - 1 ≤ 05、若a, b, c为正实数，且a + b + c = 3，则下列不等式中正确的是：A. ab + bc + ca ≤ 3 （答案）B. ab + bc + ca ≥ 3C. a2 + b2 + c2 ≤ 9D. a3 + b3 + c3 ≥ 276、对于任意正实数x, y，下列不等式中正确的是：A. (x + y)2 ≥ 4xy （答案）B. (x + y)2 ≤ 4xyC. x3 + y3 ≥ 3x2yD. x4 + y4 ≤ 4x2y27、若a > b > 0，则下列不等式中正确的是：A. a2 > b2 （答案）B. a3 < b3C. sqrt(a) < sqrt(b)D. 1/a < 1/b8、对于任意实数x，下列不等式中恒成立的是：A. x2 + 4 ≥ 4x （答案）B. x2 + 4 ≤ 4xC. x4 + 1 ≥ x2D. x4 + 1 ≤ x29、若a, b为正实数，且a + b = 1，则下列不等式中正确的是：A. ab ≤ 1/4 （答案）B. ab ≥ 1/4C. a2 + b2 ≤ 1/2D. a3 + b3 ≥ 1/410、对于任意正实数x, y，z，下列不等式中正确的是：A. x2 + y2 + z2 ≥ xy + yz + zx （答案）B. x2 + y2 + z2 ≤ xy + yz + zxC. x3 + y3 + z3 ≥ 3xyzD. x4 + y4 + z4 ≤ 4x2y2z2。

不等式证明19个典型例题典型例题一例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 b a b a b a >分析：发现作差后变形、判断符号较为困难．考虑到两边都是正数，可以作商，判断比值与1的大小关系，从而证明不等式． 证明：b a a b b a a b b a b a b a ba b a ---=⋅=)( ∵0>>b a ，∴.0,1>->b a ba ∴1)(>-b a b a . ∴a b ba ba b a .1> 又∵0>ab b a ，∴.a b b a b a b a >.说明：此题考察不等式的证明方法——比拟法(作商比拟法).作商比拟法证明不等式的步骤是：判断符号、作商、变形、判断与1的大小. 典型例题三例3 对于任意实数a 、b ，求证444()22a b a b ++≥〔当且仅当a b =时取等号〕 分析 这个题假设使用比拟法来证明，将会很麻烦，因为，所要证明的不等式中有4()2a b +，展开后很复杂。

经典例题透析类型一：比较法证明不等式1、用作差比较法证明下列不等式：（1）；（2）(a，b均为正数，且a≠b)思路点拨：（1）中不等号两边是关于a,b,c的多项式，作差后因式分解的前途不大光明，但注意到如a2, b2, ab这样的结构，考虑配方来说明符号；（2）中作差后重新分组进行因式分解。

证明：（1）当且仅当a=b=c时等号成立，（当且仅当a=b=c取等号）.（2）∵a>0, b>0, a≠b,∴a+b>0, (a-b)2>0,∴，∴.总结升华：作差，变形（分解因式、配方等），判断差的符号，这是作差比较法证明不等式的常用方法。

举一反三：【变式1】证明下列不等式：(1)a2+b2+2≥2(a+b)(2)a2+b2+c2+3≥2(a+b+c)(3)a2+b2≥ab+a+b-1【答案】（1）（a2+b2+2）-2(a+b)=(a2-2a+1)+(b2-2b+1)=(a-1)2+(b-1)2≥0∴a2+b2+2≥2(a+b)（2）证法同（1）（3）2（a2+b2）-2（ab+a+b-1)=(a2-2ab+b2)+(a2-2a+1)+(b2-2b+1)=( a-b)2+(a-1)2+(b-1)2≥0 ∴2（a2+b2）≥2（ab+a+b-1)，即a2+b2≥ab+a+b-1【变式2】已知a，b∈，x，y∈，且a+b=1，求证：ax2+by2≥(ax+by)2【答案】ax2+by2-(ax+by)2=ax2+by2-a2x2-b2y2-2abxy=a(1-a)x2+b(1-b)y2-2abxy=abx2+aby2-2abxy=ab(x-y)2≥0∴ax2+by2≥(ax+by)22、用作商比较法证明下列不等式：（1）(a，b均为正实数，且a≠b)（2）（a，b，c∈，且a，b，c互不相等）证明：（1）∵a3+b3>0, a2b+ab2>0.∴，∵a, b为不等正数，∴，∴∴（2）证明：不妨设a>b>c，则∴所以，总结升华：当不等号两边均是正数乘积或指数式时，常用这种方法，目的是约分化简. 作商比较法的基本步骤:判定式子的符号并作商变形判定商式大于1或等于1或小于1结论。

放缩法证明不等式一、放缩法原理为了证明不等式B A ≤，我们可以找一个或多个中间变量C 作比较，即若能判定B C ,C A ≤≤同时成立，那么B A ≤显然正确。

所谓“放”即把A 放大到C,再把C 放大到B ；反之，由B 缩小经过C 而变到A,则称为“缩”，统称为放缩法。

放缩是一种技巧性较强的不等变形，必须时刻注意放缩的跨度，做到“放不能过头，缩不能不及”。

二、常见的放缩法技巧１、基本不等式、柯西不等式、排序不等式放缩 2、糖水不等式放缩：)b a ,0m (ma mb a b >≥++≤. 3、添（减）项放缩4、先放缩，后裂项（或先裂项再放缩）5、逐项放大或缩小：)1n (n 1n 1)1n (n 12-<<+ 21n 2)1n (n n +<+<)12)(32(1)12(12--<-n n n )12)(12(1)12(12+->-n n n )22(21)12(12+<+n n n三、例题讲解例1：设a 、b 、c 是三角形的边长，求证cb a cb ac b a c b a -++-++-+≥3例2：设a 、b 、c ≥0，且3=++c b a ，求证abc c b a 23222+++≥29例3：已知*21().n n a n N =-∈求证：*122311...().23n n a a a n n N a a a +-<+++∈例４：函数f （x ）=xx 414+，求证：f （1）+f （2）+…+f （n ）>n +)(2121*1N n n ∈-+.例5：已知a n =n ，求证：∑nk=1 ka 2k＜3．例6： 已知数列{}n a ，，132a =，113(2,*)21n n n na a n n N a n --=≥∈+-．（1）求数列{}n a 的通项公式；（2）对一切正整数n ，不等式123!n a a a a n λ⋅⋅<⋅恒成立，试求正整数的最小值。

利用导数证明不等式(精选多篇)第一篇：利用导数证明不等式利用导数证明不等式没分都没人答埃。

觉得可以就给个好评!最基本的方法就是将不等式的的一边移到另一边，然后将这个式子令为一个函数f(x).对这个函数求导，判断这个函数这各个区间的单调性，然后证明其最大值(或者是最小值)大于0.这样就能说明原不等式了成立了!1.当x>1时,证明不等式x>ln(x+1)设函数f(x)=x-ln(x+1)求导，f(x)’=1-1/(1+x)=x/(x+1)>0所以f(x)在(1，+无穷大)上为增函数f(x)>f(1)=1-ln2>o所以x>ln(x+12..证明：a-a >0其中0f(a)=a-af’(a)=1-2a当00;当1/2因此，f(a)min=f(1/2)=1/4>0即有当003.x>0,证明：不等式x-x /6先证明sinx因为当x=0时，sinx-x=0如果当函数sinx-x在x>0是减函数，那么它一定求导数有sinx-x的导数是cosx-1因为cosx-1≤0所以sinx-x是减函数，它在0点有最大值0，知sinx再证x-x³/6对于函数x-x³/6-sinx当x=0时，它的值为0对它求导数得1-x²/2-cosx如果它要证x²/2+cosx-1>0x>0再次用到函数关系，令x=0时，x²/2+cosx-1值为0再次对它求导数得x-sinx根据刚才证明的当x>0sinxx²/2-cosx-1是减函数，在0点有最大值0x²/2-cosx-10所以x-x³/6-sinx是减函数，在0点有最大值0得x-x³/6利用函数导数单调性证明不等式x-x²>0，x∈(0,1)成立令f(x)=x-x²x∈则f’(x)=1-2x当x∈时,f’(x)>0,f(x)单调递增当x∈时,f’(x)故f(x)的最大值在x=1/2处取得，最小值在x=0或1处取得f(0)=0,f(1)=0故f(x)的最小值为零故当x∈(0,1)f(x)=x-x²>0。