Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Fonctions circulaires réciproques : Fonction arctan Fonctions circulaires réciproques/Fonction arctan », n'a pu être restituée correctement ci-dessus.
On a tracé ci-dessous la courbe représentative de arctan sur
R
{\displaystyle \mathbb {R} }
. Elle se déduit de celle de tangente par une symétrie axiale par rapport à la première bissectrice du repère.
Propriété
La fonction arctan est strictement croissante sur
R
{\displaystyle \mathbb {R} }
.
Tableau de variation
x
−
∞
{\displaystyle -\infty }
+
∞
{\displaystyle +\infty }
arctan
{\displaystyle \arctan }
+
π
2
{\displaystyle +{\frac {\pi }{2}}}
↗
{\displaystyle \nearrow }
−
π
2
{\displaystyle -{\frac {\pi }{2}}}
Début d’un théorème
Théorème
La fonction arctan est dérivable sur
R
{\displaystyle \mathbb {R} }
et sa dérivée vaut :
arctan
′
(
x
)
=
1
1
+
x
2
{\displaystyle \arctan '(x)={\frac {1}{1+x^{2}}}}
.
Fin du théorème
Démonstration
Appliquons le théorème sur la dérivée d'une bijection réciproque aux bijections
f
=
tan
:
]
−
π
2
,
+
π
2
[
→
R
{\displaystyle f=\tan :\left]-{\frac {\pi }{2}},+{\frac {\pi }{2}}\right[\to \mathbb {R} }
et
f
−
1
=
arctan
:
R
→
]
−
π
2
,
+
π
2
[
{\displaystyle f^{-1}=\arctan :\mathbb {R} \to \left]-{\frac {\pi }{2}},+{\frac {\pi }{2}}\right[}
.
Puisque
∀
y
∈
]
−
π
2
,
+
π
2
[
tan
′
(
y
)
=
1
+
tan
2
y
≠
0
{\displaystyle \forall y\in \left]-{\frac {\pi }{2}},+{\frac {\pi }{2}}\right[\quad \tan '(y)=1+\tan ^{2}y\neq 0}
,
la fonction
arctan
{\displaystyle \arctan }
est dérivable et
∀
x
∈
R
arctan
′
(
x
)
=
1
1
+
tan
2
(
arctan
(
x
)
)
=
1
1
+
x
2
{\displaystyle \forall x\in \mathbb {R} \quad \arctan '(x)={\frac {1}{1+\tan ^{2}(\arctan(x))}}={\frac {1}{1+x^{2}}}}
.
Début d’un théorème
Théorème
Si
x
y
≠
1
{\displaystyle xy\neq 1}
,
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}}}
Fin du théorème
Démonstration
Supposons
x
y
≠
1
{\displaystyle xy\neq 1}
et posons
a
=
arctan
x
,
b
=
arctan
y
{\displaystyle a=\arctan x,b=\arctan y}
et calculons la tangente de la somme :
tan
(
a
+
b
)
=
tan
a
+
tan
b
1
−
tan
a
tan
b
=
x
+
y
1
−
x
y
.
{\displaystyle \tan(a+b)={\frac {\tan a+\tan b}{1-\tan a\tan b}}={\frac {x+y}{1-xy}}.}
Il suffit pour conclure de remarquer que
a
+
b
∈
{
]
−
π
/
2
,
π
/
2
[
si
x
y
<
1
,
]
π
/
2
,
π
[
si
x
y
>
1
avec
x
(et
y
)
>
0
,
]
−
π
,
−
π
/
2
[
si
x
y
>
1
avec
x
(et
y
)
<
0.
{\displaystyle a+b\in {\begin{cases}\left]-\pi /2,\pi /2\right[&{\text{si }}xy<1,\\\left]\pi /2,\pi \right[&{\text{si }}xy>1{\text{ avec }}x{\text{ (et }}y{\text{) }}>0,\\\left]-\pi ,-\pi /2\right[&{\text{si }}xy>1{\text{ avec }}x{\text{ (et }}y{\text{) }}<0.\end{cases}}}