Maths Olympiad Prep

Library / /10 of 94

Algebra Difficulty 4.9 AIME Prove it Hong Kong

If abc0a \ge b \ge c \ge 0 and a+b+c=3a + b + c = 3, then prove that ab2+bc2+ca2278ab^2 + bc^2 + ca^2 \le \frac{27}{8} and determine the equality case(s).

Solution

Let f(a,b,c)=ab2+bc2+ca2f(a, b, c) = ab^2 + bc^2 + ca^2. Note that it suffices to show
f(a,b,c)f(a,c,b)0,(1) f(a, b, c) - f(a, c, b) \le 0, \qquad (1)
f(a,b,c)+f(a,c,b)274,(2) f(a, b, c) + f(a, c, b) \le \frac{27}{4}, \qquad (2)
since adding these yields the result. To prove (1), observe that
f(a,b,c)f(a,c,b)=(ab)(bc)(ca)0. f(a, b, c) - f(a, c, b) = (a - b)(b - c)(c - a) \le 0.
To prove (2), by homogenizing the inequality, we need to prove
ab2+bc2+ca2+a2b+b2c+c2a14(a+b+c)3. ab^2 + bc^2 + ca^2 + a^2b + b^2c + c^2a \le \frac{1}{4}(a + b + c)^3.
This is equivalent to
a3+b3+c3+6abcab2+bc2+ca2+a2b+b2c+c2a, a^3 + b^3 + c^3 + 6abc \ge ab^2 + bc^2 + ca^2 + a^2b + b^2c + c^2a,
which holds by Schur's inequality and 3abc03abc \ge 0. Equality holds when c=0c = 0 and a=b=32a = b = \frac{3}{2}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.