Arctg

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

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

]

−

π

2

,

π

2

[

{\displaystyle \left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[}

. Elle est notée arctan ou Arctan , mais aussi Atan ou arctg en français et atan ou tan−1 en anglais (attention de bien écrire

1

tan

⁡

x

=

(

tan

⁡

x

)

−

1

{\displaystyle {\frac {1}{\tan x}}=(\tan x)^{-1}}

et non

tan

−

1

⁡

(

x

)

{\displaystyle \tan ^{-1}(x)}

).

Pour tout réel x :

y

=

arctan

⁡

x

⟺

tan

⁡

y

=

x

et

y

∈

]

−

π

2

,

π

2

[

{\displaystyle 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

]

−

π

2

,

π

2

[

{\displaystyle \left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[}

par une réflexion d'axe la droite d'équation y = x (puisqu'elle en est la fonction réciproque).

Cette fonction réelle se prolonge au plan complexe en une fonction holomorphe sur

C

∖

(

]

−

∞

,

−

1

]

i

∪

[

1

,

+

∞

[

i

)

{\displaystyle \mathbb {C} \setminus \left(]-\infty ,-1]{\rm {i}}\cup [1,+\infty [{\rm {i}}\right)}

.

Parité

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

arctan

⁡

(

−

x

)

=

−

arctan

⁡

x

{\displaystyle \arctan(-x)=-\arctan x}

.

Dérivée

La fonction arctan est dérivable (voir à dérivée d'une fonction réciproque) et vérifie :

arctan

′

⁡

(

x

)

=

1

1

+

x

2

{\displaystyle \arctan '(x)={\frac {1}{1+x^{2}}}}

.

Développement en série de Taylor

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

∑

k

=

0

∞

(

−

1

)

k

x

2

k

+

1

2

k

+

1

=

x

−

1

3

x

3

+

1

5

x

5

−

1

7

x

7

+

⋯

{\displaystyle \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 }

.

Bien que fonction arc tangente soit définie pour tout réel, cette série entière converge vers arctan uniquement pour

|

x

|

⩽

1

{\displaystyle |x|\leqslant 1}

. On peut donc énoncer :

∀

x

∈

[

−

1

,

1

]

arctan

⁡

x

=

∑

k

=

0

∞

(

−

1

)

k

x

2

k

+

1

2

k

+

1

=

x

−

1

3

x

3

+

1

5

x

5

−

1

7

x

7

+

⋯

{\displaystyle \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 }

.

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 :

π

4

=

1

−

1

3

+

1

5

−

1

7

+

…

{\displaystyle {\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 :

∀

x

∈

R

+

∗

arctan

⁡

1

x

+

arctan

⁡

x

=

π

2

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

;

∀

x

∈

R

−

∗

arctan

⁡

1

x

+

arctan

⁡

x

=

−

π

2

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

.

Fonction réciproque

Par définition, la fonction arc tangente est la fonction réciproque de la restriction de la fonction tangente à l'intervalle

]

−

π

2

,

π

2

[

{\displaystyle \left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[}

:

∀

x

∈

R

y

=

arctan

⁡

x

⟺

tan

⁡

y

=

x

et

y

∈

]

−

π

2

,

π

2

[

{\displaystyle \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

−

π

2

{\displaystyle -{\frac {\pi }{2}}}

et

π

2

{\displaystyle {\frac {\pi }{2}}}

.

Intégration

Primitive

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

∫

0

x

arctan

⁡

t

d

t

=

x

arctan

⁡

x

−

1

2

ln

⁡

(

1

+

x

2

)

{\displaystyle \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

1

a

x

2

+

b

x

+

c

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

Si le discriminant D = 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

u

=

2

a

x

+

b

|

D

|

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

qui donne pour l'expression à intégrer

4

a

|

D

|

1

1

+

u

2

.

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

L'intégrale est alors

2

|

D

|

arctan

⁡

2

a

x

+

b

|

D

|

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

.

Formule remarquable

Si xy ≠ 1, alors :

arctan

⁡

x

+

arctan

⁡

y

=

arctan

⁡

x

+

y

1

−

x

y

+

k

π

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

où

k

=

{

0

si

x

y

<

1

,

1

si

x

y

>

1

avec

x

(et

y

)

>

0

,

−

1

si

x

y

>

1

avec

x

(et

y

)

<

0.

{\displaystyle 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}}}

D'où, si

|

x

|

≠

1

{\displaystyle |x|\neq 1}

, alors :

2

arctan

⁡

x

=

arctan

⁡

2

x

1

−

x

2

+

k

π

{\displaystyle 2\arctan x=\arctan {\frac {2x}{1-x^{2}}}+k\pi }

où

k

=

{

0

si

|

x

|

<

1

,

1

si

x

>

1

,

−

1

si

x

<

−

1.

{\displaystyle k={\begin{cases}0&{\text{si }}|x|<1,\\1&{\text{si }}x>1,\\-1&{\text{si }}x<-1.\end{cases}}}

De même, pour

y

=

1

{\displaystyle y=1}

, on peut trouver une formule impliquant l'involution

x

↦

1

−

x

1

+

x

{\displaystyle x\mapsto {\frac {1-x}{1+x}}}

:

arctan

⁡

x

+

arctan

⁡

(

1

−

x

1

+

x

)

=

π

4

−

k

π

{\displaystyle \arctan x+\arctan \left({\frac {1-x}{1+x}}\right)={\frac {\pi }{4}}-k\pi }

avec

k

=

{

0

si

x

>

−

1

,

1

si

x

<

−

1.

{\displaystyle k={\begin{cases}0&{\text{si }}x>-1,\\1&{\text{si }}x<-1.\end{cases}}}

Autres utilisations

La forme en S de cette fonction fait qu'elle fait partie des fonctions dites sigmoïdes[citation nécessaire]. 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.

Extension aux nombres complexes

Comme, pour

u

{\displaystyle u}

complexe différent de

π

/

2

+

k

π

,

k

∈

Z

{\displaystyle \pi /2+k\pi ,k\in \mathbb {Z} }

, la fonction tangente complexe vérifie

tan

⁡

u

=

e

2

i

u

−

1

e

2

i

u

+

1

{\displaystyle \tan u={\frac {{\rm {e}}^{2{\rm {iu}}}-1}{{\rm {e}}^{2{\rm {i}}u}+1}}}

, la relation

tan

⁡

u

=

z

{\displaystyle \tan u=z}

équivaut à

e

2

i

u

=

1

+

i

z

1

−

i

z

{\displaystyle {\rm {e}}^{2{\rm {i}}u}={\frac {1+{\rm {i}}z}{1-{\rm {i}}z}}}

. On définit donc, pour

z

{\displaystyle z}

complexe différent de

i

et

−

i

{\displaystyle {\rm {i{\text{ et }}-{\rm {i}}}}}

la fonction complexe multivaluée arc tangente par :

a

r

c

t

a

n

z

=

1

2

i

ln

1

+

i

z

1

−

i

z

{\displaystyle {\rm {arctan}}\ z={\frac {1}{2{\rm {i}}}}{\ln }{\frac {1+{\rm {i}}z}{1-{\rm {i}}z}}}

,

fonction définie à

k

π

{\displaystyle k\pi }

près, la fonction logarithme népérien complexe étant définie à

2

i

k

π

{\displaystyle 2{\rm {i}}k\pi }

près.

La détermination principale de la fonction arc tangente complexe est alors définie pour

z

{\displaystyle z}

dans

C

{\displaystyle \mathbb {C} }

privé des deux demi-droites ]–∞, –1]i et [1, +∞[i de l'axe imaginaire pur par

A

r

c

t

a

n

z

=

1

2

i

L

1

+

i

z

1

−

i

z

{\displaystyle {\rm {Arctan}}\ z={\frac {1}{2{\rm {i}}}}{\rm {L}}{\frac {1+{\rm {i}}z}{1-{\rm {i}}z}}}

,

où

L

{\displaystyle {\rm {L}}}

est la détermination principale du logarithme népérien.

Cette définition concorde avec celle de la fonction

arctan

{\displaystyle \arctan }

définie sur les réels.Comme la fonction tangente complexe définit une bijection de

]

−

π

2

,

π

2

[

+

i

R

{\displaystyle \left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[+{\rm {i}}~\mathbb {R} }

dans

C

{\displaystyle \mathbb {C} }

privé des deux demi-droites ]–∞, –1]i et [1, +∞[i de l'axe imaginaire pur, prolongeant la fonction tangente réelle, la détermination principale de la fonction arc tangente complexe vérifie :

∀

z

∈

C

∖

(

i

(

]

−

∞

,

−

1

]

∪

[

1

,

+

∞

[

)

)

u

=

Arctan

z

⟺

tan

⁡

u

=

z

et

u

∈

]

−

π

2

,

π

2

[

+

i

R

{\displaystyle \forall z\in \mathbb {C} \setminus {\big (}{\rm {i}}\left(]-\infty ,-1]\cup [1,+\infty [\right){\big )}\quad u={\text{Arctan}}z\iff \tan u=z{\text{ et }}u\in \left]-{\frac {\pi }{2}},{\frac {\pi }{2}}\right[+{\rm {i}}~\mathbb {R} }

. Le développement en série entière, valable pour

|

z

|

⩽

1

,

z

≠

i

,

−

i

{\displaystyle |z|\leqslant 1,z\neq {\text{i}},-{\text{i}}}

est :

Arctan

z

=

∑

k

=

0

∞

(

−

1

)

k

z

2

k

+

1

2

k

+

1

{\displaystyle {\text{Arctan }}z=\sum _{k=0}^{\infty }(-1)^{k}{\frac {z^{2k+1}}{2k+1}}}

.

De plus, par construction, cette détermination principale est reliée à la fonction argument tangente hyperbolique

∀

z

∈

C

∖

(

i

(

]

−

∞

,

−

1

]

∪

[

1

,

+

∞

[

)

)

A

r

c

t

a

n

z

=

1

i

Argtanh

⁡

(

i

z

)

{\displaystyle \forall z\in \mathbb {C} \setminus \left({\rm {i}}\left(]-\infty ,-1]\cup [1,+\infty [\right)\right)\quad {\rm {Arctan}}z={\frac {1}{\rm {i}}}\operatorname {Argtanh} ({\rm {i}}z)}

.

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

Notes et références

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

Portail de la géométrie Portail de l'analyse