Applying this to our integral, we get:
\( \int_{0}^{\pi / 2} \cos 5 t \cos 10 t d t = \frac{1}{2} \int_{0}^{\pi / 2} [\cos(5t - 10t) + \cos(5t + 10t)] dt \)
Simplifying the terms inside the integral, we get:
\( = \frac{1}{2} \int_{0}^{\pi / 2} [\cos(-5t) +
Show more…