Determine the greatest possible value of M for which: 1+xyzx+1+yzxy+1+zxyz≥M, for all real numbers x,y,z>0 satisfying the equation: xy+yz+zx=1.
Solution
The inequality is equivalent to x+yzx2+y+zxy2+z+xyz2≥M.(1) Since x,y,z>0, from Cauchy-Schwarz inequality we find ⇔⇔(x+yzx2+y+zxy2+z+xyz2)(x+yz+y+zx+z+xy)≥(x+y+z)2x+yzx2+y+zxy2+z+xyz2≥x+y+z+xy+yz+zx(x+y+z)2x+yzx2+y+zxy2+z+xyz2≥x+y+z+1(x+y+z)2,(2) From (x+y+z)2≥3(xy+yz+zx), it follows that: x+y+z≥3, where the equality holds when x=y=z=3/3. Now we consider the function f(u)=u+1u2, u≥3, which is strictly increasing, because for u>v≥3 we have f(u)>f(v). In fact we have f(u)>f(v)⇔u+1u2>v+1v2⇔u2v+u2−uv2−v2>0⇔(u−v)(uv+u+v)>0⇔u−v>0, since uv+u+v>0. Therefore f(u)≥f(3)=3+13, and hence from inequality (2) we have: x+yzx2+y+zxy2+z+xyz2≥x+y+z+1(x+y+z)2≥3+13, for all x,y,z>0 with xy+yz+zx=1. Hence: M=3+13.
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.