The real numbers x, y, z, m, n are positive, such that m+n≥2. Prove that xyz(x+my)(x+nz)+yxz(y+mx)(y+nz)+zxy(z+mx)(z+ny)≤83(m+n)(x+y)(y+z)(z+x)
Solution
Solution:
Using the AM-GM inequality we have yz(x+my)(x+nz)=(xz+myz)(xy+nyz)≤2xy+xz+(m+n)yzxz(y+mx)(y+nz)=(yz+mxz)(xy+nxz)≤2xy+yz+(m+n)xzxy(z+mx)(z+ny)=(yz+mxy)(xz+nxy)≤2xz+yz+(m+n)xy Thus it is enough to prove that x[xy+xz+(m+n)yz]≤+y[xy+yz+(m+n)xz]+z[xy+yz+(m+n)xz]43(m+n)(x+y)(y+z)(z+x), or 4[A+3(m+n)B]≤3(m+n)(A+2B)⇔6(m+n)B≤[3(m+n)−4]A where A=x2y+x2z+xy2+y2z+xz2+yz2, B=xyz. Because m+n≥2 we obtain the inequality m+n≤3(m+n)−4. From AM-GM inequality it follows that 6B≤A. From the last two inequalities we deduce that 6(m+n)B≤[3(m+n)−4]A. The inequality is proved.
Equality holds when m=n=1 and x=y=z.
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.