构造法证明函数不等式

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

构造法证明函数不等式

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

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

构造函数法证明不等式

河北省 赵春祥

不等式证明是中学数学的重要内容之一．由于证明不等式没有固定的模式，证法灵活多样，技巧性强，使其成为各种考试命题的热点问题，函数法证明不等式就是其常见题型．即有些不等式可以和函数建立直接联系，通过构造函数式，利用函数的有关特性，完成不等式的证明．

一、构造一元一次函数证明不等式

例1设0＜x＜1，0＜y＜1，0＜z＜1，求证：x(1－y)＋y(1－z)＋z(1－x)＜1．

证明：构造一次函数f(x)= x(1－y)＋y(1－z)＋z(1－x)，整理，得

f(x)=(1－y－z)x＋(y＋z－yz)其中0＜x＜1，∵0＜x＜1，0＜y＜1，0＜z＜1，∴－1＜1－y－z＜1．

⑴当0＜1－y－z＜1时，f(x)在(0，1)上是增函数，于是

f(x)＜f(1)=1－yz＜1；

⑵当－1＜1－y－z＜0时，f(x)在(0，1)上是减函数，于是

f(x)＜f(0)= y＋z－yz = 1－(1－y)(1－z)＜1；

⑶当1－y－z = 0，即y＋z = 1时，f(x)= y＋z－yz = 1－yz＜1．

综上，原不等式成立．

例2已知 | a |＜1，| b |＜1，| c |＜1，求证：abc＋2＞a＋b＋c．

证明：构造一次函数f(x)=(bc－1)x＋2－b－c，这里，| b |＜1，| c |＜1，| x |＜1，则bc ＜1． ∵f(1)= 1－bc＋2－b－c =(1－bc)＋(1－b)＋(1－c)＞0，f(1)= bc－1＋2－b－c =(1－b)(1－c)＞0，∵－1＜x＜1，∴一次函数f(x)=(bc－1)x＋2－b－c的图象在x轴上方，这就是说，当| a |＜1，| b |＜1，| c |＜1时，有(bc－1)a＋2－b－c＞0，即abc＋2＞a＋b＋c．

二、构造一元二次函数证明不等式

例3若 a、b、c∈R+，求证：a2＋b2＋c2≥ab＋bc＋ca ．

证明构造函数f(x)= x2－(b＋c)x＋b2＋c2－bc ．

因为 △=(b＋c)2－4(b2＋c2－bc)=－3(b－c)2≤0，又因为二次项的系数为正数，所以x2－(b＋c)x＋b2＋c2－bc≥0对任意实数恒成立． 以a 替换 x 得：a2－(b＋c)a＋b2＋c2－bc≥0，即 a2＋b2＋c2≥ab＋bc＋ ca．

例4已知a、b、c、d、e是满足a＋b＋c＋d＋e= 8，a2＋b2＋c2＋d2＋e2= 16的实数，求证：0≤e≤

5．证明：构造一元二次函数

f(x)= 4x

＋2(a＋b＋c＋d)＋a2＋b2＋c2＋d2=(x＋a)2＋(x＋b)2＋(x＋c)2＋(x＋d)2≥0，又∵二次项系数为正数，∴△= 4(a＋b＋c＋d)2－16(a2＋b2＋c2＋d2)= 4(8－e)2－16(16－e2)≤0，解之得0≤e≤

165

．

故不等式成立．

三、构造单调函数证明不等式 例5已知 a＞0，b＞0，求证 ：证明： 构造函数f(x)=

x1x

a1a

＋

b1b

＞

x

ab1ab

．，易证f(x)=

1x

= 1－

1x

当x＞0 时单调递增．

∵ a＋b＋ab＞a＋b＞0，∴ f(a＋b＋ab)＞f(a＋b)． 故

a1a

＋

b1b

=

ab2ab(1a)(1b)

＞

abab1abab)

=f(a＋b＋ab)＞f(a＋b)=

13n2

13n1

ab1ab

．

例6对任意自然数n 求证：(1＋1)(1＋

14)·…·(1＋

13n2)＞3n1．

