Question Number 35222 by abdo mathsup 649 cc last updated on 16/May/18
$${let}\:\mid{x}\mid<\mathrm{1}\:{prove}\:{that}\: \\ $$$${arctanx}\:=\frac{{i}}{\mathrm{2}}{ln}\left(\frac{{i}+{x}}{{i}−{x}}\right) \\ $$
Commented by abdo mathsup 649 cc last updated on 17/May/18
$${we}\:{have}\:{i}+{x}=\sqrt{\mathrm{1}+{x}^{\mathrm{2}} \:}\:\left\{\frac{{x}}{\:\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }}\:+\frac{{i}}{\:\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }}\right\}\:={r}\:{e}^{{i}\theta} \\ $$$$\Rightarrow{r}=\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }\:\:{and}\:{cos}\theta=\:\frac{{x}}{\:\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }}\:,\:{sin}\theta\:\:=\frac{\mathrm{1}}{\:\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }} \\ $$$$\Rightarrow\:{tan}\theta=\frac{\mathrm{1}}{{x}}\:\Rightarrow\theta\:={arctan}\left(\frac{\mathrm{1}}{{x}}\right)\:\Rightarrow \\ $$$${i}+{x}\:=\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }\:\:{e}^{{i}\:{arxtan}\left(\frac{\mathrm{1}}{{x}}\right)} \\ $$$${i}−{x}\:=\:−\left({x}−{i}\right)=−\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }\:{e}^{−{i}\:{arctan}\left(\frac{\mathrm{1}}{{x}}\right)} \:\Rightarrow \\ $$$$\frac{{i}+{x}}{{i}−{x}}\:=\:−{e}^{{i}\left({arctan}\left(\frac{\mathrm{1}}{{x}}\right)+{i}\:{arctan}\left(\frac{\mathrm{1}}{{x}}\right)\right.} \\ $$$$=−\:{e}^{\mathrm{2}{i}\left\{\frac{\pi}{\mathrm{2}}\:−{arctanx}\right\}} =\:{e}^{−\mathrm{2}{i}\:{arctanx}} \:\:\Rightarrow \\ $$$${ln}\left(\frac{{i}+{x}}{{i}−{x}}\right)=\:−\mathrm{2}{i}\:{arctan}\left({x}\right)\:\Rightarrow \\ $$$${arctanx}=\:\frac{−\mathrm{1}}{\mathrm{2}{i}}{ln}\left(\frac{{i}+{x}}{{i}−{x}}\right)\:\Rightarrow \\ $$$$\bigstar\:{arctan}\left({x}\right)=\:\frac{{i}}{\mathrm{2}}{ln}\left(\frac{{i}+{x}}{{i}−{x}}\right)\:.\bigstar \\ $$
Answered by sma3l2996 last updated on 17/May/18
$${tany}={i}\frac{{e}^{{iy}} −{e}^{−{iy}} }{{e}^{{iy}} +{e}^{−{iy}} } \\ $$$${arctanx}={y}\Rightarrow{tan}\left({y}\right)={i}\frac{{e}^{{iy}} −{e}^{−{iy}} }{{e}^{{iy}} +{e}^{−{iy}} }={x} \\ $$$${i}\frac{{e}^{{iy}} −{e}^{−{iy}} }{{e}^{{iy}} +{e}^{−{iy}} }={x}\Leftrightarrow{i}\left({e}^{\mathrm{2}{iy}} −\mathrm{1}\right)={x}\left({e}^{\mathrm{2}{iy}} +\mathrm{1}\right) \\ $$$${e}^{\mathrm{2}{iy}} \left({i}−{x}\right)={x}+{i}\Leftrightarrow{e}^{\mathrm{2}{iy}} =\frac{{i}+{x}}{{i}−{x}} \\ $$$$\mathrm{2}{iy}={ln}\left(\frac{{i}+{x}}{{i}−{x}}\right)\Leftrightarrow{y}=\frac{\mathrm{1}}{\mathrm{2}{i}}{ln}\left(\frac{{i}+{x}}{{i}−{x}}\right) \\ $$$${y}={arctanx}=\frac{{i}}{\mathrm{2}}{ln}\left(\frac{{i}−{x}}{{i}+{x}}\right) \\ $$$$ \\ $$