Đặt \(P=x^4\left(y-z\right)+y^4\left(z-x\right)+z^4\left(x-y\right)\)
\(P=x^4\left(y-z\right)+y^4\left(z-x\right)+z^4\left(x-y\right)\)
\(=x^4\left(y-z\right)+y^4z-y^4x+z^4x-z^4y\)
\(=x^4\left(y-z\right)+y^4z-z^4y-y^4x+z^4x\)
\(=x^4\left(y-z\right)+yz\left(y^3-z^3\right)-x\left(y^4-z^4\right)\)
\(=x^4\left(y-z\right)+yz\left(y-z\right)\left(y^2+yz+z^2\right)-x\left(y-z\right)\left(y^3+y^2z+yz^2+z^3\right)\)
\(=\left(y-z\right)\left[x^4+yz\left(y^2+yz+z^2\right)-x\left(y^3+y^2z+yz^2+z^3\right)\right]\)
\(=\left(y-z\right)\left(x^4+y^3z+y^2z^2+yz^3-xy^3-xy^2z-xyz^2-xz^3\right)\)
\(=\left(y-z\right)\left(x^4-xz^3-xy^3+y^3z-xy^2z+y^2z^2-xyz^2+yz^3\right)\)
\(=\left(y-z\right)\left[x\left(x^3-z^3\right)-y^3\left(x-z\right)-y^2z\left(x-z\right)-yz^2\left(x-z\right)\right]\)
\(=\left(y-z\right)\left[x\left(x-z\right)\left(x^2+xz+z^2\right)-y^3\left(x-z\right)-y^2z\left(x-z\right)-yz^2\left(x-z\right)\right]\)
\(=\left(y-z\right)\left(x-z\right)\left[x\left(x^2+xz+z^2\right)-y^3-y^2z-yz^2\right]\)
\(=\left(y-z\right)\left(x-z\right)\left(x^3+x^2z+xz^2-y^3-y^2z-yz^2\right)\)
\(=\left(y-z\right)\left(x-z\right)\left(x^3-y^3+x^2z-y^2z+xz^2-yz^2\right)\)
\(=\left(y-z\right)\left(x-z\right)\left[\left(x-y\right)\left(x^2+xy+y^2\right)+z\left(x^2-y^2\right)+z^2\left(x-y\right)\right]\)
\(=\left(y-z\right)\left(x-z\right)\left[\left(x-y\right)\left(x^2+xy+y^2\right)+z\left(x-y\right)\left(x+y\right)+z^2\left(x-y\right)\right]\)
\(=\left(y-z\right)\left(x-z\right)\left(x-y\right)\left[x^2+xy+y^2+z\left(x+y\right)+z^2\right]\)
\(=\left(y-z\right)\left(x-z\right)\left(x-y\right)\left(x^2+xy+y^2+xz+yz+z^2\right)\)
Đặt \(A=x^2+xy+y^2+xz+yz+z^2\)
\(A=\frac{2\left(x^2+xy+y^2+xz+yz+z^2\right)}{2}=\frac{2x^2+2xy+2y^2+2xz+2yz+2z^2}{2}\)
\(=\frac{\left(x^2+2xy+y^2\right)+\left(y^2+2yz+z^2\right)+\left(x^2+2xz+z^2\right)}{2}\)
\(=\frac{\left(x+y\right)^2+\left(y+z\right)^2+\left(x+z\right)^2}{2}\)
=>\(P=\left(y-z\right)\left(x-z\right)\left(x-y\right).\frac{\left(x+y\right)^2+\left(y+z\right)^2+\left(x+z\right)^2}{2}\)
Ta có: \(x>y>z< =>\hept{\begin{cases}x>y\\y>z\\x>z\end{cases}}< =>\hept{\begin{cases}x-y>0\\y-z>0\\x-z>0\end{cases}}\)
Dễ thấy \(\left(x+y\right)^2\ge0;\left(y+z\right)^2\ge0;\left(x+z\right)^2\ge0\) với mọi x;y;z
\(=>P>0\) (đpcm)
