Olympiad Maths Prep

Library / /1 of 3

Algebra Difficulty 4.0 AMC 10/12 Prove it Turkey

Show that for all positive real numbers a,b,ca, b, c satisfying a3+b3+c3=a4+b4+c4a^3 + b^3 + c^3 = a^4 + b^4 + c^4 the following inequality is held:
aa2+b3+c3+ba3+b2+c3+ca3+b3+c21 \frac{a}{a^2 + b^3 + c^3} + \frac{b}{a^3 + b^2 + c^3} + \frac{c}{a^3 + b^3 + c^2} \ge 1

Solution

Let f(a,b,c)=aa2+b3+c3+ba3+b2+c3+ca3+b3+c2f(a, b, c) = \frac{a}{a^2 + b^3 + c^3} + \frac{b}{a^3 + b^2 + c^3} + \frac{c}{a^3 + b^3 + c^2} and g(a,b,c)=a(a2+b3+c3)+b(a3+b2+c3)+c(a3+b3+c2)g(a, b, c) = a(a^2 + b^3 + c^3) + b(a^3 + b^2 + c^3) + c(a^3 + b^3 + c^2). Observe that the Cauchy-Schwarz Inequality gives f(a,b,c)g(a,b,c)(a+b+c)2f(a, b, c) \cdot g(a, b, c) \ge (a+b+c)^2.

Observe that g(a,b,c)=(a+b+c)(a3+b3+c3)g(a, b, c) = (a+b+c)(a^3+b^3+c^3) since a3+b3+c3=a4+b4+c4a^3+b^3+c^3 = a^4+b^4+c^4 and therefore it suffices to show that a+b+ca3+b3+c3a+b+c \ge a^3+b^3+c^3. Again by the Cauchy-Schwarz Inequality we have (a+b+c)(a3+b3+c3)(a2+b2+c2)2(a+b+c)(a^3+b^3+c^3) \ge (a^2+b^2+c^2)^2 and (a2+b2+c2)(a4+b4+c4)(a3+b3+c3)2(a^2+b^2+c^2)(a^4+b^4+c^4) \ge (a^3+b^3+c^3)^2. As a3+b3+c3=a4+b4+c4a^3+b^3+c^3 = a^4+b^4+c^4, the result follows from the last two inequalities.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.