黃武　田潤(rùn)麗

【摘要】本文將兩類特殊齊次不等式，推廣到m個(gè)變量的n次齊次不等式，并用算術(shù)-幾何均值不等式對(duì)其進(jìn)行證明.

【關(guān)鍵詞】齊次;不等式;推廣

一、簡(jiǎn)單結(jié)論

結(jié)論1：若a，b，c∈R+，則有

a3+b3+c3≥a2b+b2c+c2a.

結(jié)論2：若a，b，c∈R+，則有

a5+b5+c5≥a3bc+ab3c+abc3.

以上兩個(gè)結(jié)論的證明過程詳見文[1].

筆者研究發(fā)現(xiàn)，以上兩類齊次不等式都可以推廣到m個(gè)變量的n次齊次不等式，為了方便證明，先引入算術(shù)-幾何均值不等式.

二、引 理

算術(shù)-幾何均值不等式：對(duì)n個(gè)任意的非負(fù)數(shù)ai（i=1，2，…，n），有

a1+a2+…+ann≥na1a2…an（1）

成立，當(dāng)且僅當(dāng)a1=a2=…=an時(shí)上式取等號(hào).

令bni=ai（i=1，2…n），由引理得

bn1+bn2+…+bnn≥nb1b2…bn.（2）

當(dāng)且僅當(dāng)b1=b2=…=bn時(shí)上式取等號(hào).

三、推 廣

將結(jié)論1推廣到m個(gè)變量的n次齊次不等式.

推廣1 設(shè)xj≥0（j=1，2，…，m），對(duì)任意正整數(shù)n，m（n≥m）有以下式子成立：

xn1+xn2+…+xnm≥xn-m1xm2+xn-m2xm3+…+xn-mmxm1.

證明 因?yàn)閤j≥0（j=1，2，…，m），n≥m，根據(jù)（2）式可得

xn1+…+xn1（n-m）個(gè)+xn2+…+xn2m個(gè)≥nxn-m1xm2，

xn2+…+xn2（n-m）個(gè)+xn3+…+xn3m個(gè)≥nxn-m2xm3，

…

xnm+…+xnm（n-m）個(gè)+xn1+…+xn1m個(gè)≥nxn-mmxm1，

以上不等式兩邊分別相加得

xn1+xn2+…+xnm≥xn-m1xm2+xn-m2xm3+…+xn-mmxm1

即可證，當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)取等號(hào).

將結(jié)論2推廣到m個(gè)變量的n次齊次不等式.

推廣2 設(shè)xj≥0（j=1，2…m），對(duì)正整數(shù)n，m（n≥m）有以下式子成立：

xn1+xn2+…+xnm≥x1x2…xm（xn-m1+xn-m2+…+xn-mm）.

證明 因?yàn)閤j≥0（j=1，2…m），n≥m，根據(jù)（2）式可得

xn1+…+xn1（n-m+1）個(gè)+xn2+…+xnm≥nxn-m+11x2…xm，

xn1+xn2+…+xn2（n-m+1）個(gè)+xn3+…+xnm≥nx1xn-m+12x3…xm，

…

xn1+xn2+…+xnm-1+xnm+…+xnm（n-m+1）個(gè)≥nx1x2…xm-1xn-m+1m，

以上不等式兩邊分別相加得

xn1+xn2+…+xnm≥x1x2…xm（xn-m1+xn-m2+…+xn-mm）

即可證，當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)取等號(hào).

三、特 例

例1 若a，b∈R+，對(duì)任意正整數(shù)n，m，有

am+n+bm+n≥ambn+anbm.

證明略.

例2 （1991年美國(guó)《大學(xué)數(shù)學(xué)雜志》第四期征解題）若xi≥0（i=1，2…n），則有

xn+11+xn+12+…+xn+1n≥x1x2…xn（x1+x2+…+xn）.

證明略.

本文對(duì)兩類齊次不等式進(jìn)行了推廣，拓展了應(yīng)用范圍.推廣的證明和結(jié)論，在部分齊次不等式的解題中，具有一定的實(shí)用價(jià)值.

【參考文獻(xiàn)】

[1]李再湘.讓思維充滿思想，讓思想充滿智慧——平均值不等式解題功能的挖掘[J].中學(xué)生理科應(yīng)試，2003（9）：1-2.