Maths Olympiad Prep

Library / /76 of 94

Algebra Difficulty 6.7 National Olympiad Prove it Hong Kong

Let λ\lambda be a nonnegative real number and such that a+b2λab+(1λ)a2+b22\frac{a+b}{2} \ge \lambda\sqrt{ab}+(1-\lambda)\sqrt{\frac{a^2+b^2}{2}} holds for all positive real numbers aa and bb. Find the smallest possible value of λ\lambda.

Solution

Firstly, when λ=12\lambda = \frac{1}{2}, we have
a+b212ab+12a2+b22(a+b)2ab+a2+b22+2aba2+b22(a+b)222ab(a2+b2)(a+b)48ab(a2+b2)(ab)40. \begin{align*} \frac{a+b}{2} &\ge \frac{1}{2}\sqrt{ab} + \frac{1}{2}\sqrt{\frac{a^2+b^2}{2}} \\ \Leftrightarrow \quad (a+b)^2 &\ge ab + \frac{a^2+b^2}{2} + 2\sqrt{ab} \cdot \sqrt{\frac{a^2+b^2}{2}} \\ \Leftrightarrow \quad (a+b)^2 &\ge 2\sqrt{2ab(a^2+b^2)} \\ \Leftrightarrow \quad (a+b)^4 &\ge 8ab(a^2+b^2) \\ \Leftrightarrow \quad (a-b)^4 &\ge 0. \end{align*}

Secondly, suppose the inequality holds for all a,b>0a, b > 0. Note that
a+b2λab+(1λ)a2+b222(a2+b22ab)λ2(a2+b2)(a+b)2(ab)2a2+b2+2abλ(ab)22(a2+b2)+(a+b). \begin{align*} \frac{a+b}{2} &\ge \lambda\sqrt{ab} + (1-\lambda)\sqrt{\frac{a^2+b^2}{2}} \\ \Leftrightarrow \quad \sqrt{2}(\sqrt{a^2+b^2} - \sqrt{2ab})\lambda &\ge \sqrt{2(a^2+b^2)} - (a+b) \\ \Leftrightarrow \quad \frac{\sqrt{2}(a-b)^2}{\sqrt{a^2+b^2} + \sqrt{2ab}}\lambda &\ge \frac{(a-b)^2}{\sqrt{2(a^2+b^2)} + (a+b)}. \end{align*}

WLOG assume aba \neq b. Then this holds if and only if
λa2+b2+2ab2(2(a2+b2)+(a+b)). \lambda \geq \frac{\sqrt{a^2 + b^2} + \sqrt{2ab}}{\sqrt{2}(\sqrt{2(a^2 + b^2)} + (a+b))}.

We can rewrite this as
2λ1a+b2ab2(a2+b2)+(a+b)=1(ab)22(a2+b2)+(a+b). 2\lambda \geq 1 - \frac{a+b-2\sqrt{ab}}{\sqrt{2(a^2+b^2)}+(a+b)} = 1 - \frac{(\sqrt{a}-\sqrt{b})^2}{\sqrt{2(a^2+b^2)}+(a+b)}.

Consider a=1a = 1 and b=1+εb = 1 + \varepsilon where ε0\varepsilon \to 0. It is clear that the right-hand side approaches 1. Therefore, in order that the inequality holds, we must have 2λ12\lambda \geq 1, which means λ12\lambda \geq \frac{1}{2}.
Combining these, the smallest possible value of λ\lambda is 12\frac{1}{2}.

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.