Para demostrar que un algoritmo de corrección, necesito mostrar que
$|x|+|x+\Delta h+\Delta s| \geq |x + \Delta s|+|x+\Delta h|$
al$\Delta h > 0$$\Delta s > 0$. Mathematica simplifica esto es Cierto, pero no veo cómo. Las únicas herramientas que conozco son el triángulo de la desigualdad y de la aritmética/media geométrica de la desigualdad.
Cómo puedo probar esta desigualdad?