Đặt \(\frac{2}{x^2+y^2}+\frac{2}{y^2+z^2}+\frac{2}{x^2+z^2}\le\frac{x^3+y^3+z^3}{2xyz}+3\) \(\left(\text{*}\right)\)
Khi đó, ta cần chứng minh bất đẳng thức \(\left(\text{*}\right)\) luôn đúng với mọi \(x,y,z\in Z^+\) và \(x^2+y^2+z^2=2\) \(\left(\alpha\right)\)
\(VP\left(\text{*}\right)=\frac{x^2}{2yz}+\frac{y^2}{2xz}+\frac{z^2}{2xy}+3\)
Ta có các bất đẳng thức quen thuộc đối với ba số \(x,y,z\in Z^+\) như sau:
\(\hept{\begin{cases}x^2+y^2\ge2xy\\y^2+z^2\ge2yz\\z^2+x^2\ge2xz\end{cases}}\)
Áp dụng các bất đẳng thức trên cho \(VP\left(\text{*}\right)\) ta được:
\(VP\left(\text{*}\right)\ge\left(\frac{x^2}{y^2+z^2}+1\right)+\left(\frac{y^2}{x^2+z^2}+1\right)+\left(\frac{z^2}{x^2+y^2}+1\right)=\frac{2}{y^2+z^2}+\frac{2}{x^2+z^2}+\frac{2}{x^2+y^2}\) (theo \(\left(\alpha\right)\) )
Hay nói cách khác, \(VP\left(\text{*}\right)\ge VT\left(\text{*}\right)\)
Vậy, bđt \(\left(\text{*}\right)\) được chứng minh.
Dấu \("="\) xảy ra khi và chỉ khi \(\hept{\begin{cases}x=y=z\\x^2+y^2+z^2=2\end{cases}\Leftrightarrow}\) \(x=y=z=\sqrt{\frac{2}{3}}\)
\(\frac{2}{x^2+y^2}+\frac{2}{y^2+z^2}+\frac{2}{x^2+z^2}=\frac{x^2+y^2+z^2}{x^2+y^2}+\frac{x^2+y^2+z^2}{y^2+z^2}+\frac{x^2+y^2+z^2}{x^2+z^2}\)
\(=3+\frac{z^2}{x^2+y^2}+\frac{x^2}{y^2+z^2}+\frac{y^2}{x^2+z^2}\)
Áp dụng BĐT cô-si cho các cặp số thực không âm sau: x2 và y2 ; y2 và z2 ; x2 và z2 ta được:
\(x^2+y^2\ge2xy\Rightarrow\frac{z^2}{x^2+y^2}\le\frac{z^2}{2xy}\left(1\right)\)
Tương tự ta được: \(\frac{x^2}{y^2+z^2}\le\frac{x^2}{2yz}\left(2\right);\frac{y^2}{x^2+z^2}\le\frac{y^2}{2xz} \left(3\right)\)
Từ (1) và (2) và (3) suy ra: \(\frac{2}{x^2+y^2}+\frac{2}{y^2+z^2}+\frac{2}{x^2+z^2}\le3+\frac{z^2}{2xy}+\frac{x^2}{2yz}+\frac{y^2}{2xz}=3+\frac{x^3+y^3+z^3}{2xyz}\)