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 . La notation est arctan[1] ou Arctan[2] (on trouve aussi Atan, arctg en notation française ; atan ou tan−1, en notation anglo-saxonne, cette dernière pouvant être confondue avec la notation de l'inverse (1/tan)).
Pour tout réel x :
.
Dans un repère cartésienorthonormé 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 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)
.
Le développement en série de Taylor de la fonction arc tangente[4] est :
.
Cette série entièreconverge 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).
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 :
.
Équation fonctionnelle
On peut déduire arctan(1/x) de arctan x et inversement, par les équations fonctionnelles suivantes :
;
.
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 :
et
donc
.
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
.
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 :
.
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 et .
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 :
.
La fonction arc tangente joue un rôle important dans l'intégration des expressions de la forme
Si le discriminantD = b2 – 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
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.