$$$\frac{\cos{\left(x \right)}}{2}$$$の積分
入力内容
$$$\int \frac{\cos{\left(x \right)}}{2}\, dx$$$ を求めよ。
解答
定数倍の法則 $$$\int c f{\left(x \right)}\, dx = c \int f{\left(x \right)}\, dx$$$ を、$$$c=\frac{1}{2}$$$ と $$$f{\left(x \right)} = \cos{\left(x \right)}$$$ に対して適用する:
$${\color{red}{\int{\frac{\cos{\left(x \right)}}{2} d x}}} = {\color{red}{\left(\frac{\int{\cos{\left(x \right)} d x}}{2}\right)}}$$
余弦の積分は$$$\int{\cos{\left(x \right)} d x} = \sin{\left(x \right)}$$$:
$$\frac{{\color{red}{\int{\cos{\left(x \right)} d x}}}}{2} = \frac{{\color{red}{\sin{\left(x \right)}}}}{2}$$
したがって、
$$\int{\frac{\cos{\left(x \right)}}{2} d x} = \frac{\sin{\left(x \right)}}{2}$$
積分定数を加える:
$$\int{\frac{\cos{\left(x \right)}}{2} d x} = \frac{\sin{\left(x \right)}}{2}+C$$
解答
$$$\int \frac{\cos{\left(x \right)}}{2}\, dx = \frac{\sin{\left(x \right)}}{2} + C$$$A