Integral of $$$\sin{\left(t \right)} \cos{\left(t \right)}$$$

Find $$$\int \sin{\left(t \right)} \cos{\left(t \right)}\, dt$$$.

Let $$$u=\sin{\left(t \right)}$$$.

Then $$$du=\left(\sin{\left(t \right)}\right)^{\prime }dt = \cos{\left(t \right)} dt$$$ (steps can be seen »), and we have that $$$\cos{\left(t \right)} dt = du$$$.

Therefore,

$${\color{red}{\int{\sin{\left(t \right)} \cos{\left(t \right)} d t}}} = {\color{red}{\int{u d u}}}$$

Apply the power rule $$$\int u^{n}\, du = \frac{u^{n + 1}}{n + 1}$$$ $$$\left(n \neq -1 \right)$$$ with $$$n=1$$$:

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

Recall that $$$u=\sin{\left(t \right)}$$$:

$$\frac{{\color{red}{u}}^{2}}{2} = \frac{{\color{red}{\sin{\left(t \right)}}}^{2}}{2}$$

Therefore,

$$\int{\sin{\left(t \right)} \cos{\left(t \right)} d t} = \frac{\sin^{2}{\left(t \right)}}{2}$$

Add the constant of integration:

$$\int{\sin{\left(t \right)} \cos{\left(t \right)} d t} = \frac{\sin^{2}{\left(t \right)}}{2}+C$$

$$$\int \sin{\left(t \right)} \cos{\left(t \right)}\, dt = \frac{\sin^{2}{\left(t \right)}}{2} + C$$$A