构造函数证明不等式的几种类型(数学教学通讯05-6)

第一篇：构造函数证明不等式的几种类型(数学教学通讯05-6)

构造什么样的函数可以证明不等式

浙江省绍兴县柯桥中学（312030）

徐学军

构造函数证明不等式要求我们能敏锐地观察不等式的结构特征，联想一些特殊函数所蕴涵的不等关系，从而合理地选择恰当的函数模型.并能准确地运用函数的性质，将这些不等关系表示出来.为证明不等式而建立的函数模型有以下几种类型.1、构造单调函数，利用函数值的不等关系.例1 证明 求证：ee 令f(x)=

lnx(x>e)x1lnx<0(x>e)x2lnx∴f(x)=(x>e)是减函数

x又∵e<π lneln∴>

即ee.e例2 已知a、b、c∈(1,+∞)，且a＋b>c，则f ’(x)=

a2b2c2求证： ＋>

1aa21bb21cc2证明

1x2令f(x)= =，2111xx1x2x∴f(x)在(1,+∞)上为增函数.又∵a＋b>c，且a、b、c∈(1,+∞)，∴f(c)

aax= 211xxx1x则g(x)在(1,+∞)上为减函数.∴g(a＋b)

a2a(ab)即< 221(ab)(ab)1aab2b(ab)同理< 221(ab)(ab)1bbc2a(ab)b(ab)(ab)2∴<=＋ 22221cc1(ab)(ab)1(ab)(ab)1(ab)(ab)a2b2<＋ 221aa1bba2b2c2即 ＋>

1aa21bb21cc22、构造二次函数，利用根的判别式和函数值符号的关系.例3 在△ABC中，求证：

x2＋y2＋z2≥2yzcosA＋2zxcosB＋2xycosC(x,y,z∈R)

xyz当且仅当时，等号成立.sinAsinBsinC证明

令f(x)= x2＋y2＋z2－2yzcosA－2zxcosB－2xycosC

= x2－2(ycosC＋zcosB)x＋y2＋z2－2yzcosA, ∵△=4(ycosC＋zcosB)2－4(y2＋z2－2yzcosA)=4[y2cos2C＋z2cos2B＋2yzcosBcosC－y2－z2－2yzcos(B＋C)] =4 [－y2sin2C－z2sin2B＋2yz(cosBcosC－cosBcosC＋sinBsinC)] =－4(y2sin2C＋z2sin2B－2yzsinBsinC)=－4(ysinC－zsinB)2≤0, ∴f(x)≥0, 对一切x,y,z∈R成立.∴x2＋y2＋z2≥2yzcosA＋2zxcosB＋2xycosC 不等式等号成立f(x)=0△=0

yz此时ysinC=zsinB，即 sinBsinC同理，当以z为自变量考虑时，可得

xy当且仅当时，等号成立，sinAsinBxyz∴当且仅当时，等号成立.sinAsinBsinC例4（Cauchy不等式）对于任意实数a1，a2，…an，b1，b2，…bn，有

（a1 b1＋a2 b2＋…＋an bn）2≤(a12＋a22＋…＋an2)·(b12＋b22＋…＋bn2)当且仅当bi=kai(i=1,2,…,n,k为常数)时等号成立.证明

构造二次函数f（x）, 使f(x)=(a1x＋b1)2＋(a2x＋b2)2＋…＋(anx＋bn)2

=(a12＋a22＋…＋an2)x2＋2（a1 b1＋a2 b2＋…＋an bn）x＋(b12＋b22＋…＋bn2)显然f(x)≥0恒成立

∴△=4（a1 b1＋a2 b2＋…＋an bn）2 －4(a12＋a22＋…＋an2)·(b12＋b22＋…＋bn2)≤0 即（a1 b1＋a2 b2＋…＋an bn）2≤(a12＋a22＋…＋an2)·(b12＋b22＋…＋bn2)等号成立f(x)=0a1x＋b1=a2x＋b2=…=anx＋bn=0，∴当且仅当bi=kai(i=1,2,…,n,k为常数)时等号成立.3、构造有界函数，利用函数的取值范围.例5 已知|a|<

1、|b|<

1、|c|<1，求证：ab＋bc＋ca＋1>0.证明

将不等式左边视作关于a的一次函数f(a),则 f(a)=(b＋c)a＋bc＋1

