【不等式】9-8不等式及其應用

9-8不等式是在競賽課上提到的不等式,應用也很廣泛,不過可能比較冷門,我也是第一次聽說。

不過老師在課上並沒有給出該不等式的證明,只提到了使用恆等式。

後面我另外完成了不等式的證明(方法可能不是最優解法),並補充上幾個應用的例子。

一、9-8不等式

9(a+b)(b+c)(c+a)geq8(a+b+c)(ab+bc+ca)

等號成立時 a=b=c

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

sum_{cyc}{ab(a+b)}=ab(a+b)+bc(b+c)+ca(c+a)

證明 注意到恆等式(展開後易證):

(a+b)(b+c)(c+a)+abc=(ab+bc+ca)(a+b+c)

9(a+b)(b+c)(c+a)=9(ab+bc+ca)(a+b+c)-9abc

所以原不等式等價於: (ab+bc+ca)(a+b+c)geq9abc

左邊展開得: 3abc+sum_{cyc}{ab(a+b)}geq9abc

所以原不等式等價於: sum_{cyc}{ab(a+b)}geq6abc

@黃柯 有在評論區指出,可以直接展開不等式的左右兩邊:

原不等式等價於: 18abc+9sum_{cyc}ab(a+b)geq 24abc+8sum_{cyc}ab(a+b)

整理得到: sum_{cyc}{ab(a+b)}geq6abc

注意到恆等式(展開後易證): sum_{cyc}{ab(a+b)}=sum_{cyc}a(b^2+c^2)

由均值不等式: sum_{cyc}a(b^2+c^2)geqsum_{cyc}2abc=6abc

二、應用

9-8不等式往往還需要結合其他不等式使用,不過也為證明不等式提供了一種巧妙的思路,接下來舉一個例子來說明。

a,b,c>0 ,且證明:

sum_{cyc}frac{1}{(a+2b+c)^2}le frac{9}{16(ab+bc+ca)}

分析 a+2b+c 可拆分為 (a+b)+(b+c) ,由此構造出可以使用9-8不等式的形式。

sum_{cyc}frac{1}{(a+2b+c)^2}=sum_{cyc}frac{1}{[(a+b)+(b+c)]^2}

由均值不等式: lesum_{cyc}frac{1}{4(a+b)(b+c)}=frac{2(a+b+c)}{4(a+b)(b+c)(c+a)}

由9-8不等式: frac{(a+b+c)}{(a+b)(b+c)(c+a)}lefrac{9}{8(ab+bc+ca)}

代入原不等式得: sum_{cyc}frac{1}{(a+2b+c)^2}le frac{9}{16}frac{1}{ab+bc+ca}

原命題成立。


推薦閱讀:

minmax 和 maxmin 誰大?
是不是很多放縮的題的題目都很簡單答案卻很複雜?為什麼?
小議三元輪換不等式(更新中
如何證明這個不等式?
請教如何證明這個積分不等式?

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