Maths Olympiad Prep

Library / /1 of 17

Algebra Difficulty 5.0 AIME Prove it Mongolia

For all real numbers a,b,c,da, b, c, d not exceeding 22, prove that
a3b2+4+b3c2+4+c3d2+4+d3a2+44. \frac{a^3}{b^2+4} + \frac{b^3}{c^2+4} + \frac{c^3}{d^2+4} + \frac{d^3}{a^2+4} \le 4.
(Otgonbayar Uuye)

Solution

Without loss of generality we may assume that a,b,c,d0a, b, c, d \ge 0. By dividing 22, it is enough to prove the inequality for the numbers 0a,b,c,d10 \le a, b, c, d \le 1:
a3b2+1+b3c2+1+c3d2+1+d3a2+12. \frac{a^3}{b^2+1} + \frac{b^3}{c^2+1} + \frac{c^3}{d^2+1} + \frac{d^3}{a^2+1} \le 2.
Now, suppose that aa is the largest among the a,b,c,da, b, c, d. Then,
a3b2+1+b3c2+112+a3c2+1. \frac{a^3}{b^2+1} + \frac{b^3}{c^2+1} \le \frac{1}{2} + \frac{a^3}{c^2+1}.
Indeed, clearing denominators and simplifying gives
2a3b2+b2c2+b2+c2+12a3c2+2b5+2b3 2a^3b^2 + b^2c^2 + b^2 + c^2 + 1 \ge 2a^3c^2 + 2b^5 + 2b^3
This follows from the inequality b2c2+1b2+c2b^2c^2+1 \ge b^2+c^2. b2(a3b3)+b2(1b)+c2(1a3)0b^2(a^3-b^3)+b^2(1-b)+c^2(1-a^3) \ge 0
Similarly,
a3c2+1+c3d2+112+a3d2+1anda3d2+1+d3a2+112+a3a2+1. \frac{a^3}{c^2+1} + \frac{c^3}{d^2+1} \le \frac{1}{2} + \frac{a^3}{d^2+1} \quad \text{and} \quad \frac{a^3}{d^2+1} + \frac{d^3}{a^2+1} \le \frac{1}{2} + \frac{a^3}{a^2+1}.
Clearly, 2a3a2+12a^3 \le a^2 + 1, so the problem is solved.

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 and solution reproduced as published; topic and difficulty added by this site.