Đáng lẽ là [tex]x+y+z\leq 2+xyz[/tex] chứ nhỉ...
Ta có: [tex]x+y+z-xyz=x(1-yz)+y+z\leq \sqrt{[x^2+(y+z)^2][(1-yz)^2+1]}=\sqrt{(x^2+y^2+z^2+2yz)(y^2z^2-2yz+2)}=\sqrt{(2+2yz)(y^2z^2-2yz+2)}[/tex]
Ta cần chứng minh [tex](2+2yz)(y^2z^2-2yz+2)\leq 4\Leftrightarrow (yz+1)(y^2z^2-2yz+2)\leq 2[/tex]
Biến đổi tương đương ta đưa về được [tex]y^2z^2(yz-1)\leq 0[/tex](luôn đúng vì [tex]yz\leq \frac{y^2+z^2}{2}\leq \frac{x^2+y^2+z^2}{2}=1[/tex])
[tex]\Rightarrow x+y+z-xyz\leq 2\Leftrightarrow x+y+z\leq 2+xyz[/tex]