Well for the purposes of sparing myself the burdens of Latex and dodging any transcription errors, here are the main moves -- and youre right, if one

were to distribute the brackets this puppy would become sympatico, as it were -- at least from what i can tell. Instead one has to have "mathematical

maturity" and recognize something from somewhere else, even though in the end it's just a bunch of manipulations, illucidating nothing profound, at

least from my perch. This of course assumes what im doing is right, which is a distinct risk because this problem covers areas for which i never took

courses, and the courses i did take were over 5 years ago.

In this case, the function you want to isolate is:

Clearly the way to do that is by

(1)Express as

(2)Distribute only from the denominator in (1).

Now you're staring at:

Because you can express it like this, the key observation it appears, at least to me is that the integral can then be seen as the result of a

convolution of a function , to be defined, with that of the so-called Dirichlet kernel.

The Dirichlet kernel can be expressed as:

= (*)

see here: [html]http://planetmath.org/encyclopedia/DirchletKernel.html[/html]

Then, where means convolution,

(**)

where

Now = since

Note now that we define .

This function is integrable on .

Now that we've idenitfied our function , going back to (**) we conclude

because of (*)

The result thus follows:

Note that can be interpreted as the Nth Fourier coefficient of .

Again, as you mentioned this problem would have followed immediately from direct application of the lemma, which shows up in the form of sines and cosines, had we not been constrained to use the more general version of the statement of the lemma.

please let me know if the reasoning above resembles that which appears in your solution set when availible. Regards.