∀x∈R?,f0
4(x) = 0.
On en déduit que f4est constante sur tout intervalle inclus dans R?, donc elle est constante
sur R?
−et constante sur R?
+. En x=1, on obtient f4(1) = Arctan (1) + Arctan (1) = 2·π
4=π
2.
Par imparité évidente de f4, on obtient finalement, en notant sgn la fonction signe, qui associe
à tout réel non nul xle nombre sgn(x) = x
|x|∈{±1}(et à 0 le nombre sgn(0) = 0, ce qui ne sert
pas ici...),
∀x∈R?,Arctan (x) + Arctan Ç1
xå=sgn(x)·π
2.
Exercice 3 Fonction réciproque de th.
1. Montrer que la fonction th admet une fonction réciproque dérivable, qu’on notera Argth et
dont on précisera l’ensemble de définition DArgth .
La fonction th est dérivable sur l’intervalle Ret sa dérivée th 0=1
ch2est strictement positive
en tout point de R, donc le théorème des fonctions réciproques, version dérivable, assure que
th admet une fonction réciproque th −1, qu’on note classiquement Argth, qui est définie et
dérivable sur l’intervalle image
DArgth =th(R) =] −1,1[.
Comme th est strictement croissante, on sait de plus que Argth l’est aussi.
2. Montrer que pour tout x∈DArgth , Argth 0(x) = 1
1−x2. Retrouver ainsi les variations de
Argth et donner ses limites aux bornes de DArgth .
Le théorème précédent donne aussi une formule pour la dérivée de la fonction réciproque :
Argth0=1
th0◦Argth . Or th 0=1−th 2, donc, pour x∈]−1,1[,
Argth0(x) = 1
1−th2(Argth(x)) =1
1−x2.
Pour x∈]−1,1[, 1−x2>0, et on retrouve ainsi que la fonction Argth est strictement croissante.
Comme lim
x→−∞th(x) = −1+, on a lim
x→−1+Argth(x) = −∞et de même lim
x→1−Argth(x) = +∞.
3. Trouver deux réels aet btels que, pour tout x∈R\ {−1,1},
1
1−x2=a
x+1+b
x−1.
On trouve a=1
2, par exemple en multipliant l’égalité par x+1 et en faisant tendre xvers −1.
Par un raisonnement analogue, on trouve b=−1
2.Quelle que soit la méthode employée, il est
4