Primitive of Power of Cosine of a x by Sine of a x

Theorem

 * $\ds \int \cos^n a x \sin a x \rd x = \frac {-\cos^{n + 1} a x} {\paren {n + 1} a} + C$

Also see

 * Primitive of $\sin^n a x \cos a x$