Maths Olympiad Prep

Library / /15 of 74

, 2016

Algebra Difficulty 4.8 AIME Prove it Slovenia

Determine all pairs of real numbers aa and bb, which satisfy the inequality
a2(2ab)+b2(2ba)0. a^{2}(2a - b) + b^{2}(2b - a) \geq 0.

Solution

Expanding the left side of the inequality we get 2a3a2bab2+2b32a^3 - a^2b - ab^2 + 2b^3 and factoring it back up again results in
2a3a2bab2+2b3=2(a3+b3)ab(a+b)=2(a+b)(a2ab+b2)ab(a+b)==(a+b)(2a23ab+2b2). \begin{aligned} 2a^3 - a^2b - ab^2 + 2b^3 &= 2(a^3 + b^3) - ab(a + b) = 2(a + b)(a^2 - ab + b^2) - ab(a + b) = \\ &= (a + b)(2a^2 - 3ab + 2b^2). \end{aligned}
The second factor is non-negative since 2a23ab+2b2=2(a232ab+b2)=2((a34b)2+716b2)02a^2 - 3ab + 2b^2 = 2(a^2 - \frac{3}{2}ab + b^2) = 2((a - \frac{3}{4}b)^2 + \frac{7}{16}b^2) \ge 0. So, either 2((a34b)2+716b2)=02((a - \frac{3}{4}b)^2 + \frac{7}{16}b^2) = 0 and a=b=0a = b = 0 or a+b0a + b \ge 0. The inequality is satisfied by all pairs of reals aa and bb such that a+b0a + b \ge 0.

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.