Maths Olympiad Prep

Library / /24 of 28

Algebra Difficulty 8.9 Shortlist Prove it China

Let P(x)=x2012+a2011x2011+a2010x2010++a1x+a0P(x) = x^{2012} + a_{2011}x^{2011} + a_{2010}x^{2010} + \dots + a_1x + a_0 be a polynomial of degree 20122012 of real coefficients with 11 as its leading coefficient. Find the minimum of real number cc such that ImzcRez|\operatorname{Im} z| \le c |\operatorname{Re} z|, where Rez\operatorname{Re} z and Imz\operatorname{Im} z are, respectively, the real and the imaginary parts of any root of a polynomial obtained by changing some of the coefficients of P(x)P(x) to their opposite numbers. (posed by Zhu Huawei)

Solution

First, we point out that ccotπ4022c \ge \cot \frac{\pi}{4022}. Consider the polynomial P(x)=x2012xP(x) = x^{2012} - x. Changing the sign of coefficients of P(x)P(x), we obtain four polynomials P(x)P(x), P(x)-P(x), Q(x)=x2012+xQ(x) = x^{2012} + x and Q(x)-Q(x). Note that P(x)P(x) and P(x)-P(x) have the same roots; one of the roots is z1=cos10062011π+isin10062011πz_1 = \cos \frac{1006}{2011}\pi + i \sin \frac{1006}{2011}\pi. Q(x)Q(x) and Q(x)-Q(x) have the same roots, and are the opposite number of the roots of P(x)P(x). Thus Q(x)Q(x) has a root z2=z1z_2 = -z_1. Then,
cmin(Imz1Rez1,Imz2Rez2)=cotπ4022. c \ge \min\left(\frac{|\operatorname{Im} z_1|}{|\operatorname{Re} z_1|}, \frac{|\operatorname{Im} z_2|}{|\operatorname{Re} z_2|}\right) = \cot \frac{\pi}{4022}.
Next, we show that the answer is c=cotπ4022c = \cot \frac{\pi}{4022}. For any
P(x)=x2012+a2011x2011+a2010x2010++a1x+a0, P(x) = x^{2012} + a_{2011}x^{2011} + a_{2010}x^{2010} + \dots + a_1x + a_0,
we obtain a polynomial
R(x)=b2012x2012+b2011x2011+b2010x2010++b1x+b0, R(x) = b_{2012}x^{2012} + b_{2011}x^{2011} + b_{2010}x^{2010} + \dots + b_1x + b_0,
by changing sign of some coefficient of P(x)P(x), where b2012=1b_{2012} = 1, and for j=1,2,,2011j = 1, 2, \dots, 2011,
bj={aj,j0,1(mod4),aj,j2,3(mod4). b_j = \begin{cases} |a_j|, & j \equiv 0, 1 \pmod 4, \\ -|a_j|, & j \equiv 2, 3 \pmod 4. \end{cases}
We show that, for each root zz of R(x)R(x), we have ImzcRez.|\operatorname{Im} z| \le c |\operatorname{Re} z|.
We prove this result by contradiction. Suppose there is a root z0z_0 of R(x)R(x), such that Imz0>cRez0|\operatorname{Im} z_0| > c |\operatorname{Re} z_0|, then z00z_0 \ne 0 and either the angle of z0z_0 and ii is less than θ=π4022\theta = \frac{\pi}{4022}, or the angle of z0z_0 and i-i is less than θ\theta. Suppose that the angle of z0z_0 and ii is less than θ\theta; for the other case, we need only consider the conjugate of z0z_0. There are two cases:

If z0z_0 is on the first quadrant (or imaginary axis), suppose that (z0,i)=α<θ\angle(z_0, i) = \alpha < \theta, where (z0,i)\angle(z_0, i) is the least angle that rotates z0z_0 to ii anticlockwise. For 0j20120 \le j \le 2012, if j0,2(mod4)j \equiv 0, 2 \pmod 4, then (bjz0j,1)=jα2012α<2012θ\angle(b_j z_0^j, 1) = j\alpha \le 2012\alpha < 2012\theta.
If j1,3(mod4)j \equiv 1, 3 \pmod 4, then (bjz0j,i)=jα<2011θ\angle(b_j z_0^j, i) = j\alpha < 2011\theta and (b1z0,i)=α\angle(b_1 z_0, i) = \alpha. Thus, the principal argument of bjz0j[2π2012α,2π)[0,12πα]b_j z_0^j \in [2\pi - 2012\alpha, 2\pi) \cup [0, \frac{1}{2}\pi - \alpha]. The vertex angle of this angle-domain is 2012α+12πα=12π+2011α<π2012\alpha + \frac{1}{2}\pi - \alpha = \frac{1}{2}\pi + 2011\alpha < \pi. And bjz0j,0j2012b_j z_0^j, 0 \le j \le 2012, are not all zero, so their sum cannot be zero.

If z0z_0 is at the second quadrant, suppose that (i,z0)=α<θ\angle(i, z_0) = \alpha < \theta, if j0,2(mod4)j \equiv 0, 2 \pmod 4, then (1,bjz0j)=jα<2012θ\angle(1, b_j z_0^j) = j\alpha < 2012\theta. If j1,3(mod4)j \equiv 1, 3 \pmod 4, then (i,bjz0j)=jα2011α<π2\angle(i, b_j z_0^j) = j\alpha \le 2011\alpha < \frac{\pi}{2}. Thus, every principle argument of bjz0j[0,π2+2011α]b_j z_0^j \in [0, \frac{\pi}{2} + 2011\alpha]. Since π2+2011α<π\frac{\pi}{2} + 2011\alpha < \pi, and bjz0j,0j2012b_j z_0^j, 0 \le j \le 2012, are not all zero, so their sum cannot be zero.

Summing up, the least real number c=cotπ4022c = \cot \frac{\pi}{4022}. \square

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.