Let x, y, z be positive real numbers satisfying x+y+z+xyz=4. Show that 2y+3zx+2z+3xy+2x+3yz≥51(x+y+z).
Solution
First note that the function x↦x−21 is convex on (0,∞). Thus by Jensen's inequality, we have ≥=x+y+zx(2y+3z)−21+x+y+zy(2z+3x)−21+x+y+zz(2x+3y)−21(x+y+zx(2y+3z)+y(2z+3x)+z(2x+3y))−2151⋅xy+yz+zxx+y+z Hence it suffices to show that x+y+z≥xy+yz+zx.(1) Without loss of generality, we may assume that x≤y≤z. Then from the condition x+y+z+xyz=4, we see that x≤1≤z. Thus (z−1)(1−x)=x+z−1−zx≥0. It follows that (1+zx)(x+y+z−zx)=(x+y+z+xyz)+zx(x+z−1−zx)≥4.(2) On the other hand, by the AM-GM inequality, we have 4≥(4−(x+z))(x+z)=(y+xyz)(x+z)=(1+zx)(xy+yz).(3) Combining (2) and (3), we get (1), since 1+zx>0.
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 reproduced verbatim; metadata (topic, difficulty) added by this project.