Maths Olympiad Prep

Library / /2 of 19

Algebra Difficulty 4.8 AIME Prove it New Zealand

Problem:
Prove that
x2+8xy+y28.x^{2} + \frac{8}{x y} + y^{2} \geq 8.
for all positive real numbers xx and yy.

Solution

Solution:
Since square numbers are always non-negative we have
(xy)20and(xy2)20.(x - y)^{2} \geq 0 \qquad \mathrm{and} \qquad (x y - 2)^{2} \geq 0.
Also since xx and yy are positive we have 2xy>0\frac{2}{x y} > 0. Combining this all together gives us:
(xy)2+2xy(xy2)20.(x - y)^{2} + \frac{2}{x y} (x y - 2)^{2} \geq 0.
From here we expand and simplify:
(x22xy+y2)+2xy(x2y24xy+4)0(x^{2} - 2x y + y^{2}) + \frac{2}{x y} (x^{2}y^{2} - 4x y + 4) \geq 0
x22xy+y2+2xy8+8xy0x^{2} - 2x y + y^{2} + 2x y - 8 + \frac{8}{x y} \geq 0
x2+8xy+y28x^{2} + \frac{8}{x y} + y^{2} \geq 8
as required.

Alternative Solution:
Consider the AM-GM inequality applied to {x2,4xy,4xy,y2}\left\{x^{2}, \frac{4}{x y}, \frac{4}{x y}, y^{2}\right\}
x2+4xy+4xy+y24x2×4xy×4xy×y24\frac{x^{2} + \frac{4}{x y} + \frac{4}{x y} + y^{2}}{4} \geq \sqrt[4]{x^{2} \times \frac{4}{x y} \times \frac{4}{x y} \times y^{2}}
x2+8xy+y242\frac{x^{2} + \frac{8}{x y} + y^{2}}{4} \geq 2
x2+8xy+y28.x^{2} + \frac{8}{x y} + y^{2} \geq 8.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.