廣義均值不等式及其簡單應(yīng)用

王琳， 楊秀

(1.成都理工大學(xué)管理科學(xué)學(xué)院， 成都610059； 2.樂山師范學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院， 四川樂山614000)

?

廣義均值不等式及其簡單應(yīng)用

王琳1， 楊秀2

(1.成都理工大學(xué)管理科學(xué)學(xué)院， 成都610059； 2.樂山師范學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院， 四川樂山614000)

將均值不等式從二維空間推廣到n維空間，并著重研究了利用倒推法和反向歸納法證明廣義均值不等式，從而驗(yàn)證了證明不等式的一般方法的有效性；從形式上和理論上提出廣義均值不等式的冪次一般形式和積分形式，并結(jié)合基本均值不等式性質(zhì)更進(jìn)一步研究了均值不等式的積分形式的證明，拓展了均值不等式的理論應(yīng)用范圍。用實(shí)例充分體現(xiàn)了均值不等式的性質(zhì)以及如何結(jié)合廣義均值不等式與數(shù)學(xué)建模思想解決問題，由此說明廣義均值不等式的重要性。

廣義均值不等式；積分形式；二維空間；n維空間；基本均值不等式

引言

均值不等式是證明不等式的重要方法，在教學(xué)和研究中也占據(jù)著不可替代的位置[1]。運(yùn)用數(shù)學(xué)方法解決生活中的現(xiàn)實(shí)問題是非常必要的，而運(yùn)用不等式的原理來分析問題是研究一系列問題的重要方法。在解決數(shù)學(xué)問題上均值不等式的許多性質(zhì)起到了非常重要的作用，在現(xiàn)實(shí)生活中也有著廣泛的應(yīng)用[2]。于是，均值不等式的發(fā)現(xiàn)、驗(yàn)證以及應(yīng)用是當(dāng)今數(shù)學(xué)領(lǐng)域研究的主要方向[3-4]。本文著重研究了廣義均值不等式定義證明及其應(yīng)用，并通過廣義均值不等式的兩種推廣形式的研究突出不等式在數(shù)學(xué)領(lǐng)域的地位，同時(shí)以兩個(gè)實(shí)例分別研究了廣義均值不等式在理論和實(shí)際生活中的應(yīng)用。

1 廣義均值不等式的定義

調(diào)和平均數(shù)不超過幾何平均數(shù)，幾何平均數(shù)不超過算術(shù)平均數(shù)，算術(shù)平均數(shù)不超過平方平均數(shù)。即：

Hn≤Gn≤An≤Qn

其中，調(diào)和平均數(shù)Hn：

幾何平均數(shù)Gn：

算術(shù)平均數(shù)An：

平方平均數(shù)Qn：

2 廣義均值不等式的證明

基本均值不等式的證明通常用普通證明不等式的方法即可，但廣義均值不等式是在基本均值不等式的基礎(chǔ)上冪的推廣[5]，用簡單的比大小的方式去證明往往說服力不夠[6-8]。廣義均值不等式的證明方法有很多種。例如：數(shù)學(xué)歸納法(第一數(shù)學(xué)歸納法或者反向歸納法)、排序不等式法、拉格朗日乘數(shù)法和柯西不等式法等。[9-11]

2.1 證明An≤Qn

采用倒推法證明這個(gè)不等式，即證：對(duì)?xi≥0(i=1,2,…,n)恒有

且其中的等號(hào)當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)成立。

要證明不等式

即證明

展開不等式化簡可得：

2x1x2+2x1x3+…+2xn-1xn

2x1x2+2x1x3+…+2xn-1xn

成立，當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)等號(hào)成立。

所以對(duì)?xi≥0(i=1,2,…,n)恒有

其中的等號(hào)當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)成立。

2.2 證明Hn≤Gn≤An

采用反向歸納法，即證：對(duì)?xi≥0(i=1,2,…,n)恒有

(1)

且其中的等號(hào)當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)成立。

證明(Ⅰ)先證明命題對(duì)一切n=2k(k=1,2,…)成立。

由題知

(2)

當(dāng)且僅當(dāng)x1=x2時(shí)等號(hào)成立。

