Prove that (x+y)(z+t)xyzt≤4(x+y+z+t)2(x+z)2(y+t)2 for all positive numbers x, y, z, t.
Solution
The required inequality (x+y)(z+t)xyzt≤4(x+y+z+t)2(x+z)2(y+t)2 is equivalent to the inequality xyzt(x+y)(z+t)≥(x+z)2(y+t)24(x+y+z+t)2 (1) Note that (x+z)(y+t)2(x+y+z+t)=x+z2+y+t2 By A.M. - G.M. inequality, x+z2≤xz1,y+t2≤yt1 hence (x+z)2(y+t)24(x+y+z+t)2≤(xz1+yt1)2 Further, xyzt(x+y)(z+t)=xyztxz+xt+yz+yt =xyztxz+xyztxt+xyztyz+xyztyt =yt1+yz1+xt1+xz1 But we can also write xyzt(x+y)(z+t)=xyztxz+xt+yz+yt=xyztxz+yt+xt+yz =xyztxz+yt+xyztxt+yz =xyztxz+xyztyt+xyztxt+xyztyz =yt1+xz1+xt1+yz1 But the key step is to use the AM-GM inequality: xyzt(x+y)(z+t)≥(xz1+yt1)2 From the previous step, (x+z)2(y+t)24(x+y+z+t)2≤(xz1+yt1)2 Therefore, xyzt(x+y)(z+t)≥(xz1+yt1)2≥(x+z)2(y+t)24(x+y+z+t)2 which proves the required 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.