This is a contest math question that I don't remember the reference.
When does $f(x;\alpha)=\cos(\alpha x)-\sin^2x-1$ has unique zero?
Obviously, $f(0;\alpha)=0$ for all $\alpha\in{\mathbb R}$. I've no idea what theorem can be used here. Any idea?