The Basel problem was first posed by Pietro Mengoli, a mathematics professor at the University of Bologna, in 1650, the same year in which he showed that the alternating harmonic series sums to . The Basel problem asks for the sum of the reciprocals of the squares of the natural numbers,

It is not immediately clear that this series converges, but this can be proved without much difficulty, as was first shown by Jakob Bernoulli in 1689. The sum is approximately 1.645 which has no obvious interpretation.

* * * * *

**That’s Maths II: A Ton of Wonders**

by Peter Lynch has just appeared.

Full details and links to suppliers at

http://logicpress.ie/2020-3/

* * * * *

For a century or so, the Basel problem outwitted some of the most brilliant mathematicians, including Leibniz and both Jakob and Johann Bernoulli. As the Bernoullis lived in Basel, and Euler had grown up there, the problem acquired the name of that city. It was solved by Leonhard Euler in 1734, and presented to the Imperial Academy of Sciences in St Petersburg the following year.

By solving the problem that had defeated so many other mathematicians, Euler achieved immediate fame. He found the exact sum to be . His line of reasoning was ingenious, with arguments based on daring manipulations that were difficult to justify. However, some years later, he presented a more rigorous proof.

Euler did not rest there: he generalised the problem considerably, deriving the sums for several related series. The Basel series is a particular case of the much more valuable and important zeta function, which Bernhard Riemann used in his 1859 paper *On the Number of Primes Less Than a Given Magnitude*, and which is at the core of the Riemann hypothesis, the most important unsolved problem in mathematics.

**Series expansion for **

We are familiar from elementary calculus with the Taylor series expansion of the trigonometric functions. The sine expansion about is

We can get a visual idea of how the series converges by considering the partial sums. We truncate the sine series to get a sequence of polynomials:

They approximate better with increasing order. In the figure below, we show the expansions up to order , which approximates over five wavelengths

(only positive is shown in the figure).

** Product expansion for **

We note that the zeros of the polynomials do not correspond to the zeros of , which are . We can easily write a sequence of polynomials having zeros at these points:

In the figure below, we show the expansions up to order (only positive is shown). The products approach as the degree increases.

**Euler’s daring reasoning **

For finite both and are polynomials of degree , but . However, in the limit , both the sequences tend to the sine function, so Euler assumed that

He also had the brilliant idea that he could regard both the infinite sum and the infinite product as polynomials of infinite degree. Since they are both equal to the sine function, the coefficients of corresponding powers of in the sum and in the product must be equal.

The coefficient of in the Taylor series is ; the coefficient of is . To get corresponding terms in the infinite product, Euler expressed it as an infinite polynomial. This is best illustrated for a finite case: we expand ,

so that the coefficient of is minus the sum of the first three terms of the Basel series. Euler assumed that this could be extended to the infinite case, yielding

Equating this to and multiplying by , he obtained the remarkable result

The terms of the Basel series involve squares, whereas the sum, through , is linked to the circle. Euler was pleasantly surprised with his result and wrote “quite unexpectedly … I have found an elegant formula depending on .”

Returning to the equation ( 2 ) equating the infinite sum and product, Euler evaluated both sides for . Since for this argument, he obtained

This is equivalent to the result

an infinite product for that had been published in 1656 by John Wallis.

By further use of ( 2 ), Euler obtained several other sparkling results, which are described by Dunham (1990, Ch. 9). He also went on to derive the result we know as Euler’s Product or, as Derbyshire (2003) called it, *the Golden Key*, a topic to which we hope to return.

** Sources **

Derbyshire, John, 2003: *Prime Obsession*. Plume Books, 422pp. ISBN: 978-0-4522-8525-5.

Dunham, William, 1990: *Journey through Genius: the Great Theorems of Mathematics*. John Wiley & Sons. Published by Penguin, 1991, 300pp. ISBN: 978-0-1401-4739-1.

You must be logged in to post a comment.