Dự đoán dấu "=" xảy ra khi \(x=y=z=\frac{1}{3}\) ta tính được \(A=\frac{1}{4}\)
Ta sẽ chứng minh nó là GTNN của A
Thật vậy áp dụng BĐT Cauchy-Schwarz dạng Engel ta có:
\(A=Σ\frac{x^4}{\left(x^2+y^2\right)\left(x+y\right)}\ge\frac{\left(x^2+y^2+z^2\right)^2}{Σ\left(x^2+y^2\right)\left(x+y\right)}\)
Do đó ta cần phải chứng minh \(\frac{\left(x^2+y^2+z^2\right)^2}{Σ\left(x^2+y^2\right)\left(x+y\right)}\ge\frac{x+y+z}{4}\)
\(\Leftrightarrow4\left(x^2+y^2+z^2\right)^2\ge\left(x+y+z\right)Σ\left(2x^3+x^2y+x^2z\right)\)
\(\LeftrightarrowΣ\left(2x^4-3x^3y-3x^3z+6x^2y^2-2x^2yz\right)\ge0\)
\(\LeftrightarrowΣ\left(2x^4-3x^3y-3x^3z+4x^2y^2\right)+Σ\left(2x^2y^2-2x^2yz\right)\ge0\)
\(\LeftrightarrowΣ\left(x^4-3x^3y+4x^2y^2-3xy^3+y^4\right)+Σ\left(x^2z^2-2z^2xy+y^2z^2\right)\ge0\)
\(\LeftrightarrowΣ\left(x-y\right)^2\left(x^2-xy+y^2\right)+Σz^2\left(x-y\right)^2\ge0\) (đúng)
Vậy \(x=y=z=\frac{1}{3}\) thì \(A_{Min}=\frac{1}{4}\)