Теорема: пусть функция y=f(x) строго монотонна и непрерывна в некоторой окресности точки х0, ри этом требуется чтобы существовала f` ([0) не равная 0, тогда ее обратная функция х= фи(у) тоже имеет производную тв точке у0. Те производная обратной функции равна величине для производной исходной функции.