Primitive of Sine of p x by Sine of q x

Theorem
For $p \ne q$:


 * $\displaystyle \int \sin p x \sin q x \rd x = \frac {\map \sin {p - q} x} {2 \paren {p - q} } - \frac {\map \sin {p + q} x} {2 \paren {p + q} } + C$

Also see

 * Primitive of $\cos a x \cos p x$
 * Primitive of $\sin p x \cos q x$


 * For $p = q$, see Primitive of $\sin^2 a x$