Schur's Inequality

Schur's Inequality states that for all non-negative $a,b,c \in \mathbb{R}$ and $r>0$ :

${a^r(a-b)(a-c)+b^r(b-a)(b-c)+c^r(c-a)(c-b) \geq 0}$

The four equality cases occur when $a=b=c$ , or when two of $a,b,c$ are equal and the third is ${0}$ .

WLOG, let ${a \geq b \geq c}$ . Note that $\displaystyle a^r(a-b)(a-c)+b^r(b-a)(b-c) = a^r(a-b)(a-c)-b^r(a-b)(b-c) = (a-b)(a^r(a-c)-b^r(b-c))$ . Clearly, $a^r \geq b^r \geq 0$ , and $a-c \geq b-c \geq 0$ . Thus, $(a-b)(a^r(a-c)-b^r(b-c)) \geq 0 \rightarrow a^r(a-b)(a-c)+b^r(b-a)(b-c) \geq 0$ . However, $c^r(c-a)(c-b) \geq 0$ , and thus the proof is complete.

Generalized Form

It has been shown by Valentin Vornicu that a more general form of Schur's Inequality exists. Consider $a,b,c,x,y,z \in \mathbb{R}$ , where ${a \geq b \geq c}$ , and either $x \geq y \geq z$ or $z \geq y \geq x$ . Let $k \in \mathbb{Z}^{+}$ , and let $f:\mathbb{R} \rightarrow \mathbb{R}_{0}^{+}$ be either convex or monotonic. Then,