Olympiad Maths Prep

Library / /2 of 21

Algebra Difficulty 4.8 AIME Prove it Ukraine

For any non-negative real numbers xx and yy show the inequality:
x2y2+x2y+xy2x4y+x+y4. x^2 y^2 + x^2 y + xy^2 \leq x^4 y + x + y^4.

Solution

If x=0x = 0 or y=0y = 0, the inequality is trivial. Now assume x,y>0x, y > 0. Divide both parts of the inequality by xyxy. We get:
xy+x+yx3+1y+y3x. xy + x + y \leq x^3 + \frac{1}{y} + \frac{y^3}{x}.
Apply the famous inequality, which is a consequence of the Cauchy-Schwarz inequality:
a12b1+a22b2++an2bn(a1+a2++an)2b1+b2++bn \frac{a_1^2}{b_1} + \frac{a_2^2}{b_2} + \cdots + \frac{a_n^2}{b_n} \geq \frac{(a_1 + a_2 + \cdots + a_n)^2}{b_1 + b_2 + \cdots + b_n}
x3+1y+y3x(x2)2x+12y+(y2)2xy(x2+1+y2)2x+y+xy(x+y+xy)2x+y+xy=xy+x+y, x^3 + \frac{1}{y} + \frac{y^3}{x} \geq \frac{(x^2)^2}{x} + \frac{1^2}{y} + \frac{(y^2)^2}{xy} \geq \frac{(x^2 + 1 + y^2)^2}{x + y + xy} \geq \frac{(x + y + xy)^2}{x + y + xy} = xy + x + y,
which completes the proof.

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.