# Basel Problem/Proof 6

Jump to navigation
Jump to search

## Theorem

- $\displaystyle \map \zeta 2 = \sum_{n \mathop = 1}^\infty {\frac 1 {n^2} } = \frac {\pi^2} 6$

where $\zeta$ denotes the Riemann zeta function.

## Proof

\(\displaystyle \zeta \left({2}\right)\) | \(=\) | \(\displaystyle \left({-1}\right)^2 \dfrac {B_2 2^1 \pi^2} {2!}\) | Riemann Zeta Function at Even Integers | ||||||||||

\(\displaystyle \) | \(=\) | \(\displaystyle \left({-1}\right)^2 \left({\dfrac 1 6}\right) \dfrac {2^1 \pi^2} {2!}\) | Definition of Sequence of Bernoulli Numbers | ||||||||||

\(\displaystyle \) | \(=\) | \(\displaystyle \left({\dfrac 1 6}\right) \left({\dfrac 2 2}\right) \pi^2\) | Definition of Factorial | ||||||||||

\(\displaystyle \) | \(=\) | \(\displaystyle \dfrac {\pi^2} 6\) | simplifying |

$\blacksquare$

## Historical Note

The Basel Problem was first posed by Pietro Mengoli in $1644$.

Its solution is generally attributed to Leonhard Euler , who solved it in $1734$ and delivered a proof in $1735$.

However, it has also been suggested that it was in fact first solved by Nicolaus I Bernoulli.

Jacob Bernoulli had earlier established that the series was convergent, but had failed to work out what to.

The problem is named after Basel, the home town of Euler as well as of the Bernoulli family.

*If only my brother were alive now.*