$$$x \tan{\left(x \right)}$$$の積分
入力内容
$$$\int x \tan{\left(x \right)}\, dx$$$ を求めよ。
解答
積分 $$$\int{x \tan{\left(x \right)} d x}$$$ には、部分積分法$$$\int \operatorname{u} \operatorname{dv} = \operatorname{u}\operatorname{v} - \int \operatorname{v} \operatorname{du}$$$を用いてください。
$$$\operatorname{u}=x$$$ と $$$\operatorname{dv}=\tan{\left(x \right)} dx$$$ とする。
したがって、$$$\operatorname{du}=\left(x\right)^{\prime }dx=1 dx$$$(手順は»を参照)および$$$\operatorname{v}=\int{\tan{\left(x \right)} d x}=- \ln{\left(\cos{\left(x \right)} \right)}$$$(手順は»を参照)。
したがって、
$${\color{red}{\int{x \tan{\left(x \right)} d x}}}={\color{red}{\left(x \cdot \left(- \ln{\left(\cos{\left(x \right)} \right)}\right)-\int{\left(- \ln{\left(\cos{\left(x \right)} \right)}\right) \cdot 1 d x}\right)}}={\color{red}{\left(- x \ln{\left(\cos{\left(x \right)} \right)} - \int{\left(- \ln{\left(\cos{\left(x \right)} \right)}\right)d x}\right)}}$$
定数倍の法則 $$$\int c f{\left(x \right)}\, dx = c \int f{\left(x \right)}\, dx$$$ を、$$$c=-1$$$ と $$$f{\left(x \right)} = \ln{\left(\cos{\left(x \right)} \right)}$$$ に対して適用する:
$$- x \ln{\left(\cos{\left(x \right)} \right)} - {\color{red}{\int{\left(- \ln{\left(\cos{\left(x \right)} \right)}\right)d x}}} = - x \ln{\left(\cos{\left(x \right)} \right)} - {\color{red}{\left(- \int{\ln{\left(\cos{\left(x \right)} \right)} d x}\right)}}$$
この積分には閉形式はありません:
$$- x \ln{\left(\cos{\left(x \right)} \right)} + {\color{red}{\int{\ln{\left(\cos{\left(x \right)} \right)} d x}}} = - x \ln{\left(\cos{\left(x \right)} \right)} + {\color{red}{\left(\frac{i x^{2}}{2} - x \ln{\left(e^{2 i x} + 1 \right)} + x \ln{\left(\cos{\left(x \right)} \right)} + \frac{i \operatorname{Li}_{2}\left(- e^{2 i x}\right)}{2}\right)}}$$
したがって、
$$\int{x \tan{\left(x \right)} d x} = \frac{i x^{2}}{2} - x \ln{\left(e^{2 i x} + 1 \right)} + \frac{i \operatorname{Li}_{2}\left(- e^{2 i x}\right)}{2}$$
積分定数を加える:
$$\int{x \tan{\left(x \right)} d x} = \frac{i x^{2}}{2} - x \ln{\left(e^{2 i x} + 1 \right)} + \frac{i \operatorname{Li}_{2}\left(- e^{2 i x}\right)}{2}+C$$
解答
$$$\int x \tan{\left(x \right)}\, dx = \left(\frac{i x^{2}}{2} - x \ln\left(e^{2 i x} + 1\right) + \frac{i \operatorname{Li}_{2}\left(- e^{2 i x}\right)}{2}\right) + C$$$A