4

How to show for $x\in \mathbb{R}$, $$|x|\leqslant 1+x^2$$

I can show $2|x|\leq 1+x^2$, but how to show the above?

rama_ran
  • 781

6 Answers6

6

Observe that $$ 2|x|\leq 1+x^2 \quad \implies \quad |x|\leq \frac{1+x^2}2 \le 1+x^2. $$

Olivier Oloa
  • 120,989
2

For real $x,|x|^2=x^2$ and $$4|x|^2-4|x|+4=(2|x|-1)^2+3\ge3$$

2

Let $|x|=t$ ;

You get : $$|x|\leqslant 1+x^2 \implies t^2-t+1 \ge 0$$

Now, the discriminant of $t^2-t+1$ is : $$b^2-4ac=1-4=-3 <0$$ Therefore;

$$ t^2-t+1 \ge 0 ~\forall ~t \in \mathbb R^+$$ Hence :

$$|x|\leqslant 1+x^2 ~~\forall ~x \in \mathbb R$$

Jaideep Khare
  • 19,293
  • Though in the section right after "You get" both implications are true, technically the one you are interested in is "$\Longleftarrow$", not "$\implies$". –  Apr 16 '17 at 07:23
  • @G.Sassatelli I think there should be a bi-implies arrow, instead of a single sided arrow.Right? – Jaideep Khare Apr 16 '17 at 07:25
  • Yes, it is true that the two inequations are equivalent. My point is that you've stated only the implication which does not serve your purpose, since you want to use the fact that the second is always true to prove that the first is always true. –  Apr 16 '17 at 07:27
  • @G.Sassatelli Yes, of couse they are. – Jaideep Khare Apr 16 '17 at 07:28
2

Since $|x|\geq 0$, you have $|x|\leq 2|x|$, and so by inserting the inequality you know $2|x|\leq 1+x^2$ you'd get the desires $|x|\leq 2|x|\leq 1+x^2$.

2

by $AM-GM$ we have $$1+x^2\geq 2|x|\geq |x|$$

0

Well you've actually proven something stronger.

Since $|x|\ge 0$ and $2>1$, then $|x|\le 2|x| \le 1 + x^2$.

But, if you want to be thorough.

$(|x|-1)^2\ge 0$

$x^2-2|x|+1\ge 0$

$x^2 +1\ge 2|x|$

$x^2+1\ge 2|x| \ge |x|$.

That's all.

fleablood
  • 124,253