Maths Olympiad Prep

Library / /11 of 42

Algebra Difficulty 5.1 AIME, harder Prove it Ireland

Show that for all x,yRx, y \in \mathbb{R}:
x4+y4+1812xy. x^4 + y^4 + 18 \ge 12xy.
When do we get equality?

Solution

If x,y0x, y \ge 0, we can use a 4-term AM-GM to obtain
x4+y4+18=x4+y4+9+94(x4y499)1/4=12xy. x^4 + y^4 + 18 = x^4 + y^4 + 9 + 9 \geq 4 (x^4 \cdot y^4 \cdot 9 \cdot 9)^{1/4} = 12xy.
We get equality if and only if all four terms are equal, i.e. if and only if x=y=3x = y = \sqrt{3}.
If one of the two numbers x,yx, y is non-positive and the other non-negative, the RHS of the target inequality is non-positive whereas the LHS is at least 18, so the inequality still holds, but with no possibility of equality.
Finally, if x,y<0x, y < 0, we replace (x,y)(x, y) by (x,y)(-x, -y) which leaves both LHS and RHS unchanged, so the inequality holds by what we have shown already, and equality iff x=y=3x = y = -\sqrt{3}.
In summary, we have proved the inequality and shown that equality occurs if and only if xx and yy are both equal to 3\sqrt{3} or both equal to 3-\sqrt{3}.

6(xy)2=6x2+6y212xy,(x23)2=x46x2+9and(y23)2=y46y2+9, \begin{aligned} 6(x - y)^2 &= 6x^2 + 6y^2 - 12xy, \\ (x^2 - 3)^2 &= x^4 - 6x^2 + 9 \quad \text{and} \\ (y^2 - 3)^2 &= y^4 - 6y^2 + 9, \end{aligned}
we have
x4+y4+1812xy=6(xy)2+(x23)2+(y23)20 x^4 + y^4 + 18 - 12xy = 6(x - y)^2 + (x^2 - 3)^2 + (y^2 - 3)^2 \geq 0
with equality iff x=y=±3x = y = \pm\sqrt{3}.

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.