Bài này mình gặp rất nhiều khó khăn khi biến đổi, và vì biểu thức quá dài nên mình phải dùng ký hiệu \(\Sigma_{sym}\), có thể sẽ gặp phải những sai sót-> sai cả bài, do đó bài làm bên dưới chỉ nêu hướng làm thôi (quy đồng).
Nhân hai vế của BĐT cho \(2\left(ab+bc+ca\right)\left(a^2+bc\right)\left(b^2+ca\right)\left(c^2+ab\right)\) BĐT cần chứng minh tương đương:
\(\Leftrightarrow\)\(3\Sigma_{sym}a^3b^3c+\Sigma_{sym}ab^4c^2\ge3\Sigma_{sym}a^5bc+\Sigma_{sym}a^4b^3\)
\(\Leftrightarrow3\Sigma_{sym}\left(a^3b^3c-ab^5c\right)+\Sigma_{sym}b^4c^2a\ge\Sigma_{sym}a^4b^3\)
Do \(3\Sigma_{sym}\left(a^3b^3c-ab^5c\right)\ge0\) theo định lí Muirhead.
Do đó ta sẽ chứng minh: \(\Sigma_{sym}b^4c^2a\ge\Sigma_{sym}a^4b^3\). Và chịu:(
Không mất tính tổng quát, ta giả sử c là số nhỏ nhất.
Đặt \(f\left(a;b;c\right)=VP-VT\) và \(t=\frac{a+b}{2}\)
Trước hết ta chứng minh \(f\left(a;b;c\right)\ge f\left(t;t;c\right)\).
Xét hiệu hai vế và nó tương đương ta thấy nó \(\ge0\) do giả sử:
Vậy ta chỉ cần chứng minh \(f\left(t;t;c\right)\ge0\Leftrightarrow\frac{\left(c-t\right)^2\left(3c^2+3ct+2t^2\right)}{2t\left(c+t\right)\left(2c+t\right)\left(c^2+t^2\right)}\ge0\) (đúng)
Vậy ta có đpcm.
P/s: Lần sau cho đề đẹp đẹp tí, kiểu này quy đồng mà không có máy tính thì cực chetme:(
Giả sử 
. Sau khi quy đồng ta cần chứng minh:
Với thì mấy cụm phía sau rất dễ xử lí (a sẽ gửi cách xử trong tin nhắn).
Done.
Test chương trình mới viết: (vô thống kê hỏi đáp xem)
