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$$

Proof
$$ $$ $$ $$