Ce que fait ce calculateur
Cet outil calcule la constante mathématique pi à l'aide de l'une des quatre identités classiques de type Machin à trois termes en arctangente. Chaque identité exprime pi/4 comme une somme pondérée de trois termes en arctangente de la forme \(a \cdot \arctan(1/b)\), où tous les coefficients sont des entiers exacts. Comme chaque argument \(1/b\) est petit, l'arctangente s'évalue efficacement grâce à la série entière de Gregory (Maclaurin). Il s'agit de mathématiques pures : la méthode s'applique partout, sans la moindre hypothèse régionale.
Comment l'utiliser
Choisissez une formule dans le menu déroulant : Klingenstierna (1730), Strassnitzky (1844), Gauss (1863) ou Stormer (1896). Indiquez ensuite le nombre de chiffres de précision souhaité. Les quatre formules convergent toutes vers la même valeur de pi ; elles ne diffèrent que par la rapidité avec laquelle la série en arctangente se stabilise. Les formules à grands dénominateurs (par exemple 239 et 515) convergent plus vite que les petits dénominateurs de Strassnitzky. À noter : cette version repose sur l'arithmétique à virgule flottante en double précision, si bien que la précision affichée plafonne autour de 15 à 16 chiffres significatifs, quel que soit le réglage demandé.
La formule expliquée
Pour les coefficients retenus, le calculateur évalue chaque terme sous la forme term_i = a_i * atanSeries(1/b_i), où atanSeries(x) = x - x^3/3 + x^5/5 - x^7/7 + ....
$$\arctan x = x - \tfrac{x^3}{3} + \tfrac{x^5}{5} - \tfrac{x^7}{7} + \cdots$$ La série est sommée jusqu'à ce que l'incrément suivant devienne plus petit que la tolérance (environ 10 puissance le nombre de chiffres négatif plus deux). On obtient enfin \(\pi = 4 \times (\text{term1} + \text{term2} + \text{term3})\). Les coefficients négatifs retranchent simplement leur terme en arctangente, et le signe est conservé exactement tel qu'il figure dans la table.
Exemple détaillé
Avec l'identité de Strassnitzky : \(\arctan(1/2) = 0{,}4636476090008061\), \(\arctan(1/5) = 0{,}1973955598498807\), \(\arctan(1/8) = 0{,}1243549945467614\). Leur somme vaut \(0{,}7853981633974482\), et quatre fois cette valeur donne $$4 \times 0{,}7853981633974482 = 3{,}141592653589793,$$ ce qui correspond à pi avec toute la précision du double.
FAQ
Pourquoi recourir à des identités en arctangente plutôt qu'à une série plus simple ? La série de Leibniz pour pi/4 converge avec une lenteur désespérante. Décomposer pi/4 en arctangentes de petits arguments accélère considérablement la convergence de chaque série.
Pourquoi est-il impossible d'obtenir 50 chiffres exacts ? L'arithmétique standard en double précision ne porte qu'environ 15 à 16 chiffres décimaux significatifs. Une véritable version à précision arbitraire utiliserait l'arithmétique BigDecimal pour atteindre des objectifs plus élevés.
Les quatre formules donnent-elles le même résultat ? Oui. Ce sont des identités mathématiquement équivalentes pour pi ; seule leur vitesse de convergence change.
