<s>[INST] Proving $3(1−a+a^2)(1−b+b^2)(1−c+c^2)≥1+abc+a^2b^2c^2$ My task was to prove the question above over real variables.
I thought that this minor inequality should help-
$$ 3(1 − a + a^2)(1 − b + b^2) ≥ 2(1 − ab + a^2 b^2). $$
which is true.
By this inequality, the original inequality is converted to-
$$ (1 - ab)^2 (1 - c)^2 + (ab-c)^2 + abc \geq 0 $$
This proves the inequality for $abc\geq 0$.
I want to prove this Inequality for $abc\lt0$. But I couldn't find a solution for $abc\lt0$.
Any extensions for $abc\lt0$ are thankfully accepted.
 [/INST] Two SOS solutions with the help of computer

*

*According to Vasc's solution in @Michael Rozenberg's answer, we have a simple SOS expression:
\begin{align}
&3(a^2-a+1)(b^2-b+1)(c^2-c+1) - (1 + abc + a^2b^2c^2)\\
=\ & \frac{1}{8}(abc-3c+2)^2 + \frac{3}{8}(abc-2ab+c)^2 + \frac{3}{8}(a-1)^2(b-1)^2(2c-1)^2\\
 &\quad + \frac{9}{8}(a-1)^2(b-1)^2 + \frac{3}{8}(a-b)^2(2c-1)^2 + \frac{9}{8}(a-b)^2.
\end{align}


*Without using Vasc's solution, I can obtain a complicated SOS expression
$$ 3(a^2-a+1)(b^2-b+1)(c^2-c+1) - (1 + abc + a^2b^2c^2) = \frac{1}{2}z^\mathsf{T}Qz$$
where $z = [1, a, b, c, ab, ca, bc, abc]^\mathsf{T}$ and
$$Q = \left(\begin{array}{rrrrrrrr} 4 & -3 & -3 & -3 & 2 & 2 & 2 & -1\\ -3 & 6 & 1 & 1 & -3 & -3 & -1 & 2\\ -3 & 1 & 6 & 1 & -3 & -1 & -3 & 2\\ -3 & 1 & 1 & 6 & -1 & -3 & -3 & 2\\ 2 & -3 & -3 & -1 & 6 & 1 & 1 & -3\\ 2 & -3 & -1 & -3 & 1 & 6 & 1 & -3\\ 2 & -1 & -3 & -3 & 1 & 1 & 6 & -3\\ -1 & 2 & 2 & 2 & -3 & -3 & -3 & 4 \end{array}\right).$$
Remarks: $Q$ is positive semidefinite.
</s>