Rigour is the hygiene of the mathematician, but it is not its source of nutrients… Here you have a fantastic piece of work by Leonhard Euler, where he showed how to reason mathematically, maybe without rigour, but with a rich and healthy intuition.
In the early days of calculus, people were fascinated by power series. Euler knew very well the Taylor series of the sine around zero:
OK, so the sine function, in a sense, is a polynomial… Well… We know a few things about polynomials, don’t we? For example. If is a degree 3 polynomial and its roots are , and , then:
And the constant can be fixed if we know a single value, for example, . So… let us do it with the sine function. We know its zeroes: for all integer :
A little bit of regrouping:
Now, what can the constant be? If , then is 1. A trick and we get rid of the :
Waw, a remarkable formula on its own! You can check it numerically: it converges slowly beyond the first maximum, but it converges indeed. But we can get more from it. It should coincide with the Taylor series of the sine, right? (hm…) The constant term is easy, just 1. The quadratic term is not too hard either. Just add up all the products which consist of all ones and a single term. You get:
to make it equal to the Taylor term for . Now, make the coefficients equal:
Waw! Of course, there are rigorous ways to prove this formula. The first one I learnt was using Fourier series. But this one is funny, isn’t it? :)
Not all of Euler’s crazy sums were right. Some were amazingly wrong. But the wrongs of the genius are also funny… So I will soon discuss them here.