(－1

1、|c|<1.∴f(1)=(b＋c)·1＋bc＋1=(b＋1)(c＋1)>0 f(－1)=(b＋c)·(－1)＋bc＋1=(b－1)(c－1)>0 ∴f(a)=(b＋c)a＋bc＋1= ab＋bc＋ca＋1>0.例6 已知a、b、c∈R，且a＋b＋c>0，ab＋bc＋ca>0，abc>0，求证：a>0，b>0，c>0.证明 设f(x)=(x－a)(x－b)(x－c)=x3－(a＋b＋c)x2＋(ab＋bc＋ca)x－abc ∵a＋b＋c>0，ab＋bc＋ca>0，abc>0 ∴当x≤0时，考察f(x)各项符号知

f(x)<0.而f(a)=f(b)=f(c)=0 ∴a>0，b>0，c>0.例7 设a、b、c是三角形的三边长，证明不等式

2(ab＋bc＋ca)>a2＋b2＋c2.证明 ∵a、b、c是三角形的三边长 ∴a

=a2－4ab=a(a－4b)<0 又∵y=f(c)为开口向上的抛物线，且a＋b为抛物线顶点的横坐标.∴y=f(c)在b≤ca2＋b2＋c2.另外，利用三角函数的有界性也是十分常用的方法.4、构造凸函数，利用凸函数的性质定理.若函数y=f(x)在区间I上恒有f ’’(x)<0（f ’’(x)>0），则称函数y=f(x)在区间I上为上凸(下凸)函数.凸函数有如下性质：

定理 若函数y=f(x)在区间I上为上凸函数，且x1，x2，…xn∈I，则

f(x1)f(x2)f(xn)xx2xn≤f1

nn当且仅当x1=x2=…=xn时，等号成立.（若为下凸函数，则不等号相反）

例8 在△ABC中，求证：sinA＋sinB＋sinC≤

33.2证明

设f(x)=sinx, ∴f ’(x)=cosx, f ’’(x)=－sinx, ∵x∈(0,π)时，f ’’(x)=－sinx<0, ∴函数f(x)=sinx在(0,π)内是上凸函数，∴sinA＋sinB＋sinC≤3sin当且仅当A=B=C=例9

ABC33=3sin= 332时，等号成立.3(均值不等式)设ai∈R＋(i=1,2,…,n)，则

a1a2an≥na1a2an

n证明 设 f(x)=lnx,x∈(0,＋∞)11则

f ’(x)=，f ’’(x)=－2<0 xx∴函数f(x)=lnx,在(0,＋∞)内是上凸函数.∴lna1lna2lnanaa2an≤ln1

nn1n

∴ln(a1a2…an)≤ln

a1a2an

n即a1a2an≥na1a2an（当且仅当a1=a2=…=an时，等号成立.）

n

第二篇：构造函数证明不等式

在含有两个或两个以上字母的不等式中，若使用其它方法不能解决，可将一边整理为零，而另一边为某个字母的二次式，这时可考虑用判别式法。一般对与一元二次函数有关或能通过等价转化为一元二次方程的，都可考虑使用判别式，但使用时要注意根的取值范围和题目本身条件的限制。

例1.设：a、b、c∈R，证明：a2acc23b(abc)0成立，并指出等号何时成立。

解析：令f(a)a2(3bc)ac23b23bc

⊿＝(3bc)24(c23b23bc)3(bc)2 ∵b、c∈R，∴⊿≤0 即：f(a)0，∴a2acc23b(abc)0恒成立。

当⊿＝0时，bc0，此时，f(a)a2acc23ab(ac)20，∴abc时，不等式取等号。

4例2.已知：a,b,cR且abc2,a2b2c22，求证： a,b,c0,。

3abc222解析：2 消去c得：此方程恒成立，a(b2)ab2b10，22abc2∴⊿＝(b2)24(b22b1)3b24b0，即：0b4同理可求得a,c0,

34。3② 构造函数逆用判别式证明不等式

对某些不等式证明，若能根据其条件和结论，结合判别式的结构特征，通过构造二项平方和函数：f(x)(a1xb1)2(a2xb2)2(anxbn)2

由f(x)0，得⊿≤0，就可以使一些用一般方法处理较繁琐的问题，获得简捷明快的证明。

例3.设a,b,c,dR且abcd1，求证：4a14b14c14d1﹤6。解析：构造函数：

f(x)(4a1x1)2(4b1x1)2(4c1x1)2(4d1x1)

2＝8x22(4a14b14c14d1)x4.(abcd1)由f(x)0，得⊿≤0，即⊿＝4(4a14b14c14d1)21280.∴4a14b14c14d142﹤6.例4.设a,b,c,dR且abc1，求解析：构造函数f(x)(＝(1axa)2(149的最小值。abc2bxb)2(3cxc)2

1492)x12x1,(abc1)abc111由f(x)0（当且仅当a,b,c时取等号），632149得⊿≤0,即⊿＝144-4（）≤0

abc111149

∴当a,b,c时，()min36 632abc

构造函数证明不等式

1、利用函数的单调性

+例

5、巳知a、b、c∈R，且a bmb[分析]本题可以用比较法、分析法等多种方法证明。若采用函数思想，构造出与所证不等式密切相关的函数，利用函数的单调性来比较函数值而证之，思路则更为清新。

ax+，其中x∈R，0

bxbx证明：令 f（x）= ∵b-a>0 ba+ 在R上为减函数 bxba+从而f（x）= 在R上为增函数

bx∴y= ∵m>0 ∴f（m）> f（0）

∴ama> bmb例

6、求证：ab1ab≤

ab1ab（a、b∈R）

[分析]本题若直接运用比较法或放缩法，很难寻其线索。若考虑构造函数，运用函数的单调性证明，问题将迎刃而解。

[证明]令 f（x）=

x，可证得f（x）在[0，∞)上是增函数（证略）1x 而 0<∣a+b∣≤∣a∣+∣b∣

得 f（∣a+b∣）≤ f（∣a∣+∣b∣）

即： ab1ab≤

ab1ab

[说明]要证明函数f(x)是增函数还是减函数，若用定义来证明，则证明过程是用比较法证明f(x1)与f(x2)的大小关系；反过来，证明不等式又可以利用函数的单调性。

2、利用函数的值域

例

7、若x为任意实数，求证：—

x11≤≤ 221x2[分析]本题可以直接使用分析法或比较法证明，但过程较繁。联想到函数的值域，于是构造函数f（x）= x11，从而只需证明f(x)的值域为[—，]即可。

1x222x2证明：设 y=，则yx-x+y=0 21x ∵x为任意实数 ∴上式中Δ≥0，即（-1）-4y≥0 1 411得：—≤y≤

22x11 ∴—≤≤

21x22 ∴y≤2[说明]应用判别式说明不等式，应特别注意函数的定义域。

另证：类比万能公式中的正弦公式构造三角函数更简单。

例

8、求证：必存在常数a，使得Lg（xy）≤ Lga.lg2xlg2y

对大于1的任意x与y恒成立。

[分析]此例即证a的存在性，可先分离参数，视参数为变元的函数，然后根据变元函数的值域来求解a，从而说明常数a的存在性。若s≥f(t)恒成立，则s的最小值为f(t)的最大值；若 s≤f(t)恒成立，则s的最大值为f(t)的最小值。

22证明：∵lgxlgy > 0(x>1,y>1)∴原不等式可变形为：Lga≥

lgxlgylgxlgy22

2（lgxlgy）2lgxlgy 令 f(x)= == 1222222lgxlgylgxlgylgxlgylgxlgy 而 lgx>0,lgy>0, ∴lgx+lgy ≥ 2lgxlgy > 0 ∴2lgxlgy≤1 22lgxlgy ∴ 1

从而要使原不等式对于大于1的任意x与y恒成立，只需Lga≥2即 a≥10

2即可。

故必存在常数a，使原不等式对大于1的任意x、y恒成立。

3、运用函数的奇偶性

xx<(x≠0)12x2xx 证明：设f（x）=-(x≠0)x122 例

9、证明不等式：

xxx2xx ∵f（-x）=-= x+ x122212xxx

[1-(1-2)]+ 12x2xx =-x+= f(x)x122 = ∴f(x)的图象关于y轴对称

x ∵当x>0时，1-2<0，故f(x)<0 当x<0时，根据图象的对称性知f(x)<0 故当 x≠0时,恒有f(x)<0 即：xx<(x≠0)x122 [小结]本题运用了比较法，实质是根据函数的奇偶性来证明的，本题也可以运用分类讨论思想。但利用偶函数的轴对称性和奇函数的中心对称性，常能使所求解的问题避免复杂的讨论。

第三篇：构造函数证明不等式

构造函数证明不等式

构造函数证明:>e的(4n-4)/6n+3)次方

