Let a, b, c, d be non-negative real numbers satisfying a+b+c+d=3. Prove that 1+2b3a+1+2c3b+1+2d3c+1+2a3d≥3a2+b2+c2+d2. When does the equality hold?
Solution
First solution. We notice the equality case a=3, b=c=d=0 and we try to mix the variables as follows: f(a,b,c,d)≥f(a+b+c+d,0,0,0)=a+b+c+d−3(a+b+c+d)2=0, where f(a,b,c,d)=1+2b3a+1+2c3b+1+2d3c+1+2a3d−3a2+b2+c2+d2. Then f(a,b,c,d)−a−b−c−d+3(a+b+c+d)2= 1+2b3a+1+2c3b+1+2d3c+1+2a3d−a−b−c−d+32(ab+bc+cd+da+ac+bd)≥0 1+2b3a+1+2c3b+1+2d3c+1+2a3d−a−b−c−d+32(ab+bc+cd+da)= a(1+2b31−1+32b)+b(1+2c31−1+32c)+c(1+2d31−1+32d)+ d(1+2a31−1+32a)= 3(1+2b3)2ab(2b3−3b2+1)+3(1+2c3)2bc(2c3−3c2+1)+3(1+2d3)2cd(2d3−3d2+1)+3(1+2a3)2ad(2a3−3a2+1)= 3(1+2b3)2ab(2b+1)(b−1)2+3(1+2c3)2bc(2c+1)(c−1)2+3(1+2d3)2cd(2d+1)(d−1)2+ 3(1+2a3)2ad(2a+1)(a−1)2≥0. We have equality when ac+bd=0 and also a=3, b=c=d=0 or a=2, b=1, c=d=0 as well as for their cyclic permutations.
Second solution. (Ionuț Nicolae) We use the inequality 1+2a31≥1−32a which, after computations, comes to a(a−1)2(2a+1)≥0. The last inequality is obviously true and its equality cases are a=0 and a=1. We have 1+2a3d≥3d−2ad, with equality if d=0 or a∈{0,1}. Then ∑cycl1+2b3a≥∑cycl(a−32ab)=3−32∑cyclab. It remains to be proven that a2+b2+c2+d2+2(ab+bc+cd+da)≤9, which follows from a2+b2+c2+d2+2(ab+bc+cd+da+ac+bd)=9. We have equality if ac+bd=0 and each non-zero variable is followed in cyclic order by one that is either 0 or 1. From ac+bd=0 we see that two variables need to be 0. If another one is 0 then the last one is 3 and we have indeed equality; if the other two are positive, the second one needs to be 1, hence the first one must be 2.
Third solution. (given in the contest by Andrei Pantea) From AM-GM inequality we have 1+2x3=1+x3+x3≥3x2,∀x>0. We treat the following cases: 1.a, b, c, d>0; 2.a, b, c>0, d=0; 3.a, b>0, c=d=0; 4.a, c>0, b=d=0; 5.a=b=c=0, d=3. All the other cases follow by cyclic permutations. Case 1. The inequality is equivalent to cycl∑(a−1+2b3a)≤31(a+b+c+d)2−cycl∑a2. But cycl∑1+2b32ab3≤cycl∑3b22ab3=32cycl∑ab<32cycl∑ab=31(a+b+c+d)2−cycl∑a2, so in this case the inequality is satisfied without equality.
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 and solution reproduced as published; topic and difficulty added by this site.