Xét: \(\frac{x^4}{\left(x^2+y^2\right)\left(x+y\right)}-\frac{y^4}{\left(x^2+y^2\right)\left(x+y\right)}=\frac{x^4-y^4}{\left(x^2+y^2\right)\left(x+y\right)}\)\(=\frac{\left(x^2+y^2\right)\left(x^2-y^2\right)}{\left(x^2+y^2\right)\left(x+y\right)}=\frac{\left(x^2+y^2\right)\left(x+y\right)\left(x-y\right)}{\left(x^2+y^2\right)\left(x+y\right)}=x-y\)(1)
Tương tự, ta có: \(\frac{y^4}{\left(y^2+z^2\right)\left(y+z\right)}-\frac{z^4}{\left(y^2+z^2\right)\left(y+z\right)}=y-z\)(2); \(\frac{z^4}{\left(z^2+x^2\right)\left(z+x\right)}-\frac{x^4}{\left(z^2+x^2\right)\left(z+x\right)}=z-x\)(3)
Cộng theo vế của 3 đẳng thức (1), (2), (3), ta được:
\(\left[\frac{x^4}{\left(x^2+y^2\right)\left(x+y\right)}+\frac{y^4}{\left(y^2+z^2\right)\left(y+z\right)}+\frac{z^4}{\left(z^2+x^2\right)\left(z+x\right)}\right]\)\(-\left[\frac{y^4}{\left(x^2+y^2\right)\left(x+y\right)}+\frac{z^4}{\left(y^2+z^2\right)\left(y+z\right)}+\frac{x^4}{\left(z^2+x^2\right)\left(z+x\right)}\right]=0\)
\(\Rightarrow\frac{x^4}{\left(x^2+y^2\right)\left(x+y\right)}+\frac{y^4}{\left(y^2+z^2\right)\left(y+z\right)}+\frac{z^4}{\left(z^2+x^2\right)\left(z+x\right)}\)\(=\frac{y^4}{\left(x^2+y^2\right)\left(x+y\right)}+\frac{z^4}{\left(y^2+z^2\right)\left(y+z\right)}+\frac{x^4}{\left(z^2+x^2\right)\left(z+x\right)}\)
Mà \(A=\frac{x^4}{\left(x^2+y^2\right)\left(x+y\right)}+\frac{y^4}{\left(y^2+z^2\right)\left(y+z\right)}+\frac{z^4}{\left(z^2+x^2\right)\left(z+x\right)}\)nên \(2A=\frac{x^4+y^4}{\left(x^2+y^2\right)\left(x+y\right)}+\frac{y^4+z^4}{\left(y^2+z^2\right)\left(y+z\right)}+\frac{z^4+x^4}{\left(z^2+x^2\right)\left(z+x\right)}\)\(\ge\frac{\frac{\left(y^2+z^2\right)^2}{2}}{\left(x^2+y^2\right)\left(x+y\right)}+\frac{\frac{\left(y^2+z^2\right)^2}{2}}{\left(y^2+z^2\right)\left(y+z\right)}+\frac{\frac{\left(z^2+x^2\right)^2}{2}}{\left(z^2+x^2\right)\left(z+x\right)}\)
\(=\frac{1}{2}\left(\frac{x^2+y^2}{x+y}+\frac{y^2+z^2}{y+z}+\frac{z^2+x^2}{z+x}\right)\)\(\ge\frac{1}{2}\left(\frac{\frac{\left(x+y\right)^2}{2}}{x+y}+\frac{\frac{\left(y+z\right)^2}{2}}{y+z}+\frac{\frac{\left(z+x\right)^2}{2}}{z+x}\right)\)\(=\frac{1}{4}\left[\left(x+y\right)+\left(y+z\right)+\left(z+x\right)\right]=\frac{1}{2}\left(x+y+z\right)=\frac{1}{2}\)(Do theo giả thiết thì x + y + z = 1)
\(\Rightarrow A\ge\frac{1}{4}\)
Đẳng thức xảy ra khi \(x=y=z=\frac{1}{3}\)
Bài này t làm rồi, "nhẹ" không ấy mà :|
Dự đoán khi \(x=y=z=\frac{1}{3}\Rightarrow A=\frac{1}{4}\). Ta c/m nó là GTNN của A
Á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)}\)
Cần chứng minh BĐT \(\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\)
BĐT cuối đúng tức ta có \(A_{Min}=\frac{1}{4}\Leftrightarrow x=y=z=\frac{1}{3}\)
P/s: Nguồn lời giải Câu hỏi của Vo Trong Duy - Toán lớp 9 - Học toán với OnlineMath, rảnh quá ngồi gõ lại :V
Cho tam giác ABC nhọn. Các đường cao AD, BE, CF cắt tại H. Qua A vẽ đường thẳng song song với BE,CF lần lượt cắt CF,BE tại P và Q. Chứng minh: PQ vuông góc với trung tuyến AM của tam giác ABC
