Sine of x minus Cosine of x/Cosine Form

Theorem

 * $\sin x - \cos x = \sqrt 2 \cos \left({x - \dfrac {3 \pi} 4}\right)$

where $\sin$ denotes sine and $\cos$ denotes cosine.