# How to prove that $2 \arctan\sqrt{x} = \arcsin \frac{x-1}{x+1} + \frac{\pi}{2}$

I want to prove that$$2 \arctan\sqrt{x} = \arcsin \frac{x-1}{x+1} + \frac{\pi}{2}, x\geq 0$$

I have started from the arcsin part and I tried to end to the arctan one but I failed.

Can anyone help me solve it?

-

## 3 Answers

Define $\displaystyle g(x)=2\arctan(\sqrt{x})-\arcsin\left(\frac{x-1}{x+1}\right)-\frac{\pi}{2}$. Differentiate to find that $g'(x)=0$. Since this was true on the connected set $[0,\infty)$ you can conclude that $g$ is contant. Note then that $g(0)=0$ to finish.

-

+1. A nice way to look at it but unnecessarily complicated. – user17762 Dec 9 '11 at 0:33

Let $\arctan{\sqrt{x}} = \theta$. Then we have $x = \tan^2 (\theta)$. Hence, $$\frac{x-1}{x+1} = \frac{\tan^2 (\theta)-1}{\tan^2 (\theta)+1} = \sin^2(\theta) - \cos^2(\theta) = - \cos(2 \theta)= \sin \left(2 \theta - \frac{\pi}{2} \right)$$ Hence, $$2 \arctan{\sqrt{x}} = 2 \theta = \arcsin \left(\frac{x-1}{x+1} \right) + \frac{\pi}{2}$$

-

Very nice.. One short comment: $\frac{\tan^2 (\theta)-1}{\tan^2 (\theta)+1} = - \cos(2 \theta)$ is just the standard $t =\tan(\frac{x}{2})$ substitution :) – N. S. Dec 9 '11 at 0:41

One way would be to notice that both functions have the same derivative and then find out what the "constant" is by plugging in $x=0$.

Here's another way. Look at $$\frac\pi2 - 2\arctan\sqrt{x} = 2\left( \frac\pi4 - \arctan\sqrt{x} \right) = 2\left( \arctan1-\arctan\sqrt{x} \right).$$ Now remember the identity for the difference of two arctangents: $$\arctan u - \arctan v = \arctan\frac{u-v}{1+uv}.$$ (This follows from the usual identity for the tangent of a sum.) The left side above becomes $$2\arctan\frac{1-\sqrt{x}}{1+\sqrt{x}}.$$ The double-angle formula for the sine says $\sin(2u)=2\sin u\cos u$. Apply that: $$\sin\left(2\arctan\frac{1-\sqrt{x}}{1+\sqrt{x}}\right) = 2 \sin\left(\arctan\frac{1-\sqrt{x}}{1+\sqrt{x}}\right)\cos\left(\arctan\frac{1-\sqrt{x}}{1+\sqrt{x}}\right)$$

Now remember that $\sin(\arctan u) = \dfrac{u}{\sqrt{1+u^2}}$ and $\cos(\arctan u) = \dfrac{1}{\sqrt{1+u^2}}$

Then use algebra: $$2\cdot\frac{\left(\frac{1-\sqrt{x}}{1+\sqrt{x}}\right)}{\sqrt{1+\left(\frac{1-\sqrt{x}}{1+\sqrt{x}}\right)^2}}\cdot \frac{1}{\sqrt{1+\left(\frac{1-\sqrt{x}}{1+\sqrt{x}}\right)^2}} = \frac{1-x}{1+x}.$$

-

OK, I hope I've now got everything except any remaining minor typos into shape in this posting. – Michael Hardy Dec 9 '11 at 0:20
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 14, "mathjax_display_tex": 8, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9417777061462402, "perplexity_flag": "head"}