Question Number 129684 by mnjuly1970 last updated on 17/Jan/21
$$\:\:\:\:\:\:\:\:\:\:\:\:\:…\:{advanced}\:\:{calculus}… \\ $$$$\:\:{prove}\:\:{that}: \\ $$$$\:\:\int_{\mathrm{0}} ^{\:\pi} {cos}\left({tan}\left({x}\right)−{cot}\left({x}\right)\right){dx}=\frac{\pi}{{e}^{\mathrm{2}} } \\ $$$$ \\ $$
Answered by mindispower last updated on 17/Jan/21
$$=\mathrm{2}\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} {cos}\left({tg}\left({x}\right)−{cot}\left({x}\right)\right){dx} \\ $$$$=\mathrm{2}\int_{\mathrm{0}} ^{\infty} \frac{{cos}\left({t}−\frac{\mathrm{1}}{{t}}\right)}{\mathrm{1}+{t}^{\mathrm{2}} }{dt} \\ $$$$={Re}\int_{−\infty} ^{\infty} \frac{{e}^{{i}\left({t}−\frac{\mathrm{1}}{{t}}\right)} }{\mathrm{1}+{t}^{\mathrm{2}} } \\ $$$${t}={re}^{{i}\epsilon} ,\epsilon\in\left[\mathrm{0},\pi\left[\right.\right. \\ $$$${e}^{{i}\left({re}^{{i}\epsilon} −\frac{{e}^{−{i}\epsilon} }{{r}}\right)} ={e}^{{i}\left({t}−\frac{\mathrm{1}}{{t}}\right)} , \\ $$$${e}^{{i}} \left({re}^{{i}\epsilon} −\frac{{e}^{−{i}\epsilon} }{{r}}\right)\rightarrow\mathrm{0},{r}\rightarrow\infty \\ $$$${wehn}\:{r}\rightarrow\mathrm{0} \\ $$$${r}\rightarrow\mathrm{0}^{+} \\ $$$${e}^{{i}\left({re}^{{i}\epsilon} +{i}\frac{{sin}\left(\epsilon\right)−{cos}\left(\epsilon\right)}{{r}}\right)} \rightarrow\mathrm{0} \\ $$$$\Rightarrow\int_{−\infty} ^{+\infty} \frac{{e}^{{i}\left({t}−\frac{\mathrm{1}}{{t}}\right)} }{\mathrm{1}+{t}^{\mathrm{2}} }{dt}=\mathrm{2}{i}\pi.\left({Res}\left(\frac{{e}^{{i}\left({t}−\frac{\mathrm{1}}{{t}}\right)} }{\mathrm{1}+{t}^{\mathrm{2}} },{t}={i}\right)\right. \\ $$$$=\mathrm{2}{i}\pi{Re}\left(\frac{{e}^{{i}\left({i}−\frac{\mathrm{1}}{{i}}\right)} }{\mathrm{2}{i}}\right)=\mathrm{2}{i}\pi.\left(\frac{{e}^{−\mathrm{2}} }{\mathrm{2}{i}}\right)=\frac{\pi}{{e}^{\mathrm{2}} } \\ $$$$\mathrm{2}\int_{\mathrm{0}} ^{\infty} \frac{{cos}\left({t}−\frac{\mathrm{1}}{{t}}\right)}{\mathrm{1}+{t}^{\mathrm{2}} }{dt}={Re}\left(\frac{\pi}{{e}^{\mathrm{2}} }\right)=\frac{\pi}{{e}^{\mathrm{2}} } \\ $$$$ \\ $$$$ \\ $$
Answered by mathmax by abdo last updated on 17/Jan/21
$$\mathrm{I}=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\mathrm{cos}\left(\mathrm{tanx}−\frac{\mathrm{1}}{\mathrm{tanx}}\right)\mathrm{dx}\:+\int_{\frac{\pi}{\mathrm{2}}} ^{\pi} \:\mathrm{cos}\left(\mathrm{tanx}\:−\frac{\mathrm{1}}{\mathrm{tanx}}\right)\mathrm{dx}\left(\rightarrow\mathrm{x}=\frac{\pi}{\mathrm{2}}+\mathrm{t}\right) \\ $$$$=\mathrm{2}\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{cos}\left(\mathrm{tanx}−\frac{\mathrm{1}}{\mathrm{tanx}}\right)\mathrm{dx}\:=_{\mathrm{tanx}=\mathrm{t}} \:\:\mathrm{2}\int_{\mathrm{0}} ^{\infty} \:\mathrm{cos}\left(\mathrm{t}−\frac{\mathrm{1}}{\mathrm{t}}\right)\frac{\mathrm{dt}}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$=\int_{−\infty} ^{+\infty} \:\frac{\mathrm{cos}\left(\mathrm{t}−\frac{\mathrm{1}}{\mathrm{t}}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt}\:=\mathrm{Re}\left(\int_{−\infty} ^{+\infty} \:\frac{\mathrm{e}^{\mathrm{i}\left(\mathrm{t}−\frac{\mathrm{1}}{\mathrm{t}}\right)} }{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt}\right)\:\mathrm{let} \\ $$$$\varphi\left(\mathrm{z}\right)=\frac{\mathrm{e}^{\mathrm{i}\left(\mathrm{z}−\frac{\mathrm{1}}{\mathrm{z}}\right)} }{\mathrm{z}^{\mathrm{2}} \:+\mathrm{1}}\:\Rightarrow\varphi\left(\mathrm{z}\right)=\frac{\mathrm{e}^{\mathrm{i}\left(\mathrm{z}−\frac{\mathrm{1}}{\mathrm{z}}\right)} }{\left(\mathrm{z}−\mathrm{i}\right)\left(\mathrm{z}+\mathrm{i}\right)}\:\mathrm{residus}\left[\mathrm{theorem}\:\mathrm{give}\right. \\ $$$$\int_{−\infty} ^{+\infty} \:\varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\:\mathrm{Res}\left(\varphi,\mathrm{i}\right)\:=\mathrm{2i}\pi×\frac{\mathrm{e}^{\mathrm{i}\left(\mathrm{i}−\frac{\mathrm{1}}{\mathrm{i}}\right)} }{\mathrm{2i}}\:=\pi\:\mathrm{e}^{−\mathrm{1}−\mathrm{1}} \:=\frac{\pi}{\mathrm{e}^{\mathrm{2}} }\:\Rightarrow \\ $$$$\bigstar\:\mathrm{I}\:=\frac{\pi}{\mathrm{e}^{\mathrm{2}} }\bigstar \\ $$
Answered by mnjuly1970 last updated on 20/Jan/21