Find all real p such that the inequality a2+pb2+b2+pa2≥a+b+(p−1)ab holds for any real a and b.
Solution
If a=b=1 the parameter p>0 has to satisfy: ⎩⎨⎧2p+1≥p+1,2≥p+1,p≤3. We show that for p∈(0,3) the inequality holds for any real a and b. If p∈(0,1) the inequality holds trivially: a2+pb2>a,b2+pa2>band(p−1)ab≤0. Let further be p∈(1,3). The left hand side, LHS, of the inequality can be understood as the sum of the lengths of vectors (a,bp) and (b,ap)∈R2. 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) For the RHS we have (with the help of AM-GM inequality) RHS=a+b+(p−1)ab≤a+b+(p−1)2a+b=2(p+1)(a+b). Now LHS≥RHS evidently, because even stronger inequality (a+b)p+1≥2(p+1)(a+b) is equivalent to p+1≤2, which is obviously satisfied for any p∈(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.