构造函数,妙解不等式

第一篇：构造函数,妙解不等式

构

不等式与函数是高中数学最重要的两部分内容。把作为高中数学重要工具的不等式与作为高中数学主线的函数联合起来，这样资源的优化配置将使学习内容在函数思想的指导下得到重组，优势互补必将提升学习效率.例1:已知a2+ab+ac<0证明b2-4ac>0

分析：有所证形式为二次函数的判别式（△）的格式。故试图构造二次函数使思路峰回路转。

证明：令f(x)=cx2+bx+a。由a2+ab+ac=a(a+b+c)<0得a与 a+b+c异号。

F(0)=a，f(1)= a+b+c。所以，f(x)图像与x轴有两个交点.。所以判别式（△）大于0。即b2-4ac>0。

x111< ln

本题与2005年全国卷Ⅱ中函数f(x)=ln(1+x)-x 没有什么区别，有着高等数学的背景，且是近几年高考命题不等式证明题中新的开挖点。构造函数和用求导数法来研究其单调性，进而再利用单调性可快捷证得，往往别开生面。

11证明：设1+= t ,由x∈(0,+∞)则t > 1 ,∴x =xt1

1原不等式

< lnt

1令f(t)=t-1-lnt 则 f ‘(t)=1-当 t∈(1,+∞)，有f‘(t)>0 t

从而 f(t)在t∈(1,+∞)单调递增，所以 f(t)>f(1)=0 即t-1>lnt

1t1同理 令g(t)=lnt-1+。则g’(t)= 2 当t∈(1,+∞)，有 g’(t)>0 tt

1所以 g(t)在t∈(1,+∞)单调递增，g(t)>g(1)=0即lnt>1-t

x111综上 < ln

有些不等式，利用函数的性质（如单调性，奇偶性等）来解证，往往要比常规的方法容易找到证题途径，下面看一个例题：

例3：设a，b，c∈R+，且a＋b＞c．

在课堂上可先让学生用常规方法思考试证后启发学生用构造函数法来证，最后比较证法。

（x∈R+），先证单调性。

∴f（x）在x∈R+上单调递增。

∵a+b＞c（已知）∴f（a+b）＞f（c），利用构造法也可解关于x的不等式

例4:已知关于x的不等式｜x-4｜＋｜x-3｜＜a的解集为非空集合，求实数a的取值范围。

对于讨论这类含参数的不等式，先让学生按常规方法解：用数轴法，分别在三个区间内讨论解集为非空集合时a的取值范围，然后求它的交集得a＜1。

后来又启发学生用构造函数方法来解，学生们思考很积极，有一个学生解道：

作出分段函数的图象（如上图所示）

通过以上对构造函数发典例的分析，可以看出构造函数法确实是一种解题的好途径。将证明或求解的不等式地为转化为函数的问题，关键在于转化为什么样的函数.这就要求从被证（解）的不等式的形状，特点入手，发生联想。本着“纵向深入，横向联系”的原则，合理的构造函数模型。达到启发学生思维，开拓解题途径的效果。

第二篇：构造函数巧解不等式

构造函数巧解不等式

湖南 黄爱民

函数与方程，不等式等联系比较紧密，如果从方程，不等式等问题中所提供的信息得知其本质与函数有关，该题就可考虑运用构造函数的方法求解。构造函数，直接把握问题中的整体性运用函数的性质来解题，是一种制造性的思维活动。因此要求同学们多分析数学题中的条件和结论的结构特征及内在联系，能合理准确地构建相关函数模型。

一、构造函数解不等式

例

1、解不等式 810x35x0 3(x1)x

1分析；本题直接将左边通分采用解高次不等式的思维来做运算较烦。但注意到8102323x5x , 启示我们构造函数且题中出现()5()3x1x1x1(x1)

f(x)=x3+5x去投石问路。解：将原不等式化为(232)5()x35x，令f(x)=x3+5x，则不等式变为x1x1

