Formule de Viète
En mathématiques, la formule de Viète est le produit infini suivant des radicaux imbriqués représentant le nombre π :
- .
Elle est nommée d'après François Viète, qui l'a publiée en 1593 dans son Variorum de rebus mathematicis responsorum, liber VIII[2].
Signification
À l'époque où Viète publiait sa formule, des méthodes d'approximation de π étaient connues depuis longtemps. La méthode de Viète peut être interprétée comme une variation d'une idée d'Archimède d'approximation du périmètre d'un cercle par celui d'un polygone, utilisée par Archimède pour trouver l'approximation
- .
Cependant, en publiant sa méthode comme formule mathématique, Viète a formulé la première occurrence connue d'un produit infini en mathématiques[3],[4], et le premier exemple d'une formule explicite pour la valeur exacte de π[5],[6]. En tant que première formule représentant un nombre résultant d'un processus infini plutôt que d'un calcul fini, la formule de Viète a été considérée comme le début de l'analyse mathématique[7], et plus largement comme « l'aube des mathématiques modernes[8] ».
En utilisant sa formule, Viète a calculé π avec une précision de neuf chiffres après la virgule. Cependant, ce n'était pas l'approximation la plus précise de π connue à l'époque. En effet, le mathématicien perse Al-Kashi avait calculé π à une précision de neuf chiffres sexagésimaux, soit 16 chiffres décimaux, en 1424. Peu de temps après la publication de la formule par Viète, Ludolph van Ceulen a utilisé une méthode similaire pour calculer 35 décimales de π, qui n'ont été publiées qu'après la mort de van Ceulen en 1610.
Interprétation et convergence
La formule de Viète peut être réécrite et comprise comme l'expression d'une limite
où , avec [9]. Le concept de limite et les preuves rigoureuses de convergence ont été développés en mathématiques bien après l'œuvre de Viète ; la première preuve que cette limite existe n'a été donnée qu'en 1891, par Ferdinand Rudio[10].
La vitesse de convergence d'une suite régit le nombre de termes de l'expression nécessaires pour atteindre un nombre donné de décimales. Dans le cas de la formule de Viète, il existe une relation linéaire entre le nombre de termes et le nombre de décimales : le produit des n premiers facteurs donne une expression de π précise à environ 0,6n décimales[11],[12]. Ce graphique compare les vitesses de convergence de plusieurs méthodes et montre la suprématie du produit de Wallis, un produit infini plus tardif pour calculer π. Bien que Viète lui-même n'ait utilisé sa formule que pour calculer 9 décimales de π, une version modifiée de sa formule a été utilisée pour calculer des centaines de milliers de décimales de π [11].
Formules proches
La formule de Viète peut être obtenue comme cas particulier d'une formule donnée plus d'un siècle plus tard par Leonhard Euler. Euler a découvert que
- [13].
En posant x = π2 puis en calculant chaque facteur du produit, on obtient la formule de Viète.
On peut aussi déduire la formule de Viète de la formule suivante pour π, qui implique toujours des racines carrées imbriquées de 2, mais n'utilise qu'une seule multiplication[14] :
De nos jours, de nombreuses formules similaires à celle de Viète impliquant des radicaux imbriqués ou des produits infinis de fonctions trigonométriques sont connues pour π, ainsi que pour d'autres constantes telles que le nombre d'or[15],[16],[17],[18],[19],[20],[21].
Démonstration
Viète a obtenu sa formule en comparant les aires des polygones réguliers avec 2n et 2n + 1 côtés inscrits dans un cercle. Le premier terme du produit, , est le rapport des aires d'un carré et d'un octogone, le deuxième terme est le rapport des aires d'un octogone et un hexadécagone, etc. Ainsi, le produit se télescope pour donner le rapport des aires d'un carré à un cercle. Les facteurs du produit peuvent aussi être interprétés comme des rapports de périmètres de la même suite de polygones, en commençant par le rapport des périmètres d'un digone (le diamètre du cercle, compté deux fois) et d'un carré, le rapport des périmètres d'un carré et d'un octogone, etc[22].
Une autre preuve est possible en utilisant, comme expliqué ci-dessus, la formule d'Euler.
Références
- Seconde moitié de la p. 30 : aperçu sur Google Livres.
- (en) Petr Beckmann (en), A History of Pi (en), Boulder, CO, The Golem Press, , 2e éd., 200 p. (ISBN 978-0-88029-418-8, MR 0449960, lire en ligne), p. 94-95.
- (en) Michael J. De Smith, Maths for the Mystified : An Exploration of the History of Mathematics and Its Relationship to Modern-day Science and Computing, Troubador Publishing, , 203 p. (ISBN 978-1-905237-81-4, lire en ligne), p. 165.
- (en) Samuel G. Moreno et Esther M. García-Caballero, « On Viète-like formulas », J. Approx. Theory (en), vol. 174, , p. 90-112 (DOI 10.1016/j.jat.2013.06.006).
- (en) Kent E. Morrison, « Cosine products, Fourier transforms, and random sums », Amer. Math. Month., vol. 102, no 8, , p. 716-724 (DOI 10.2307/2974641).
- (en) Keith B. Oldham, Jan C. Myland et Jerome Spanier, An Atlas of functions : with equator, the atlas function calculator, New York, NY, Springer, (ISBN 978-0-387-48807-3, lire en ligne), p. 15.
- (en) Eli Maor, Trigonometric Delights, Princeton University Press, , 256 p. (ISBN 978-1-4008-4282-7, lire en ligne), p. 50, 140.
- (en) Jonathan M. Borwein, « The Life of Pi: From Archimedes to ENIAC and Beyond », dans Nathan Sidoli et Glen Van Brummelen, From Alexandria, Through Baghdad: Surveys and Studies in the Ancient Greek and Medieval Islamic Mathematical Sciences in Honor of J.L. Berggren, Springer, (ISBN 9783642367359, DOI 10.1007/978-3-642-36736-6_24, lire en ligne), p. 531-561.
- (en) Pierre Eymard et Jean-Pierre Lafon, The Number , AMS, , 322 p. (ISBN 978-0-8218-3246-2, lire en ligne), chap. 2.1 (« Viète's infinite product »), p. 44-46.
- (de) F. Rudio, « Über die Konvergenz einer von Vieta herrührenden eigentümlichen Produktentwicklung », Z. Math. Phys., vol. 36, Historisch-literarische Abtheilung, , p. 139-140 (lire en ligne).
- (en) Rick Kreminski, « π to Thousands of Digits from Vieta's Formula », Mathematics Magazine, vol. 81, no 3, , p. 201-207 (JSTOR 27643107).
- (en) T. J. Osler, « A simple geometric method of estimating the error in using Vieta's product for π », International Journal of Mathematical Education in Science and Technology, vol. 38, no 1, , p. 136-142 (DOI 10.1080/00207390601002799).
- Pour une démonstration, voir par exemple .
- (en) L. D. Servi, « Nested square roots of 2 », Amer. Math. Month., vol. 110, no 4, , p. 326-330 (DOI 10.2307/3647881).
- (en) M. A. Nyblom, « Some closed-form evaluations of infinite products involving nested radicals », Rocky Mt. J. Math., vol. 42, no 2, , p. 751-758 (DOI 10.1216/RMJ-2012-42-2-751).
- (en) Samuel G. Moreno et Esther M. García-Caballero, « On Viète-like formulas », J. Approx. Theory, vol. 174, , p. 90-112 (DOI 10.1016/j.jat.2013.06.006).
- (en) Aaron Levin, « A geometric interpretation of an infinite product for the lemniscate constant », Amer. Math. Month., vol. 113, no 6, , p. 510-520 (DOI 10.2307/27641976).
- (en) Aaron Levin, « A new class of infinite products generalizing Viète's product formula for π », Ramanujan Journal, vol. 10, no 3, , p. 305-324 (DOI 10.1007/s11139-005-4852-z).
- (en) Thomas J. Osler, « Vieta-like products of nested radicals with Fibonacci and Lucas numbers », Fibonacci Q., vol. 45, no 3, , p. 202-204.
- (en) Kenneth B. Stolarsky, « Mapping properties, growth, and uniqueness of Vieta (infinite cosine) products », Pac. J. Math., vol. 89, no 1, , p. 209-227 (DOI 10.2140/pjm.1980.89.209, lire en ligne).
- (en) Edward J. Allen, « Continued radicals », Mathematical Gazette, vol. 69, no 450, , p. 261-263 (JSTOR 3617569).
- (en) Hansklaus Rummler, « Squaring the circle with holes », Amer. Math. Month., vol. 100, no 9, , p. 858-860 (DOI 10.2307/2324662).