Let us calculate the value of \(\pi \) using a geometrical method.
To do this, we will process by successive iterations.
The number \(\pi \) corresponds to the ration between the half-perimeter of a circle having as radius \( R = 1 \).
The theoretical formula that we will proove is:
$$ \pi = lim_{n \to +\infty} \enspace 2^{n + 1} \sqrt{2 - \underbrace{ \sqrt{2 + \sqrt{2 + \sqrt{2 + \sqrt{2...}}} }} _\text{n} } $$ (with \( n\) the number of \( 2\) inside the second square root)
As we said, we will carry out several successive iterations to find this formula.
We have represented a square of radius \( R = 1 \), as well as its internal square.
We will assume that:
which is a rough first approxiamtion.
Let us calculate the value of \( a \).
With the Pythagorean theorem, we do have:
Which gives us a first approximative value of \(\pi \):
For this second approxiamtion, we will choose a length which is closer to the circle, and we have represented it in red..
It is the base of the isosceles triangle having as one of the equal lengths, the half-diagonal of the internal square.
To approximate the value of \(\pi \) following the half-perimeter, this time we will need four times this length. So:
Still using the Pythagorean theorem, we calculate \( b \):
We found out that \( a \) is worth:
So:
Which gives us that:
We see that we are starting to solwly approach \( \pi = 3,14 \dots \)
Let us continue the same approach with a length with always shrinks a little ore to stick the circle.
We do have:
Here, we need to first calculate \( h_b \) :
Above, we found out that \( b = 2 - \sqrt{2}\), then:
Now let us replace \( h_b \) by its value, we had:
So :
We hadfound for the value of \( b \):
Hence,
Which gives us:
Let us now continue with a new length \( d \), (too small to be drawn), found by the same process as for \( b \) and \( c \).
We do have:
Here, we need to first calculate \( h_c \):
We have found that \( c = \sqrt{2 - \sqrt{2+ \sqrt{2 }} } \), so:
Now let us replace \( h_c \) by its value, we had:
So:
We had hound for the value of \( c \):
Hence,
Which gives us:
By repeating the same process endlessly, we end with a generalization.
Let us recap.
We found these different values for \( \pi \):
We see clearly that it is then possible to generalize this value, by making \( n \to \infty \).
And as a result,
$$ \pi = lim_{n \to +\infty} \enspace 2^{n + 1} \sqrt{2 - \underbrace{ \sqrt{2 + \sqrt{2 + \sqrt{2 + \sqrt{2...}}} }} _\text{n} } $$ (with \( n\) the number of \( 2\) inside the second square root)