Si une fonction
f est continue, strictement monotone et dérivable sur un intervalle
I de
R, et si sa dérivée
f′ ne s'annule pas sur
I, alors sa fonction réciproque
Rf est dérivable sur f(I). Et on a
f(Rf(x))=Rf(f(x))=x. Ceci s'écrit encore :
(f∘Rf)(x)=(Rf∘f)(x)=x.
Dans ce cas, par application de la formule de dérivation composée, on a :
(f∘Rf)′(x)=x′⟺f′(Rf(x))×Rf′(x)=1Ce qui implique que :
Rf′(x)=f′(Rf(x))1Posons
f=tan, on sait que la fonction tangente est strictement croissante et dérivable sur l'intervalle
]−2π;2π[ de
R, et que sa fonction dérivée est telle que
(tan)′(x)=1+tan2(x). Dans ce cas on note par
Rtan=arctan.
Démontrer que, pour tout
x réel, on a :
(arctan)′(x)=1+x21Le graphe représentatif de la fonction
arctan est le suivant :
On constate alors que :
∙arctan(0)=0 ∙x⟶+∞limarctan(x)=2π ∙x⟶−∞limarctan(x)=−2π