2.不等式的齐次化

不等式的齐次化

齐次化往往伴随着用$舒尔不等式$或者$黑而米格不等式$。

$舒尔不等式$：

$a,b,c\ge 0,r>0,\sum a^r(a-b)(a-c)\ge 0$。

证：由对称性不妨设$a\ge b\ge c$。则$LHS\ge (a-b)(a^r(a-c)-b^r(b-c))+c^r(a-c)(b-c)\ge 0$。证毕。

$米尔黑得不等式$：

二元：若$[a_1,a_2]\succ [b_1,b_2]$（优超）$,a_1,a_2,b_1,b_2,x,y>0$则$\sum _{sym}{x}^{a_1}{y}^{a_2}\ge \sum _{sym}{x}^{b_1}{y}^{b_2}$。

证：$\sum _{sym}{x}^{a_1}{y}^{a_2}-\sum _{sym}{x}^{b_1}{y}^{b_2}=x^{a_2}{y}^{a_2}(x^{a_1-a_2}+y^{a_1-a_2}-x^{b_1-a_2}{y}^{b_2-a_2}-x^{b_2-a_2}{y}^{b_1-a_2})$

$=x^{a_2}{y}^{a_2}(x^{b_1-a_2}-y^{b_1-a_2})(x^{b_2-a_2}-y^{b_2-a_2})$
由对称性不妨设$x\ge y$，则$x^{a_2}{y}^{a_2}(x^{b_1-a_2}-y^{b_1-a_2})(x^{b_2-a_2}-y^{b_2-a_2})\ge 0$。证毕。

三元：若$[a_1,a_2,a_3]\succ [b_1,b_2,b_3]$（优超）$,a_i,b_i,x,y>0$则$\sum _{sym}{x}^{a_1}{y}^{a_2}{z}^{a_3}\ge \sum _{sym}{x}^{b_1}{y}^{b_2}{z}^{b_3}$。

当$b_1\ge a_2$时,$LHS=\sum z^{a_3}(x^{a_1}{y}^{a_2}+x^{a_2}{y}^{a_1})\ge \sum z^{a_3}(x^{a_1+a_2-b_1}{y}^{b_1}+x^{b_1}{y}^{a_1+a_2-b_1})=\sum x^{b_1}(y^{a_1+a_2-b_1}{z}^{a_3}+y^{a_3}{z}^{a_1+a_2-b_1})$

$\ge \sum x^{b_1}(y^{b_2}{z}^{b_3}+y^{b_3}{z}^{b_2})=RHS$

当$b_1<a_2$时,$LHS=\sum x^{a_1}(y^{a_2}{z}^{a_3}+y^{a_3}{z}^{a_2})\ge \sum x^{a_1}(y^{b_1}{z}^{a_2+a_3-b_1}+y^{a_2+a_3-b_1}{z}^{b_1})=\sum y^{b_1}(x^{a_1}{z}^{a_2+a_3-b_1}+x^{a_2+a_3-b_1}{z}^{a_1})$

$\ge \sum y^{b_1}(x^{b_2}{z}^{b_3}+x^{b_3}{z}^{b_2})=RHS$

所以综上，成立。

$题目$：

1.若$a,b,c>0$，证明：$\sum \frac{a^3}{bc}\ge \sum a$。

证：原命题等价于：$\sum a^4\ge \sum a^{2}bc\iff \sum _{sym}{a}^4\ge \sum _{sym}{a}^{2}bc$。
$\because [4,0,0]\succ [2,1,1]$
$\therefore 由黑尔米得定理得证。$

2.若正实数$a,b,c$满足$\sum a=1$,求证：$\prod (a+1)\ge 8\prod (1-a)$。

证：$\prod (a+1)-8\prod (1-a)=9\sum a-7\sum ab+9abc-7=2+9abc-7\sum ab=2(a+b+c{)}^3-7\sum a\sum ab+9abc$

$=2\sum a^3+6\sum _{sym}{a}^{2}b+12abc-7\sum _{sym}{a}^{2}b-21abc+9abc=2\sum a^3-\sum _{sym}{a}^{2}b=\sum _{sym}(a^3-a^{2}b)\ge 0$

3.若$a,b,c>1,\sum \frac{1}{a-1}=1$。证明：$abc+44\ge 9\sum a$。

引理(舒尔变式)：$(\sum a{)}^3+9abc-4\sum a\sum ab\ge 0$

证：展开整理得$\sum a^3-\sum _{sym}{a}^{2}b+3abc\ge 0\iff \frac{1}{2}\sum _{sym}(a^3-a^{2}b-a^{2}c+abc)\ge 0\iff \sum _{sym}a(a-b)(a-c)\ge 0$。由舒尔得证。

设$x=a-1,y=b-1,z=c-1(x,y,z>0)$。则原命题等价于$xyz+\sum xy+\sum x+45\ge 9\sum x+27$。

$\iff xyz+\sum xy-8\sum x+18\ge 0$

$\because \sum \frac{1}{x}=1$

$\therefore xyz=\sum xy$

则原命题等价于$2xyz-8\sum x+18\ge 0\iff xyz-4\sum x+9\ge 0\iff 1-\frac{4\sum x}{xyz}+\frac{9}{xyz}\ge 0\iff (\sum \frac{1}{x}{)}^3-4\sum \frac{1}{xy}+\frac{9}{xyz}\ge 0$。

由引理得证。

4.若正实数$a,b,c$满足$\sum a=1$，证明：$10\sum a^3-9\sum a^5\ge 1$。

证：原命题等价于：$10(\sum a{)}^2\sum a^3-9\sum a^5\ge (\sum a{)}^5$。

暴力展开得：

$10\sum a^5+10\sum _{sym}{a}^3{b}^2+20\sum _{sym}{a}^{4}b+20\sum a^{3}bc-9\sum a^5\ge \sum a^5+5\sum _{sym}{a}^{4}b+10\sum _{sym}{a}^3{b}^2+20\sum a^{3}bc+30\sum a^2{b}^{2}c$

整理得：$15\sum _{sym}{a}^{4}b\ge 30\sum a^2{b}^{2}c\iff 15\sum _{sym}{a}^{4}b\ge 15\sum _{sym}{a}^2{b}^{2}c$。由米尔黑格得证。