Given the equation $\displaystyle C\sin (x + \alpha) = A\sin x + B\cos x$, I need to prove that $\displaystyle C$ and $\displaystyle \alpha$ exist given any real A and B, C >= 0. On a previous problem I proved the converse, that A and B exist, but I'm not sure where to start on this one.