0
$\begingroup$

Let $f:[-1,1]\rightarrow \mathbb R$ and $f(x)=\frac {x} {1+\sqrt{1-x^2}}$. Show that $f$ is continuous, $f([-1,1]) = [-1,1]$ and $f$ has an inverse function $f^{-1}: [-1,1]\rightarrow[-1,1]$.

I think it all comes down to showing that it's monotonously increasing. If I proove that, then I can show that $f([-1,1]) = [-1,1]$ and that it has an inverse function follows from it being strictly monotonously increasing. (please correct me if I said something false!)

Do I have to show something special to prove that it's continuous? Clearly $x$ is continuous and $1+\sqrt{1-x^2}$ also has no point that could present a problem in this interval. Can I just write this?

For the monotony proof I'm a little stuck. I have the following:

$\frac {x} {1+\sqrt{1-x^2}} < \frac {x+1} {1+\sqrt{1-(x+1)^2}}$

$x\sqrt{1-(x+1)^2} < x(1+\sqrt{1-x^2})$

$x\sqrt{-x^2+2x+2} < x\sqrt{1-x^2}+1+\sqrt{1-x^2}$

I can not reduce this anymore and from here it's not clear that it's monotone. Any tips? Many thanks guys!

PS: we are not allowed to use the derivative here.

  • 0
    @Clash: For 0 \le s , you have pinned down the *why*, a little informally. More formally you can write s/(1+\sqrt{1-s^2}).2011-12-18

1 Answers 1

3

For continuity, just note (as you said) that $f$ is built up from continuous functions and that there are no domain problems.

For invertibility:

Your function is odd and has value 0 at 0. Towards showing that $f$ is one-to-one, it thus suffices to show that $f$ is monotone for $x\in (0,1]$.

If $x$ and $y$ are in $(0,1]$ with $x, then $1-x^2>1-y^2$. Then $1+\sqrt{1-x^2}>1+\sqrt{1-y^2}$, and so $ {1\over 1+\sqrt{1-x^2}}<{1\over 1+\sqrt{1-y^2}}. $ Since $x>0$ and $y>x$:

$ {x\over 1+\sqrt{1-x^2}}<{y\over 1+\sqrt{1-y^2}} $

So, $f$ is monotone on $(0,1]$ and, thus, on $[-1,1]$.

Now, one can show $|f(x)|\le 1$ for all $x\in[-1,1]$. Since $f(-1)=-1$ and since $f(1)=1$, it follows from the continuity of $f$ that its range is $[-1,1]$. Thus $f^{-1}$ exists and its domain is $[-1,1]$.