2015/029) Show that $(a\ cos\theta + b\sin\theta)^2 <= a^2 + b^2$

This follows directly from

 $(a\ cos\theta + b\sin\theta)^2 +(a\ sin\theta - b\cos\theta)^2= a^2+ b^2$