不等式两边取自然对数(严格递增)有:

ln(2^2/2^2-1)+ln(3^2/3^2-1)+...+ln(n^2/n^2-1)>(4n-4)/(6n+3)

不等式左边=2ln2-ln1-ln3+2ln3-ln2-ln4+...+2lnn-ln(n-1)-ln(n+1)

=ln2-ln1+lnn-ln(n+1)=ln

构造函数f(x)=ln-(4x-4)/(6x+3)

对f(x)求导,有:f'(x)=+^

2当x>2时,有f'(x)>0有f(x)在x>2时严格递增从而有

f(n)>=f(2)=ln(4/3)-4/15=0.02>0

即有ln>(4n-4)/(6n+3)

原不等式等证

【解】：

∏{n^2/(n^2-1)}>e^((4n-4)/(6n+3))

∵n^2/(n^2-1)=n^2/(n+1)(n-1)

∴∏{n^2/(n^2-1)}=2n/(n+1)

原式可化简为：2n/(n+1)>e^((4n-4)/6n+3))

构建函数：F(n)=2n/(n+1)-e^((4n-4)/(6n+3))

其一阶导数F’(n)={2-4e^((4n-4)/(6n+3))}/(n+1)^2

∵e^((4n-4)/(6n+3))

∴F’(n)>0

