Problem: Prove that if positive real numbers x,y,z have sum 1, then x+yzx+y+zxy+z+xyz≤1−3xyz2.
Solution
Solution: The idea is to use the identity x+yzx=x(x+y+z)+yzx=(x+y)(x+z)x=(x+y)(y+z)(z+x)x(y+z) So the left-hand side is exactly equal to (x+y)(y+z)(z+x)2(xy+yz+zx)=(x+y)(y+z)(z+x)2(xy+yz+zx)(x+y+z). We let k=(xy+yz+zx)(x+y+z). On the other hand, we claim that k≤1/3, which is sufficient. Indeed, to prove k≤1/3 it suffices to prove that xy+yz+zx≤3(x+y+z)2 which is a direct consequence of the Cauchy-Schwarz inequality.
On the other hand, the left-hand side equals, exactly, k−xyz2k=2+k−xyz2xyz So simply noting k≤1/3 implies the desired conclusion, since this is a decreasing function of k.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.