Nous allons calculer une formule du nombre \(\pi \) en passant par une méthode géométrique.
Pour cela, nous alons passer par plusieurs iérations successives.
Le nombre \(\pi \) correspond au rapport entre le demi-périmètre d'un cercle de rayon \( R = 1\).
La formule théorique que nous allons démontrer est :
$$ \pi = lim_{n \to +\infty} \enspace 2^{n + 1} \sqrt{2 - \underbrace{ \sqrt{2 + \sqrt{2 + \sqrt{2 + \sqrt{2...}}} }} _\text{n} } $$ (avec \( n\) le nombre de \( 2\) présents à la suite sous la seconde racine)
Comme nous l'avons dit, nous allons effectuer plusieurs itérations successives pour retrouver cette formule.
Nous avons représenté un cercle de rayon \( R = 1 \), ainsi que son carré interne.
Nous allons partir du principe que :
ce qui est une première approximation grossière.
Calculons la valeur de \( a \).
Avec le théorème de Pythagore, on a :
Ce que nous donne une valeur de \(\pi \) d'environ :
Pour cette deuxième approximation, nous allons choisir une longueur qui se rapproche plus du cercle, et nous l'avons representé en rouge.
C'est la base du triangle isocèle ayant comme une des longueurs égales, la demi-diagonale du carré interne.
Pour approximer la valeur de \(\pi \) en suivant le demi-périmètre, nous aurons besoin cette fois-ci de quatre fois cette longueur. Soit :
Toujours par le théorème de Pythagore, on calcule \( b \) :
On avait trouvé pour \( a \) :
Soit :
Ce que nous donne :
On voit que l'on commence à s'approcher doucement de \( \pi = 3,14 \dots)
Nous continuons la même démarche avec une longueur qui se rapetisse toujours encore un peu pour coller au cercle.
On a :
Nous avons ici besoin de calculer \( h_b \) :
On avait calculé que \( b = 2 - \sqrt{2}\), soit :
Remplaçons maintenant \( h_b \) par la valeur trouvée, nous avions :
Soit :
On avait trouvé pour \( b \) :
D'où,
Ce que nous donne :
Continuons maintenant en imaginant une nouvelle longueur \( d \), (trop petite pour être dessinée), trouvée par le même procédé que pour \( b \) et \( c \).
On a :
Nous avons ici besoin de calculer \( h_c \) :
On avait \( c = \sqrt{2 - \sqrt{2+ \sqrt{2 }} } \), soit :
Remplaçons maintenant par la valeur trouvée, nous avions :
Soit :
On avait trouvé pour \( c \) :
D'où,
Ce que nous donne :
En répétant cette procédure à l'infini, on finit par obtenir une généralisation.
Récapitulons.
Nous avons trouvé ces différentes valeurs pour \( \pi \) :
Nous voyons bien qu'il est alors possible de généraliser cette valeur, en faisant tendre \( n \to \infty \).
Et finalement :
$$ \pi = lim_{n \to +\infty} \enspace 2^{n + 1} \sqrt{2 - \underbrace{ \sqrt{2 + \sqrt{2 + \sqrt{2 + \sqrt{2...}}} }} _\text{n} } $$ (avec \( n\) le nombre de \( 2\) présents à la suite sous la seconde racine)