而F=4/(2+1)-e^((8-4)/(12+3))=4/3-e^(4/15)>0

所以F(n)>0

即：2n/(n+1)>e^((4n-4)/6n+3))

故得证。

一、结合勘根定理，利用判别式“△”的特点构造函数证明不等式

例1若a,b,c∈R，且a≠0，又4a+6b+c>0，a-3b+c<0.求证：9b2>4ac.证明构造函数f(x),设f(x)=ax2+3bx+c(a≠0)，由f(2)=4a+6b+c>0，f(-1)=a-3b+c<0，根据勘根定理可知：f(x)在区间(-1,2)内必有零点.又f(x)为二次函数，由勘根定理结合可知：

f(x)必有两个不同的零点.令ax2+3bx+c=0可知△=(3b)2-4ac>0,所以可得：9b2>4ac.命题得证.评析本题合理变换思维角度，抓住问题本质，通过构造二次函数,将所要证明的结论转化成判别式“△”的问题,再结合勘根定理和二次函数知识，从而使问题获得解决.二、结合构造函数的单调性证明不等式

例2(2005年人教A版《选修4-5不等式选讲》例题改编)已知a,b,c是实数，求证：

|a+b+c|1+|a+b+c|≤|a|1+|a|+|b|1+|b|+|c|1+|c|.证明构造函数f(x)，设f(x)=x1+x(x≥0).由于f′(x)=1(1+x)2,所以结合导数知识可知f(x)在[0，+∞)上是增函数.∵0≤|a+b+c|≤|a|+|b|+|c|,∴f(|a+b+c|)≤f(|a|+|b|+|c|),即|a+b+c|1+|a+b+c|≤|a|+|b|+|c|1+|a|+|b|+|c|=|a|1+|a|+|b|+|c|+|b|1+|a|+|b|+|c|+|c|1+|a|+|b|+|c|≤|a|1+|a|+|b|1+|b|+|c|1+|c|.命题得证.三、结合构造函数在某个区间的最值证明不等式

例3(第36届IMO试题)

设a,b,c为正实数，且满足abc=1,求证:

1a3(b+c)+1b3(c+a)+1c3(a+b)≥32.证明构造函数，设f(a,b,c)=1a3(b+c)+1b3(c+a)+1c3(a+b),显然a=b=c=1时，f(a,b,c)=32≥32成立.又abc=1，a,b,c为正实数，则a,b,c中必有一个不大于1，不妨设0f(a,b,c)-f(a,1,c)=(1-b)1a3(b+c)(1+c)+1+b+b2b3(a+c)+1c3(a+b)(1+a)≥0,∴f(a,b,c)≥f(a,1,c)，因此要证f(a,b,c)≥32，只要证f(a,1,c)≥32，此时ac=1，∴a,1,c成等比数列，令a=q-1，c=q(q>0).f(a,1,c)=q31+q+qq2+1+1q2(1+q)

