π = … e= … ln(2) =
Une vieille série bien connue ! Comment développer en série 1/ (1 – x), si vous étiez au CO en 8e année ? Appliquons le théorème fondamental de l’analayse (TFCDI II). Majorons le reste ! La série de N. Mercator (1668) La série de J. Gregory (1720) Le théorème d’Abel (1826)
Les trois séries: Mercator : Gregory : Abel :
Remarque concernant e L’année dernière nous avions prouvé (cf. exercice 56) qu’un certain nombre e pouvait s’obtenir de deux manières : Cette année nous avons posé que e est la préimage de 1 par la fonction ln. À démontrer : les deux e sont identiques !
Objetif : démontrer la formule de Leibniz & Gregory (1668) Pour “passer” de l’irrationnel au rationnel on considère la fonction trigonométrique tan(x). (ainsi sa réciproque permettra de d’approcher l’irrationnel à partir du rationnel). En deux mots : calculer de deux manières !
Marche à suivre : 1) Démontrer que arctan est une fonction strictement croissante qui envoie π/4 sur 1. 2) Calculer la dérivée de arctan 3) Utiliser le TFCDI (II) sur l’un des membres 4) Utiliser le développement en série sur l’autre 5) Conclure !
Généralisation…et prolongation ! Si à la place de 1 (de la borne supérieure) l’on considère un |t|<1 alors l’on obtient (par le même raisonnement) : Montrer que tan(π/6) = 1/sqrt(3) puis. déduire Série utilisée par Th. F. de Lagny pour calculér π avec 127 décimales de précision (en 1719).
Des “petits trucs” à la Euler Utiliser les formules d’addition du sin et de cos pour déduire une formule d’addition du tan. Rappel : L. Euler Utiliser la formule précédente pour calculer en prenant et en prenant a=1/2 et b=1/3. Réponse : π/4 = arctan(1/2) + arctan(1/3)
De l’intégration par parties à la formule de Taylor-Maclaurin …. (cf. document papier)
Et si vous n’avez pas tout compris ce n’est pas grave, vous allez pouvoir travailler à partir des documents papiers…ou encore mieux : consultez le site Calvin /maths/ Wanner / brochures d’Analyse… Thanks for listening & bye-bye! Référence : L’anaylse au fil de l’histoire de E. Hairer & G. Wanner (Springer Verlag)