Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am having a little bit of problem with an inequality with nested absolute values:

$$|z^2-1| \ge |z+|1-z^2||$$

I've tried solving it by making three cases, $z\ge1$, $z\le-1$ and $z$ between $1$ and $-1$ and thus getting rid of absolute values for $z^2-1$ and $1-z^1$, and I am only left with 1 absolute value. But solutions at the end are not what they should be based on the graph. Here, $z$ is real, and WolframAlpha gives this solution.

What I am doing wrong?

share|improve this question
    
As you wrote it the inequality is false. Take for example $$z=4\Longrightarrow |4^2-1|=15\,\,,\,\,|4+|1-4^2||=|4+15|=19$$ Check carefully what is what you really want to prove and write it down with LaTeX (go to FAQ section), to make it clear –  DonAntonio Nov 26 '12 at 3:19
    
@DonAntonio: I think OP is trying to find the $z$ for which the inequality is true. –  Ross Millikan Nov 26 '12 at 3:20
    
Well, that'd definitely make more sense. I'm getting sloppy in guessing posters' intentions... –  DonAntonio Nov 26 '12 at 3:22
add comment

4 Answers

Note that for any $a$ and $b$, we have $|a|\ge |b|$ iff $a^2 \ge b^2$. Apply this with $a$ the left-hand side, and $b$ the right-hand side of our expression. Thus our inequality is equivalent to $$(z^2-1)^2\ge z^2+2z|1-z^2| +(1-z^2)^2.$$ Since $(z^2-1)^2=(1-z^2)^2$, we are trying to solve the inequality $$z^2+2z|1-z^2| \le 0.\tag{$1$}$$ Sure killed an awful lot of absolute value signs!

The inequality $(1)$ holds at $z=0$. And it is obvious that it cannot hold for positive $z$. So (remembering that from now on $z$ is negative), we are looking at the inequality $$z+2|1-z^2| \ge 0.$$ The rest is routine. We can divide into two cases, $z\le -1$ and $-1\lt z\lt 0$. It turns out that the inequality holds for all $z \le 0$, except for the numbers in the open interval $(a,b)$, where $a=-\frac{\sqrt{17}+1}{4}$ and $b= -\frac{\sqrt{17}-1}{4}$.

share|improve this answer
add comment

I am presuming that $z$ is real. The problem is that the outer absolute on the right may change sense at other places. Say $z \lt -1$. Then $|z+|1-z^2||=|z+z^2-1|$, but now you are testing whether $z+z^2-1 \gt 0$ which doesn't change sense at those points. So you need to find some secondary cases based on what you get for the prime cases.

share|improve this answer
add comment

$|z^2-1| \ge |z+|1-z^2||$

Case 1: Suppose $z \ge 1$. Then $|z^2 - 1| = z^2 - 1$ and $|1 - z^2| = z^2 - 1$:

$z^2-1 \ge |z+(z^2-1)||$

Also $z + (z^2 - 1) > 0$ so:

$z^2-1 \ge z+(z^2-1)$

$0 \ge z$

This is a contradiction.

Case 2: Suppose $z \le -1$. Then $|z^2 - 1| = z^2 - 1$ and $|1 - z^2| = z^2 - 1$:

$z^2-1 \ge |z+(z^2-1)||$

There is a root of $z^2 + z - 1$, so we must case on that.

Case 2a: Suppose $z \le -\frac{\sqrt5 + 1}{2}$, then:

$z^2-1 \ge z^2+z-1$

Also a contradiction.

Case 2b: Suppose $-\frac{\sqrt5 + 1}{2} \le z \le -1$, then

$z^2-1 \ge -z^2-z+1 \Rightarrow 2z^2 + z \ge 0$. $z \le -\frac{\sqrt5 + 1}{2}$ always satisfies this.

Case 3: Suppose $-1 \le z \le 1$, then

$1-z^2 \ge |z+1-z^2)|$

This has a root at $\frac{1-\sqrt5}{2}$, so we case there,

Case 3a: $\frac{1-\sqrt5}{2} \le z \le 1$

$1-z^2 \ge z+1-z^2)$

$0 \ge z$. $\frac{1-\sqrt5}{2} \le z \le 0$ satisfies this.

Case 3b: $-1 \le z \le \frac{1-\sqrt5}{2}$.

$1-z^2 \ge z^2-z-1$

$2z^2 - z \le 0$. This does not hold for negative $z$, so it is a contradiction.

We conclude that $z \le -\frac{\sqrt5 + 1}{2}$ or $\frac{1-\sqrt5}{2} \le z \le 0$.

The graphing method is definitely easier here. It also may be easier to consider the potential roots first and then use more cases instead of cases-with-subcases, though ultimately those are similar arguments.

share|improve this answer
add comment

Here is a solution

$$|z+|1-z^2||\leq |1-z^2| \implies -|1-z^2|\leq z+|1-z^2|\leq |1-z^2| $$

$$ \implies -2|1-z^2|\leq z\leq 0 \,. $$

From the above inequality, the solution $z$ should lie in the set $ \left\{z\leq 0\right\} \cap \left\{ z\geq-2|1-z^2| \right\} $.

working out $ z \geq -2|1-z^2|, $ gives

$$\left\{z \geq -2|1-z^2| \right\} = \left\{z \geq -2(1-z^2) \right\} \cup \left\{z \geq -2(-1+z^2) \right\}$$

$$ = ( -.78, 1.28 ) \cup \left\{ (-\infty, -1.28)\cup (-.78,\infty) \right\} $$

$$ = (-\infty, -1.28) \cup ( -.78, \infty ) . $$

Thus, the solution is given by

$$ \left\{z\leq 0\right\} \cap \left\{ z\geq -2|1-z^2| \right\}$$

$$=\left\{z\leq 0\right\} \cap \left\{ (-\infty, -1.28) \cup ( -.78, \infty ) \right\} $$

$$ =\left\{\left\{z\leq 0\right\} \cap (-\infty, -1.28)\right\} \cup \left\{\left\{z\leq 0\right\} \cap ( -.78, \infty )\right\} $$

$$ = \left( -\infty,-1.28\right) \cup \left(-.78, 0 \right).$$

Note: I approximated the roots when I was solving the inequalities.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.