Question

[Ryan Park]

Cho \(x,y,z,t>0\) thỏa mãn \(xyzt=1\)
Chứng minh \(\frac{1}{x^3\left(yz+zt+ty\right)}+\frac{1}{y^3\left(xz+zt+tx\right)}+\frac{1}{z^3\left(xy+yt+tx\right)}+\frac{1}{t^3\left(xy+yz+zx\right)}\ge\frac{1}{3}\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}+\frac{1}{t}\right)\)

Answer 1

[Nguyễn Linh Chi]

Ta đặt: \(\frac{1}{x}=a;\frac{1}{y}=b;\frac{1}{z}=c;\frac{1}{t}=d\)  ( a, b, c, d >0 )

Khi đó ta cần chứng minh:

 \(\frac{a^3}{\frac{1}{bc}+\frac{1}{cd}+\frac{1}{db}}+\frac{b^3}{\frac{1}{ac}+\frac{1}{cd}+\frac{1}{da}}+\frac{c^3}{\frac{1}{ab}+\frac{1}{bd}+\frac{1}{da}}+\frac{d^3}{\frac{1}{ab}+\frac{1}{bc}+\frac{1}{ca}}\ge\frac{1}{3}\left(a+b+c+d\right)\)

\(VT=\frac{a^3}{\frac{b+c+d}{bcd}}+\frac{b^3}{\frac{a+c+d}{acd}}+\frac{c^3}{\frac{a+b+d}{abd}}+\frac{d^3}{\frac{a+b+c}{abc}}\)

\(=\frac{a^3}{\frac{a\left(b+c+d\right)}{abcd}}+\frac{b^3}{\frac{b\left(a+c+d\right)}{abcd}}+\frac{c^3}{\frac{c\left(a+b+d\right)}{abcd}}+\frac{d^3}{\frac{d\left(a+b+c\right)}{abcd}}\)

\(=\frac{a^2}{b+c+d}+\frac{b^2}{a+c+d}+\frac{c^2}{a+b+d}+\frac{d^2}{a+b+c}\)

\(\ge\frac{\left(a+b+c+d\right)^2}{3\left(a+b+c+d\right)}=\frac{a+b+c+d}{3}=VP\)

Vậy ta đã chứng minh được

\(\frac{a^3}{\frac{1}{bc}+\frac{1}{cd}+\frac{1}{db}}+\frac{b^3}{\frac{1}{ac}+\frac{1}{cd}+\frac{1}{da}}+\frac{c^3}{\frac{1}{ab}+\frac{1}{bd}+\frac{1}{da}}+\frac{d^3}{\frac{1}{ab}+\frac{1}{bc}+\frac{1}{ca}}\ge\frac{1}{3}\left(a+b+c+d\right)\)

Dấu "=" xảy ra <=> a = b = c = d 

Vậy : 

\(\frac{1}{x^3\left(yz+zt+ty\right)}+\frac{1}{y^3\left(xz+zt+tx\right)}+\frac{1}{z^3\left(xy+yt+tx\right)}+\frac{1}{t^3\left(xy+yz+zx\right)}\ge\frac{1}{3}\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}+\frac{1}{t}\right)\)

Dấu "=" xảy ra <=> x = y = z = t = 1