Problem

Source: 2024 CTST P23

Tags: polynomial, algebra, complex analysis, 2024 CTST, China TST



$P(z)=a_nz^n+\dots+a_1z+z_0$, with $a_n\neq 0$ is a polynomial with complex coefficients, such that when $|z|=1$, $|P(z)|\leq 1$. Prove that for any $0\leq k\leq n-1$, $|a_k|\leq 1-|a_n|^2$. Proposed by Yijun Yao