Quy đồng thần chưởng thôi :|, tua qua đoạn quy đồng mẫu tử đi nhé :v
\(BDT\Leftrightarrow\frac{\left(a^4c^2+a^2b^4+b^2c^4-a^3bc^2-a^2b^3c-ab^2c^3\right)+\left(a^3b^3+a^3c^3+b^3c^3-3a^2b^2c^2\right)}{abc\left(a+b\right)\left(b+c\right)\left(c+a\right)}\ge0\)
Dễ thấy: \(abc\left(a+b\right)\left(b+c\right)\left(c+a\right)>0\forall a,b,c\)
Giờ cần chứng minh \(a^4c^2+a^2b^4+b^2c^4\ge a^3bc^2+a^2b^3c+ab^2c^3\)
Và \(a^3b^3+a^3c^3+b^3c^3\ge3a^2b^2c^2\)
Áp dụng BĐT AM-GM ta có:
\(a^3b^3+a^3c^3+b^3c^3\ge3\sqrt[3]{\left(abc\right)^6}=3a^2b^2c^2\) (đúng)
Ko mất tính tq giả sử \(a\ge b\ge c\)
Khi đó \(a^4c^2+a^2b^4+b^2c^4\ge a^3bc^2+a^2b^3c+ab^2c^3\)
\(\Leftrightarrow c^2\left(a-b\right)\left(a^3-b^2c\right)+b^2\left(b-c\right)\left(a^2b-c^3\right)\ge0\) (đúng)
Hay ta có ĐPCM