Injectivity and range of $\arctan\left(\sqrt{\frac{1+x}{1-x}}\right)$ To prove that $f(x)=\arctan\left(\sqrt{\frac{1+x}{1-x}}\right)$ is injective I have tried the following:
According to the definition, for a function to be injective $f(a)=f(b) \to a=b$ for all $a,b \in D_f$. Using this I get:
$$\arctan\left(\sqrt{\frac{1+a}{1-a}}\right)=\arctan\left(\sqrt{\frac{1+b}{1-b}}\right)$$
$$\iff\left(\sqrt{\frac{1+a}{1-a}}\right)=\left(\sqrt{\frac{1+b}{1-b}}\right)$$
$$\iff\frac{1+a}{1-a}=\frac{1+b}{1-b}$$
$$\iff2a=2b$$
$$a=b$$
Hence the function is injective. (?) Now this could be total bs but I also am not able to find the proper range for this one. WolframAlpha says $0\le y<\frac{\pi }{2}$. But how does one come up with this range?

We need $\dfrac{1+x}{1-x}\ge0$
$\dfrac{1+x}{1-x}=0\implies x=-1 $
$\dfrac{1+x}{1-x}>0\implies-1<x<1$
WLOG $\arccos x=2y,x=\cos2y$ where $0<2y\le\pi$ using Principal values.
$$\arctan\sqrt{\dfrac{1+x}{1-x}}=\arctan\cot y=\arctan\left(\tan\left(\dfrac\pi2-y\right)\right)=\dfrac\pi2-\dfrac{\arccos x}2$$ 
Now I hope that things should be managed more easily than in the original form. 
