Basel Problem/Proof 2

Proof
Let:


 * $\ds P_k = x \prod_{n \mathop = 1}^k \paren {1 - \frac {x^2} {n^2 \pi^2} }$

We note that:

Examples:

By Telescoping Series we find that the coefficient of $x^3$ in $P_k$ is given by:


 * $(1): \quad \ds -\frac 1 {\pi^2} \sum_{i \mathop = 1}^k \frac 1 {i^2}$

We also have the following two representations of the Sine of x:

So by taking the limit as $k \to \infty$ in $(1)$ and equating with the coefficient of $x^3$ in the Power Series Expansion for Sine Function, we can deduce:


 * $\ds -\frac 1 {\pi^2} \sum_{i \mathop = 1}^\infty \frac 1 {i^2} = -\frac 1 {3!}$

hence:


 * $\ds \sum_{i \mathop = 1}^{\infty} \frac 1 {i^2} = \frac {\pi^2} 6$