Multiple of Sine plus Multiple of Cosine/Sine Form

Theorem

 * $p \sin x + q \cos x = \sqrt {p^2 + q^2} \sin \left({x + \arctan \dfrac q p}\right)$

Proof
Let it be assumed that $p \sin x + q \cos x$ can be expressed in the form $M \sin \left({x + \phi}\right)$.

Then:

Then:

Hence the result.