Maths Olympiad Prep

Library / /6 of 43

Algebra Difficulty 5.0 AIME Prove it JBMO

Problem:
Let aa, bb be positive real numbers. Prove that
a2+ab+b23+aba+b. \sqrt{\frac{a^{2}+a b+b^{2}}{3}}+\sqrt{a b} \leq a+b.

Solution

Solution:
Applying x+y2(x2+y2)x+y \leq \sqrt{2\left(x^{2}+y^{2}\right)} for x=a2+ab+b23x=\sqrt{\frac{a^{2}+a b+b^{2}}{3}} and y=aby=\sqrt{a b}, we will obtain
a2+ab+b23+ab2a2+2ab+2b2+6ab33(a2+b2+2ab)3=a+b. \sqrt{\frac{a^{2}+a b+b^{2}}{3}}+\sqrt{a b} \leq \sqrt{\frac{2 a^{2}+2 a b+2 b^{2}+6 a b}{3}} \leq \sqrt{\frac{3\left(a^{2}+b^{2}+2 a b\right)}{3}}=a+b.

The inequality is equivalent to
a2+ab+b23+3ab3+2ab(a2+ab+b2)33a2+6ab+3b23. \frac{a^{2}+a b+b^{2}}{3}+\frac{3 a b}{3}+2 \sqrt{\frac{a b\left(a^{2}+a b+b^{2}\right)}{3}} \leq \frac{3 a^{2}+6 a b+3 b^{2}}{3}.
This can be rewritten as
2ab(a2+ab+b2)32(a2+ab+b2)3 2 \sqrt{\frac{a b\left(a^{2}+a b+b^{2}\right)}{3}} \leq \frac{2\left(a^{2}+a b+b^{2}\right)}{3}
or
aba2+ab+b23 \sqrt{a b} \leq \sqrt{\frac{a^{2}+a b+b^{2}}{3}}
which is obviously true since a2+b2+ab2ab+ab=3aba^{2}+b^{2}+a b \geq 2 a b+a b=3 a b.

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.