Let a,b,c,d be non-negative real numbers such that a+b+c+d=4. Prove that: a3a+b+c+b3b+c+d+c3c+d+a+d3d+a+b≥45.
Solution
Let 3a+b+c=x,3b+c+d=y,3c+d+a=z,3d+a+b=w, then we have x2=3a+b+c,y2=3b+c+d,z2=3c+d+a,w2=3d+a+b. Therefore, we have 15a=5(3a+b+c)−2(3b+c+d)−(3c+d+a)+(3d+a+b)=5x2−2y2−z2+w2. Hence we can conclude that a=155x2−2y2−z2+w2, and similarly we have b=155y2−2z2−w2+x2,c=155z2−2w2−x2+y2,d=155w2−2x2−y2+z2, all non negative as well. Now since a+b+c+d=4, we have x2+y2+z2+w2=(3a+b+c)+(3b+c+d)+(3c+d+a)+(3d+a+b)=20 and we need to prove that cyc∑x(155x2−2y2−z2+w2)⇔cyc∑(5x3−2xy2−xz2+xw2)≥45≥605. Now by AM-GM we know that cyc∑(x3−2xy2+xw2)=cyc∑(x3−2xy2+yx2)≥0 and again by AM-GM cyc∑(x3−xz2)=31cyc∑(x3+z3+z3−3xz2)≥0. Hence we only need to prove that cyc∑3x3≥605 which is again AM-GM: cyc∑(3x3+3x3+155)⇔cyc∑3x3≥cyc∑333×3×155x6=cyc∑95x2=1805≥2180−605=605 as desired.
x2=y2=z2=w2=5 which is when a=b=c=d=1.
Another Solution: By generalized Cauchy inequality, (cyc∑a3a+b+c)2(cyc∑3a+b+ca)≥(a+b+c+d)3=64. Therefore it suffices to show that 3a+b+ca+3b+c+db+3c+d+ac+3d+a+bd≤54. By subtracting the above inequality multiplied by 3 from 4, we get that it is equivalent to 3a+b+cb+c+3b+c+dc+d+3c+d+ad+a+3d+a+ba+b≥58. By Cauchy inequality, (L.H.S.)(cyc∑(b+c)(3a+b+c))≥4(a+b+c+d)2. Therefore it suffices to show that cyc∑(b+c)(3a+b+c)=2(cyc∑a2)+5(cyc∑ab)+6ac+6bd≤25(a+b+c+d)2, which becomes, after expansion and simplification, ac+bd≤21(a2+b2+c2+d2). The last inequality is the sum of two AM-GMs, and so we're done.
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 translated into English from the original; metadata (topic, difficulty) added by this project.