Let a,b,c be positive real numbers such that abc=1. Prove that 4a+b+c+3≥a+b1+b+c1+c+a1.
Solutions — 2
Solution 1
Rewrite the left hand side of inequality in following way: 4a+b+c+3=4abca+b+c+3=4abca+1+4abcb+1+4abcc+1 Rewrite denominators: 4abca+1+4abcb+1+4abcc+1=2ab⋅c+2ac⋅ba+1+2ba⋅c+2bc⋅ab+1+2ca⋅b+2cb⋅ac+1= and then by arithmetic mean-geometric mean inequality, we have =ab+c+ac+ba+1+bc+a+ba+cb+1+ca+b+cb+ac+1=(a+1)(b+c)a+1+(b+1)(a+c)b+1+(c+1)(b+a)c+1==b+c1+a+c1+b+a1=a+b1+b+c1+c+a1.
Solution 2
We introduce change of variables: x=a3,y=b3,z=c3. We now have the condition xyz=1. We apply Schur inequality (with exponent r=1) to the numerator of the left hand side: x3+y3+z3+3xyz≥x2y+x2z+y2x+y2z+z2x+z2y to obtain inequality 4x2y+x2z+y2x+y2z+z2x+z2y≥x3+y31+y3+z31+z3+x31. We apply arithmetic mean-geometric mean inequality for the denominators of the right hand side: x3+y3≥2x3/2y3/2⇒x3+y31≤2x3/2y3/21=21z2xy and similarly to the other terms. We now have to prove 4x2y+x2z+y2x+y2z+z2x+z2y≥21x2yz+21y2xz+21z2xy 2x2y+x2z+y2x+y2z+z2x+z2y≥x2yz+y2xz+z2xy. We apply arithmetic mean-geometric mean inequality in pairs on the left hand side: 2x2y+x2z≥x2yz 2y2z+y2x≥y2xz 2z2x+z2y≥z2xy. Summing up inequalities from above finishes the proof.
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.