Squares of Linear Combination of Sine and Cosine

Theorem

 * $\left({a \cos x + b \sin x}\right)^2 + \left({b \cos x - a \sin x}\right)^2 = a^2 + b^2$