Reduction Formula for Integral of Power of Cosine/Corollary

Corollary to Reduction Formula for Integral of Power of Cosine
Let $n \in \Z_{> 0}$ be a (strictly) positive integer.

Let $a \in \R_{\ne 0}$ be a non-zero real number

Then:
 * $\ds \int \cos^n a x \rd x = \dfrac {\cos^{n - 1} a x \sin a x} {a n} + \dfrac {n - 1} n \int \cos^{n - 2} a x \rd x$

is a reduction formula for $\ds \int \cos^n a x \rd x$.

Also see

 * Primitive of $\sin^n a x$
 * Primitive of $\tan^n a x$
 * Primitive of $\cot^n a x$
 * Primitive of $\sec^n a x$
 * Primitive of $\csc^n a x$