Maths Olympiad Prep

Library / /259 of 520

Algebra Difficulty 6.6 National olympiad Prove it

Given a>0,b>0a>0, b>0, prove
a3a+b+ba+3b1aa+3b+b3a+b.\sqrt{\frac{a}{3 a+b}}+\sqrt{\frac{b}{a+3 b}} \leqslant 1 \leqslant \sqrt{\frac{a}{a+3 b}}+\sqrt{\frac{b}{3 a+b}} .

Solution

Proof: First, prove the left inequality, eliminate the denominator
a(a+3b)+b(3a+b)(3a+b)(a+3b)ab(a+3b)(3a+b)a2+b2+2abab(a+3b)(3a+b)(a+b)2.aba+b2,(a+b)(2a+b)(a+3b)+(3a+b)2=2(a+b),\begin{array}{l} \Leftrightarrow \sqrt{a(a+3 b)}+\sqrt{b(3 a+b)} \\ \leqslant \sqrt{(3 a+b)(a+3 b)} \\ \Leftrightarrow \sqrt{a b(a+3 b)(3 a+b)} \leqslant a^{2}+b^{2}+2 a b \\ \Leftrightarrow \sqrt{a b(a+3 b)(3 a+b)} \leqslant(a+b)^{2} . \\ \because \sqrt{a b} \leqslant \frac{a+b}{2}, \\ \sqrt{(a+b)} \cdot \sqrt{(2 a+b)} \leqslant \frac{(a+3 b)+(3 a+b)}{2} \\ =2(a+b), \end{array}
ab(a+3b)(3a+b)(a+b)2\therefore \sqrt{a b(a+3 b)(3 a+b)} \leqslant(a+b)^{2}, proved.
Next, prove the right inequality, eliminate the denominator
(a+3b)(3a+b)a(3a+b)+b(a+3b)4abab(a+3b)(3a+b)16ab(a+3b)(3a+b)2aba2+b2, proved. \begin{aligned} \Leftrightarrow & \sqrt{(a+3 b)} \sqrt{(3 a+b)} \leqslant \sqrt{a(3 a+b)} \\ & +\sqrt{b(a+3 b)} \\ \Leftrightarrow & 4 a b \leqslant \sqrt{a b(a+3 b)(3 a+b)} \\ \Leftrightarrow & 16 a b \leqslant(a+3 b)(3 a+b) \\ \Leftrightarrow & 2 a b \leqslant a^{2}+b^{2}, \text { proved. } \end{aligned}

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.