Accélération de convergence

Au troisième siècle avant notre ère, Archimède avait évalué le nombre π , en mesurant les périmètres des
1 10
polygones réguliers à 96 côtés inscrit et circonscrit à un cercle donné, il obtenait 3 + < π < 3 + .
7 71
De nos jours 1,2411 billions de décimales sont connues (record en date du 6 décembre 2002). Entre temps, les
premières décimales de π furent obtenues en s’appuyant sur une écriture de la fonction x ֏ arctan x sous la
forme de somme d’une série :

Série de James Gregory

n
1 (−1)n t 2n +2
Pour x ∈ [−1,1] , en intégrant la somme géométrique : ∑ (−1)k t 2k =
k =0 1+ t 2
+
1+ t 2
entre 0 et x , on
k
n
(−1) +∞
(−1)k 2k +1
parvient à l’identité de Gregory : arctan x = lim
n →+∞
∑ 2k +1 x
k =0
2k +1
=∑
k =0 2k + 1
x .

π +∞
4(−1)k
En partant de arctan1 = , on obtient la formule de Leibniz : π = ∑ . On peut alors approcher π par
4 k =0 2k + 1

4(−1)k
n
les sommes partielles : ℓ n = ∑ . De plus, π est encadré par deux sommes consécutives, ce qui permet
k =0 2k + 1
de connaître la qualité de l’approximation réalisée. Malheureusement celle-ci n’est pas bonne car
ℓ n +1 − ℓ n = O (1 n ) .
Au XVIIIème siècle, John Machin reprend néanmoins cette idée mais part de la formule « qui porte son nom » (il
π 1 1
y a un adjectif pour cela mais je l’ai oublié) : = 4arctan − arctan . Il obtient alors
4 5 239
+∞
4(−1)k  4 1 
π=∑  2k +1 −  ce qui permet d’approcher π par les sommes partielles :

k =0 2k + 1  5 239 2k +1 
n
4(−1)k  4 1 
mn = ∑  2k +1 −  . Comme ci-dessus, π est encadré par deux sommes consécutives mais cette
2k +1 
k =0 2k + 1  5 239
 1 
fois-ci mn +1 − mn = O  2n +1  ce qui est beaucoup mieux. Il parvint ainsi à obtenir une centaine de décimales
 n .5 
de π .

Méthode du delta-2 d’Aitken :

Pour obtenir plus de décimales, à moinde coût, nous allons accélérer la convergence de nos suites à l’aide du
procédé d’Alexander Aitken (1895-1967). On dit qu’une suite numérique (vn ) converge plus rapidement vers ℓ
v −ℓ
qu’une suite (un ) ssi n → 0 . Ainsi la suite (1 n 2 ) converge plus rapidement vers 0 que la suite (1 n ) .
un − ℓ
L’idée d’Aitken est la suivante : présumons que (un ) converge vers ℓ géométriquement, i.e. un = ℓ +C .q n , à
un +2un − un2+1
l’aide des termes consécutifs un , un +1 , un +2 , on peut déterminer C ,q et ℓ = . Si maintenant, on
un +2 − 2un +1 + un
un +2un − un2+1
a un = ℓ +C .q n + o (q n ) alors on peut justifier que = ℓ + o (q n ) .
un +2 − 2un +1 + un
un +1 − ℓ
Pour être plus précis, on peut montrer que si un → ℓ avec → q ∈ [−1,1[ alors la suite (vn ) de terme
un − ℓ
un +2un − un2+1
général vn = tend vers ℓ plus rapidement que (un ) .
un +2 − 2un +1 + un

1/3
 un +1 − ℓ
Notons que l’hypothèse → q ∈ [−1,1[ induit :
un − ℓ

• une convergence lente mais alternée pour q = −1 (exemple : ((−1)n n ) )

• assez rapide pour q < 1 (exemple : (e−n ) )

• ( ))
2
rapide pour q = 0 (exemple : e−n

En revanche les suites (1 n ) et (1 n 2 ) ne vérifient pas cette hypothèse.

Accélération de la convergence vers π

Nous allons maintenant appliquer la méthode d’Aitken, à l’accélération des convergences des sommes de
Leibniz et de Machin. Pour justifier l’accélération, commençons par déterminer un équivalent de
n
(−1)k 2k +1 +∞
(−1)k 2k +1
Rn = arctan x − ∑ x = ∑ x (pour x ∈ [ 0,1] fixé) :
k =0 2k + 1 k =n +1 2k + 1

(−1)n n 1 +∞
2(−1)k x 2k +1 1
D’une part Rn − Rn +1 = x , d’autre part Rn + Rn +1 = ∑ = O  2  donc
2n + 1 x 2
k =n +1 (2k + 1)(2k + 3)  n 
(−1)n
Rn ∼ xn .
2(2n + 1)
ℓ n +1 − π m −π 1
Pour la méthode d’Euler : → −1 , pour la méthode de Machin : n +1 →− .
ℓn −π mn − π 5
Les graphiques ci-dessous illustrent ces accélérations en se reférant à la valeur de π dont Maple a en mémoire
les premières décimales. On y trouve en abscisse, le rang n de calcul et en ordonnée le nombre de décimales
correctes obtenues. La courbe du bas est associée à la suite initiale, la courbe intermédiaire est obtenue en
accélérant la première, la courbe du haut, en accélérant la suite accélérée...
Accélération d’Euler Accélération de Machin

Dans les deux cas, le gain est décimales est significatif, mais il subsiste un problème puisque cette fois-ci on ne
connaît plus la qualité de notre approximation, autrement dit : on a gagné des décimales, mais on ne sait pas
combien !

Encadré :
Quelle est la 100ème décimale de π ? La commande evalf(x,n) de Maple permet de connaître les n
premières décimales d’une variable x. evalf(Pi,100) donne 3.14159...7068
On pourrait être tenté de s’en satisfaire et de conclure que la décimale cherchée vaut 8, mais evalf(Pi,102)
donne 3.14159...706798. Finalement la décimale cherchée est 7. La prochaine fois nous nous méfierons des
arrondis !

2/3
Formulaire sur π
1 dt 1 dt
∫ ∫
π π
= et =
0 1+ t
2
4 0
1− t 2 2
2n  π
sin 2n t dt =   2n +1 (intégrale de Wallis)
π 2 π 2

∫ 0
cos 2n t dt = ∫
0  n  2

+∞

∫
π 2
e−t dt =
(intégrale de Gauss)
0 2
+∞ sin t

∫0 t dt = 2 .
π

+∞ +∞

∫ cos(t 2 )dt = ∫
π
sin(t 2 )dt = (intégrales de Fresnel)
0 0 2 2
n 
n

n ! ∼ 2πn   (Formule de Stirling)

+∞  e 
+∞ +∞
1 π2 1 π4
∑n
n =1
2
=
6
, ∑n
n =1
4
=
90
.

+∞
4(−1) k

∑ 2k +1 = π
k =0
(formule de Leibniz)

+∞
4(−1)k  4 1 
∑ 2k + 1  5
k =0
2k +1
−  = π (formule de Machin)
239 2k +1 
+∞
2n +1  2n 
∑   = π (somme d’Euler)

n =0 (2n + 1)  n 

2 2 +∞ (4n )!1103 + 26390n 1

∑
9801 n =0 (n !) 4 396 4n
= (formule de Ramanujan)
π
Celle-ci permet, en passant d’une somme partielle à la suivante, d’obtenir 8 décimales supplémentaires de π .
Et enfin, la plus jolie de toutes car reliant les constantes mathématiques fondamentales : eiπ + 1 = 0
Formule d’Euler.

3/3