证明：构造函数f(n)=(1＋1)(1＋

13n1)·…·(1＋3，由

f(n1)f(n)

(1)33n1

=

3n4

=(3n2)

(3n1)(3n4)

＞1，∵f(n)＞0，∴f(n1)＞f(n)，即f(n)是自然数集N上的单调递增函数，∴(1＋1)(1＋

14)·…·(1＋

13n2)＞33n1．

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

构造函数法证明不等式

一、构造分式函数，利用分式函数的单调性证明不等式

【例1】证明不等式：|a||b||ab|

1|a||b|≥1|ab|

证明：构造函数f(x)=

x

1x(x≥0)则f(x)=x1x=1-

11x

在0，上单调递增

∵f(|a| + |b|)=

|a||b|1|a||b|f(|a + b|)=|ab|

1|ab|

且|a| + |b|≥|a + b|

∴f(|a| + |b|)≥f(|a + b|)即所证不等式正确。

二、利用分式函数的奇偶性证明不等式

【例2】证明不等式：x12x＜x

2（x≠0）证明：构造函数f(x)=x1

2x

x

2(x0)∵f(-x)=-xx-x2x1-2-x22x1x2x12x

[1-(1-2x)]x2x12xx2=f(x)

∴f(x)是偶函数，其图像关于y轴对称。当x＞0时，12x

＜0，f(x)＜0；

当x＜0时，-x＞0,故f(x)=f(-x)＜0 ∴x1-2xx2＜0，即x12

x

＜x

2三、构造一次函数，利用一次函数的单调性证明不等式

【例3】已知|a|＜1，|b|＜1，|c|＜1，求证：a + b + c＜abc + 2。

证明：构造函数f(c)=(1-ab)c + a + b-

2∵|a|＜1，|b|＜

1∴-1＜ab＜1，1-ab＞0

∴f(c)的（-1，1）上是增函数

∵f(1)=1-ab + a + b-2=a + b–ab-1=a(1b)=(1c)2＞4a(a + b + c)。证明：构造函数f(x)=ax2 +(-b + c)x +(a + b + c)(a≠0)

则f(0)=a + b + c，f(1)=2(a + c)

由(a + c)(a + b + c)＜0知：f(0)•f(1)＜0 ∴f(x)=0有两个不等的实数根。∴△＞0，即(bc)2＞4a(a + b + c)

【例5】已知实数a，b，c满足a + b + c = 5，a2 + b2 + c

2= 9，求证a，b，c的值都不小于1，又都 不大于21

3。

证明：构造函数f(x)=2x2+ 2(a + b)x + a2 + b2=(x + a)2 +(x + b)2 ≥0

∵2＞0

∴△=[2(a+b)]2-4×2×(a2 + b2)≤0

∴△=4(5-c)2-8(9-c2)≤0 ∴(c-1)(3c-7)≤0

∴1≤c≤213

同理可证：1≤a≤21，1≤b≤2133。

【例6】已知a，b，c∈R，证明：a2 + ac + c2 + 3b(a + b + c)≥0，并指出等号何时成立？

证明：令f(a)= a2 +(c + 3b)a + c2 + 3b2

+ 3bc

△=(c + 3b)2-4(c2 + 3b2 + 3bc)=-3(b + c)2

≤0 恒成立 ∵二次项系数1＞0

∴f(a)≥0，即 a2 + ac + c2 + 3b(a + b + c)≥0

又当△=0，即b + c = 0时f(a)=(a + b)2

= 0 ∴当且仅当a=-b=c时才能取等号。

⒉利用一元二次方程根的分布证明不等式

【例7】设a + b + c=1，a2 + b2 + c2 =1，且a＞b＞c，求证：-

13＜c＜0

证明：∵a + b + c=1

∴a + b =1-c有a2 + b2 + 2ab=1c

∴a，b是方程x2-(1-c)x+c2-c=0的两个实数根

∵a＞b＞c，故方程有大于c的两个不等的实数根

构造函数f(x)= x2-(1-c)x+c2-c，则有：

(1c)24(c2c)＞0

1c＞c

2

f(c)＞0

∴-1

3＜c＜0

⒊综合运用判别式法、一元二次方程根的分布证明不等式

【例8】设a，b是两个不等于0的实数，求证：下列不等式中至少有一个成立。aa22b2

2b1，aa22b2

2b1

证明：设f(x)=bx2axb

2(b≠0)

∵△=(-a)2-2b(-b)=a2+2b2＞0

∴抛物线与x轴必有两个交点，其横坐标为x=aa22b2

2b

∴f(-1)=b

2af(0)= b

2f(1)= b

2a

⑴当b＞0时，f(0)＜0

若a＞0,则f(-1)＞0

∴点A（-1，f(-1)）在x轴上方，点B（0，f(0)）在x轴下方

∴抛物线与x轴在（-1，0）内必有一个交点，此时有

aa22b2

2b1 若a＜0，则f(1)＞0 ∴点C(1，f(1))在x轴上方 ∴抛物线与x轴在（0，1）内必有一个交点，此时有 aa22b22b1 ⑵当b＜0时，f(0)＞0，此时点B在x轴下方，同理可证A点和C点至少有一点 在x轴上方。故两个不等式至少有一个成立。构造函数法证明不等式，关键在于找到能够反映所要证不等式特征的合适的函数，从而就可以利用该函数的性质去证明不等式。

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

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

例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.命题得证。