Fonction arc tangente
Période historique : 1671
Réciproque de la tangente, primitive de 1/(1+x^2) bornée par -pi/2 et pi/2.
Contenu & Formulation mathématique
Genèse & Portée historique
L'arc tangente est une fonction lisse strictement croissante définie sur tout R, admettant pour asymptotes horizontales y = -pi/2 en -infini et y = pi/2 en +infini. Sa série de Taylor a fourni la célèbre formule de Gregory-Leibniz pour pi.
James Gregory découvrit cette série en 1671 et John Machin l'utilisa en 1706 pour calculer 100 décimales de pi grâce à l'identité pi/4 = 4 arctan(1/5) - arctan(1/239).
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Fonction arc tangente
Bijection réciproque de la restriction de la fonction tangente à l'intervalle ouvert ]-pi/2, pi/2[.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Analysis & Infinity.