|
青青子衿
发表于 2018-8-1 22:39
本帖最后由 青青子衿 于 2018-8-1 23:29 编辑 $\displaystyle \int_0^a \frac{\arctan x}{1+ax} dx=\int_0^{\arctan a} \frac{u\sec^2 u\,du}{1+a\tan u}=\frac{1}{\sqrt{1+a^2}}\int_0^{u_0} \frac{u\sec u\,du}{\cos u_0 \cos u+\sin u_0 \sin u}$ ...
tommywong 发表于 2016-5-28 20:47
$\displaystyle \begin{align*}
\int_0^a \frac{\arctan x}{1+ax}{\rm d}x
\quad&\overset{x\,=\,\tan u}{\overline{\overline{\hspace{2cm}}}}\quad
\int_0^{\arctan a} \frac{u\sec^2 u\,{\rm d}u}{1+a\tan u}\\
&\overset{a\,=\,\tan u_0}{\overline{\overline{\hspace{2cm}}}}\quad\int_0^{u_0} \frac{u\sec^2 u\,{\rm d}u}{1+\dfrac{\sin u_0}{\cos u_0} \dfrac{\sin u}{\cos u}}=\int_0^{u_0} \frac{u\cos u_0\sec u\,{\rm d}u}{\cos u_0 \cos u+\sin u_0 \sin u}\\
&=\cos u_0\int_0^{u_0} \frac{u\sec u\,{\rm d}u}{\cos u_0 \cos u+\sin u_0 \sin u}= \cos u_0 \int_0^{u_0} \frac{u\sec u\,du}{\cos(u_0-u)}\\
&=\cos u_0 \int_0^{u_0} \frac{u\,{\rm d}u}{\cos(u_0-u)\cos u}
\end{align*}$
$\displaystyle \begin{align*}
\int_0^{u_0} \frac{u\,{\rm d}u}{\cos(u_0-u)\cos u}\quad&\overset{u\,=\,u_0-v}{\overline{\overline{\hspace{2cm}}}}\quad\int_{u_0}^0 \frac{(u_0-v)(-{\rm d}v)}{\cos(u_0-v)\cos v}\\
&=\int_0^{u_0} \frac{(u_0-v){\rm d}v}{\cos(u_0-v)\cos v}=\frac{u_0}{2}\int_0^{u_0} \frac{{\rm d}u}{\cos(u_0-u)\cos u}
\end{align*}$
$\displaystyle \begin{align*}
\frac{1}{\cos(u_0-u)\cos u}&=\frac{\sin(u_0-u+u)}{\sin u_0\cos(u_0-u)\cos u}=\frac{\sin(u_0-u)\cos u+\cos(u_0-u)\sin u}{\sin u_0\cos(u_0-u)\cos u}\\
&\\
&=\frac{\tan(u_0-u)+\tan u}{\sin u_0}
\end{align*}$
$\displaystyle \int_0^{u_0} \frac{{\rm d}u}{\cos(u_0-u)\cos u}=\int_0^{u_0} \frac{\tan(u_0-u)+\tan u}{\sin u_0}{\rm d}u=\frac{-2\ln\cos u_0}{\sin u_0}$
$\displaystyle \begin{align*}
\int_0^a \frac{\arctan x}{1+ax} dx&=\cos u_0\cdot\frac{u_0}{2}\cdot\int_0^{u_0} \frac{{\rm d}u}{\cos(u_0-u)\cos u}=\cos u_0 \cdot\frac{u_0}{2}\cdot\frac{-2\ln\cos u_0}{\sin u_0}\\
&=\frac{1}{\tan u_0 }\cdot\frac{u_0}{2}\cdot\ln\left(\dfrac{1}{\cos^2 u_0}\right)=\frac{1}{\tan u_0 }\cdot\frac{u_0}{2}\cdot\ln\left(1+\tan^2u_0\right)\\
&=\frac{1}{a}\cdot\frac{\arctan a}{2}\cdot\ln(1+a^2)
\end{align*}
$ |
|