又因?yàn)?/p>

利用(2)式可得：

整理得：

當(dāng)且僅當(dāng)x1=x2=x3=x4時(shí)等號(hào)成立。

類似方法，對(duì)?k∈N，重復(fù)上述方法k次，得：

當(dāng)且僅當(dāng)x1=x2=…=x2k時(shí)等號(hào)成立。

所以有：

Xn+1≥x1x2…xnX

Xn≥x1x2…xn

這表明不等式對(duì)n成立。跟n+1時(shí)一樣，當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)等號(hào)成立。

由此可知：對(duì)?xi≥0(i=1,2,…,n)恒有

且其中的等號(hào)當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)成立。

當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)等號(hào)成立。

綜上可知：對(duì)?xi≥0(i=1,2,…,n)恒有

且其中的等號(hào)當(dāng)且僅當(dāng)x1=x2=…=xn時(shí)成立。

3 均值不等式的推廣形式

3.1 一般推廣式

設(shè)xi≥0(i=1,2,…,n)，記

稱Mr(x)為x1,x2,…,xn的r次冪平均。它與算術(shù)平均的關(guān)系是：

3.2 平均值不等式的積分形式

設(shè)r>0,f(x)>0,p(x)>0，在[a,b] 上有定義，且下面的積分有意義，

記：

則有G(f)≤A(f),G(f)≤Mr(f)，若用

取代p(x)，即有

(r>0,包括r=1的情況)

證明?r>0，

由Schwarz不等式可以得到

由此有：

(3)

因?yàn)閒(x)>0,q(x)>0且所在區(qū)間[a,b] 上連續(xù)，所以在[a,b]上達(dá)到最大值，即存在x0∈[a,b]使得

于是有

另一方面因f(x)在x0處連續(xù)，?ε>0,?[α,β]?[a,b]使得f(x)>u-ε(當(dāng)x?[α,β]時(shí))，有

由ε>0的任意性知

且由積分中值定理可知

所以有：

由(1)式證明過程可知

即證

Mr(f)≥G(f)當(dāng)r=1時(shí)，即A(f)≥G(f)。證明過程里“≥”中的等號(hào)，當(dāng)且僅當(dāng)f(x)≡c時(shí)成立，其中c為常數(shù)。

4 廣義均值不等式的應(yīng)用

廣義均值不等式的應(yīng)用非常廣泛，尤其是在數(shù)學(xué)領(lǐng)域，在大學(xué)數(shù)學(xué)里廣義均值不等式在求極限、證明積分不等式等方面提供了更簡易更有說服力的方法。

例1設(shè)正值函數(shù)g(x)在[0,1]上連續(xù)，試證：

證明由條件知g(x)，lng(x)在[0,1]上可積。將[0,1]n等分，作積分和，

所以

根據(jù)幾何平均數(shù)不超過算術(shù)平均數(shù)可得：

所以有：

例2(均值不等式在數(shù)學(xué)建模的基本應(yīng)用)平時(shí)在洗衣服時(shí)，衣服揉搓充分，再擰一擰把衣服中的水?dāng)Q掉，但不管怎么擰水也不可能擰干。假設(shè)每次洗滌污物都能充分均勻地溶于水中，當(dāng)水量給定時(shí)，如何才能洗得干凈？用水量如何分配？剩余污物量的表達(dá)式是什么。

解假設(shè)洗滌污物均勻分布在衣服上，并且衣服在開始漂洗前含有一定的水量，其含水量與每次漂洗后衣服的含水量相同，在建模過程中忽略水的溫度，水質(zhì)等因素對(duì)洗滌結(jié)果的影響。

y0為衣服上初始污物的含量一定，yi為第i次漂洗衣服用的水量，Y為洗衣服總用水量一定，m為每次漂洗衣服后留下的水的質(zhì)量一定，n為漂洗衣服的次數(shù)，xn為漂洗衣服n次后殘留的污物量。觀察剩余污物xn與每次漂洗衣服的用水量yi的關(guān)系，根據(jù)題意假設(shè)可知第一次放水后，質(zhì)量為y0的污物均勻分布在質(zhì)量為m+y1的水中，衣服上剩余的污物量xi與剩余的水量成正比，于是可得：

