Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Formule de Machin
Résumé
alt=Extrait du Synopsis Palmariorum Matheseos (1706) de William Jones, présentant la série de John Machin.|vignette|upright=2|Extrait du Synopsis Palmariorum Matheseos (1706) de William Jones, présentant la série de John Machin.
La formule de Machin fut découverte en 1706 par John Machin et relie le nombre π à la fonction trigonométrique arctangente :
Cette formule permet de calculer une approximation du nombre π grâce au développement en série entière de la fonction arctangente. John Machin l'utilisa pour obtenir les cent premières décimales de π.
On peut démontrer la formule de Machin en utilisant l'identité trigonométrique
Une façon moderne de présenter le résultat est de le relier aux propriétés des nombres complexes. La formule de Machin découle alors de l'identité suivante entre nombres complexes :
En effet, on peut montrer l'équivalence suivante :
Ceci permet de conclure en remarquant que l'on peut encore remplacer par et en vérifiant que est strictement compris entre et .
Le développement de arctan en série entière fournit la méthode de calcul suivante :
D'autres formules du même type ont été découvertes, et on appelle « formules du type de Machin » les formules de la forme :
où les et les sont des entiers.
Il n'existe que trois autres formules du type de Machin avec deux termes seulement. Elles ont été découvertes respectivement par Euler, Hermann et Hutton (1776, utilisée par Vega en 1789) :
Elles découlent respectivement des identités suivantes entre nombres complexes :
Il est en fait possible de construire une infinité de formules de ce type en utilisant plus de termes, mais seules les formules les plus efficaces historiquement pour calculer le nombre sont devenues célèbres.
La recherche de formules de Machin efficaces se fait désormais systématiquement à l'aide d'ordinateurs. Les formules les plus efficaces du type de Machin actuellement connues pour calculer π sont :
Il existe d'autres formules qui convergent plus rapidement vers π, comme la formule de Ramanujan, mais elles ne sont pas du type de Machin.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.