=q5+1q2(1+q)+qq2+1

=(q4+1)-(q3+q)+q2q2+qq2+1

=(q2+q-2)-(q+q-1)+1q+q-1+1

=t2-t+1t-1.(其中t=q+q-1，且t≥2).由导数知识(方法同例

2、例3)可知函数

f(a,1,c)=t2-t+1t-1(t≥2)是增函数，当且仅当t=2q=1a=c=1时，(f(a,1,c))min=22-2+12-1=32成立，∴f(a,1,c)≥32.故f(a,b,c)≥f(a,1,c)≥32.命题得证。

第四篇：构造函数证明不等式

在含有两个或两个以上字母的不等式中，若使用其它方法不能解决，可将一边整理为零，而另一边为某个字母的二次式，这时可考虑用判别式法。一般对与一元二次函数有关或能通过等价转化为一元二次方程的，都可考虑使用判别式，但使用时要注意根的取值范围和题目本身条件的限制。

例1.设：a、b、c∈R，证明：a2acc23b(abc)0成立，并指出等号

何时成立。

解析：令f(a)a2(3bc)ac23b23bc

⊿＝(3bc)24(c23b23bc)3(bc)

2∵b、c∈R，∴⊿≤0

即：f(a)0，∴a2acc23b(abc)0恒成立。

当⊿＝0时，bc0，此时，f(a)a2acc23ab(ac)20，∴abc时，不等式取等号。

4例2.已知：a,b,cR且abc2,a2b2c22，求证： a,b,c0,。3

abc222解析：2 消去c得：此方程恒成立，a(b2)ab2b10，22abc

2∴⊿＝(b2)24(b22b1)3b24b0，即：0b

4同理可求得a,c0, 34。

3② 构造函数逆用判别式证明不等式

对某些不等式证明，若能根据其条件和结论，结合判别式的结构特征，通过构造二项平方和函数：f(x)(a1xb1)2(a2xb2)2(anxbn)2 由f(x)0，得⊿≤0，就可以使一些用一般方法处理较繁琐的问题，获得简捷明快的证明。

例3.设a,b,c,dR且abcd1，求证：a14b14c14d1﹤6。

解析：构造函数：

f(x)(4a1x1)2(4b1x1)2(4c1x1)2(4d1x1)2

＝8x22(4a14b14c14d1)x4.(abcd1)

由f(x)0，得⊿≤0，即⊿＝4(4a14b14c14d1)21280.∴4a14b14c14d142﹤6.例4.设a,b,c,dR且abc1，求

解析：构造函数f(x)（＝(1axa)2(149的最小值。abc2xb)2(3cx)2 1492)x12x1,(abc1)abc

111由f(x)0（当且仅当a,b,c时取等号），632

149得⊿≤0,即⊿＝144-4（）≤0 abc

111149∴当a,b,c时，()min36 632abc

构造函数证明不等式

1、利用函数的单调性

+例

5、巳知a、b、c∈R，且a

求证： ama> bmb

[分析]本题可以用比较法、分析法等多种方法证明。若采用函数思想，构造出与所证不

等式密切相关的函数，利用函数的单调性来比较函数值而证之，思路则更为清新。

ax+，其中x∈R，0

bxbabaf（x）==1-bxbx证明：令 f（x）=

∵b-a>0

ba+ 在R上为减函数 bx

ba+从而f（x）= 在R上为增函数 bx∴y=

∵m>0∴f（m）> f（0）∴ama> bmb

例

6、求证：ab

1ab≤ab

1ab（a、b∈R）

[分析]本题若直接运用比较法或放缩法，很难寻其线索。若考虑构造函数，运用函数的单调性证明，问题将迎刃而解。

[证明]令 f（x）=x，可证得f（x）在[0，∞)上是增函数（证略）1x

而0<∣a+b∣≤∣a∣+∣b∣

得f（∣a+b∣）≤ f（∣a∣+∣b∣）

即： ab

1ab≤ab

1ab

[说明]要证明函数f(x)是增函数还是减函数，若用定义来证明，则证明过程是用比较

法证明f(x1)与f(x2)的大小关系；反过来，证明不等式又可以利用函数的单调性。

2、利用函数的值域

例

7、若x为任意实数，求证：—1x1≤≤ 221x

2[分析]本题可以直接使用分析法或比较法证明，但过程较繁。联想到函数的值域，于是

