I thought the following inequality, which is to be proved, would be a simple application of the well known inequalities $||x|-|y|| \leq |x-y|$ and $||x|-|y|| \leq |x+y|$ but, if it is, after about an hour of scribbling I really can't seem to make any progress at all. Below is the inequality to be proved, for $x, y, z, \in \mathbb{R}$

$||x|-|y+z|| \leq ||x|-|y||+|z|$

For those interested, the problem is taken from page 5 of Mathematical Analysis: Functions of One Variable by M. Giaquinta and G. Modica

carmichael561 05/15/2018.

First, by adding and subtracting $|y|$ and using the triangle inequality, we obtain $$ ||x|-|y+z||=||x|-|y|+|y|-|y+z||\leq ||x|-|y||+||y|-|y+z||$$ and then using the inequality $$||a|-|b||\leq |a-b|$$ with $a=y$ and $b=y+z$, we get $$||x|-|y||+||y|-|y+z||\leq ||x|-|y||+|z|$$

mechanodroid 05/15/2018.

We have

$$|x|-\underbrace{|y+z|}_{\ge \big||y|-|z|\big|} \le |x|-\underbrace{\big||y|-|z|\big|}_{\ge |y| - |z|} \le \underbrace{|x| - |y|}_{\le \big||x| - |y|\big|} + |z| \le \big||x| - |y|\big| + |z|$$

On the other hand

$$|x|-\underbrace{|y+z|}_{\le |y| + |z|} \ge \underbrace{|x|- |y|}_{\ge -\big||x|- |y|\big|}-|z|\ge - \big||x|- |y|\big| - |z|$$

Therefore

$$- \big||x|- |y|\big| - |z| \le |x| - |y+z| \le \big||x| - |y|\big| + |z|$$

which implies $$\big| |x| - |y+z|\big| \le \big||x| - |y|\big| + |z|$$

Somos 05/16/2018.

Let $\; w:=-y-z,\; a:=|x|-|w|,\; b:=|x|-|y|.\;$ Using the reverse triangle inequality twice gives $\; |a| - |b| \le ||a| - |b| | \le | a-b | = | |y|-|w| | \le |y+w| = |-z| = |z|.\;$ This is $\;|a| \le |b|+|z|.\;$ Substituting for $\;a,b\;$ gives $\; ||x|-|w|| = ||x| - |y+z| | \le ||x|-|y|| + |z| \;$ which is our result.

- Proving Minkowski's inequality with homogenization
- Finding an inequality for a word problem
- Verifying $\int_0^\pi \sin(x) /2(\sin(x/(2n+1)) \,dx \leq \pi$
- Is $(1+1/(x-1))^{x^\delta} > 2$ when $x > 1$ and $\delta \ge 1$?
- Proving the Power Mean Inequality using Chebyshev's sum inequality
- Shouldn't we refer to an inequality as an 'inequality' instead of an 'equation'?
- Bessel's inequality for expected value
- Improved Bernoulli's Inequality
- Proving a seemingly simple inequality is proving difficult
- Triangle Inequality: use to prove convergence (psi function elliptic functions)

- What's on the bottom of the Shuttle's external fuel tank?
- How does a rifle fire backwards?
- Copy file and keep same timestamp of original file
- Muddled video games titles
- What are the Pros and Cons of long names?
- How to Differentiate Between Demonic Possession and Mental Illness
- how specific must rocker switch specs be?
- What is a sine wave?
- Randomly shuffle items in each row of numpy array
- Is a professor allowed to require me to give him permission to speak with my doctor before letting me make up an exam?
- Realistically, how useful would a bayonet be on a crossbow in medieval, close quarters combat?
- When using wish to replicate a spell, what school of magic does it count as?
- Unexpected behaviour of \only
- Can knowing too much about the tested code be a disadvantage?
- Are there any reliable plants to use for orientation?
- Arguments against providing multiple logo alignments?
- Why is slip necessary in an Induction motor?
- Is my game fair?
- Do the Dursleys use owl mail service?
- Does the GDPR entitle me to refuse showing my boarding pass at EU airports shops?
- Has Galactus ever been depicted as anything other than a humanoid?
- Python class that returns False with bool(TheClassItself)
- How can I decline someone's business card with tact?
- Why do some GDPR emails require me to opt-out and some to opt-in?