Maths Olympiad Prep

Library / /249 of 520

Algebra Difficulty 6.6 National olympiad Prove it

49. Let x,y,z0x, y, z \geqslant 0, and x+y+z=1x+y+z=1, prove: 311xy+11yz+11zx2783 \leqslant \frac{1}{1-x y}+\frac{1}{1-y z}+\frac{1}{1-z x} \leqslant \frac{27}{8}.

Solution

49. Since x,y,z0x, y, z \geqslant 0, and x+y+z=1x+y+z=1, therefore, 0xy,yz,zx<10 \leqslant xy, yz, zx < 1, thus, 11xy+11yz+11zx3\frac{1}{1-xy} + \frac{1}{1-yz} + \frac{1}{1-zx} \geqslant 3. Below, we prove that 11xy+11yz+11zx278\frac{1}{1-xy} + \frac{1}{1-yz} + \frac{1}{1-zx} \leqslant \frac{27}{8}. Noting that x+y+z=1x+y+z=1, the inequality is equivalent to:
32(xy+yz+zx)+xyz1(xy+yz+zx)+xyzx2y2z227811(xy+yz+zx)+27x2y2z23+19xyz\begin{array}{l} \frac{3-2(xy+yz+zx)+xyz}{1-(xy+yz+zx)+xyz-x^2y^2z^2} \leqslant \frac{27}{8} \Leftrightarrow \\ 11(xy+yz+zx) + 27x^2y^2z^2 \leqslant 3 + 19xyz \end{array}

By Schur's inequality, we have
(x+y+z)34(x+y+z)(yz+zx+xy)+9xyz0(x+y+z)^3 - 4(x+y+z)(yz+zx+xy) + 9xyz \geqslant 0

which means 14(yz+zx+xy)+9xyz01 - 4(yz+zx+xy) + 9xyz \geqslant 0, hence
xy+yz+zx1+9xyz4xy + yz + zx \leqslant \frac{1 + 9xyz}{4}

To prove (1), it suffices to prove
11(1+9xyz4)+27x2y2z23+19xyz108x2y2z2+23xyz111\left(\frac{1 + 9xyz}{4}\right) + 27x^2y^2z^2 \leqslant 3 + 19xyz \Leftrightarrow 108x^2y^2z^2 + 23xyz \leqslant 1

By the AM-GM inequality, we have
xyz(x+y+z3)3=127xyz \leqslant \left(\frac{x+y+z}{3}\right)^3 = \frac{1}{27}

Therefore,
108x2y2z2+23xyz1108x^2y^2z^2 + 23xyz \leqslant 1

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.