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