AoPSWiki

Want to learn how to tackle those tough MATHCOUNTS and AMC counting and probability problems? Check out Art of Problem Solving's Introduction to Counting & Probability by David Patrick.

Personal tools

Search

Toolbox

Schur's Inequality

From AoPSWiki

Revision as of 18:29, 27 December 2007 by Temperal (Talk | contribs)

(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)

Schur's Inequality is an inequality that holds for positive numbers. It is named for Issai Schur.

Contents

1 Theorem
2 References
3 See Also

Theorem

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}$ .

Common Cases

The $r=1$ case yields the well-known inequality: $a^3+b^3+c^3+3abc \geq a^2 b+a^2 c+b^2 a+b^2 c+c^2 a+c^2 b$

When $r=2$ , an equivalent form is: $a^4+b^4+c^4+abc(a+b+c) \geq a^3 b+a^3 c+b^3 a+b^3 c+c^3 a+c^3 b$

Proof

WLOG, let ${a \geq b \geq c}$ . Note that $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,

${f(x)(a-b)^k(a-c)^k+f(y)(b-a)^k(b-c)^k+f(z)(c-a)^k(c-b)^k \geq 0}$ .

The standard form of Schur's is the case of this inequality where $x=a,\ y=b,\ z=c,\ k=1,\ f(m)=m^r$ .

References

Mildorf, Thomas; Olympiad Inequalities; January 20, 2006; <http://www.mit.edu/~tmildorf/Inequalities.pdf>

Vornicu, Valentin; Olimpiada de Matematica... de la provocare la experienta; GIL Publishing House; Zalau, Romania.

See Also

Retrieved from "http://www.artofproblemsolving.com/Wiki/index.php/Schur%27s_Inequality"

Categories: Inequality | Theorems

Add a glimpse of the Art of Problem Solving Forum to your own site!
Click here for details!

© Copyright 2008 AoPS Incorporated. All Rights Reserved. • Foundation • Privacy • Contact Us