Schur不等式（舒尔不等式）

舒尔（$\text{Schur}$）不等式¹

具体内容

$\text{Schur}$ 不等式：$x，y，z$ 为非负实数，$r$ 为实数时，下列不等式成立
$$x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)\ge 0$$

例子

• $r=0$ 时
  $$(x-y)(x-z)+(y-x)(y-z)+(z-x)(z-y)\ge 0$$ $$\iff x^2+y^2+z^2-xy-yz-zx\ge 0$$ ⇔ 1 2 { ( x − y ) 2 + ( y − z ) 2 + ( z − x ) 2 } ≥ 0 \Leftrightarrow \frac{1}{2}\{(x-y)^2+(y-z)^2+(z-x)^2\} \ge 0 ⇔21​{(x−y)2+(y−z)2+(z−x)2}≥0
• $r=1$ 时
  $$x(x-y)(x-z)+y(y-x)(y-z)+z(z-x)(z-y)\ge 0$$ $$\iff x^3+y^3+z^3+3xyz\ge xy(x+y)+yz(y+z)+zx(z+x)$$
• $r=\frac{1}{2}$ 时$$\sqrt{x}(x-y)(x-z)+\sqrt{y}(y-x)(y-z)+\sqrt{z}(z-x)(z-y)\ge 0$$ $$\iff x^{\frac{3}{2}}(y+z-x)+y^{\frac{3}{2}}(z+x-y)+z^{\frac{3}{2}}(x+y-z)\le xyz\left(\frac{1}{\sqrt{x}}+\frac{1}{\sqrt{y}}+\frac{1}{\sqrt{z}}\right)$$

证明

证明：
左边是 $x,y,z$ 的对称式，设 $x\ge y\ge z$ 不失一般性．

1. $r>0$ 时
   $$x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)$$ = ( x − y ) { x r ( x − z ) − y r ( y − z ) } + z r ( x − z ) ( y − z ) =(x-y)\{x^r(x-z)-y^r(y-z)\}+z^r(x-z)(y-z) =(x−y){xr(x−z)−yr(y−z)}+zr(x−z)(y−z)$x^r\ge y^r\ge 0,x-z\ge y-z\ge 0$
   因为 $$(x-y)\left[x^r(x-z)-y^r(y-z)\right]\ge 0\text{，}$$又因为 $$z^r\ge 0,x-z\ge 0,y-z\ge 0,z^r(x-z)(y-z)\ge 0$$根据 ( x − y ) { x r ( x − z ) − y r ( y − z ) } + z r ( x − z ) ( y − z ) ≥ 0 (x-y)\{x^r(x-z)-y^r(y-z)\}+z^r(x-z)(y-z)\ge 0 (x−y){xr(x−z)−yr(y−z)}+zr(x−z)(y−z)≥0所以， $$x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)\ge 0$$

2. $r\le 0$ 时
   $$x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)$$ = x r ( x − y ) ( x − z ) + ( y − z ) { z r ( x − z ) − y r ( x − y ) } =x^r(x-y)(x-z)+(y-z)\{z^r(x-z)-y^r(x-y)\} =xr(x−y)(x−z)+(y−z){zr(x−z)−yr(x−y)}同理可得，$$x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)\ge 0$$

例题

1　$a,b,c$ 为非负实数时，请证明以下不等式。
$$(a+b-c)(b+c-a)(c+a-b)\le abc$$

2　非负实数 $a,b,c$ 有 $a+b+c=1$，请证明以下不等式。
$$a^3+b^3+c^3+6abc\ge \frac{1}{4}$$

广告

绿树公司 - 官方网站：https://wangping-lvshu.github.io/LvshuNew/

绿树智能 - 官方网站：https://wangping-lvshu.github.io/LvshuZhineng/

(现在使用，人人均可获得300元大奖)

---

1. [2022/04/09更新] 由于 $\text{tag}$ 中没有 数论 数学 等标签，所以现在的标签是错误的。 ↩︎