Past exam of the mathematics course of the University of Cambridge / 2009 / ii / Paper 2 / 2F / b

Set $p_{\ast }(x)=2^{1-n}{T}_n(x)$, a monic Chebyshev polynomial. Its norm on $[-1,1]$ is $2^{1-n}$. At the ordered points $x_j=\cos ((n-j)\pi /n)$, its values alternate between the two extreme values $\pm 2^{1-n}$.

Approximate $f(x)=x^n$ by polynomials of degree at most $n-1$. The error corresponding to $q_{\ast }=x^n-p_{\ast }$ is exactly $p_{\ast }$. The Chebyshev alternation theorem therefore makes $q_{\ast }$ the unique best approximant. For any monic $p$, the polynomial $q=x^n-p$ is an admissible approximant, soEquality holds precisely for $p=p_{\ast }$. Alternatively, a smaller norm would force $p-p_{\ast }$ to change sign between each consecutive pair of alternating extrema, giving at least $n$ zeros to a polynomial of degree at most $n-1$.