The Basel problem

I wanted to follow up on something I mentioned in my previous post: I claimed that

\displaystyle \displaystyle \zeta(2) = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \dots = \frac{\pi^2}{6}.

At the time I didn’t know how to prove this, but I did some quick research and today I’m going to explain it! It turns out that determining the value of this infinite sum was a famous open question from the mid-1600s until it was solved by Leonhard Euler in 1734. It is now known as the Basel problem (it’s not clear to me whether it was called that when Euler solved it). Since then, there have been many different proofs using all sorts of techniques, but I think Euler’s original proof is still the easiest to follow (though it turns out to implicitly rely on some not-so-obvious assumptions, so a completely formal proof is still quite tricky). I learned about this proof from some slides by Brendan Sullivan and an accompanying document.

First, recall the MacLaurin series for \sin x:

\displaystyle \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots

This infinite sum continues forever with successive odd powers of x, alternating between positive and negative. (If you’ve never seen this before, you can take my word for it I suppose; if anyone asks in a comment I would be happy to write another post explaining where this comes from.)

If we substitute \pi x for x we get

\displaystyle \sin(\pi x) = \pi x - \frac{(\pi x)^3}{3!} + \frac{(\pi x)^5}{5!} - \frac{(\pi x)^7}{7!} + \dots

Note that the coefficient of x^3 is -\pi^3 / 3! = -\pi^3/6. Remember that—it will return later!

Now, recall that for finite polynomials, the Fundamental Theorem of Algebra tells us that we can always factor them into a product of linear factors, one for each root (technically, this is only true if we allow for complex roots, though we won’t need that fact here). For example, consider the polynomial

\displaystyle 2x^3 - 3x^2 - 11x + 6.

It turns out that this has zeros at x = 3, -2, and 1/2, as you can verify by plugging in those values for x. By the Fundamental Theorem, this means it must be possible to factor this polynomial as

\displaystyle 2(x-3)(x+2)(x-1/2).

Note how each factor corresponds to one of the roots: when x = 3, then (x-3) is zero, making the whole product zero; when x = -2, the (x+2) becomes zero, and so on. We also had to put in a constant multiple of 2, to make sure the coefficient of x^3 is correct.

So, we can always factorize finite polynomials in this way. Can we do something similar for infinite polynomials, like the MacLaurin series for \sin(\pi x)? Euler guessed so. It turns out the answer is “yes, under certain conditions”, but this is not at all obvious. This is known as the Weierstrass factorization theorem, but I won’t get into the details. You can just take it on faith that it works in this case, so we can “factorize” the MacLaurin series for \sin(\pi x), getting one linear factor for each root, that is, for each integer value of x:

\displaystyle \displaystyle \sin(\pi x) = \pi x (1 - x)(1 + x)\left (1 - \frac{x}{2} \right) \left(1 + \frac{x}{2} \right) \left(1 - \frac{x}{3}\right) \left(1 + \frac{x}{3}\right) \dots

For example, x = 3 makes the (1 - x/3) term zero, and in general x = n will make the (1 - x/n) term zero. Note how we also included a factor of x, corresponding to the root at x = 0. We also have to include a constant factor of \pi: this means that the coefficient of x^1 in the resulting sum (obtained by multiplying the leading \pi x by all the copies of 1) will be \pi, as it should be.

Now, since (a-b)(a+b) = a^2 - b^2 we can simplify this as

\displaystyle \sin(\pi x) = \pi x (1 - x^2) \left(1 - \frac{x^2}{4} \right) \left( 1 - \frac{x^2}{9} \right) \dots

Let’s think about what the coefficient of x^3 will be once this infinite product is completely distributed out and like degrees of x are collected. The only way to get an x^3 term is by multiplying the initial \pi x by a single term of the form -x^2/n^2, and then a whole bunch of 1’s. There is one way to do this for each possible n \geq 1. All told, then, we are going to have

\displaystyle \sin(\pi x) = \pi x - \pi x^3 \left(1 + \frac{1}{4} + \frac{1}{9} + \dots \right) + \dots

And now we’re almost done: recall that previously, by considering the MacLaurin series, we concluded that the coefficient of x^3 in \sin(\pi x) is -\pi^3 / 6. But looking at it a different way, we have now concluded that the coefficient is -\pi(1 + 1/4 + 1/9 + \dots). Setting these equal to each other, and dividing both sides by -\pi, we conclude that

\displaystyle \zeta(2) = 1 + \frac 1 4 + \frac 1 9 + \dots = -\frac{\pi^3}{6} \cdot \frac{1}{-\pi} = \frac{\pi^2}{6}.



About Brent

Assistant Professor of Computer Science at Hendrix College. Functional programmer, mathematician, teacher, pianist, follower of Jesus.
This entry was posted in infinity, number theory and tagged , , , , , . Bookmark the permalink.

8 Responses to The Basel problem

  1. blaisepascal2014 says:

    I believe that you have a typo in the equation after (a+b)(a-b) = a^2-b^2, in that you include the term (1-\frac{x^3}{9}) and not (1-\frac{x^2}{9}.

    Does this imply a similar series for \frac{\pi^4}{120} = \sum_{n,m\in\Bbb{N}, n\neq m} \frac{1}{n^2m^2}?

  2. Ajmain Yamin Yamin says:

    Where does the sin(x) expansion come from?

  3. Jan Van lent says:

    Some more proofs can be found in:
    Dan Kalman, Six ways to sum a series. The College Mathematics Journal. Vol 24, No 5, 1993, pp 402 – 421.

  4. Pingback: The MacLaurin series for sin(x) | The Math Less Traveled

Leave a reply. You can include LaTeX $latex like this$. Note you have to literally write 'latex' after the first dollar sign!

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s