I am trying to prove the ‘second’ triangle inequality: $$\Big||x|-|y|\Big| \leq |x-y|$$
My attempt:
Proof: \begin{align} |x-y|^2 &= (x-y)^2 \\ &= x^2 - 2xy + y^2 \\ &\geq |x|^2 - 2|x||y| + |y|^2 \\ &= \left(\Big||x|-|y|\Big|\right)^2. \end{align}
Therefore $\implies |x-y| \geq \Big||x|-|y|\Big|$.
My questions are: Is this an acceptable proof?; and are there alternative proofs that are more efficient?
Don’t work too hard: $$|x| - |y| \geq -|x - y|$$ is true because $|x| + |y - x| \geq |y|$, and $$|x| - |y| \leq |x - y|$$ because $|y| + |x - y| \geq |x|$. These are true because of the triangle inequality, hence the answer.