\(\left(xy+yz+zx\right)^2\ge3xyz\left(x+y+z\right)=9\Rightarrow xy+yz+zx\ge3\)

\(2\left(x^2+y^2\right)-xy\ge\left(x+y\right)^2-\dfrac{1}{4}\left(x+y\right)^2=\dfrac{3}{4}\left(x+y\right)^2\)

Tương tự và nhân vế với vế:

\(VT\ge\dfrac{27}{64}\left[\left(x+y\right)\left(y+z\right)\left(z+x\right)\right]^2\)

Mặt khác ta có:

\(\left(x+y\right)\left(y+z\right)\left(z+x\right)=\left(x+y+z\right)\left(xy+yz+zx\right)-xyz\)

\(\ge\left(x+y+z\right)\left(xy+yz+zx\right)-\sqrt[3]{xyz}.\sqrt[3]{xy.yz.zx}\)

\(\ge\left(x+y+z\right)\left(xy+yz+xz\right)-\dfrac{1}{9}\left(x+y+z\right)\left(xy+yz+zx\right)\)

\(=\dfrac{8}{9}\left(x+y+z\right)\left(xy+yz+zx\right)\ge\dfrac{8}{9}\sqrt{3\left(xy+yz+zx\right)}.\left(xy+yz+zx\right)\)

\(\Rightarrow VT\ge\dfrac{27}{64}.\dfrac{64}{81}.3\left(xy+yz+zx\right)^3\ge3^3=27\) (đpcm)

Lời giải:

Từ \(xy+yz+xz=xyz\Rightarrow \frac{1}{x}+\frac{1}{y}+\frac{1}{z}=1\)

Đặt \((a,b,c)=\left(\frac{1}{x}; \frac{1}{y}; \frac{1}{z}\right)\Rightarrow a+b+c=1\)

BĐT cần chứng minh trở thành:

\(P=\frac{c^3}{(a+1)(b+1)}+\frac{a^3}{(b+1)(c+1)}+\frac{b^3}{(c+1)(a+1)}\geq \frac{1}{16}(*)\)

Thật vậy, áp dụng BĐT Cauchy ta có:

\(\frac{c^3}{(a+1)(b+1)}+\frac{a+1}{64}+\frac{b+1}{64}\geq 3\sqrt[3]{\frac{c^3}{64^2}}=\frac{3c}{16}\)

\(\frac{a^3}{(b+1)(c+1)}+\frac{b+1}{64}+\frac{c+1}{64}\geq 3\sqrt[3]{\frac{a^3}{64^2}}=\frac{3a}{16}\)

\(\frac{b^3}{(c+1)(a+1)}+\frac{c+1}{64}+\frac{a+1}{64}\geq 3\sqrt[3]{\frac{b^3}{64^2}}=\frac{3b}{16}\)

Cộng theo vế các BĐT trên và rút gọn :

\(\Rightarrow P+\frac{a+b+c+3}{32}\geq \frac{3(a+b+c)}{16}\)

\(\Leftrightarrow P+\frac{4}{32}\geq \frac{3}{16}\Leftrightarrow P\geq \frac{1}{16}\)

Vậy \((*)\) được chứng minh. Bài toán hoàn tất.

Dấu bằng xảy ra khi \(a=b=c=\frac{1}{3}\Leftrightarrow x=y=z=3\)

\(VT\ge3\sqrt[3]{\dfrac{x^3y^3z^3\left(x+y\right)\left(y+z\right)\left(z+x\right)}{\left(x+y\right)\left(y+z\right)\left(z+x\right)}}=3xyz\) (dpcm)

Ta chứng minh được các bất đẳng thức bằng biến đổi tương đương và bất đẳng thức Cô-si:

\(x+y+z\le\sqrt{3\left(x^2+y^2+z^2\right)}\)

\(xy+yz+zx\ge3\sqrt[3]{\left(xyz\right)^2}\)

\(\Rightarrow\frac{xyz}{xy+yz+zx}\le\frac{\sqrt[3]{xyz}}{3}\)

Mà \(\sqrt[3]{xyz}\le\frac{x+y+z}{3}\le\frac{\sqrt{3\left(x^2+y^2+z^2\right)}}{3}\)

Vậy \(A\le\frac{\sqrt{3\left(x^2+y^2+z^2\right)}}{3}.\frac{\sqrt{3\left(x^2+y^2+z^2\right)}+\sqrt{x^2+y^2+z^2}}{x^2+y^2+z^2}\)

\(A\le\frac{\sqrt{3}\left(\sqrt{3}+1\right)}{3}=\frac{3+\sqrt{3}}{3}\)

\(\frac{3}{2}\ge x+y+z\ge\sqrt{xy}+\sqrt{yz}+\sqrt{zx}\)

\(P\ge3\sqrt[3]{\frac{x\left(yz+1\right)^2.y\left(zx+1\right)^2.z\left(xy+1\right)^2}{z^2\left(zx+1\right)x^2\left(xy+1\right)y^2\left(yz+1\right)}}=3\sqrt[3]{\frac{\left(xy+1\right)\left(yz+1\right)\left(zx+1\right)}{xyz}}\)

Xét \(Q=\frac{\left(xy+1\right)\left(yz+1\right)\left(zx+1\right)}{xyz}=\frac{\left(xy+1\right)\left(yz+1\right)\left(zx+1\right)}{\sqrt{xy}.\sqrt{yz}.\sqrt{zx}}\)

Đặt \(\left(\sqrt{xy};\sqrt{yz};\sqrt{zx}\right)=\left(a;b;c\right)\Rightarrow a+b+c\le\frac{3}{2}\Rightarrow abc\le\frac{1}{8}\)

\(Q=\frac{\left(a^2+1\right)\left(b^2+1\right)\left(c^2+1\right)}{abc}=\frac{1+a^2b^2c^2+a^2+b^2+c^2+a^2b^2+b^2c^2+c^2a^2}{abc}\)

\(Q\ge\frac{1+a^2b^2c^2+3\sqrt[3]{a^2b^2c^2}+3\sqrt[3]{a^4b^4c^4}}{abc}=\frac{1}{abc}+abc+3\left(\frac{1}{\sqrt[3]{abc}}+\sqrt[3]{abc}\right)\)

\(Q\ge abc+\frac{1}{64abc}+3\left(\sqrt[3]{abc}+\frac{1}{4\sqrt[3]{abc}}\right)+\frac{63}{64abc}+\frac{9}{4\sqrt[3]{abc}}\)

\(Q\ge2\sqrt{\frac{abc}{64abc}}+6\sqrt{\frac{\sqrt[3]{abc}}{4\sqrt[3]{abc}}}+\frac{63}{64.\frac{1}{8}}+\frac{9}{4.\sqrt[3]{\frac{1}{8}}}=\frac{125}{8}\)

\(\Rightarrow P\ge3\sqrt[3]{Q}\ge3\sqrt[3]{\frac{125}{8}}=\frac{15}{2}\)

\(P_{min}=\frac{15}{2}\) khi \(a=b=c=\frac{1}{2}\) hay \(x=y=z=\frac{1}{2}\)