Estoy tratando de probar la propiedad de $|a+b| + |a-b| \geq |a| + |b|$ de la función valor absoluto. Ya sé que la desigualdad de triángulo $|x+y| \leq |x| + |y|$ y que con esto tengo $$|x| = |y + (x-y)| \leq |y| + |x-y|$$ so that $$|x|-|y| \leq |x-y|$$ and analogous $$|y|-|x| \leq |y-x|.$$ Choosing $|x| = |-y + (x+y)|$ instead gives me $$|x|-|y| \leq |x+y|$$ and $$|y|-|x| \leq |x+y|.$$ Pero, ¿cómo puedo proceder?