Let x, y, z be positive real numbers. Prove that 2(x2+y2)x+2(y2+z2)y+2(z2+x2)z<x2+4y24x2+y2+y2+4z24y2+z2+z2+4x24z2+x2<9.
Solution
Solution. To prove the second inequality, we may assume x=max{x,y,z}. Then we get z2+4x24z2+x2≤1,x2+4y24x2+y2<4,andy2+4z24y2+z2<4. So the desired inequality follows.
Next we prove the first inequality. By the AM-GM inequality, we have 4xy2≤y3+4x2y. Then y3+4x2y+3x3⟺y3+4x2y+4x3+xy2⟺x2+4y24x2+y2>y3+4x2y≥4xy2>3xy2>4xy2+x3>x+yx. Hence cyc∑x+yx<cyc∑x2+4y24x2+y2. Now apply the Cauchy-Schwartz inequality, we have cyc∑2(x2+y2)x=cyc∑(1+1)(x2+y2)x≤cyc∑x+yx<cyc∑x2+4y24x2+y2, which is the first inequality. □
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.