构造函数f（x）= x11，从而只需证明f(x)的值域为[—，]即可。1x222

x2证明：设 y=，则yx-x+y=0 21x

∵x为任意实数

22∴上式中Δ≥0，即（-1）-4y≥0

411得：—≤y≤ 22

1x1∴—≤≤ 21x22∴y≤2[说明]应用判别式说明不等式，应特别注意函数的定义域。

另证：类比万能公式中的正弦公式构造三角函数更简单。

例

8、求证：必存在常数a，使得Lg（xy）≤ Lga.lg2xlg2y对大于1的任意x与y恒成立。

[分析]此例即证a的存在性，可先分离参数，视参数为变元的函数，然后根据变元函数的值域来求解a，从而说明常数a的存在性。若s≥f(t)恒成立，则s的最小值为f(t)的最

大值；若 s≤f(t)恒成立，则s的最大值为f(t)的最小值。22证明：∵lgxlgy > 0(x>1,y>1)

∴原不等式可变形为：Lga≥lgxlgy

lgxlgy2

22lgxlgy）2lgxlgy令 f(x)= == 222222lgxlgylgxlgylgxlgylgxlgy

22而 lgx>0,lgy>0,∴lgx+lgy ≥ 2lgxlgy > 0

∴2lgxlgy≤1 22lgxlgy

∴ 1

从而要使原不等式对于大于1的任意x与y恒成立，只需Lga≥2即 a≥102即可。

故必存在常数a，使原不等式对大于1的任意x、y恒成立。

3、运用函数的奇偶性

xx<(x≠0)12x

2xx 证明：设f（x）=-(x≠0)x122 例

9、证明不等式：

xxx2xx∵f（-x）=-= x+ x122212

xxx[1-(1-2)]+12x2

xx=-x+= f(x)x122=

∴f(x)的图象关于y轴对称

x∵当x>0时，1-2<0，故f(x)<0

当x<0时，根据图象的对称性知f(x)<0

故当 x≠0时,恒有f(x)<0

即：xx<(x≠0)x122

[小结]本题运用了比较法，实质是根据函数的奇偶性来证明的，本题也可以运用分类讨论思想。但利用偶函数的轴对称性和奇函数的中心对称性，常能使所求解的问题避免复杂的讨论。

第五篇：构造法证明函数不等式

构造法证明函数不等式

1、利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点．

2、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键．

一、移项法构造函数

【例1】已知函数f(x)ln(x1)x，求证：当x1时，恒有11ln(x1)x． x

1二、作差法构造函数证明

【例2】已知函数f(x)的图象的下方．

2312xlnx，求证：在区间(1 ,)上，函数f(x)的图象在函数g(x)x

32三、换元法构造函数证明

【例3】（2007年山东卷）证明：对任意的正整数n，不等式ln（1111)23都成立． nnn

四、从条件特征入手构造函数证明

【例4】若函数yf(x)在R上可导，且满足不等式xf'(x)f(x)恒成立，常数a、b满足ab，求证：af(a)bf(b)．

五、主元法构造函数

1x)x，g(x)xlnx． 【例5】已知函数f(x)ln(（1）求函数f(x)的最大值；

（2）设0ab，证明：0g(a)g(b)2g（ab)(ba)ln2．

2六、构造二阶导函数证明函数的单调性（二次求导）

【例6】已知函数f(x)aex12x． 2（1）若f(x)在R上为增函数，求a的取值范围；（2）若a1，求证：当x0时，f(x)1x．

七、对数法构造函数（选用于幂指数函数不等式）

【例7】证明：当x0时，(1x)1xe12．

1、（2007年，安徽卷）设a0，f(x)x1ln2x2alnx．

求证：当x1时，恒有xln2x2alnx1．

2、（2007年，安徽卷）已知定义在正实数集上的函数f(x)1x12x2ax，g(x)3a2lnxb，其中2a0，且b 52a3a2lna，求证：f(x)g(x)．

23、已知函数f(x)ln(1x) xb，求证：对任意的正数a、b，恒有lnalnb1． 1xa4、（2007年，陕西卷）f(x)是定义在(0 , )上的非负可导函数，且满足xf'(x)f(x)0，对任意正数a、b，若ab，则必有（）

A．af(b)bf(a)

B．bf(a)af(b)

C．af(a)f(b)

