formule d'Adamchik-Wagon

Pour approcher π, on additionne une suite de petites contributions. La première vaut 3,333…, la suivante est soustraite, puis une troisième est ajoutée. Les contributions deviennent rapidement plus petites, car elles sont divisées par des puissances de 4. Cette alternance fait osciller l'approximation autour de π. La formule d'Adamchik-Wagon est donc une manière organisée de calculer π avec une série infinie, liée à l'écriture en base 4.

La formule d'Adamchik-Wagon représente exactement π comme une somme infinie indexée par l'entier k, qui parcourt 0, 1, 2, etc. Le symbole k désigne donc le rang d'un terme. Dans le terme de rang k, le facteur (−1)ᵏ impose l'alternance des signes, tandis que 4ᵏ fait décroître l'amplitude. Les trois fractions 2/(4k+1), 2/(4k+2) et 1/(4k+3) constituent le motif propre à cette formule.

La série s'applique au calcul de π et à l'extraction de chiffres dans diverses bases, dans l'esprit des formules de type BBP généralisées. Ici, la base mise en avant est 4, et non la base 16 de la formule BBP classique. La convergence est assurée par la décroissance en 4ᵏ, mais un calcul numérique ne somme jamais réellement une infinité de termes : il s'arrête après une précision choisie.

La représentation est exacte comme identité mathématique ; une valeur décimale obtenue après un nombre fini de termes reste une approximation. Les applications citées dans la source concernent la cryptographie et la vérification de calculs à haute précision.

Pour le terme de rang k, on forme d'abord la contribution $\frac{(-1{)}^k}{4^k}(\frac{2}{4k+1}+\frac{2}{4k+2}+\frac{1}{4k+3})\backslash frac\{(-1)^k\}\{4^k\}\backslash left(\backslash frac\{2\}\{4k+1\}+\backslash frac\{2\}\{4k+2\}+\backslash frac\{1\}\{4k+3\}\backslash right)$, puis on l'ajoute aux contributions précédentes. En faisant tendre le nombre de termes vers l'infini, la somme obtenue est π. Le facteur (−1)ᵏ donne le signe et le facteur 4ᵏ règle la décroissance.

La formule concerne la constante π et une somme dont l'indice k prend les valeurs entières k ≥ 0. Les dénominateurs 4k+1, 4k+2 et 4k+3 ne s'annulent donc jamais. Pour obtenir un nombre décimal, il faut choisir une précision et accumuler assez de termes, en tenant compte des annulations entre signes opposés.

Un calcul qui ne conserve que le terme k = 0 est bloqué à une approximation grossière : il donne 10/3, et non π. Pour davantage de chiffres, on ajoute les termes suivants ou l'on emploie une méthode numérique adaptée à la précision recherchée.

On veut observer l'approche de π avec les six premiers termes, de k = 0 à k = 5. Les données sont les suivantes : terme initial 3,3333333333…, contributions successives −0,2190476190…, +0,0320707071…, −0,0056776557…, +0,0010991787… et −0,0002242436….

La somme après k = 0 vaut 3,3333333333….
Après k = 1, elle vaut 3,1142857143….
Après k = 2, elle vaut 3,1463564214….
Après k = 3, elle vaut 3,1406787657….
Après k = 4, elle vaut 3,1417779444….
Après k = 5, elle vaut 3,1415537008….

Le résultat à ce stade est donc environ 3,1415537008. Le contrôle consiste à vérifier que chaque nouvelle somme s'obtient en ajoutant la contribution du rang affiché ; les valeurs encadrent alternativement π ≈ 3,1415926536.

Pour une approximation courte, on calcule les termes dans l'ordre des rangs et on conserve une somme courante. Le geste utile est de surveiller à la fois le signe alterné et la taille décroissante des contributions.

Pour extraire des chiffres dans une base particulière, on choisit une formule de type BBP généralisée adaptée à cette base. La formule BBP classique est préférable lorsque l'objectif est spécifiquement la base 16 ; le critère observable est alors la base des chiffres recherchés.

La formule d'Adamchik-Wagon ne se confond pas avec la formule BBP classique. Le critère qui tranche est la structure de base : la formule BBP classique est associée à la base 16, tandis que la variante d'Adamchik-Wagon présentée ici repose sur la base 4. Un calcul visant l'extraction de chiffres en base 16 orientera donc vers la formule BBP classique.

Le piège principal est de confondre identité exacte et approximation finie. La série infinie vaut π, mais six termes donnent seulement environ 3,1415537008 ; l'écart subsiste au-delà des chiffres affichés. Il faut annoncer le nombre de termes et la précision visée, puis contrôler l'erreur au lieu d'écrire une égalité exacte pour une somme tronquée.

Un second piège consiste à lire le facteur 4ᵏ comme une simple base d'écriture sans tenir compte de l'alternance (−1)ᵏ. Oublier ce signe transforme les soustractions en additions et fait perdre l'approximation de π dès le deuxième terme.

La famille des formules de type BBP généralisées ouvre vers l'étude des représentations de constantes par séries et vers des algorithmes capables d'extraire certains chiffres sans recalculer tous les précédents. Cette perspective relie analyse, calcul haute précision et vérification informatique ; elle demande ensuite de comparer soigneusement la base, la convergence et la précision numérique de chaque formule.