Solution:
We first show that the assertion follows from the following lemma.
LEMMA. The polynomial P(z)=z2n+az2n−1+az2n−2+⋯+az+1 has at least 2n−2 complex zeros lying on the unit circle and different from ±1.
Since the coefficients of P(z) are real numbers, its non-real zeros are complex conjugate. It follows from the lemma that there are at least n−1 pairs of such zeros and we denote them by α1,α1,…,αn−1,αn−1.
We may assume that
x2+b1x+c1=⋯x2+bn−1x+cn−1=(x−α1)(x−α1)⋯(x−αn−1)(x−αn−1)
Since ∣α1∣2=⋯=∣αn−1∣2=1 we get c1=⋯=cn−1=1 and therefore cn=1.
Proof of the Lemma. Since the non-real zeros of P(z) are complex conjugate it is enough to prove that this polynomial has at least n−1 zeros on the upper unit semicircle.
To do this set z=ei2θ. Then
z2n−1+⋯+zz2n+1=z(z2n−1−1)(z2n+1)(z−1)=(ei(2n−1)θ−e−i(2n−1)θ)(ei2nθ+e−i2nθ)(eiθ−e−iθ)=2sin(2n−1)θcos2nθsinθ=sin(2n−1)θsin(2n+1)θ−1
Therefore we have to prove that the equation
f(θ)=sin(2n+1)θ+(a−1)sin(2n−1)θ=0
has at least n−1 roots in the interval (0,2π). This is obvious for a=1 because f(θk)=0, where θk=2n+1kπ,1≤k≤n.
Observe now that (k−1)π<(2n−1)θk<kπ and this implies that (−1)k−1sin(2n−1)θk>0. Hence f(θk)f(θk+1)<0 for a=1 and the Intermediate value theorem implies that the equation f(θ)=0 has at least one root in each of the intervals (θ1,θ2),…,(θn−1,θn). This completes the proof of the lemma.
Remark. It follows from the above that the polynomial P(z) has at most two real zeros x1 and x2 (possibly x1=x2 ) and x1x2=1. It can be proved that:
1) if a>2, then x1<−1 and x2∈(−1,0);
2) if a=2, then x1=x2=−1;
3) if a<−2n−12, then x1>1 and x2∈(0,1);
4) if a=−2n−12, then x1=x2=1;
5) if a∈(−2n−12,2), then the polynomial P(z) has no real zeros. In this case it has a zero z=ei2θ, where θ∈(0,θ1) for a∈(−2n−12,1) and θ∈(θn,2π) for a∈(1,2).