Solution. Denote x=4(ab+bc+ca) and y=8abc then we obtain
a2+b2+c2=1−2x;a2b2+b2c2+c2a2=16x2−4y
We can rewrite the inequality to the form
⇔⇔2x≥(4−2x+8y)(x2−4y)x(x−1)2≥4y((x−1)(x+2)−4y)x(x−1)2+16y2≥4y(x−1)(x+2)
Obviously, x≤34. If x≤1, we are done immediately. Otherwise, suppose that x≥1. By the third degree-Schur inequality, it's easy to get 8(x−1)≤9y. Considering x as a parameter in [1,34], we will prove that f(y)≥0, where
f(y)=16y2−4y(x−1)(x+2)+x(x−1)2