有名輝

浙江省杭州市安吉路實(shí)驗(yàn)學(xué)校 (310006)

瓦西列夫不等式［1］敘述如下：

設(shè)a,b,c>0,a+b+c=1，則有a2+bb+c+b2+cc+a+c2+aa+b≥2.(1)

將此不等式進(jìn)行聯(lián)想類(lèi)比，并推廣到多元情形，得到

結(jié)論1 設(shè)x1,x2,…，x璶>0,n∈N,n≥2，則∑x12+x22+…+x2﹏-1獂2+x3+…+x璶≤x1+x2+…+x璶.(2)

其中記號(hào)“∑”表示循環(huán)和.

證明：x12+x22+…+x2﹏-1獂2+x3+…+x璶=

x12x2+x3+…+x璶+x2+x3+…+x璶(n-1)2+x22x2+x3+…+x璶+x2+x3+…+x璶(n-1)2+…+x2﹏-1獂2+x3+…+x璶+x2+x3+…+x璶(n-1)2-x2+x3+…+x璶n-1≥x1+x2+…+x﹏-1猲-1-x1+x2+…+x璶n-1.

采用同樣的方法處理(2)式左邊的其他項(xiàng)，可得

∑x21+x22+…+x2﹏-1獂2+x3+…+x璶≥

2∑x1+x2+…+x﹏-1猲-1-∑x2+x3+…+x璶n-1=x1+x2+…+x璶.當(dāng)且僅當(dāng)x1=x2=…=x璶時(shí)上式等號(hào)成立.類(lèi)似結(jié)論1的證明，還可以得到

結(jié)論2 設(shè)x1,x2,…，x璶>0,n∈N,n≥2，1≤i≤n，且當(dāng)n+i-2>n時(shí)，取x﹏+1=x1,…，x﹏+i-2=x﹊-2，則

∑x2璱+x2﹊+1+…+x2﹏+i-2獂2+x3+…+x璶≥x1+x2+…+x璶.

結(jié)論1和結(jié)論2中，不等式左邊每一項(xiàng)的分母和分子的“缺項(xiàng)”都是一項(xiàng)，現(xiàn)作進(jìn)一步推廣.

結(jié)論3 x1,x2,…,x璶>0,n∈N,n≥2,i,j,k∈N,0≤i,j,k≤n-1；且當(dāng)i+n-j-1>n時(shí)，取x﹏+1=x1,…,x﹊+n-j-1=x﹊-j-1，則∑x2﹊+1+x2﹊+2+…+x2﹊+n-j獂﹌+1+x﹌+2+…+x璶≥n-jn-k(x1+x2+…+x璶),(3)，當(dāng)且僅當(dāng)x1=x2=…=x璶時(shí)上式等號(hào)成立.

證明：類(lèi)似結(jié)論1，也可參照以下結(jié)論4的證明，在此略去過(guò)程.

結(jié)論4 設(shè)x1,x2,…,x璶>0,n,m∈N,n≥2,m≥2,i,j,k∈N,0≤i,j,k≤n-1，且當(dāng)i+n-j>n時(shí)，取x﹏+1=x1,…,x﹊+n-j=x﹊-j,則∑x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥n-jn-k?∑ni=1x﹎-1璱.(4)

證明：由于x琺﹊+1獂﹌+1+x﹌+2+…+x璶=(m-1)x琺﹊+1(m-1)(x﹌+1+x﹌+2+…+x璶)+

