Si une fonction f est continue, strictement monotone et dérivable sur un intervalle I et si sa dérivée f ' ne s'annule pas sur I, alors sa fonction réciproque est dérivable sur f(I).
Si une fonction f est continue, strictement monotone et dérivable sur un intervalle I et si sa dérivée f ' ne s'annule pas sur I, alors sa fonction réciproque est dérivable sur f(I).