Post History
#7: Post edited
1 picture proof for $|x-y| ≤ |x|+|y| \& \color{green}{|x|-|y|} ≤ |x-y| \& {\color{magenta}{|}}{\color{green}{|x|-|y|}}{\color{magenta}{|}} ≤ |x-y|$?
- 1 picture proof for the triangle inequality and the reverse triangle inequality
Michael Spivak's *Calculus* (2008 4 edn), Exercise 12, p 16. (vi) is the Reverse Triangle Inequality. >(iv) $|x-y| ≤ |x| + |y|$. (Give a very short proof.) (v) $\color{limegreen}{|x|-|y|} ≤ |x-y|$. (A very short proof is possible, if you write things in the right way). (vi) ${\color{magenta}{|}}({\color{limegreen}{|x|-|y|}}){\color{magenta}{|}} ≤ |x - y|$ (Why does this follow immediately from (v)?) How can I simultaneously pictorialize (iv) and (vi), in [this picture proof](https://math.stackexchange.com/a/3768046) for (v) above? To wit, how can I pictorialize (iv), (v), (vi) together in the same sole picture proof? ![](https://i.stack.imgur.com/gOjSE.jpg) I fancy "killing" 3 inequalities with 1 picture proof. I'm NOT seeking 3 picture proofs! ["You can change < by ≤, BUT NOT ≤ by <"](https://math.stackexchange.com/a/505354).
#6: History hidden
1 picture proof for $|x-y| ≤ |x|+|y| \& \color{green}{|x|-|y|} ≤ |x-y| \& {\color{magenta}{|}}{\color{green}{|x|-|y|}}{\color{magenta}{|}} ≤ |x-y|$?
Michael Spivak's *Calculus* (2008 4 edn), Exercise 12, p 16. (vi) is the Reverse Triangle Inequality. >(iv) $|x-y| ≤ |x| + |y|$. (Give a very short proof.) (v) $\color{limegreen}{|x|-|y|} ≤ |x-y|$. (A very short proof is possible, if you write things in the right way). (vi) ${\color{magenta}{|}}({\color{limegreen}{|x|-|y|}}){\color{magenta}{|}} ≤ |x - y|$ (Why does this follow immediately from (v)?) How can I simultaneously pictorialize (iv) and (vi), in [this picture proof](https://math.stackexchange.com/a/3768046) for (v) above? To wit, how can I pictorialize (iv), (v), (vi) together in the same sole picture proof? ![](https://i.stack.imgur.com/gOjSE.jpg) I fancy "killing" 3 inequalities with 1 picture proof. I'm NOT seeking 3 picture proofs! ["You can change < by ≤, BUT NOT ≤ by <"](https://math.stackexchange.com/a/505354).