(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺-

(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺≥

mmx﹎(m-1)﹊+1(m-1)琺(n-k)琺-

(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺=mx﹎-1﹊+1(m-1)(n-k)-(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺.

類(lèi)似的處理可得

x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥

m(x﹎-1﹊+1+x﹎-1﹊+2+…+x﹎-1﹊+n-j)(m-1)(n-k)-

(n-j)(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺,所以

∑x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥

∑m(x﹎-1﹊+1+x﹎-1﹊+2+…+x﹎-1﹊+n-j)(m-1)(n-k)-

∑(n-j)(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺=

m(n-j)∑ni=1x﹎-1璱(m-1)(n-k)-(n-j)(m-1)(n-k)琺∑(x﹌+1+x﹌+2+…+x璶)﹎-1.(5)

當(dāng)m≥2時(shí)，f(x)=x﹎-1是一個(gè)下凸函數(shù)，由下凸函數(shù)的獼enson不等式［2］可得(x﹌+1+x﹌+2+…+x璶)﹎-1≤(n-k)﹎-2(x﹎-1﹌+1+x﹎-1﹌+2+…+x﹎-1璶).(6)

把(6)式代入(5)式，可得

∑x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥

m(n-j)∑ni=1x﹎-1璱(m-1)(n-k)-(n-j)(m-1)(n-k)2∑(x﹎-1﹌+1+x﹎-1﹌+2+…+x﹎-1璶)=m(n-j)∑ni=1x﹎-1璱(m-1)(n-k)-(n-j)∑ni=1x﹎-1璱(m-1)(n-k)=n-jn-k∑ni=1x﹎-1璱.結(jié)論3證畢.

在(4)式中，對(duì)∑ni=1x﹎-1璱再用一次下凸函數(shù)的獼enson不等式，可得

∑x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥n-jn-k(∑ni=1x璱)﹎-1猲﹎-2,(7)

此即為文［3］中定理1的一個(gè)推廣.

結(jié)論4中，賦予m,n,j,k不同的值時(shí)，可以得到很多形式對(duì)稱(chēng)的不等式.其中有很多在一些文獻(xiàn)或競(jìng)賽試題出現(xiàn)過(guò).例如

取j=k=n-1,i=n-2,m=2，則結(jié)論4化為∑x21x2≥x1+x2+…+x璶，此為1984年全國(guó)高中數(shù)學(xué)競(jìng)賽題.

取j=n-1,k=1,i=0,m=2，并記x1+x2+…+x璶=s，則結(jié)論4化為∑ni=1x2璱s-x璱≥sn-1,此為《數(shù)學(xué)通報(bào)》1994年第11期數(shù)學(xué)問(wèn)題第925題.特別地，若s=1，即為《數(shù)學(xué)通報(bào)》1993年第7期數(shù)學(xué)問(wèn)題第845題.

取j=n-1,k=i=n-2，m=2，則結(jié)論4化為∑x21x1+x2≥12∑ni=1x璱，此為1991年亞太地區(qū)數(shù)學(xué)競(jìng)賽試題，也是第24屆全蘇數(shù)學(xué)奧林匹克試題.特別地，取n=3，則為《數(shù)學(xué)通報(bào)》1995年第4期數(shù)學(xué)問(wèn)題第946題.

取j=n-1.k=1,i=0,m=2，則結(jié)論4化為∑x31x2+x3+…+x璶≥x21+x22+…+x2璶n-1.即為《數(shù)學(xué)教學(xué)》1996年第5期問(wèn)題第405題.特別地，此式中取n=4,則

∑x31x2+x3+x4≥x21+x22+x23+x243≥

x1x2+x2x3+x3x4+x4x13,即為第31屆IMO預(yù)選題.

(7)式中，取j=n-1,k=1,i=0,m=3，并記x1+x2+…+x璶=s，則∑ni=1x3璱s-x璱≥s2n(n-1),這是《數(shù)學(xué)通報(bào)》2007年第2期問(wèn)題第1660題的推廣.

取j=k=i=n-3,m=3，則結(jié)論4化為∑x31+x32+x33x1+x2+x3≥∑ni=1x2璱.此為文［4］所得結(jié)論.類(lèi)似的特例在其它一些數(shù)學(xué)雜志和數(shù)學(xué)競(jìng)賽中還有很多，限于篇幅，在此不再贅述.除此之外，結(jié)論4對(duì)一些命題的證明也會(huì)帶來(lái)方便.如

例1［5］ 設(shè)α是銳角，求證玞os3α玸inα+玸in3α玞osα≥1.

證明：由結(jié)論4，可得玞os3α玸inα+玸in3α玞osα≥玸in2α+玞os2α=1.同理可證《數(shù)學(xué)通報(bào)》1994年第9期問(wèn)題第912題：

例2 設(shè)α，β，γ是銳角，玸in2α+玸in2β+玸in2γ=1,求證玸in3α玸inβ+玸in3β玸inγ+玸in3γ玸inα≥1.

參考文獻(xiàn)

［1］李學(xué)軍(戎松魁譯).一組優(yōu)美的不等式.數(shù)學(xué)通訊，2006，21.

［2］T?M.菲赫金哥爾茨.微積分學(xué)教程.北京：人民教育出版社，1957.

［3］季明銀.一類(lèi)不等式的推廣.數(shù)學(xué)通報(bào)，2008.1

［4］楊銀福，楊志丹.一個(gè)不等式的變形及推廣.數(shù)學(xué)通訊，2000.6.

［5］曾思江，劉中華.用基本不等式解題的思維過(guò)程淺析.湖南數(shù)學(xué)通訊，1996，2.