A Rigorous Proof Using Fourier Series
Let over the interval x ∈ (–π,π). The Fourier series for this function (worked out in that article) is
Then, using Parseval's identity (with ) we have that
- ,
where
for n ≠ 0, and a0 = 0. Thus,
for n ≠ 0 and
Therefore,
as required.
Read more about this topic: Basel Problem
Famous quotes containing the words rigorous, proof and/or series:
“A multitude of little superfluous precautions engender here a population of deputies and sub-officials, each of whom acquits himself with an air of importance and a rigorous precision, which seemed to say, though everything is done with much silence, “Make way, I am one of the members of the grand machine of state.””
—Marquis De Custine (1790–1857)
“The thing with Catholicism, the same as all religions, is that it teaches what should be, which seems rather incorrect. This is “what should be.” Now, if you’re taught to live up to a “what should be” that never existed—only an occult superstition, no proof of this “should be”Mthen you can sit on a jury and indict easily, you can cast the first stone, you can burn Adolf Eichmann, like that!”
—Lenny Bruce (1925–1966)
“Every day the fat woman dies a series of small deaths.”
—Shelley Bovey, U.S. author. Being Fat Is Not a Sin, ch. 1 (1989)