A8 Para todo entero positivo $m$ y para todos los números reales no negativos $x,y,z$, denota \begin{align*} K_m =x(x-y)^m (x-z)^m + y (y-x)^m (y-z)^m + z(z-x)^m (z-y)^m \end{align*} Demuestra que $K_m \geq 0$ para todo entero positivo impar $m$. Sea $M$ $= \prod_{cyc} (x-y)^2$. Demuestra que $K_7+M^2 K_1 \geq M K_4$.