【不等式】舒爾不等式及其應用

該文章為這兩天競賽培訓的小總結~

內容是老師講的,筆記可能會有點小錯誤,如果有問題歡迎指出~

難度可能較大,歡迎有興趣的同學們閱讀~

一、舒爾不等式(Schurs inequality)

a,b,c>0 ,對任意實數 r ,均有:

f=a^r(a-b)(a-c)+b^r(b-a)(b-c)+c^r(c-a)(c-b)geq 0

由於式子具有輪換對稱性,以下使用循環求和符號:

f=sum_{cyc}a^r(a-b)(a-c)geq0

其中:

sum_{cyc}a^r(a-b)(a-c)=a^r(a-b)(a-c)+...

證明 由對稱性,不妨設 ageq bgeq c geq 0 ,觀察發現:

(a-b)(a-c)geq 0(b-a)(b-c)le 0(c-a)(c-b)geq 0

①若 rgeq0 ,顯然 c^r(c-a)(c-b) 較小,放縮得到:

fgeq a^r(a-b)(a-c)+b^r(b-a)(b-c)

=(a-b)[a^r(a-c)-b^r(b-c)]geq0

②若 r<0 ,顯然 a^r(a-b)(a-c) 較小,放縮得到:

fgeq b^r(b-a)(b-c)+c^r(c-a)(c-b)

=(b-c)[c^r(a-c)-b^r(a-b)]geq0

所以 fgeq 0 對任意實數 r 均成立。

二、應用

(1)取 r=1 ,稱此時的不等式為三次舒爾不等式,即:

sum_{cyc}a(a-b)(a-c)geq0 ,展開括弧得:

sum_{cyc}a(a^2-ab-ac+bc)geq0 ,整理得到以下三式:

sum_{cyc}(a^3)+3abcgeqsum_{cyc}(a^2)(b+c)

sum_{cyc}(a^3)+3abcgeqsum_{cyc}(ab)(a+b)

sum_{cyc}(a^3)+3abcgeqsum_{cyc}(a)(b^2+c^2)

其中藉助了恆等式(展開易證):

sum_{cyc}(a^2)(b+c)=sum_{cyc}(ab)(a+b)=sum_{cyc}(a)(b^2+c^2)

(2)對三次舒爾不等式,右側使用均值不等式:

sum_{cyc}(a^3)+3abcgeqsum_{cyc}(ab)(a+b)

geq2(ab)^{frac{3}{2}}+2(bc)^{frac{3}{2}}+2(ca)^{frac{3}{2}}

x=a^{frac{3}{2}}y=b^{frac{3}{2}}z=c^{frac{3}{2}} ,換元得到:

x^2+y^2+z^2+3(xyz)^{frac{2}{3}}geq2(xy+yz+zx)

此時為競賽中的常見題型,其中常有條件: xyz=1 ,則:

x^2+y^2+z^2+3geq2(xy+yz+zx)

要直接證明此不等式較為困難,此時可使用舒爾不等式。

(3)對(2)中結果:

x^2+y^2+z^2+3(xyz)^{frac{2}{3}}geq2(xy+yz+zx)

整理得到:

(x+y+z)^2+3(xyz)^{frac{2}{3}}geq4(xy+yz+zx)

此時也為競賽中的常見題型,其中常有條件: x+y+z=1 ,則:

1+3(xyz)^frac{2}{3}geq4(xy+yz+zx)

要直接證明也很困難,用舒爾不等式可以優化解題。

(4)取 r=2 ,稱此時的不等式為四次舒爾不等式,即

sum_{cyc}a^2(a-b)(a-c)geq0 ,展開括弧得:

sum_{cyc}a^2(a^2-ab-ac+bc)geq0 ,整理得到:

sum_{cyc}a^4+abc(a+b+c)geq sum_{cyc}a^3(b+c)

四次舒爾不等式也是競賽中常用的,最好要掌握。


推薦閱讀:

小年夜 | 學數學的少年
自然生活的數學原理
Gauss與AGM(V-3)
【不等式】9-8不等式及其應用
【不等式】均值不等式及其應用

TAG:數學 | 數學競賽 | 不等式 |