Maths Olympiad Prep

Library / /2 of 10

Algebra Difficulty 4.5 AIME Prove it Austria

Let xx and yy be real numbers satisfying (x+1)(y+2)=8(x + 1)(y + 2) = 8.
Show that
(xy10)264. (xy - 10)^2 \geq 64.
Furthermore, determine all pairs (x,y)(x, y) of real numbers for which equality holds.

Solution

The inequality (2xy)20(2x - y)^2 \geq 0 (with equality if and only if y=2xy = 2x) is equivalent to
(2x+y)28xy. (2x + y)^2 \geq 8xy.
The constraint (x+1)(y+2)=8(x + 1)(y + 2) = 8 gives 2x+y=6xy2x + y = 6 - xy. Substituting this into the inequality above yields
(6xy)28xy, (6 - xy)^2 \geq 8xy,
which is equivalent to
(xy10)264. (xy - 10)^2 \geq 64.
As we noted already, equality holds for y=2xy = 2x. In this case, the constraint becomes (x+1)(2x+2)=8(x + 1)(2x + 2) = 8 which yields x=1x = 1 or x=3x = -3 and finally the two pairs (x,y)=(1,2)(x, y) = (1, 2) and (x,y)=(3,6)(x, y) = (-3, -6). We easily verify that equality actually holds in both cases.

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.