Maths Olympiad Prep

Library / China Hong Kong Mathematical Olympiad /73 of 89

China Hong Kong Mathematical Olympiad

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+b2≥12ab+12a2+b22⇔(a+b)2≥ab+a2+b22+2ab⋅a2+b22⇔(a+b)2≥22ab(a2+b2)⇔(a+b)4≥8ab(a2+b2)⇔(a−b)4≥0. \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+b22⇔2(a2+b2−2ab)λ≥2(a2+b2)−(a+b)⇔2(a−b)2a2+b2+2abλ≥(a−b)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 a≠ba \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λ≥1−a+b−2ab2(a2+b2)+(a+b)=1−(a−b)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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.