D．bf(b)f(a)例1【分析】 本题是双边不等式，其右边直接从已知函数证明，左边构造函数11，从其导数入手即可证明． x11x1【解析】由题意得：f(x)，∴当1x0时，f(x)0，即f(x)在x1x1g(x)ln(x1)x(1 , 0)上为增函数；当x0时，f(x)0，即f(x)在x(0 , )上为减函数；故函数f(x)的单调递增区间为(1 , 0)，单调递减区间(0 , )；于是函数f(x)在(1 , )上的最大值为f(x)maxf(0)0，因此，当x1时，f(x)f(0)0，即ln(x1)x0，∴ln(x1)x（右面得证）．现证左面，令g(x)ln(x1)11x11，则g(x)22，x1(x1)(x1)x1当x(1 , 0)时，g'(x)0；当x(0 , )时，g'(x)0，即g(x)在x(1 , 0)上为减函数，在x(0 , )上为增函数，故函数g(x)在(1 , )上的最小值为g(x)ming(0)0，110，x1111ln(x1)x． ∴ln(x1)1．综上可知：当x1时，有x1x1∴当x1时，g(x)g(0)0，即ln(x1)【点评】如果f(a)是函数f(x)在区间上的最大（小）值，则有f(x)f(a)（或f(x)f(a)），那么要证不等式，只要求函数的最大值不超过0就可得证．

例2．【分析】函数f(x)的图象在函数g(x)的图象的下方不等式f(x)g(x)在(1 ,)上恒成12212xlnxx3，只需证明在区间(1,)上，恒有x2lnxx3成立，23231设F(x)g(x)f(x)，x(1 , )，考虑到F(1)0，要证不等式转化变为：

6立问题，即当x1时，F(x)F(1)，这只要证明：g(x)在区间(1 ,)是增函数即可． 【解析】设F(x)g(x)f(x)，即F(x)22312xxlnx，321(x1)(2x2x1)(x1)(2x2x1)则F'(x)2xx；当x1时，F'(x)0，从xxx而F(x)在(1,)上为增函数，∴F(x)F(1)

10，∴当x1时，g(x)f(x)0，即6f(x)g(x)，故在区间(1,)上，函数f(x)的图象在函数g(x)23x的图象的下方． 3【点评】本题首先根据题意构造出一个函数（可以移项，使右边为零，将移项后的左式设为函数），并利用导数判断所设函数的单调性，再根据函数单调性的定义，证明要证的不等式．读者也可以设F(x)f(x)g(x)做一做，深刻体会其中的思想方法． 例3．【分析】本题是山东卷的第（2）问，从所证结构出发，只需令

1x，则问题转化为：当x0n时，恒有ln(x1)x2x3成立，现构造函数h(x)x3x2ln(x1)，求导即可达到证明．

13x3(x1)2 【解析】 令h(x)xxln(x1)，则h(x)3x2xx1x1322在x(0 , )上恒正，∴函数h(x)在(0 , )上单调递增，∴x(0 , )时，恒有h(x)h(0)0，即x3x2ln(x1)0，∴ln(x1)x2x3，对任意正整数n，取x1111(0 , )，则有ln(1)23． nnnn【点评】我们知道，当F(x)在[a , b]上单调递增，则xa时，有F(x)F(a)．如果f(a)＝(a)，要证明当xa时，f(x)(x)，那么，只要令F(x)＝f(x)－(x)，就可以利用F(x)的单调增性来推导．也就是说，在F(x)可导的前提下，只要证明F'(x)0即可．

例4．【解析】由已知：xf'(x)f(x)0，∴构造函数F(x)xf(x)，则F'(x)xf'(x)f(x)0，从而F(x)在R上为增函数，∵ab，∴F(a)F(b)，即af(a)bf(b)．

【点评】由条件移项后xf(x)f(x)，容易想到是一个积的导数，从而可以构造函数F(x)xf(x)，求导即可完成证明．若题目中的条件改为xf(x)f(x)，则移项后xf(x)f(x)，要想到是一个商的导数的分子，平时解题多注意总结．

