Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/ib/paper-4/6c/solution

Divide the differential equation by . Its Sturm-Liouville form is
Here and weight . Multiply the equations for by the other polynomial and subtract. Integration by parts gives a boundary term , which vanishes at both endpoints because polynomial derivatives are finite and . Hence
With the standard nonnegative degree indices , this proves orthogonality for . If signed integer indices are used literally, the condition is : , so merely would not suffice.
Set and . The chain rule gives , so . For , . A polynomial has , forcing . At , and the same endpoint condition gives . Therefore every polynomial solution is proportional to
The cosine recurrence yields , , confirming that these functions are polynomials. In this normalization the Chebyshev polynomial weight identity is
It is simply cosine orthogonality after .

New to topics? Read the docs here!