Olympiad Maths Prep

Library / /5 of 11

Algebra Difficulty 5.8 AIME, harder Prove it Czech Republic

Find all real pp such that the inequality
a2+pb2+b2+pa2a+b+(p1)ab \sqrt{a^2 + p b^2} + \sqrt{b^2 + p a^2} \ge a + b + (p-1)\sqrt{ab}
holds for any real aa and bb.

Solution

If a=b=1a = b = 1 the parameter p>0p > 0 has to satisfy:
{2p+1p+1,2p+1,p3. \begin{cases} 2\sqrt{p+1} \ge p+1, \\ 2 \ge \sqrt{p+1}, \\ p \le 3. \end{cases}
We show that for p(0,3)p \in (0, 3) the inequality holds for any real aa and bb. If p(0,1)p \in (0, 1) the inequality holds trivially:
a2+pb2>a,b2+pa2>band(p1)ab0. \sqrt{a^2 + p b^2} > a, \quad \sqrt{b^2 + p a^2} > b \quad \text{and} \quad (p-1)\sqrt{ab} \le 0.
Let further be p(1,3)p \in (1, 3). The left hand side, LHS, of the inequality can be understood as the sum of the lengths of vectors (a,bp)(a, b\sqrt{p}) and (b,ap)R2(b, a\sqrt{p}) \in \mathbb{R}^2. According to the triangle inequality then
LHS=a2+pb2+b2+pa2=(a,bp)+(b,ap)(a+b,(a+b)p)=(a+b)1+p.(1) \begin{aligned} LHS &= \sqrt{a^2 + p b^2} + \sqrt{b^2 + p a^2} = |(a, b\sqrt{p})| + |(b, a\sqrt{p})| \\ &\ge |(a+b, (a+b)\sqrt{p})| = (a+b)\sqrt{1+p}. \end{aligned} \quad (1)
For the RHS we have (with the help of AM-GM inequality)
RHS=a+b+(p1)aba+b+(p1)a+b2=(p+1)(a+b)2. \text{RHS} = a+b+(p-1)\sqrt{ab} \le a+b+(p-1)\frac{a+b}{2} = \frac{(p+1)(a+b)}{2}.
Now LHSRHSLHS \ge RHS evidently, because even stronger inequality
(a+b)p+1(p+1)(a+b)2 (a+b)\sqrt{p+1} \ge \frac{(p+1)(a+b)}{2}
is equivalent to p+12\sqrt{p+1} \le 2, which is obviously satisfied for any p(1,3)p \in (1, 3).

Looking for a route rather than 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.