$$$\frac{2 \operatorname{atan}{\left(x \right)}}{x^{2}}$$$ 的積分

求$$$\int \frac{2 \operatorname{atan}{\left(x \right)}}{x^{2}}\, dx$$$。

套用常數倍法則 $$$\int c f{\left(x \right)}\, dx = c \int f{\left(x \right)}\, dx$$$，使用 $$$c=2$$$ 與 $$$f{\left(x \right)} = \frac{\operatorname{atan}{\left(x \right)}}{x^{2}}$$$：

$${\color{red}{\int{\frac{2 \operatorname{atan}{\left(x \right)}}{x^{2}} d x}}} = {\color{red}{\left(2 \int{\frac{\operatorname{atan}{\left(x \right)}}{x^{2}} d x}\right)}}$$

令 $$$u=\frac{1}{x}$$$。

則 $$$du=\left(\frac{1}{x}\right)^{\prime }dx = - \frac{1}{x^{2}} dx$$$ (步驟見»)，並可得 $$$\frac{dx}{x^{2}} = - du$$$。

因此，

$$2 {\color{red}{\int{\frac{\operatorname{atan}{\left(x \right)}}{x^{2}} d x}}} = 2 {\color{red}{\int{\left(- \operatorname{acot}{\left(u \right)}\right)d u}}}$$

套用常數倍法則 $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$，使用 $$$c=-1$$$ 與 $$$f{\left(u \right)} = \operatorname{acot}{\left(u \right)}$$$：

$$2 {\color{red}{\int{\left(- \operatorname{acot}{\left(u \right)}\right)d u}}} = 2 {\color{red}{\left(- \int{\operatorname{acot}{\left(u \right)} d u}\right)}}$$

對於積分 $$$\int{\operatorname{acot}{\left(u \right)} d u}$$$，使用分部積分法 $$$\int \operatorname{t} \operatorname{dv} = \operatorname{t}\operatorname{v} - \int \operatorname{v} \operatorname{dt}$$$。

令 $$$\operatorname{t}=\operatorname{acot}{\left(u \right)}$$$ 與 $$$\operatorname{dv}=du$$$。

則 $$$\operatorname{dt}=\left(\operatorname{acot}{\left(u \right)}\right)^{\prime }du=- \frac{1}{u^{2} + 1} du$$$（步驟見 »），且 $$$\operatorname{v}=\int{1 d u}=u$$$（步驟見 »）。

所以，

$$- 2 {\color{red}{\int{\operatorname{acot}{\left(u \right)} d u}}}=- 2 {\color{red}{\left(\operatorname{acot}{\left(u \right)} \cdot u-\int{u \cdot \left(- \frac{1}{u^{2} + 1}\right) d u}\right)}}=- 2 {\color{red}{\left(u \operatorname{acot}{\left(u \right)} - \int{\left(- \frac{u}{u^{2} + 1}\right)d u}\right)}}$$

令 $$$v=u^{2} + 1$$$。

則 $$$dv=\left(u^{2} + 1\right)^{\prime }du = 2 u du$$$ (步驟見»)，並可得 $$$u du = \frac{dv}{2}$$$。

所以，

$$- 2 u \operatorname{acot}{\left(u \right)} + 2 {\color{red}{\int{\left(- \frac{u}{u^{2} + 1}\right)d u}}} = - 2 u \operatorname{acot}{\left(u \right)} + 2 {\color{red}{\int{\left(- \frac{1}{2 v}\right)d v}}}$$

套用常數倍法則 $$$\int c f{\left(v \right)}\, dv = c \int f{\left(v \right)}\, dv$$$，使用 $$$c=- \frac{1}{2}$$$ 與 $$$f{\left(v \right)} = \frac{1}{v}$$$：

$$- 2 u \operatorname{acot}{\left(u \right)} + 2 {\color{red}{\int{\left(- \frac{1}{2 v}\right)d v}}} = - 2 u \operatorname{acot}{\left(u \right)} + 2 {\color{red}{\left(- \frac{\int{\frac{1}{v} d v}}{2}\right)}}$$

$$$\frac{1}{v}$$$ 的積分是 $$$\int{\frac{1}{v} d v} = \ln{\left(\left|{v}\right| \right)}$$$：

$$- 2 u \operatorname{acot}{\left(u \right)} - {\color{red}{\int{\frac{1}{v} d v}}} = - 2 u \operatorname{acot}{\left(u \right)} - {\color{red}{\ln{\left(\left|{v}\right| \right)}}}$$

回顧一下 $$$v=u^{2} + 1$$$：

$$- 2 u \operatorname{acot}{\left(u \right)} - \ln{\left(\left|{{\color{red}{v}}}\right| \right)} = - 2 u \operatorname{acot}{\left(u \right)} - \ln{\left(\left|{{\color{red}{\left(u^{2} + 1\right)}}}\right| \right)}$$

回顧一下 $$$u=\frac{1}{x}$$$：

$$- \ln{\left(1 + {\color{red}{u}}^{2} \right)} - 2 {\color{red}{u}} \operatorname{acot}{\left({\color{red}{u}} \right)} = - \ln{\left(1 + {\color{red}{\frac{1}{x}}}^{2} \right)} - 2 {\color{red}{\frac{1}{x}}} \operatorname{acot}{\left({\color{red}{\frac{1}{x}}} \right)}$$

因此，

$$\int{\frac{2 \operatorname{atan}{\left(x \right)}}{x^{2}} d x} = - \ln{\left(1 + \frac{1}{x^{2}} \right)} - \frac{2 \operatorname{acot}{\left(\frac{1}{x} \right)}}{x}$$

化簡：

$$\int{\frac{2 \operatorname{atan}{\left(x \right)}}{x^{2}} d x} = 2 \ln{\left(x \right)} - \ln{\left(x^{2} + 1 \right)} - \frac{2 \operatorname{atan}{\left(x \right)}}{x}$$

加上積分常數：

$$\int{\frac{2 \operatorname{atan}{\left(x \right)}}{x^{2}} d x} = 2 \ln{\left(x \right)} - \ln{\left(x^{2} + 1 \right)} - \frac{2 \operatorname{atan}{\left(x \right)}}{x}+C$$

$$$\int \frac{2 \operatorname{atan}{\left(x \right)}}{x^{2}}\, dx = \left(2 \ln\left(x\right) - \ln\left(x^{2} + 1\right) - \frac{2 \operatorname{atan}{\left(x \right)}}{x}\right) + C$$$A