Pi and the Basel Problem
25-Mar-2022
So, following up on my previous post What is Pi, Non-geometrically?. I just want to make a separate post about some extra things.
At the end of the post I mentioned this relationship:
If you are familiar with it, this is the solution of the famous Basel Problem. I feel like I want to talk about it as a separate posts, due to how special it was for me.
The story about Basel Problem… for me
I’m not going to explain again about the problem, since you can just read it in the wiki. I just want express “my feelings” regarding the problem.
For a quite long time, I never knew that this problem is very special and has it’s own famous name. Initially, I encountered the problem in high school when I am learning a totally different subject. It is about gravity.
As you may know, the Newtonian Universal Gravitation Force is expressed as:
With the Universal Gravitation constant, is the interacting mass, and is the distance between each point of mass. What made me so fascinated about this is the physical meaning of the force expression and intuitive reasoning with additive properties of force.
Before we dive further, let me remind you that this is me in high school. So I obviously had no sophisticated understanding for mathematical rigor. It is just based on a kid’s mind, that if the reality around you are considered as truth, then a particular mathematical equation must be true as well if it describes the same phenomenon.
Let’s take a look at gravity for instance (in the classical sense).
Any object with mass will have gravitational potential. It will interact with another mass and exert force, no matter how far they would be. However, the force is linearly additive. In which, if we have 3 objects, being A as the observer, the following is true according to Newton’s Law:
If A and B is close, usually the force is greater. If A and C is far, it will have lesser force. However, they add up together. Interestingly, since force is additive, we can “imagine” that both B and C doesn’t exist, and instead a single object exists called R. We can find the correct distance between A and R, in such a way that the resulting gravitational force is equivalent to .
This was a very mindblowing concept for me. We can easily decompose or combine many objects into one single objects. Suppose that we have 100 objects, we can eliminate all of them and replace it with just one object with the correct distance, and it will have the same influence to A the same way as the original condition.
The relation between this and the Basel problem is that, if we consider a single kind of object, but there are infinitely many of them, we can place them each having distance 1 meter apart. Then all of the force added up together is exactly the same way as if just one single object placed at certain distance R.
If we describe it in expression:
There must exists a value R where this would solve the equation. Also, R would be really close to the origin.
What is R?
That is how I solved Basel problem the first time. But of course at that moment, the steps is not rigour enough. I will not going to talk about it today. What I’m going to talk about is that at time I don’t know about internet, wikipedia, or wolfram alpha yet. So I never knew about the name of the problem.
Then it really excites me when I finally learned about the name from this 3Blue1Brown video about the Basel problem From that, I found the wikipedia link. I’m really impressed at rediscovering the original problem and reading various approach to solve the problem.
There are many ways and angles to solve the same problem. I think it is one of the beauty of math.
The Euler’s approach of solving the Basel Problem
In the previous post, our goal is to find a non-geometrical approach to solve a particular problem, then hoping a useful or fundamental constant appears. This turns out to be Pi.
Meanwhile, Basel problem start from a simple problem description, then it was revealed that the solution contains a mention of in it. Which is kind of mindblowing at first. How come some geometrical integer sums gives raise to a circular constant?
As you might have guessed, the previous post is like a reverse-engineered direction of Basel Problem. Which is not intentional from my side. I was just trying to find out how to define Pi so it raises naturally (like the constant from exponential function). What I have instead, is the expression of the Basel problem. So, it is the other way around if we compare it with Basel problem.
Basically the difference between Euler’s method and my previous post is that Euler started with the Taylor series of . Thus he needs to find an expression of as sums and infinite products to compare the coefficient.
Alternatively, in my previous post, we didn’t assume any trigonometry function. We just start with the Taylor series of exponential in complex plane. From there we can pick which series to proceed, the real part or imaginary part.
If we pick the real part, which in formal sense is the function. We will have: