Problem
ALG-B2-M06-P016 Schur degree 4
#16
★★★★★ Level 5 of 5
Prove for \(a,b,c\ge0\): \[\sum a^4+abc(a+b+c)\ge\sum_{\mathrm{sym}}a^3b.\]
Hint. This is Schur degree \(4\); use the UVW reduction to \(b=c\) and the boundary.
The inequality is symmetric and of Schur type in degree \(4\). By UVW, it is enough to check \(b=c\) and the boundary. For \(b=c=1\), \(a=t\), the difference is \(t^2(t-1)^2\ge0\). On the boundary, say \(c=0\), we get \(a^4+b^4\ge a^3b+ab^3\), i.e. \((a-b)^2(a^2+ab+b^2)\ge0\). Hence the inequality is proved.
This is the main UVW training example in the module.