$${a_n \int_0^{2 \pi} \cos^2(nx) dx = \pi a_n}$$