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=c0≥c1≥⋯≥cn≥01 = c_0 \ge c_1 \ge \dots \ge c_n \ge 0 is a sequence of real numbers which is convex (i.e. 2ck≤ck−1+ck+12c_k \le c_{k-1} + c_{k+1} for every k=1,2,…,n−1k = 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

max⁡∣z∣≤1∣q(z)∣≤max⁡∣z∣≤1∣p(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.