I Basel problem, primes and π²/6

[Borek]

Bear with me, I know nothing.

Eons ego @micromass told me about this beautiful formula:

\frac {\pi^2} 6 = \prod\limits_{P}\left( 1-\frac 1 {p^2}\right) ^{-1}

where p are primes. Just a few minutes ago I have learned about the Basel problem and its solution:

\sum \limits_{n=1}^{\infty} \frac 1 {n^2} = \frac {\pi^2} 6

What struck me was that it is the same π²/6 in both cases.

Somehow I feel like it can be actually the same formula - just the one based on prime numbers takes into account fact that repetitions of prime factors cancel out when we try to sum the fractions finding the common denominator. Am I right, or am I completely off, as usual?

 

[micromass]

Yes, it is the same formula. The connection is the Riemann zeta function. https://en.wikipedia.org/wiki/Riemann_zeta_function#Euler_product_formula

 

[Borek]

Here comes a follow up question:

At first sight both formulas listed in my first post look differently, but it turns out it is actually the same thing. There are many formulas allowing calculation of π - or some value related to π. Do we know anything about how many of them are independent?

 

[micromass]

Here comes a follow up question:

At first sight both formulas listed in my first post look differently, but it turns out it is actually the same thing. There are many formulas allowing calculation of π - or some value related to π. Do we know anything about how many of them are independent?

What do you mean with independent? In a strict sense, none of the formulas are independent in the sense that we can accept one formula as the definition of $\pi$ and derive all other formulas from it.

 

[Borek]

Good point, perhaps my thinking is flawed somehow.

In the above case we don't need to know that both formulas produce the same result to prove they are equivalent. It is enough to rearrange them, so they are both describing exactly the same calculation. In this sense I don't consider them to be independent.

 

[Borek]

Actually we started with stating "it is the same formula" (it can be obtained just by rearranging). So what if by "independent" I mean "not the same"?