Đặt cái ban đầu là P

Ta có: \(xy+yz+zx=xyz\)

\(\Leftrightarrow\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}=1\)

Ta lại có:

\(\dfrac{xy}{z^3\left(1+x\right)\left(1+y\right)}+\dfrac{1+x}{64x}+\dfrac{1+y}{64y}\ge\dfrac{3}{16z}\)

\(\Leftrightarrow\dfrac{xy}{z^3\left(1+x\right)\left(1+y\right)}\ge\dfrac{3}{16z}-\dfrac{1}{32}-\dfrac{1}{64x}-\dfrac{1}{64y}\left(1\right)\)

Tương tự ta có:

\(\left\{{}\begin{matrix}\dfrac{yz}{x^3\left(1+y\right)\left(1+z\right)}\ge\dfrac{3}{16x}-\dfrac{1}{32}-\dfrac{1}{64y}-\dfrac{1}{64z}\left(2\right)\\\dfrac{zx}{y^3\left(1+z\right)\left(1+x\right)}\ge\dfrac{3}{16y}-\dfrac{1}{32}-\dfrac{1}{64z}-\dfrac{1}{64x}\left(3\right)\end{matrix}\right.\)

Từ (1), (2), (3) ta có:

\(P\ge\dfrac{3}{16}\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)-\dfrac{1}{32}\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)-\dfrac{3}{32}\)

\(=\dfrac{3}{16}-\dfrac{1}{32}-\dfrac{3}{32}=\dfrac{1}{16}\)

Dấu = xảy ra khi \(x=y=z=3\)

\(VT=\left(1+\frac{x}{y}\right)\left(1+\frac{y}{z}\right)\left(1+\frac{z}{x}\right)\)

\(=2+\frac{z}{x}+\frac{y}{x}+\frac{y}{z}+\frac{x}{y}+\frac{z}{y}+\frac{x}{z}\)

Bài toán trở thành \(\frac{z}{x}+\frac{y}{x}+\frac{y}{z}+\frac{x}{y}+\frac{z}{y}+\frac{x}{z}\ge\frac{x+y+z}{3\sqrt{xyz}}\)

Áp dụng bất đẳng thức AM-GM:

\(\frac{z}{x}+\frac{z}{y}+\frac{z}{z}\ge3\sqrt[3]{\frac{z^3}{xyz}}=\frac{3z}{\sqrt[3]{xyz}}\)

Tương tự:

\(\frac{y}{x}+\frac{y}{z}+\frac{y}{y}\ge\frac{3y}{\sqrt[3]{xyz}}\)

\(\frac{x}{z}+\frac{x}{y}+\frac{x}{x}\ge\frac{3x}{\sqrt[3]{xyz}}\)

\(\Leftrightarrow VT+3\ge3+\frac{3}{\sqrt[3]{xyz}}\left(x+y+z\right)\)

\(\Leftrightarrow VT\ge\frac{3\left(x+y+z\right)}{\sqrt[3]{xyz}}\)\(\ge\frac{2\left(x+y+z\right)}{\sqrt[3]{xyz}}\)

Is it true?

\(BĐT\Leftrightarrow\dfrac{x}{y^3}+\dfrac{y}{z^3}+\dfrac{z}{x^3}\ge x+y+z\)

