Xét: \(\left(a+b-c\right)\left(b+c-a\right)\left(c+a-b\right)\ge0\) nên ta có thể chứng minh được:
\(\left(a+b-c\right)\ge0;\left(b+c-a\right)\ge0;\left(c+a-b\right)\ge0\)
Đặt: \(x=a+b-c;y=b+c-a;z=c+a-b\)
\(\Rightarrow a=\frac{x+z}{2};b=\frac{x+y}{2};c=\frac{y+z}{2}\)
\(\Rightarrow64xyz\left(x+y+z\right)^3\le27\left(x+y\right)^2\left(y+z\right)^2\left(z+x\right)^2\)
Ta có:
\(3xyz\left(x+y+z\right)\le\left(xy+yz+zx\right)^2\)
\(\Rightarrow64\cdot3xyz\left(x+y+z\right)^3\le64\left(x+y+z\right)^2\left(xy+yz+zx\right)^2\)
Vậy ta cần chứng minh:
\(64\left(x+y+z\right)^2\left(xy+yz+zx\right)^2\le3\cdot27\left(a+b\right)^2\left(b+c\right)^2\left(c+a\right)^2\)
Lấy căn bậc 2 của 2 vế ta được:
\(9\left(x+y\right)\left(y+z\right)\left(z+x\right)\ge8\left(x+y+z\right)\left(xy+yz+zx\right)\)
Đến đây bài toán được chứng minh.