故有：

重復(fù)這樣的步驟，由數(shù)學(xué)歸納法可得：

(4)

又根據(jù)題意可知：

(5)

利用幾何平均數(shù)不超過算術(shù)平均數(shù)則有：

(6)

由(2)式、(3)式和(4)式得：

由此可知當(dāng)漂洗衣服的次數(shù)一定時(shí)，要使衣服洗得最干凈就應(yīng)該讓衣服上剩余的污物量xn最小，根據(jù)不等式可知當(dāng)y1=y2=…=yn時(shí)，衣服洗得最干凈。此時(shí)剩余的污物量為：

5 結(jié)束語

本文主要探究廣義均值不等式在理論上和形式上的推廣，通過理論證明將均值不等式的核心思想推廣開，將二維空間里的均值不等式推廣到n維空間，用實(shí)例表明均值不等式在解決看似復(fù)雜的問題上是有明顯優(yōu)勢(shì)和便利性的。

[1] 沈旭,曾友良.“最近發(fā)展區(qū)”理論在例題設(shè)計(jì)中的應(yīng)用—以“均值不等式求最值”為例[J].當(dāng)代教育理論與實(shí)踐,2013,5(12):14-16.

[2] 劉敏.數(shù)學(xué)在實(shí)際生活中的應(yīng)用[J].景德鎮(zhèn)高專學(xué)報(bào),2014,29(3):28-29.

[3] 陳紀(jì)修,於崇華,金路.數(shù)學(xué)分析(上)[M].北京:高等教育出版社,2004.

[4] 陳紀(jì)修,於崇華,金路.數(shù)學(xué)分析(下)[M].北京:高等教育出版社,2004.

[5] 梁巧麗,李勝平.n元均值不等式的一種新證法[J].思茅師范高等?？茖W(xué)校學(xué)報(bào),2005,21(3):50-51.

[6] 秦曉艷.均值不等式的一種簡潔證明[J].佳木斯教育學(xué)院學(xué)報(bào),2011(2):126.

[7] 李培瑩.走出均值不等式求最值的誤區(qū)[J].赤峰學(xué)院學(xué)報(bào),2014,30(1):4-5.

[8] 黃清明,張江玲,張更容.一類不等式的研究[J].廣西大學(xué)學(xué)報(bào),2006,31:315-318.

[9] 伏春玲,董建德.均值不等式的性質(zhì)推廣及應(yīng)用[J].甘肅聯(lián)合大學(xué)學(xué)報(bào),2010,24(5):26-31.

[10] 王珍娥.均值不等式在一類數(shù)列收斂證明中的應(yīng)用[J].贛南師范學(xué)院學(xué)報(bào),2007(6):107-109.

[11] 夏立標(biāo).均值不等式及其推廣[J].寧德師專學(xué)報(bào),2010,22(2):125-127.

Generalized Mean Inequality and Its Simple Application

WANGLin1,YANGXiu2

(1.School of Administrative Science, Chengdu University of Technology, Chengdu 610059, China; 2.School of Mathematics and Information Science, Leshan Normal University, Leshan 614000, China)

The mean inequality is generalized from two-dimensional space to n-dimensional space, and the generalized mean inequality is proved through the reverse derivation method and reverse induction method, which proves the validity of the general approaches of inequality. The power general form and integral form of generalized mean inequality are presented in form and theory, and the method of proving am-gm inequality in integral is further studied through the combination with properties of basic am-gm inequality, then the theory application scope of mean inequality is expanded. Examples fully reflect the natures of am-gm inequality and how to combine it with mathematical modeling thought to solve problems, which shows that the generalized mean inequality is very important.

generalized mean inequality; integral form; two-dimensional space;n-dimensionalspace;basicaverageinequality

2015-04-24

王 琳(1989-)，女，四川仁壽人，碩士生，主要從事運(yùn)籌學(xué)與控制論方面的研究，(E-mail)1101772777@qq.com

1673-1549(2015)03-0096-05

10.11863/j.suse.2015.03.20

O178

A