Solution

ID: past-exam-of-the-mathematics-course-of-the-year-1-of-the-natural-sciences-course-of-the-university-of-cambridge/2010/paper-2/15/solution

Use the real Fourier series convention . The function is an even function, so . For noninteger real ,
For , the product-to-sum identity gives
Thus the Fourier series of a noninteger-frequency cosine is
Its Fourier coefficients are , giving absolute convergence and uniform convergence. The periodic function is continuous at its joins because the two endpoint cosine values coincide, so the Dirichlet-Jordan convergence theorem gives this value at every point.
Putting gives
Evaluate at , where , and multiply by :
Comparing with the required form gives .

New to topics? Read the docs here!