Théorème :

Soit une fonction  strictement croissante et dérivable sur un intervalle ouvert non vide I de . La fonction dérivée ne s’annule pas sur I.
La fonction réciproque de est une application bijective de . La fonction est dérivable sur  et on a :