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)
“It comes to pass oft that a terrible oath, with a swaggering accent sharply twanged off, gives manhood more approbation than ever proof itself would have earned him.”
—William Shakespeare (1564–1616)
“There is in every either-or a certain naivete which may well befit the evaluator, but ill- becomes the thinker, for whom opposites dissolve in series of transitions.”
—Robert Musil (1880–1942)