江西省共青城市國(guó)科共青城實(shí)驗(yàn)學(xué)校(332020) 姜坤崇

代數(shù)不等式從形式上大體可分為整式不等式、分式不等式及無(wú)理不等式等三類(lèi).整式不等式與分式不等式在證明中可以考慮互相轉(zhuǎn)化,文獻(xiàn)[1]闡述了將分式不等式轉(zhuǎn)化為整式不等式的重要作用,而轉(zhuǎn)化是相互的,因此對(duì)于某些整式不等式的證明,我們也可另辟蹊徑,將其轉(zhuǎn)化為分式不等式來(lái)證明,這種轉(zhuǎn)化經(jīng)常會(huì)收到意想不到的證明效果,下面分類(lèi)舉出數(shù)例說(shuō)明之.

一、證明三元輪換對(duì)稱(chēng)不等式

在一個(gè)含有三元a,b,c的不等式中,若同時(shí)將a換成b,b換成c,c換成a且不等式不發(fā)生改變,則稱(chēng)這個(gè)不等式是關(guān)于a,b,c輪換對(duì)稱(chēng)不等式.顯然,一個(gè)關(guān)于a,b,c對(duì)稱(chēng)的不等式(任意對(duì)調(diào)其中的兩個(gè)字母不等式都不發(fā)生改變)的不等式一定是輪換對(duì)稱(chēng)不等式,反之則不然.對(duì)于許多關(guān)于a,b,c輪換對(duì)稱(chēng)的整式不等式化為分式不等式來(lái)證,可起到化繁為簡(jiǎn)、化難為易的效果.

例1已知a,b,c ＞0, 求證:a3b+b3c+c3a≥abc(a+b+c).

分析這個(gè)整式不等式從表面上看不難,但保持整式的形式進(jìn)行證明卻有一定困難,下面我們將其轉(zhuǎn)化為分式不等式來(lái)證明可化難為易.

證明原不等式可化為

說(shuō)明例1 也可以采用下面的方法來(lái)證明: 由7 元均值不等式得a3b+a3b+a3b+a3b+b3c+c3a+c3a≥= 7a2bc, 即4a3b+b3c+2c3a≥7a2bc, 同理,4b3c+c3a+2a3b≥7b2ca,4c3a+a3b+2b3c≥7c2ab,以上三個(gè)不等式相加得7(a3b+b3c+c3a)≥7(a2bc+ab2c+abc2),即a3b+b3c+c3a≥abc(a+b+c).

顯然,以上證明是不簡(jiǎn)單也不易一下子想到的(為什么用7 元均值不等式? ),兩種證法比較,化為分式證明的方法要簡(jiǎn)單得多.

有了對(duì)例1 解決問(wèn)題方法的指引,以下例2、3、4、5 的解決就變得輕松多了.

例2(自編題)設(shè)a,b,c ＞0,求證:a3b2+b3c2+c3a2≥abc(ab+bc+ca).

證明將所證不等式化為分式不等式得

例3(自編題)設(shè)x,y,z是正實(shí)數(shù),求證:x3y2(y+z)+y3z2(z+x)+z3x2(x+y)≥2xyz(xy2+yz2+zx2).

證明將所證不等式化為分式不等式得

例4(自編題)已知a,b,c ＞0,求證:a5b2+b5c2+c5a2≥a2b2c2(a+b+c).

證明原不等式可化為)

例5(自編題)已知a,b,c ＞0,求證:a8b3+b8c3+c8a3≥a3b3c3(a2+b2+c2).

證明原不等式可化為

即(5)式成立,從而原不等式得證.

二、證明二元三元對(duì)稱(chēng)不等式

例6已知x、y、z是正實(shí)數(shù),求證:

證明將不等式(6)等價(jià)轉(zhuǎn)化為一分式不等式得

由二元均值不等式得

即(7)式成立,從而(6)式得證.

說(shuō)明不等式(6)即著名的舒爾不等式:xr(x-y)(xz)+yr(y-z)(y-x)+zr(z-x)(z-y)≥0(其中x、y、z、r ＞0)當(dāng)r= 1 時(shí)的一種等價(jià)形式,以上提供了一種證明舒爾不等式的新方法.

例7(自編題)設(shè)a,b,c ＞0, 求證:a2b2(a+b)4+b2c2(b+c)4+c2a2(c+a)4≥16a2b2c2(a2+b2+c2).

證明將不等式化為分式不等式得

由三元均值不等式得

例8(自編題)設(shè)a ＞1,b ＞1,求證:a3+b3+8(a+b)≥a2+b2+8ab+8.

分析這個(gè)不等式直接證明不好證,而轉(zhuǎn)化為分式不等式證明則容易進(jìn)行.

證明因?yàn)閍 ＞1,b ＞1,所以

由二元均值不等式得

當(dāng)且僅當(dāng)a=b=2 時(shí)等號(hào)成立,所以原不等式成立.

說(shuō)明不等式(8)為第26 屆獨(dú)聯(lián)體數(shù)學(xué)奧林匹克競(jìng)賽題: 證明: 對(duì)任意a ＞1,b ＞1,有不等式≥8.

例9(自編題)設(shè)a ＞1,b ＞1,求證: 2(a4+b4)+27(a+b)≥2(a3+b3)+27ab+27.

證明因?yàn)閍 ＞1,b ＞1,所以

由二、三元均值不等式得

當(dāng)且僅當(dāng)a=b=時(shí)等號(hào)成立,所以原不等式成立.

例10(自 編 題)設(shè)a,b,c ＞0, 求證: (ab+bc+ca)[(a+b)2+(b+c)2+(c+a)2]≥12abc(a+b+c).

證明不等式可化為

三、證明條件不等式

例11(自編題)已知實(shí)數(shù)a ＞1,b ＞1,c ＞1, 且a2+b2+c2=9,求證:a3+b3+c3≥

證明由a ＞1 得a-1＞0,a2-1＞0,由三元均值不等式得

例12(自編題)已知實(shí)數(shù)a ＞1,b ＞1,c ＞1, 且a2+b2+c2=5,求證:a5+b5+c5≥

證明由a ＞1 得a-1＞0,a2-1＞0,由五元均值不等式得

當(dāng)且僅當(dāng)a=時(shí)上式等號(hào)成立.所以即同理,

以上三式相加得

即a5+b5+c5≥

四、證明多元對(duì)稱(chēng)不等式

例13(自編題)已知λ為正實(shí)數(shù),xi ＞ λ(i=1,2,··· ,n,n≥3),k為整數(shù),且k≥n,求證:

證明原不等式可化為

記Ai=

則由k元均值不等式得:

即

同理可證,

以上n個(gè)不等式相加即得不等式(9).

從以上的證明可以看出, 當(dāng)且僅當(dāng)xi=(i= 1,2,··· ,n)時(shí)所證不等式等號(hào)成立.所以原不等式成立.