Si puedo preguntar, ¿cómo podemos derivar que $$(a+b)^p\le 2^p (a^p+b^p)$$ donde $a,b,p\ge 0$ es un número entero?
Respuestas
¿Demasiados anuncios?De hecho, podemos hacer una afirmación más fuerte:
$$(a+b)^p\le 2^{p-1} (a^p+b^p)$$
si $a,b \ge 0$ . Como señala Mohammad Khosravi, esto equivale a
$$(x+1)^p\le 2^{p-1} (x^p+1)$$
si $x \ge 0$ . Lo demostramos por inducción. El caso $p=1$ es fácil: $x+1 \le x+1$ . Así que supongamos que hemos establecido que
$$(x+1)^{p-1}\le 2^{p-2} (x^{p-1}+1)$$
Entonces tenemos:
$$\begin{align} (x+1)^p & = (x+1)(x+1)^{p-1}\\ & \le 2^{p-2}(x+1)(x^{p-1}+1) \end{align}$$
Ahora sólo tenemos que demostrar que $2^{p-2}(x+1)(x^{p-1}+1) \le 2^{p-1} (x^p+1)$ o, por el contrario, que $2(x^p+1) - (x+1)(x^{p-1}+1) \ge 0 $ :
$$\begin{align} 2(x^p+1) - (x+1)(x^{p-1}+1) & = x^p-x^{p-1}-x+1 \\ & = (x-1)(x^{p-1}-1) \\ & = (x-1)^2(x^{p-2} + x^{p-3} + \ldots + x + 1) \\ & \ge 0 \end{align}$$
Utilizando La desigualdad de Jensen obtenemos para $p\ge1$ o $p\le0$ , $$ \left(\frac{A+B}2\right)^p\le\frac{A^p+B^p}2 $$ Que, al multiplicarse por $2^p$ , produce $$ (A+B)^p\le2^{p-1}(A^p+B^p) $$