Lời giải:
Thường thì trong bất đẳng thức ta phải cố gắng tìm dấu bằng để xảy ra đẳng thức để đảm bảo cho những đánh giá của chúng ta là đúng.
Ta thấy bài toán này có dấu bằng xảy ra khi a=b, c=0 cùng các hoán vị.
Việc làm mất phân thức có thể làm đơn giản bài toán. Quy đồng ta được:
$(ab(a+b)+c)(bc(b+c)+a)((ca(c+a)+b))\le\frac{1}{4}(a+b)(b+c)(c+a)$
Ta có: ab(a+b)+c=ab(a+b)+c(a+b+c)=ab(1-c)+c(a+b+c)=(c+a)(c+b)-r
Bất đẳng thức được viết lại:
$[(c+a)(c+b)-r)][(b+c)(b+a)-r][(a+b)(a+c)-r]\le\frac{1}{4}(a+b)(b+c)(c+a)$
Do dấu bằng xảy ra khi có một biến bằng 0 tức là r=0 nên ta sẽ đánh giá:
$[(c+a)(c+b)-r)] \le (c+a)(c+b)$
Ta chỉ đánh giá ít hạng tử vì nếu đánh giá nhiều sẽ không đảm bảo tính đúng đắn của bất đẳng thức nữa
Vậy ta chỉ chứng minh;
$[(b+c)(b+a)-r][(a+b)(a+c)-r]\le\frac{1}{4}(a+b)$
Nhân ra được:
$(a+b)(a+c)(a+b)^2 \le \frac{1}{4}(a+b)+r(c(a+b)+a+b-r)$
Tương tự với [(b+c)(b+a)-r] và [(a+b)(a+c)-r] rồi cộng lại ta sẽ được một bất đẳng thức đối xứng:
$2(a+b)(b+c)(c+a)p \le \frac{1}{2}(p+r(2q+2p-3r) $
$\Leftrightarrow 2(a+b)(b+c)(c+a)\le\frac{1}{2}+r(2q+2-3r)$ (Do p=1)
$2(a+b)(b+c)(c+a)p \le \frac{1}{2}(p+r(2q+2p-3r) $
$\Leftrightarrow 2(a+b)(b+c)(c+a)\le\frac{1}{2}+r(2q+2-3r) $
$\Leftrightarrow 4q \le 1+r(8+4q-6r)$
Nếu $8+4q-6r \ge 1$ thì bất đẳng thức trên đúng theo Schur
Trường hợp ngược lại thì $4q-1<6r.$
Do dấu bằng xảy ra thì 4q=1, ta nhóm lại như sau:
$(4q-1)(1-r)\le 6r(1-r) \le 6r(\frac{3}{2}-r)$
Vậy ta có điều phải chứng minh.