First, we point out that c≥cot4022π. Consider the polynomial P(x)=x2012−x. Changing the sign of coefficients of P(x), we obtain four polynomials P(x), −P(x), Q(x)=x2012+x and −Q(x). Note that P(x) and −P(x) have the same roots; one of the roots is z1=cos20111006π+isin20111006π. Q(x) and −Q(x) have the same roots, and are the opposite number of the roots of P(x). Thus Q(x) has a root z2=−z1. Then,
c≥min(∣Rez1∣∣Imz1∣,∣Rez2∣∣Imz2∣)=cot4022π.
Next, we show that the answer is c=cot4022π. For any
P(x)=x2012+a2011x2011+a2010x2010+⋯+a1x+a0,
we obtain a polynomial
R(x)=b2012x2012+b2011x2011+b2010x2010+⋯+b1x+b0,
by changing sign of some coefficient of P(x), where b2012=1, and for j=1,2,…,2011,
bj={∣aj∣,−∣aj∣,j≡0,1(mod4),j≡2,3(mod4).
We show that, for each root z of R(x), we have ∣Imz∣≤c∣Rez∣.
We prove this result by contradiction. Suppose there is a root z0 of R(x), such that ∣Imz0∣>c∣Rez0∣, then z0=0 and either the angle of z0 and i is less than θ=4022π, or the angle of z0 and −i is less than θ. Suppose that the angle of z0 and i is less than θ; for the other case, we need only consider the conjugate of z0. There are two cases:
If z0 is on the first quadrant (or imaginary axis), suppose that ∠(z0,i)=α<θ, where ∠(z0,i) is the least angle that rotates z0 to i anticlockwise. For 0≤j≤2012, if j≡0,2(mod4), then ∠(bjz0j,1)=jα≤2012α<2012θ.
If j≡1,3(mod4), then ∠(bjz0j,i)=jα<2011θ and ∠(b1z0,i)=α. Thus, the principal argument of bjz0j∈[2π−2012α,2π)∪[0,21π−α]. The vertex angle of this angle-domain is 2012α+21π−α=21π+2011α<π. And bjz0j,0≤j≤2012, are not all zero, so their sum cannot be zero.
If z0 is at the second quadrant, suppose that ∠(i,z0)=α<θ, if j≡0,2(mod4), then ∠(1,bjz0j)=jα<2012θ. If j≡1,3(mod4), then ∠(i,bjz0j)=jα≤2011α<2π. Thus, every principle argument of bjz0j∈[0,2π+2011α]. Since 2π+2011α<π, and bjz0j,0≤j≤2012, are not all zero, so their sum cannot be zero.
Summing up, the least real number c=cot4022π. □