Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/iii/paper-6/4/solution

We construct the finite evaluation representation explicitly by Lagrange interpolation. This supplies all the polynomial facts needed for the bound.
Define the Chebyshev polynomial by and
Induction shows that has degree ; the cosine addition identity also proves . Therefore , and follows from the recurrence. The case is immediate, since both and are constant.
For , choose the descending extremal nodes
so . Define the fundamental interpolation polynomials
They satisfy . Consequently
for every polynomial of degree at most : the difference has degree at most and vanishes at the distinct nodes, so it is zero. The root count used here follows by successively factoring from a polynomial having such a root; a nonzero degree- polynomial cannot have more than distinct roots. Thus the interpolation identity has been proved.
If , every numerator factor in is positive, while exactly denominator factors are negative. Hence . Applying interpolation to itself gives
Putting in the interpolation formula yields
For , apply the proved positive-side inequality to at , and use the parity identity. The result is
This is sharp, with equality for or its scalar multiples.
In functional terms, the evaluation map on the normed polynomial space has : the inequality gives the upper bound and attains it. For , its normalized version has the exact representation
Thus Chebyshev interpolation represents external evaluation using nodes. The necessary finite representation and its norm are derived directly, so no convex-hull theorem is being invoked without proof.

New to topics? Read the docs here!