# Complex numbers equation problem

I've been having some trouble with this complex question (not my best topic), and I was wondering if I could get any hints or explainations on how to do it.

Prove that all the roots of the equation $$z^n\cos(n\alpha)+z^{n-1}\cos((n-1)\alpha)+z^{n-2}\cos((n-2)\alpha)+\cdots+z\cos(\alpha)=1,$$ where $\alpha$ is real, lie outside the circle $|z|=\dfrac 12$.

Any help would be greatly appreciated

Suppose that there exists a root $z_0$ of the equation such that $|z_0| \le \frac{1}{2}$. Now we have that $$1 = |z_0^n\cos(n\alpha) + z_0^{n-1}\cos((n-1)\alpha) + \dots + z_0\cos(\alpha)|\le$$ $$|z_0^n\cos(n\alpha)| + |z_0^{n-1}\cos((n-1)\alpha)| + \dots + |z_0\cos(\alpha)|\le|z_0^n| + |z_0^{n-1}| + \dots + |z_0|\le$$ $$\frac{1}{2^n} + \frac{1}{2^{n-1}} + \dots + \frac{1}{2} = 1 - \frac{1}{2^n}< 1$$ Contradiction.
• So pretty much you show that it is impossible for any root to have modulus $\le \frac 12$ ? Also can you explain how you got from the modulus to the fractions please? – user102120 Nov 11 '13 at 8:13
• I proved that it doesn't exist root $z_0$ for which $|z_0| \le \frac{1}{2}$. This is logically equivalent to: for every root $z$, $|z| \gt \frac{1}{2}$ – sve Nov 11 '13 at 8:17
• For example $|z_0^ncos(n\alpha)|$ (we use the fact that |ab|=|a||b|) =$|z_0^n||cos(n\alpha)|$ (we use the fact $|cos(n\alpha)|\le 1$) $\le$ $|z_0^n|$ = $|z_0|^n$ (we use the supposition) $\le \frac{1}{2^n}$ – sve Nov 11 '13 at 8:28