Primitive of Sine of a x by Cosine of a x

Theorem

 * $\ds \int \sin a x \cos a x \rd x = \frac {\sin^2 a x} {2 a} + C$