Arc tangente

En mathématiques, l’arc tangente d'un nombre réel est la valeur d'un angle orienté dont la tangente vaut ce nombre.

Fonction arc tangente

Représentation graphique de la fonction arc tangente.

Notation	$\arctan(x)$
Réciproque	$\tan(x)$ sur $\left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[$
Dérivée	${\frac {1}{1+x^{2}}}$
Primitives	$x\,\arctan x-{\frac {1}{2}}\ln \left(1+x^{2}\right)+C$

Principales caractéristiques

Ensemble de définition	$\mathbb {R}$
Ensemble image	$\left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[$
Parité	impaire

Valeurs particulières

Valeur en zéro	0
Limite en +∞	${\frac {\pi }{2}}$
Limite en −∞	$-{\frac {\pi }{2}}$

Particularités

Asymptotes	$y={\frac {\pi }{2}}$ en $+\infty$ $y=-{\frac {\pi }{2}}$ en $-\infty$

La fonction qui à tout nombre réel associe la valeur de son arc tangente en radians est la réciproque de la restriction de la fonction trigonométrique tangente à l'intervalle $\left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[$. La notation est arctan ou Arctan (on trouve aussi Atan, arctg en notation française ; atan ou tan⁻¹, en notation anglo-saxonne, cette dernière pouvant être confondue avec la notation de l'inverse (1/tan)).

Pour tout réel x :

$y=\arctan x\iff \tan y=x{\text{ et }}y\in \left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[$.

Dans un repère cartésien orthonormé du plan, la courbe représentative de la fonction arc tangente est obtenue à partir de la courbe représentative de la restriction de la fonction tangente à l'intervalle $\left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[$ par une réflexion d'axe la droite d'équation y = x.

Parité

La fonction arctan est impaire, c'est-à-dire que (pour tout réel x) $\arctan(-x)=-\arctan x$.

Dérivée

Comme dérivée d'une fonction réciproque, arctan est dérivable et vérifie : $\arctan '(x)={\frac {1}{1+x^{2}}}$.

Développement en série de Taylor

Le développement en série de Taylor de la fonction arc tangente est :

$\forall x\in [-1,1]\quad \arctan x=\sum _{k=0}^{\infty }(-1)^{k}{\frac {x^{2k+1}}{2k+1}}=x-{\frac {1}{3}}x^{3}+{\frac {1}{5}}x^{5}-{\frac {1}{7}}x^{7}+\cdots$.

Cette série entière converge vers arctan quand |x| ≤ 1 et x ≠ ±i. La fonction arc tangente est cependant définie sur tout ℝ (et même — cf. § « Fonction réciproque » — sur un domaine du plan complexe contenant à la fois ℝ et le disque unité fermé privé des deux points ±i).

Voir aussi Fonction hypergéométrique#Cas particuliers.

Démonstration

La série entière

$\sum _{k=0}^{\infty }(-1)^{k}{\frac {x^{2k+1}}{2k+1}}$

est nulle en 0, son rayon de convergence vaut 1, et sa dérivée (sur le disque unité ouvert) est égale à la série géométrique

$\sum _{k=0}^{\infty }(-x^{2})^{k}={\frac {1}{1+x^{2}}}=\arctan '(x)$.

Elle coïncide donc sur ce disque avec la fonction arctan. De plus, d'après la démonstration du test de Dirichlet (par sommation par parties), cette série entière converge uniformément sur le disque unité fermé privé d'un voisinage arbitrairement petit de ±i. En ±i, elle diverge comme la série harmonique.

La fonction arctan peut être utilisée pour calculer des approximations de π ; la formule la plus simple, appelée formule de Leibniz, est le cas x = 1 du développement en série ci-dessus :

${\frac {\pi }{4}}=1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+\ldots$.

Équation fonctionnelle

On peut déduire arctan(1/x) de arctan x et inversement, par les équations fonctionnelles suivantes :

$\forall x\in \mathbb {R} _{+}^{*}\quad \arctan {\frac {1}{x}}+\arctan x={\frac {\pi }{2}}$ ;

$\forall x\in \mathbb {R} _{-}^{*}\quad \arctan {\frac {1}{x}}+\arctan x=-{\frac {\pi }{2}}$.

Démonstrations

Démontrons la première équation (la seconde s'en déduit par imparité, ou se démontre de même).

• Une première méthode est de vérifier que la dérivée est nulle.

On a en effet :

$\arctan 'x={\frac {1}{1+x^{2}}}$

et

$\left(\arctan {\frac {1}{x}}\right)'={\frac {-1}{x^{2}}}~{\frac {1}{1+{\frac {1}{x^{2}}}}}={\frac {-1}{1+x^{2}}}$

donc

$\left(\arctan {\frac {1}{x}}+\arctan x\right)'=0$.

On en déduit que arctan(1/x) + arctan x est constante sur ]0, +∞[, et l'on trouve facilement la valeur de cette constante en calculant par exemple la valeur prise en x = 1.

• Une deuxième méthode est de remarquer que pour tout x > 0, si θ désigne l'arctangente de x alors

${\frac {1}{x}}={\frac {1}{\tan \theta }}=\tan \left({\frac {\pi }{2}}-\theta \right)\qquad {\text{et}}\qquad 0<{\frac {\pi }{2}}-\theta <{\frac {\pi }{2}},\quad {\text{d'où}}$

$\arctan {\frac {1}{x}}={\frac {\pi }{2}}-\theta ={\frac {\pi }{2}}-\arctan x$.

• Une troisième méthode est de déduire cette formule de la formule remarquable ci-dessous en faisant tendre y vers 1/x par valeurs inférieures.

Fonction réciproque

Par définition, la fonction arc tangente est la fonction réciproque de la restriction de la fonction tangente à l'intervalle $\left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[$ : $\forall x\in \mathbb {R} \quad y=\arctan x\iff \tan y=x{\text{ et }}y\in \left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[$.

Ainsi, pour tout réel x, tan(arctan x) = x. Mais l'équation arctan(tan y) = y n'est vérifiée que pour y compris entre $-{\frac {\pi }{2}}$ et ${\frac {\pi }{2}}$.

Dans le plan complexe, la fonction tangente est bijective de ]–π/2, π/2[+iℝ dans ℂ privé des deux demi-droites ]–∞, –1]i et [1, +∞[i de l'axe imaginaire pur, d'après son lien avec la fonction tangente hyperbolique et les propriétés de cette dernière. La définition ci-dessus de arctan s'étend donc en : $\forall x\in \mathbb {C} \setminus {\big (}{\rm {i}}\left(]-\infty ,-1]\cup [1,+\infty [\right){\big )}\quad y=\arctan x\iff \tan y=x{\text{ et }}y\in \left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[+{\rm {i}}~\mathbb {R}$.

Logarithme complexe

Par construction, la fonction arctangente est reliée à la fonction argument tangente hyperbolique et s'exprime donc, comme elle, par un logarithme complexe :

$\forall x\in \mathbb {C} \setminus \left({\rm {i}}\left(]-\infty ,-1]\cup [1,+\infty [\right)\right)\quad \arctan x={\frac {1}{\rm {i}}}\operatorname {artanh} ({\rm {i}}x)={\frac {1}{2{\rm {i}}}}\ln {\frac {1+{\rm {i}}x}{1-{\rm {i}}x}}={\frac {\ln(1+{\rm {i}}x)-\ln(1-{\rm {i}}x)}{2{\rm {i}}}}$.

Intégration

Primitive

La primitive de la fonction arc tangente qui s'annule en 0 s'obtient grâce à une intégration par parties :

$\int _{0}^{x}\arctan t\;\mathrm {d} t=x\,\arctan x-{\frac {1}{2}}\ln \left(1+x^{2}\right)$.

Utilisation de la fonction arc tangente

La fonction arc tangente joue un rôle important dans l'intégration des expressions de la forme

${\frac {1}{ax^{2}+bx+c}}$

Si le discriminant D = b² – 4ac est positif ou nul, l'intégration est possible en revenant à une fraction partielle. Si le discriminant est strictement négatif, on peut faire la substitution par

$u={\frac {2ax+b}{\sqrt {|D|}}}$

qui donne pour l'expression à intégrer

${\frac {4a}{|D|}}~{\frac {1}{1+u^{2}}}.$

L'intégrale est alors

${\frac {2}{\sqrt {|D|}}}\arctan {\frac {2ax+b}{\sqrt {|D|}}}$.

Formule remarquable

Si xy ≠ 1, alors :

$\arctan x+\arctan y=\arctan {\frac {x+y}{1-xy}}+k\pi$

où

$k={\begin{cases}0&{\text{si }}xy<1,\\1&{\text{si }}xy>1{\text{ avec }}x{\text{ (et }}y{\text{) }}>0,\\-1&{\text{si }}xy>1{\text{ avec }}x{\text{ (et }}y{\text{) }}<0.\end{cases}}$

Autres utilisations

Quatre fonctions sigmoïdes (formes canoniques mises à l'échelle par rapport aux valeurs asymptotiques et à la pente à l'origine). La courbe en bleu représente la fonction arc tangente.

La forme en S de cette fonction fait qu'elle fait partie des fonctions dites sigmoïdes. Par rapport à la fonction logistique de Verhulst et la fonction erf, elle est celle qui est la plus lisse, c'est-à-dire celle qui est la plus longue à rejoindre ses asymptotes.

Notes et références

(de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Arkustangens und Arkuskotangens » (voir la liste des auteurs).

Voir aussi

Articles connexes

• Atan2
• Fonction circulaire réciproque
• L'arc tangente de tout rationnel non nul est irrationnel.
• Définition de la fonction arc tangente sur les complexes

Lien externe

(en) Eric W. Weisstein, « Inverse Tangent », sur MathWorld