En matemática, la inversa de una función biyectiva es una función que a cada elemento del codominio de le asigna un elemento del dominio de , de forma que (ver el artículo función inversa para una definición formal). La inversa de se denota como . Las expresiones y son equivalentes.
Sus respectivas derivadas, asumiendo que existen, son recíprocas, tal y como se deduce a partir de la notación de Leibniz:
Escribiendo explícitamente la dependencia de respecto y el punto donde se calcula la derivada y usando la notación de Lagrange, la fórmula de la derivada de la inversa es
Geométricamente, una función y su inversa tienen gráficas que son reflexiones respecto la recta . Esta reflexión transforma el gradiente de cualquier línea en su recíproco.
Asumiendo que tiene inverso en un entorno de y que su derivada en este punto es distinta de cero, su inversa será diferenciable en y que su derivada viene dada por la expresión anterior.
Si para la función y = f(x) existe una función inversa x = h(y) tal que en un punto tiene derivada h'(y) y no nula, entonces la función y = f(x) , en el punto correspondiente x, tiene derivada f'(x) igual a 1/ h'(y), o sea, se cumple la fórmula
Eso solamente es útil si la integral existe. En particular, necesitamos que sea distinta de cero en el rango de integración.
De aquí se deduce que una función con derivada continua tiene inverso en el entorno de cualquier punto que tenga derivada distinta de cero. Eso podría no ser cierto si la derivada no fuese continua.
La regla de la cadena dada arriba se obtiene derivando la identidad respecto . Podemos seguir el mismo proceso para derivadas superiores. Diferenciando la relación respecto dos veces, obtenemos
o sustituyendo la primera derivada usando la fórmula de arriba,