Given $\displaystyle x,y,z$ are real numbers greater than or equal to zero, denote


$\displaystyle [\alpha, \beta, \gamma]= \sum_{sym} x^{\alpha} y^{\beta}z^{\gamma}$ (the symmetric sum contains all 3! = 6 permutations of $\displaystyle \alpha, \beta, \gamma$ in the exponents)


If $\displaystyle a^2 + b^2 = c^2$ where $\displaystyle a,b \ge 0$, prove that


$\displaystyle [a+b, 0, -a-b] + [c, 0, -c] \ge [a+b, -a, -b] + [a, b, -a-b]$.