Maths Olympiad Prep

Library / /5 of 24

Algebra Difficulty 5.7 AIME, harder Prove it Belarus

Let x=abx = \sqrt{ab} and y=a2+b22y = \sqrt{\frac{a^2 + b^2}{2}}.
Compare the arithmetic mean of positive numbers aa and bb with the arithmetic mean of xx and yy.

Solution

Answer: a+b2x+y2\frac{a+b}{2} \ge \frac{x+y}{2}.
We prove that
a+b2x+y2. \frac{a+b}{2} \ge \frac{x+y}{2}.
(*)
Indeed,
a+b2x+y2a+bab+a2+b22 \frac{a+b}{2} \ge \frac{x+y}{2} \Leftrightarrow a+b \ge \sqrt{ab} + \sqrt{\frac{a^2+b^2}{2}} \Leftrightarrow
(a+b)2ab+a2+b22+2aba2+b22 \Leftrightarrow (a+b)^2 \ge ab + \frac{a^2+b^2}{2} + 2\sqrt{ab \cdot \frac{a^2+b^2}{2}} \Leftrightarrow
(a+b)24aba2+b22(a+b)48ab(a2+b2) \Leftrightarrow (a+b)^2 \ge 4\sqrt{ab \cdot \frac{a^2+b^2}{2}} \Leftrightarrow (a+b)^4 \ge 8ab(a^2+b^2) \Leftrightarrow
((a+b)2ab)28(a2+b2)ab(ab+ba+2)28(ab+ba). \Leftrightarrow \left(\frac{(a+b)^2}{ab}\right)^2 \ge \frac{8(a^2+b^2)}{ab} \Leftrightarrow \left(\frac{a}{b} + \frac{b}{a} + 2\right)^2 \ge 8 \cdot \left(\frac{a}{b} + \frac{b}{a}\right).
Let t=ab+bat = \frac{a}{b} + \frac{b}{a}; then
(ab+ba+2)28(ab+ba)(t+2)28t(t2)20. \left(\frac{a}{b} + \frac{b}{a} + 2\right)^2 \ge 8 \cdot \left(\frac{a}{b} + \frac{b}{a}\right) \Leftrightarrow (t+2)^2 \ge 8t \Leftrightarrow (t-2)^2 \ge 0.
Note that the equality occurs in (*) if a=ba = 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 and solution reproduced as published; topic and difficulty added by this site.