22f()f(x)，∵f(x)=x3+5x在R上为增函数∴原不等式等价于x，解x1x1之得：－1＜x＜2或x＜－2。

例

2、解不等式

1x

220 x11x21tan2cos2于是可构造三分析：由xR及的特征联想到万能公式1x21tan2

角函数，令x=tanα(

2

2)求解。

1tan2解：令x=tanα()0，从 222tan1

13而2sin2sin10sin1∴∴tanα＞,∴x＞262

33。3

二、构造函数求解含参不等式问题。

例3已知不等式11112loga(a1)对大于1的一切自然数nn1n22n12

3恒成立，试确定参数a的取值范围。解：设f(n)

∵f(n+1)-f(n)111，n1n22n11110,∴f(n)是关于n 的增函2n12n2n1(2n1)(2n2)

712∴f(n)loga(a1)对大于1的一切自然数n恒12123

7121成立,必须有loga(a1)∴loga(a1)1，而a＞1，∴a-1＜12123a数。又n≥2∴f(n)≥f(2)=

∴1＜a＜115∴a的取值范围为（1，）。2

2三、构造函数证明不等式。

例

4、已知 |a|＜1,|b|＜1,|c|＜1，求证：ab+bc+ca＞-

1证：把a看成自变量x，作一次函数f(x)=bx+bc+cx+1=(b+c)x+bc+1, ∵|a|＜1,|b|＜1,|c|＜1∴－1＜x＜1

又∵f(-1)=-b-c+bc+1=(1-b)(1-c)>1

f(1)=b+c+bc+1=(1+b)(1+c)>0，又一次函数具有严格的单调性。∴f(x)=(b+c)x+bc+1在x∈（-1，1）的图象位于x的上方，∴(b+c)x+bc+1>0,从而：(b+c)a+bc+1>0,即证：ab+bc+ca＞-1 例

5、已知，求证：x2y2z22xycos2yzcos2zxcos 证明：考虑函数f(x)=x2y2z2(2xycos2yzcos2zxcos)=2

x22x(ycoszcos)y2z22yzcos,其中4(ycoszcos)24(y2z22yzcos)4(ysinzsin)20 又x2的系数大于0，∴f(x)的值恒大于或等于0，∴x2y2z22xycos2yzcos2zxcos。

第三篇：函数解答题-构造函数证明不等式

函数解答题-构造函数证明不等式 例1（2013年高考北京卷（理））设L为曲线C:ylnx在点(1,0)处的切线.x

(I)求L的方程;

(II)证明:除切点(1,0)之外,曲线C在直线L的下方.【答案】解:(I)设f(x)lnx1lnx,则f(x).所以f(1)1.所以L的方程为2xx

yx1.(II)令g(x)x1f(x),则除切点之外,曲线C在直线l的下方等价于

x21lnxg(x)0(x0,x1).g(x)满足g(1)0,且g(x)1f(x).x2

2当0x1时,x10,lnx0,所以g(x)0,故g(x)单调递减;

当x1时,x10,lnx0,所以g(x)0,故g(x)单调递增.所以,g(x)g(1)0(x0,x1).所以除切点之外,曲线C在直线L的下方.又解:g(x)0即x12lnx0变形为x2xlnx0,记h(x)x2xlnx,则x

12x2x1(2x1)(x1)h(x)2x1,xxx

所以当0x1时,h(x)0,h(x)在(0,1)上单调递减;当x1时,h(x)0,h(x)在(1,+∞)上单调递增.所以h(x)h(1)0.)

例2（2013年普通高等学校招生统一考试辽宁数学（理）试题（WORD版））已知函数fx1xe2xx3,gxax12xcosx.当x0,1时，2

1;1x(I)求证:1-xfx

(II)若fxgx恒成立,求实数a取值范围.【答案】解：(1)证明：要证x∈[0，1]时，(1＋x)e－2x≥1－x，只需证明(1＋x)ex≥(1－x)ex.－

