Пусть функция y = f(x) строго монотонна и непрерывна на интервале (a,b), содержащем внутри себя точку x₀.

Пусть в точке х₀ она имеет конечную и отличную от нуля производную f ^'(x₀).

Тогда для обратной функции x = g(y) в соответствующей точке y₀ = f(x₀) тоже существует производная, равная

.