Question Number 86550 by DuDono last updated on 29/Mar/20
$$\mathrm{show}\:\mathrm{that} \\ $$$$\mathrm{tan}\:^{−\mathrm{1}} {x}=\frac{\mathrm{ln}\:\left(−{x}^{\mathrm{2}} +\mathrm{2}{ix}+\mathrm{1}\right)−\mathrm{ln}\:\left({x}^{\mathrm{2}} +\mathrm{1}\right)}{\mathrm{2}{i}} \\ $$
Commented by john santu last updated on 29/Mar/20
$$\mathrm{y}\:=\:\mathrm{tan}\:\mathrm{x}\:=\:\frac{\mathrm{sin}\:\mathrm{x}}{\mathrm{cos}\:\mathrm{x}} \\ $$$$\mathrm{y}\:=\:\frac{\mathrm{e}^{\mathrm{ix}} −\mathrm{e}^{−\mathrm{ix}} }{\mathrm{2i}}\:×\:\frac{\mathrm{2i}}{\mathrm{e}^{\mathrm{ix}} +\mathrm{e}^{−\mathrm{ix}} } \\ $$$$\mathrm{y}\:=\:\frac{\mathrm{e}^{\mathrm{ix}} −\mathrm{e}^{−\mathrm{ix}} }{\mathrm{e}^{\mathrm{ix}} +\mathrm{e}^{−\mathrm{ix}} }\:\Rightarrow\:\mathrm{ye}^{\mathrm{ix}} +\mathrm{ye}^{−\mathrm{ix}} \:=\:\mathrm{e}^{\mathrm{ix}} −\mathrm{e}^{−\mathrm{ix}} \\ $$$$\left(\mathrm{y}+\mathrm{1}\right)\mathrm{e}^{−\mathrm{ix}} \:=\:\mathrm{e}^{\mathrm{ix}} \:\left(\mathrm{1}−\mathrm{y}\right)\:\left[\:\mathrm{e}^{\mathrm{ix}} \:=\:\mathrm{w}\:\right] \\ $$$$\frac{\mathrm{y}+\mathrm{1}}{\mathrm{w}}\:=\:\mathrm{w}\:\left(\mathrm{1}−\mathrm{y}\right)\:\Rightarrow\:\mathrm{w}^{\mathrm{2}} \left(\mathrm{1}−\mathrm{y}\right)−\left(\mathrm{1}+\mathrm{y}\right)\:=\mathrm{0} \\ $$$$\mathrm{w}\:=\:\pm\:\sqrt{\frac{\mathrm{y}+\mathrm{1}}{\mathrm{y}−\mathrm{1}}} \\ $$$$\mathrm{you}\:\mathrm{can}\:\mathrm{solve}\:\mathrm{it} \\ $$
Commented by Prithwish Sen 1 last updated on 29/Mar/20
$$\mathrm{RHS} \\ $$$$\frac{\mathrm{ln}\frac{\left(\mathrm{1}+\mathrm{ix}\right)^{\mathrm{2}} }{\left\{\mathrm{1}−\left(\mathrm{ix}\right)^{\mathrm{2}} \right\}}}{\mathrm{2i}}\:=\:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{ix}\right)−\mathrm{ln}\left(\mathrm{1}−\mathrm{ix}\right)}{\mathrm{2i}} \\ $$$$=\frac{\left\{\mathrm{ln}\sqrt{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\:+\:\mathrm{i}\left(\mathrm{2n}\pi+\mathrm{tan}^{−\mathrm{1}} \mathrm{x}\right)\right\}−\left\{\mathrm{ln}\sqrt{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\:+\mathrm{i}\left(\mathrm{2n}\pi−\mathrm{tan}^{−\mathrm{1}} \mathrm{x}\right)\right\}}{\mathrm{2i}} \\ $$$$=\:\boldsymbol{\mathrm{tan}}^{−\mathrm{1}} \boldsymbol{\mathrm{x}}\:\:\boldsymbol{\mathrm{please}}\:\boldsymbol{\mathrm{check}}. \\ $$
Commented by mathmax by abdo last updated on 30/Mar/20
$${we}\:{have}\:{proved}\:{that}\:{arctanx}\:=\frac{\mathrm{1}}{\mathrm{2}{i}}{ln}\left(\frac{\mathrm{1}+{ix}}{\mathrm{1}−{ix}}\right)\:\:{for}\:{x}\in\:{C} \\ $$$${let}\:{take}\:{x}\:{real}\:\Rightarrow{arctan}\left({x}\right)=\frac{\mathrm{1}}{\mathrm{2}{i}}{ln}\left(\:\:\frac{\left(\mathrm{1}+{ix}\right)^{\mathrm{2}} }{\mathrm{1}+{x}^{\mathrm{2}} }\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}{i}}\left\{{ln}\left(\mathrm{1}+\mathrm{2}{ix}−{x}^{\mathrm{2}} \right)−{ln}\left(\mathrm{1}+{x}^{\mathrm{2}} \right)\right\} \\ $$$$=\frac{{ln}\left(−{x}^{\mathrm{2}} +\mathrm{2}{ix}+\mathrm{1}\right)−{ln}\left(\mathrm{1}+{x}^{\mathrm{2}} \right)}{\mathrm{2}{i}}\:{so}\:{the}\:{result}\:{is}\:{proved}. \\ $$
Answered by Ar Brandon last updated on 30/Mar/20