Question Number 27691 by abdo imad last updated on 12/Jan/18
$${let}\:{give}\:\:{A}=\int\int_{\mathrm{0}\leqslant{y}\leqslant{x}\leqslant\mathrm{1}} \:\:\:\:\:\:\frac{{dxdxy}}{\left(\mathrm{1}+{x}^{\mathrm{2}} \right)\left(\mathrm{1}+{y}^{\mathrm{2}} \right)}\:\:{and} \\ $$$${B}=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} \:\frac{{ln}\left(\mathrm{2}{cos}^{\mathrm{2}} \theta\right)}{\mathrm{2}{cos}\left(\mathrm{2}\theta\right)}{d}\theta\:\:{calculate}\:{A}\:{and}\:{prove}\:{that}\:{B}={A}. \\ $$
Commented by abdo imad last updated on 19/Jan/18
$${A}=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\left(\int_{\mathrm{0}} ^{{x}} \:\:\:\frac{{dy}}{\mathrm{1}+{y}^{\mathrm{2}} }\right)\:\frac{{dx}}{\mathrm{1}+{x}^{\mathrm{2}} }\:=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{arctanx}}{\mathrm{1}+{x}^{\mathrm{2}} }{dx}\:\:{by}\:{parts} \\ $$$${A}=\:\left[{actanx}.{arctanx}\right]_{\mathrm{0}} ^{\mathrm{1}} \:−\:\int_{\mathrm{0}} ^{\mathrm{1}} \:{arctanx}\:\frac{{dx}}{\mathrm{1}+{x}^{\mathrm{2}} } \\ $$$$\mathrm{2}{A}=\frac{\pi^{\mathrm{2}} }{\mathrm{16}}\:\:\Rightarrow\:{A}=\:\:\frac{\pi^{\mathrm{2}} }{\mathrm{32}} \\ $$$${B}=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} \:\:\frac{{ln}\left(\mathrm{2}\frac{\mathrm{1}+{cos}\left(\mathrm{2}\theta\right)}{\mathrm{2}}\right)}{\mathrm{2}{cos}\left(\mathrm{2}\theta\right)}{d}\theta=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} \:\:\:\frac{{ln}\left(\mathrm{1}+{cos}\left(\mathrm{2}\theta\right)\right)}{\mathrm{2}{cos}\left(\mathrm{2}\theta\right)}{d}\theta \\ $$$$=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\:\:\:\frac{{ln}\left(\mathrm{1}+{cost}\right)}{\mathrm{2}{cost}}\:\frac{{dt}}{\mathrm{2}}\:=\:\frac{\mathrm{1}}{\mathrm{4}}\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\:\:\frac{{ln}\left(\mathrm{1}+{cost}\right)}{{cost}}{dt}\:{let}\:{introduce} \\ $$$${F}\left({x}\right)=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\:\:\frac{{ln}\left(\mathrm{1}+{xcost}\right)}{{cost}}{dt}\:\:{with}\:\:−\mathrm{1}<{x}<\mathrm{1} \\ $$$${F}^{'} \left({x}\right)=\:\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\:\:\:\:\:\frac{{dt}}{\mathrm{1}+{xcost}}\:\:{the}\:{ch}.\:{tan}\left(\frac{{t}}{\mathrm{2}}\right)={u}\:{give} \\ $$$${F}^{} \left({x}\right)=\:\:\int_{\mathrm{0}} ^{\mathrm{1}\:\:\:\:\:\:} \:\frac{\mathrm{1}}{\mathrm{1}+{x}\frac{\mathrm{1}−{u}^{\mathrm{2}} }{\mathrm{1}+{u}^{\mathrm{2}} }}\:\frac{\mathrm{2}{du}}{\mathrm{1}+{u}^{\mathrm{2}} }=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\:\frac{\mathrm{2}{du}}{\mathrm{1}+{u}^{\mathrm{2}} \:+{x}\:−{xu}^{\mathrm{2}} } \\ $$$$=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\:\:\:\:\frac{\mathrm{2}{du}}{\left(\mathrm{1}−{x}\right){u}^{\mathrm{2}} +\mathrm{1}+{x}}\:=\:\frac{\mathrm{2}}{\mathrm{1}−{x}}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{du}}{{u}^{\mathrm{2}} \:+\frac{\mathrm{1}+{x}}{\mathrm{1}−{x}}}\:{the}\:{ch}. \\ $$$${u}=\sqrt{\frac{\mathrm{1}+{x}}{\mathrm{1}−{x}}}{t}\:{give} \\ $$$${F}^{} \left({x}\right)=\:\:\frac{\mathrm{2}}{\mathrm{1}−{x}}\:\int_{\mathrm{0}} ^{\frac{\sqrt{\mathrm{1}−{x}}}{\:\sqrt{\mathrm{1}+{x}\:\:}}} \:\:\:\frac{\mathrm{1}}{\frac{\mathrm{1}+{x}}{\mathrm{1}−{x}}\left(\mathrm{1}+{u}^{\mathrm{2}} \right)}\:\frac{\sqrt{\mathrm{1}+{x}}}{\:\sqrt{\mathrm{1}−{x}}}{dt} \\ $$$$=\:\frac{\mathrm{2}}{\mathrm{1}−{x}}\:\frac{\mathrm{1}−{x}}{\mathrm{1}+{x}}\:\frac{\sqrt{\mathrm{1}+{x}}}{\:\sqrt{\mathrm{1}−{x}}}\:\int_{\mathrm{0}} ^{\frac{\sqrt{\mathrm{1}−{x}}}{\:\sqrt{\mathrm{1}+{x}}}} \:\:\:\:\frac{{dt}}{\mathrm{1}+{t}^{\mathrm{2}} } \\ $$$$=\:\frac{\mathrm{2}}{\:\sqrt{\mathrm{1}−{x}^{\mathrm{2}} }}\:{arctan}\left(\sqrt{\frac{\mathrm{1}−{x}}{\mathrm{1}+{x}}}\right)\:{but}\:{with}\:\:{x}={cos}\theta \\ $$$${arctan}\left(\sqrt{\frac{\mathrm{1}−{x}}{\mathrm{1}+{x}}}\right)={arctan}\left({tan}\left(\frac{\theta}{\mathrm{2}}\right)\right)=\:\frac{\theta}{\mathrm{2}} \\ $$$${F}^{} \left({x}\right)=\frac{\mathrm{2}}{\:\sqrt{\mathrm{1}−{x}^{\mathrm{2}} }}\:\frac{{arcosx}}{\mathrm{2}}=\:\frac{{arcosx}}{\:\sqrt{\mathrm{1}−{x}^{\mathrm{2}} }} \\ $$$${F}\left({x}\right)=\:\int_{\mathrm{0}} ^{{x}} \:\:\:\:\frac{{arcost}}{\:\sqrt{\mathrm{1}−{t}^{\mathrm{2}} }}{dt}\:+\lambda\:\:\:\:\left(\:\lambda={F}\left(\mathrm{0}\right)=\mathrm{0}\right) \\ $$$$\Rightarrow\:\:\:\:{F}\left({x}\right)=\:\:\int_{\mathrm{0}} ^{{x}} \:\:\frac{{arcost}}{\:\sqrt{\mathrm{1}−{t}^{\mathrm{2}} }}{dt} \\ $$$${B}=\:\frac{\mathrm{1}}{\mathrm{4}}\:{F}\left(\mathrm{1}\right)=\:\frac{\mathrm{1}}{\mathrm{4}}\:\int_{\mathrm{0}} ^{\mathrm{1}\:\:} \:\:\:\frac{{arcost}}{\:\sqrt{\mathrm{1}−{t}^{\mathrm{2}} }}{dt}\:{by}\:{parts} \\ $$$${let}\:{put}\:{I}=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{arcost}}{\:\sqrt{\mathrm{1}−{t}^{\mathrm{2}} }}\:{dt}\:\:\:\:{by}\:{parts} \\ $$$$\left.{I}=\:\:−{arcost}.{arcost}\right]_{\mathrm{0}} ^{\mathrm{1}} \:−\:\int_{\mathrm{0}} ^{\mathrm{1}} \left(−{arcost}\right)\:\frac{−{dt}}{\:\sqrt{\mathrm{1}−{t}^{\mathrm{2}} }} \\ $$$$\mathrm{2}{I}=\:\frac{\pi^{\mathrm{2}} }{\mathrm{4}}\:\:\Rightarrow\:{I}=\:\:\frac{\pi^{\mathrm{2}} }{\mathrm{8}}\:\:\:\Rightarrow\:{F}\left(\mathrm{1}\right)=\:\frac{\pi^{\mathrm{2}} }{\mathrm{8}}\:\:{and}\:{B}=\:\frac{\pi^{\mathrm{2}} }{\mathrm{32}}\:\:={A}. \\ $$$${for}\:\:{F}\left({x}\right)=\:\int_{\mathrm{0}} ^{{x}} \:\:\:\frac{{arcost}}{\:\sqrt{\mathrm{1}−{t}^{\mathrm{2}} }}{dt}\:\:\:{let}\:{integrate}\:{by}\:{parts} \\ $$$$\left.{F}\left({x}\right)=\:−{arcot}\:{arcost}\right]_{\mathrm{0}} ^{{x}} \:\:−\:\int_{\mathrm{0}} ^{{x}} \:\left(−{arcosx}\right)\:\frac{−{dt}}{\:\sqrt{\mathrm{1}−{x}^{\mathrm{2}} }} \\ $$$$=\:\frac{\pi^{\mathrm{2}} }{\mathrm{4}}\:−\left({arcosx}\right)^{\mathrm{2}} \:−{F}\left({x}\right) \\ $$$$\Rightarrow\:{F}\left({x}\right)=\:\frac{\pi^{\mathrm{2}} }{\mathrm{8}}\:−\frac{\mathrm{1}}{\mathrm{2}}\:\left({arcosx}\right)^{\mathrm{2}} \:\:{so} \\ $$$$\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \frac{{ln}\left(\mathrm{1}+{xcost}\right)}{{cost}}{dt}\:=\:\frac{\pi^{\mathrm{2}} }{\mathrm{8}}\:−\:\frac{\mathrm{1}}{\mathrm{2}}\:\left({arcosx}\right)^{\mathrm{2}} \:. \\ $$