$$$9^{x} \sin{\left(9^{x} \right)}$$$の積分
入力内容
$$$\int 9^{x} \sin{\left(9^{x} \right)}\, dx$$$ を求めよ。
解答
$$$u=9^{x}$$$ とする。
すると $$$du=\left(9^{x}\right)^{\prime }dx = 9^{x} \ln{\left(9 \right)} dx$$$(手順は»で確認できます)、$$$9^{x} dx = \frac{du}{\ln{\left(9 \right)}}$$$ となります。
したがって、
$${\color{red}{\int{9^{x} \sin{\left(9^{x} \right)} d x}}} = {\color{red}{\int{\frac{\sin{\left(u \right)}}{2 \ln{\left(3 \right)}} d u}}}$$
定数倍の法則 $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ を、$$$c=\frac{1}{2 \ln{\left(3 \right)}}$$$ と $$$f{\left(u \right)} = \sin{\left(u \right)}$$$ に対して適用する:
$${\color{red}{\int{\frac{\sin{\left(u \right)}}{2 \ln{\left(3 \right)}} d u}}} = {\color{red}{\left(\frac{\int{\sin{\left(u \right)} d u}}{2 \ln{\left(3 \right)}}\right)}}$$
正弦関数の不定積分は$$$\int{\sin{\left(u \right)} d u} = - \cos{\left(u \right)}$$$です:
$$\frac{{\color{red}{\int{\sin{\left(u \right)} d u}}}}{2 \ln{\left(3 \right)}} = \frac{{\color{red}{\left(- \cos{\left(u \right)}\right)}}}{2 \ln{\left(3 \right)}}$$
次のことを思い出してください $$$u=9^{x}$$$:
$$- \frac{\cos{\left({\color{red}{u}} \right)}}{2 \ln{\left(3 \right)}} = - \frac{\cos{\left({\color{red}{9^{x}}} \right)}}{2 \ln{\left(3 \right)}}$$
したがって、
$$\int{9^{x} \sin{\left(9^{x} \right)} d x} = - \frac{\cos{\left(9^{x} \right)}}{2 \ln{\left(3 \right)}}$$
積分定数を加える:
$$\int{9^{x} \sin{\left(9^{x} \right)} d x} = - \frac{\cos{\left(9^{x} \right)}}{2 \ln{\left(3 \right)}}+C$$
解答
$$$\int 9^{x} \sin{\left(9^{x} \right)}\, dx = - \frac{\cos{\left(9^{x} \right)}}{2 \ln\left(3\right)} + C$$$A