例5．【分析】 对于第（2）小问，绝大部分的学生都会望而生畏．学生的盲点也主要就在对所给函数用不上．如果能挖掘一下所给函数与所证不等式间的联系，想一想大小关系又与函数的单调性密切相关，由此就可过渡到根据所要证的不等式构造恰当的函数，利用导数研究函数的单调性，借助单调性比较函数值的大小，以期达到证明不等式的目的．（2）对g(x)xlnx求导，则g'(x)lnx1．在g(a)g(b)2g(数，设F(x)g(a)g(x)2g(ab)中以b为主变元构造函2axaxax)，则F'(x)g'(x)2[g()]'lnxln． 222当0xa时，F'(x)0，因此F(x)在(0 , a)内为减函数；当xa时，F'(x)0，因此F(x)在(a , )上为增函数．从而当xa时，F(x)有极小值F(a)，∵F(a)0，ba，∴F(b)0，即g(a)g(b)2g(ab)0．又设G(x)F(x)(xa)ln2，则2G'(x)lnxlnaxG'(x)0．ln2lnxln(ax)；当x0时，因此G(x)在(0 , )2ab)(ba)ln2． 2上为减函数，∵G(a)0，ba，∴G(b)0，即g(a)g(b)2g(例6．【解析】（1）f'(x)aexx，∵f(x)在R上为增函数，∴f'(x)0对xR恒成立，即axex对xR恒成立；记g(x)xex，则g'(x)exxex(1x)ex；

当x1时，g'(x)0；当x1时，g'(x)0．知g(x)在( , 1)上为增函数，在(1 , )上为减函数，∴g(x)在x1时，取得最大值，即g(x)maxg(1)（2）记F(x)f(x)(1x)ex111，∴a，即a的取值范围是[ , )．

eee12xx1（x0），则F'(x)exx1，2令h(x)F'(x)exx1，则h'(x)ex1；当x0时，h'(x)0，∴h(x)在(0 , )上为增函数，又h(x)在x0处连续，∴h(x)h(0)0，即F'(x)0，∴F(x)在(0 , )上为增函数，又F(x)在x0处连续，∴F(x)F(0)0，即f(x)1x．【点评】当函数取最大（或最小）值时不等式都成立，可得该不等式恒成立，从而把不等式的恒成立问题可转化为求函数最值问题．不等式恒成立问题，一般都会涉及到求参数范围，往往把变量分离后可以转化为mf(x)（或mf(x)）恒成立，于是m大于f(x)的最大值（或m小于f(x)的最小值），从而把不等式恒成立问题转化为求函数的最值问题．因此，利用导数求函数最 值是解决不等式恒成立问题的一种重要方法．

例7．【解析】 对不等式两边取对数得(1)ln(1x)11xx，化简为2(1x)ln(1x)2xx2，2(l1x)，设辅助函数f(x)2xx22(1x)ln(，f'(x)2x2n1x)（x0）又f''(x)2x0（x0），易知f'(x)在(0 , )上严格单调增加，从而f'(x)f'(0)01x（x0），又由f(x)在[0 , )上连续，且f'(x)0，得f(x)在[0 , )上严格单调增加，∴f(x)f(0)0（x0），即2xx22(1x)ln(1x)0，2xx22(1x)ln(1x)，故(1x)11xe1x2（x0）．

1、【解析】f(x)12lnx2a2lnx1，∴f(x)0，即f(x)，当x1，a0时，不难证明xxx 在(0,)内单调递增，故当x1时，f(x)f(1)0，∴当x1时，恒有xln2x2alnx1．

2、【解析】设F(x)g(x)f(x)12x2ax3a2lnxb，则23a2(xa)(x3a)（x0），∵a0，∴当xa时，F'(x)0，F'(x)x2axx故F(x)在(0 , a)上为减函数，在(a , )上为增函数，于是函数F(x)在(0 , )上的最小值是F(a)f(a)g(a)0，故当x0时，有f(x)g(x)0，即f(x)g(x)．

3、【解析】函数f(x)的定义域为(1 , )，f'(x)11x，∴当1x01x(1x)2(1x)2时，f'(x)0，即f(x)在x(1 , 0)上为减函数；当x0时，f'(x)0，即f(x)在x(0 , )上为增函数；因此在x0时，f(x)取得极小值f(0)0，而且是最小值，于是f(x)f(0)0，从而ln(1x)1xa1b1，于是，即ln(1x)1，令1x0，则11x1xbx1aabbf(x)xf'(x)f(x)ln1，因此lnalnb1．

4、0，故【解析】F(x)，F'(x)baaxx2f(x)f(a)f(b)af(b)bf(a)，故选A． F(x)在(0 , )上是减函数，由ab有xab8