Why is the triangle inequality equivalent to $a^4+b^4+c^4\leq 2(a^2b^2+b^2c^2+c^2a^2)$? Consider the existential problem of a triangle with side lengths $a,b,c\geq0$. Such a triangle exists if and only if the three triangle inequalities
$$a+b\geq c,\quad b+c\geq a\quad\text{and}\quad c+a\geq b\tag{0}$$
are all satisfied.
Alternatively, if $\ell_1\leq\ell_2\leq\ell_3$ are the values of $a,b$ and $c$ ordered in ascending order, then the triangle exists iff $\ell_1+\ell_2\geq\ell_3$.
Interestingly, the three triangle inequalities can be recast into a single quartic polynomial inequality. Let $0,x,y\in\mathbb R^2$ be the three vertices of the triangle, with $\|x\|=a,\,\|y\|=b$ and $\|x-y\|=c$. Then $c^2=\|x-y\|^2=\|x\|^2-2\langle x,y\rangle+\|y\|^2=a^2+b^2-2\langle x,y\rangle$. Therefore $x^Ty=\langle x,y\rangle=\frac{1}{2}(a^2+b^2-c^2)$ and
$$\pmatrix{x^T\\ y^T}\pmatrix{x&y}=\frac{1}{2}\pmatrix{2a^2&a^2+b^2-c^2\\ a^2+b^2-c^2&2b^2}.\tag{1}$$
The RHS of $(1)$ must be positive semidefinite because the LHS is a Gram matrix. Conversely, if the RHS is indeed PSD, it can be expressed as a Gram matrix. Hence we obtain $x$ and $y$ and the triangle exists.
As $2a^2$ and $2b^2$ are already nonnegative, the RHS of $(1)$ is positive semidefinite if and only if $(2a^2)(2b^2)-(a^2+b^2-c^2)^2\geq0$, by Sylvester's criterion. That is, the triangle exists if and only if
$$-(a^4+b^4+c^4)+2(a^2b^2+b^2c^2+c^2a^2)\geq0.\tag{2}$$
This polynomial inequality can be derived by more elementary means. See circle-circle intersection on Wolfram MathWorld. The geometric explanation for the necessity of $(2)$ is given by Heron's formula, which states that the square root of the LHS is four times the area of the triangle.
Since both $(0)$ and $(2)$ are necessary and sufficient conditions for the existence of the required triangle, the two sets of conditions must be equivalent to each other. Here are my questions. Is there any simple way to see why $(0)$ and $(2)$ are equivalent? Can we derive one from the other by some basic algebraic/arithmetic manipulations?

The quartic polynomial in (2) may be shown by algebra to equal the product
$(a+b+c)(-a+b+c)(a-b+c)(a+b-c),$
so for nonnegative $a,b,c$ the triangle inequality implies that the quartic expression is nonnegative.
But the quartic as defined above is also nonnegative if two or all four of the factors above are negative. So we have to exclude these alternatives to prove equivalence.
Assume that $a+b-c$ and $a-b+c$ are negative. Simply adding these up gives $2a<0$, contradicting the hypothesis that $a$ is nonnegative. Similar contradictions occur if we try other pairs of factors being negative:
$(-a+b+c<0, a-b+c<0) \to (c<0)$
$(-a+b+c<0, a+b-c<0) \to (b<0)$
Thus by indirect proof the equivalence of (0) and (2) is established.
