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
- 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
- The Gudermannian function , its inverse and Jensen's inequality: in search of inequalities
- Prove $\ln(n) \lt n$ using only $\log(x^y) = y\log(x) $

- Composition of Formal Power Series
- Does being a top-tier university always imply unhealthy graduate student environments?
- Are red blood cells prokaryotic?
- Many more Anagrams!
- What is the best practice to secure a 17ft open canoe to the roof of a vehicle?
- Why does the ICAO alphabet use "Charlie" for C?
- Can you find the missing words? 7 anagram puzzles
- Trainee is being dishonest on her first day
- What are "Ohms burns" in the context of Scott Kelly, KSP, and the Space Shuttle?
- Worst tournament performances of reigning World Champions
- Is it possible for a PC to become Huge or larger, in order to try and grapple a Tarrasque?
- What is the purpose/function of ".ßßß" files?
- Why are "degrees" and "bytes" not considered base units
- Is this number evil?
- Why would a flight from North America to Asia sometimes fly over the Atlantic?
- What are the three hidden sentences within the three sentences?
- Using awk to compare files and combine output from both files
- Why did Obi-Wan have to explain full details about Mos Eisley to Luke?
- What do you call an action that is less serious than a "crime"?
- How to talk to my brother-in-law about my concerns about his intent to propose to his girlfriend?
- Can animals train to be noticeably stronger, faster, more agile.. than other animals of the same species?
- Synonym for to make a pilgrimage?
- MITS to Dell: the mail order gap?
- Why is it "came back from the dead" and not "came back from the death"?