Fie o funcție a argumentului într-un interval oarecare . Dacă luăm în considerare un argument din ecuație și o funcție, atunci apare o nouă funcție unde funcția este inversă celei date .
Pentru o funcție diferențiabilă cu derivată diferită de zero, derivata funcției inverse este egală cu reciproca derivatei funcției date în punctul , i.e.
[unu] DovadaFie o funcție diferențiabilă, .
Fie incrementul variabilei independente și incrementul corespunzător al funcției inverse .
Să scriem identitatea
Trecând în această egalitate la limita la , care implică tendința spre zero ( ), obținem:
, unde este derivata funcției inverse.cometariu
Dacă folosim notația Leibniz, atunci formula de mai sus ia forma