记h(x)＝(1＋x)ex－(1－x)ex，则h′(x)＝x(ex－ex)，当x∈(0，1)时，h′(x)＞0，因此h(x)在[0，1]上是增函数，故h(x)≥h(0)＝0.所以f(x)≥1－x，x∈[0，1]．

－

－

要证x∈[0，1]时，(1＋x)e

－2x

1≤ex≥x＋1.1＋x

记K(x)＝ex－x－1，则K′(x)＝ex－1，当x∈(0，1)时，K′(x)＞0，因此K(x)在[0，1]上是增函数，故K(x)≥K(0)＝0.所以f(x)≤，x∈[0，1]．

1＋x1

综上，1－x≤f(x)≤，x∈[0，1]．

1＋x(2)(方法一)

x

ax＋1＋2xcos x f(x)－g(x)＝(1＋x)e－2

－2x

x3

≥1－x－ax－1－2xcos x

2x

a＋1＋＋2cos x.＝－x2

x2

设G(x)＝2cos x，则G′(x)＝x－2sin x.记H(x)＝x－2sin x，则H′(x)＝1－2cos x，当x∈(0，1)时，H′(x)＜0，于是G′(x)在[0，1]上是减函数，从而当x∈(0，1)时，G′(x)＜G′(0)＝0，故G(x)在[0，1]上是减函数．于是G(x)≤G(0)＝2.从而

a＋1＋G(x)≤a＋3，所以，当a≤－3时，f(x)≥g(x)在[0，1]上恒成立．

下面证明，当a＞－3时，f(x)≥g(x)在[0，1]上不恒成立．

1x3

f(x)－g(x)≤1－ax－2xcos x

21＋x－xx3

＝ax－－2xcos x

21＋x

1x

＝－x1＋xa2＋2cos x.

－11x21记I(x)＝＋a＋2cos x＝＋a＋G(x)，则I′(x)＝＋G′(x)．当x∈(0，21＋x1＋x（1＋x）1)时，I′(x)＜0.故I(x)在[0，1]上是减函数，于是I(x)在[0，1]上的值域为[a＋1＋2cos 1，a＋

3]．

因为当a＞－3时，a＋3＞0，所以存在x0∈(0，1)，使得I(x0)＞0，此时f(x0)＜g(x0)，即f(x)≥g(x)在[0，1]上不恒成立．

综上，实数a的取值范围是(－∞，－3]．(方法二)

先证当x∈[0，1]时，1－x2≤cos x≤1－2.241

记F(x)＝cos x－1＋x2，则F′(x)＝－sin x＋x.22

记G(x)＝－sin x＋x，则G′(x)＝－cos x＋1，当x∈(0，1)时，G′(x)＞0，于是G(x)在[0，1]上是增函数，因此当x∈(0，1)时，G(x)＞G(0)＝0，从而F(x)在[0，1]上是增函数，因此F(x)≥F(0)＝0.所以

当x∈[0，1]时，12≤cos x.同理可证，当x∈[0，1]时，cos x≤1－2.411

综上，当x∈[0，1]时，1－x2≤cos x≤1－x2.24因为当x∈[0，1]时．

x

ax＋1＋2xcos x f(x)－g(x)＝(1＋x)e－2

－2x

1x3

1－2 ≥(1－x)－ax－1－2x42

＝－(a＋3)x.所以当a≤－3时，f(x)≥g(x)在[0，1]上恒成立．

下面证明，当a＞－3时，f(x)≥g(x)在[0，1]上不恒成立．因为 x

ax＋1＋2xcos x f(x)－g(x)＝(1＋x)e－2

－2x

11x3

1－x2 ≤1－ax－2x221＋xx2x3

＝(a＋3)x 1＋x2

x－a＋3），≤x23

