4
$\begingroup$

Given:

$p(x)=z^{2012}-z^{1010}+2z^{1006}+20243z^8-2z^4+1$

I need to prove the polynomial has a root $|z_0|<1$.

What I have so far: Plugging $p(0)=1$ we get (from the fundamental theorem of algebra) that $|z_0|...|z_n|=1$, were $z_0,...,z_n$ are the roots of the polynomial. So this means the polynomial's roots are either all on the unit circle, or at least one of them is inside of it. (Maybe an 'assume for the sake of contradiction' is good here?)

Also, because $p(-1), p(1)$ aren't roots we know all the roots are complex.

I was thinking of using the intermediate value theorem somehow here, but it doesn't seem applicable (for one, I'd need to prove $p(A)$ is open for some choice of $A$, but we haven't learned any theorem that would make this very obvious).

Also, this polynomial's exponent coefficients are all even, which kind of feels like it should mean something, but I don't know.

This being homework, I'd appreciate hints moreso than answers, but I'll accept either. Thanks!

  • 0
    @BrettFrankel: A quick search here brought up a number of questions that use this theorem, but we've just begun studying this stuff so I don't think it's applicable... (e.g. I don't know what a holomorphic/analytic function is yet!)2012-11-04

1 Answers 1

2

Hint: Show that if a polynomial with real coefficients has all of its roots on the unit circle and no real roots, then it must be palindromic, i.e. if $p(z) = a_0 + a_1z + \cdots + a_nz^n$ then $a_i = a_{n-i}$ for all $i = 0,1,\ldots,n$.

  • 0
    Whew, finally have it. Thank you very much. I'll leave this question open for a bit since I'm curious if there are 'easier' answers.2012-11-04