 Solution

Assume $f\in L^2[-L,L]$, so the squared-error integral is finite. WriteAt a minimum, differentiating with respect to each coefficient givesBy Fourier orthogonality, the constant has squared norm $2L$, each nonconstant cosine has squared norm $L$, and all distinct modes are orthogonal. ThusThese are exactly the Fourier coefficients of the Fourier cosine series of the even function. To check that the stationary choice is a unique global minimum, perturb the coefficients by $\delta a_n$. The residual is orthogonal to every fitted mode, so the cross terms vanish andwith equality only when every perturbation is zero. The truncated series is the orthogonal projection onto a finite-dimensional subspace spanned by the constant and the first $N$ cosine modes.