IMC 2009 · Problem 4

Day 116th IMC · Budapest, Hungary

Statement

Let p(z)=a0+a1z+a2z2++anznp(z) = a_0 + a_1 z + a_2 z^2 + \dots + a_n z^n be a complex polynomial. Suppose that 1=c0c1cn01 = c_0 \ge c_1 \ge \dots \ge c_n \ge 0 is a sequence of real numbers which is convex (i.e. 2ckck1+ck+12c_k \le c_{k-1} + c_{k+1} for every k=1,2,,n1k = 1, 2, \dots, n-1), and consider the polynomial

q(z)=c0a0+c1a1z+c2a2z2++cnanzn.q(z) = c_0 a_0 + c_1 a_1 z + c_2 a_2 z^2 + \dots + c_n a_n z^n.

Prove that

maxz1q(z)maxz1p(z).\max_{|z| \le 1} |q(z)| \le \max_{|z| \le 1} |p(z)|.

Official solution

Hidden so you can work on the problem first.