Showing $\left|\frac{a+b}{2}\right|^p+\left|\frac{a-b}{2}\right|^p\leq\frac{1}{2}|a|^p+\frac{1}{2}|b|^p$

Solution 1:

We have for all $x_1,x_2\geq 0$: $x_1^p+x_2^p\leqslant (x_1^2+x_2^2)^{p/2}$. Indeed, it suffice to show it when $x_2=1$, otherwise apply it to $\frac{x_1}{x_2}$. $f(t):=(t^2+1)^{p/2}-t^p-1$ is non-negative, since its derivative is $p(t^2+1)^{p/2-1}t-pt^{p-1}\geqslant 0$ and $f(0)=0$. Applying it to $x_1=\frac{a+b}2$ and $x_2=\frac{a-b}2$, we get \begin{align*} \left|\frac{a+b}2\right|^p+\left|\frac{a-b}2\right|^p&\leqslant \left(\left|\frac{a+b}2\right|^2+\left|\frac{a-b}2\right|^2\right)^{p/2}\\\ &=\left(\frac {2a^2+2b^2}4\right)^{p/2}\\\ &=\left(\frac {a^2}2+\frac{b^2}2\right)^{p/2}\\\ &\leqslant \frac 12|a|^p+\frac 12|b|^p, \end{align*} since the map $t\mapsto |t|^{p/2}$ is convex ($p\geqslant 2$).