Squares of Linear Combination of Sine and Cosine

Theorem

 * $\paren {a \cos x + b \sin x}^2 + \paren {b \cos x - a \sin x}^2 = a^2 + b^2$