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:
“... feminist solidarity rooted in a commitment to progressive politics must include a space for rigorous critique, for dissent, or we are doomed to reproduce in progressive communities the very forms of domination we seek to oppose.”
—bell hooks (b. c. 1955)
“In the reproof of chance
Lies the true proof of men.”
—William Shakespeare (1564–1616)
“As Cuvier could correctly describe a whole animal by the contemplation of a single bone, so the observer who has thoroughly understood one link in a series of incidents should be able to accurately state all the other ones, both before and after.”
—Sir Arthur Conan Doyle (1859–1930)