실수인 네 상수 $a$, $b$, $A$, $B$가 주어져 있고, \[ f(\theta) = 1 – a\cos\theta – b\sin\theta – A\cos2\theta – B\sin2\theta \]이다. 모든 실수 $\theta$에 대해 $f(\theta) \geq 0$ 이라 할 때, 다음을 증명하여라.
(a) $A^2+B^2 \le 1$
(b) $a^2+b^2 \le 1$.