a＋31所以存在x0∈(0，1)例如x0取中的较小值满足f(x0)＜g(x0)，即f(x)≥g(x)在[0，321]上不恒成立．

综上，实数a的取值范围是(－∞，－3]．

例3（2012高考辽宁文21）(本小题满分12分)

设f(x)＝lnx＋x－1，证明： 3

(1)当x>1时，f(x)<2(x－1)； 9x－1

(2)当1

【答案】解：(1)(证法一)

记g(x)＝lnx＋x－1－2(x－1)．则当x>1时，113

g′(x)＝x2，g(x)在(1，＋∞)上单调递减．

2x又g(1)＝0，有g(x)<0，即

f(x)<2x－1)．(证法二)

由均值不等式，当x>1时，x

令k(x)＝lnx－x＋1，则k(1)＝0，k′(x)＝x1<0，故k(x)<0，即 lnx

由①②得，当x>1时，f(x)<2(x－1)．(2)(证法一)记h(x)＝f(x)－

9x－1，由(1)得 x＋5

1154

h′(x)＝x2xx＋52＋xx＋55454＝2xx＋54xx＋5x＋53－216x

＝4xx＋5令g(x)＝(x＋5)3－216x，则当1

9x－1

x＋5(证法二)

记h(x)＝(x＋5)f(x)－9(x－1)，则当1

－9 2x－1)＋(x＋5)x2x1

＝2xx(x－1)＋(x＋5)(2＋x)－18x]

x11

2x3xx－1＋x＋52＋22－18x 1

＝4xx2－32x＋25)<0.因此h(x)在(1,3)内单调递减，又h(1)＝0，所以h(x)<0，即f(x)<

9x－1

.x＋5

例4（2012高考浙江文21）（本题满分15分）已知a∈R，函数f(x)4x32axa（1）求f(x)的单调区间

（2）证明：当0≤x≤1时，f(x)+ 2a＞0.【答案】

【解析】（1）由题意得f(x)12x22a，当a0时，f(x)0恒成立，此时f(x)的单调递增区间为,.当a

0时，f(x)12(x

此时函数f(x)的单调递增区间为x，.(2)由于0x1，当a2时，f(x)a24x32ax24x34x2.333

当a2时，f(x)a24x2a(1x)24x4(1x)24x4x2.设g(x)2x2x1,0x

1，则g(x)6x26(x则有

x.33

所以g(x)ming10.3

当0x1时，2x2x10.故f(x)a24x34x20.例5（2012高考山东文22）(本小题满分13分)

已知函数f(x)

lnxk

(k为常数，e=2.71828…是自然对数的底数)，曲线yf(x)在点ex

(1,f(1))处的切线与x轴平行.(Ⅰ)求k的值；

(Ⅱ)求f(x)的单调区间；

(Ⅲ)设g(x)xf(x)，其中f(x)为f(x)的导函数.证明：对任意x0,g(x)1e2.1

lnxk【答案】(I)f(x)，ex

由已知，f(1)

1k

0，∴k1.e

lnx1(II)由(I)知，f(x).ex

设k(x)

lnx1，则k(x)20，即k(x)在(0,)上是减函数，xxx

由k(1)0知，当0x1时k(x)0，从而f(x)0，当x1时k(x)0，从而f(x)0.综上可知，f(x)的单调递增区间是(0,1)，单调递减区间是(1,).(III)由(II)可知，当x1时，g(x)xf(x)≤0＜1+e2，故只需证明g(x)1e2在0x1时成立.当0x1时，ex＞1，且g(x)0，∴g(x)

1xlnxx

1xlnxx.x

e

设F(x)1xlnxx，x(0,1)，则F(x)(lnx2)，当x(0,e2)时，F(x)0，当x(e2,1)时，F(x)0，所以当xe2时，F(x)取得最大值F(e2)1e2.所以g(x)F(x)1e2.综上，对任意x0，g(x)1e2.

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

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

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