Đặt \(\left\{{}\begin{matrix}a=\dfrac{1}{x}\\b=\dfrac{1}{y}\\c=\dfrac{1}{z}\end{matrix}\right.\) \(\Rightarrow abc\ge1\)

\(BĐT\Leftrightarrow\dfrac{a^3}{b}+\dfrac{b^3}{c}+\dfrac{c^3}{a}\ge\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\)

\(VT=\dfrac{a^4}{ab}+\dfrac{b^4}{bc}+\dfrac{c^4}{ac}\ge\dfrac{\left(a^2+b^2+c^2\right)^2}{ab+bc+ac}=\dfrac{\left(ab+bc+ac\right)^2}{ab+bc+ac}=ab+bc+ac\)

Ta có \(abc\ge1\)

\(\Rightarrow\left\{{}\begin{matrix}bc\ge\dfrac{1}{a}\\ab\ge\dfrac{1}{c}\\ac\ge\dfrac{1}{b}\end{matrix}\right.\Rightarrow bc+ac+ab\ge\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\)

\(\Rightarrow\dfrac{a^3}{b}+\dfrac{b^3}{c}+\dfrac{c^3}{a}\ge\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\left(đpcm\right)\)

\(\Leftrightarrow\dfrac{x\left(1-y^3\right)}{y^3}+\dfrac{y\left(1-z^3\right)}{z^3}+\dfrac{z\left(1-x^3\right)}{x^3}\ge0\)

Áp dụng BĐT Cô - si cho 3 bộ số không âm

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

Xét \(3\sqrt[3]{\frac{\left(xy+1\right)\left(yz+1\right)\left(xz+1\right)}{xyz}}\)

\(=3\sqrt[3]{\left(\frac{xy+1}{x}\right)\left(\frac{yz+1}{y}\right)\left(\frac{xz+1}{z}\right)}\)

\(=3\sqrt[3]{\left(y+\frac{1}{x}\right)\left(z+\frac{1}{y}\right)\left(x+\frac{1}{z}\right)}\)

Áp dụng BĐT Cô - si

\(\Rightarrow\left\{\begin{matrix}y+\frac{1}{x}\ge2\sqrt{\frac{y}{x}}\\z+\frac{1}{y}\ge2\sqrt{\frac{z}{y}}\\x+\frac{1}{z}\ge2\sqrt{\frac{x}{z}}\end{matrix}\right.\)

\(\Rightarrow\left(y+\frac{1}{x}\right)\left(z+\frac{1}{y}\right)\left(x+\frac{1}{z}\right)\ge8\)

\(\Rightarrow3\sqrt[3]{\left(y+\frac{1}{x}\right)\left(z+\frac{1}{y}\right)\left(x+\frac{1}{z}\right)}\ge3\sqrt[3]{8}\)

\(\Rightarrow3\sqrt[3]{\left(y+\frac{1}{x}\right)\left(z+\frac{1}{y}\right)\left(x+\frac{1}{z}\right)}\ge6\)

\(\Leftrightarrow3\sqrt[3]{\frac{\left(xy+1\right)\left(yz+1\right)\left(xz+1\right)}{xyz}}\ge6\)

Mà \(\frac{z\left(xy+1\right)^2}{y^2\left(yz+1\right)}+\frac{x\left(yz+1\right)^2}{z^2\left(xz+1\right)}+\frac{y\left(xz+1\right)^2}{x^2\left(xy+1\right)}\ge3\sqrt[3]{\frac{\left(xy+1\right)\left(yz+1\right)\left(xz+1\right)}{xyz}}\)

\(\Rightarrow\frac{z\left(xy+1\right)^2}{y^2\left(yz+1\right)}+\frac{x\left(yz+1\right)^2}{z^2\left(xz+1\right)}+\frac{y\left(xz+1\right)^2}{x^2\left(xy+1\right)}\ge6\)

Vậy GTNN của \(\frac{z\left(xy+1\right)^2}{y^2\left(yz+1\right)}+\frac{x\left(yz+1\right)^2}{z^2\left(xz+1\right)}+\frac{y\left(xz+1\right)^2}{x^2\left(xy+1\right)}=6\)

Áp dụng BĐT Bunhiacopxki :

\(\left(x+y\right)\left(x+z\right)\ge\left(\sqrt{x}\sqrt{x}+\sqrt{y}\sqrt{z}\right)^2=\left(x+\sqrt{yz}\right)^2\)

\(\Rightarrow\sqrt{\left(x+y\right)\left(x+z\right)}\ge x+\sqrt{yz}\)

Tương tự ta CM được:

\(\sqrt{\left(y+z\right)\left(y+x\right)}\ge y+\sqrt{xz}\) ; \(\sqrt{\left(x+z\right)\left(y+z\right)}\ge z+\sqrt{yx}\)

đặt vế trái của BĐT cần CM là A

\(\Rightarrow A=\left(x+y\right)\sqrt{\left(z+x\right)\left(z+y\right)}+\left(y+z\right)\sqrt{\left(x+y\right)\left(x+z\right)}+\left(z+x\right)\sqrt{\left(y+z\right)\left(y+x\right)}\)

\(\ge\left(x+y\right)\left(z+\sqrt{xy}\right)+\left(y+z\right)\left(x+\sqrt{yz}\right)+\left(z+x\right)\left(y+\sqrt{zx}\right)\)

\(=\sqrt{xy}\left(x+y\right)+\sqrt{yz}\left(y+z\right)+\sqrt{zx}\left(z+x\right)+2\left(xy+yz+zx\right)\)

\(\ge2xy+2yz+2zx+2\left(xy+yz+zx\right)=4\left(xy+yz+zx\right)\)

Dấu ''='' xảy ra \(\Leftrightarrow x=y=z\)