Пусть функция монотонна на отрезке и имеет во всех точках интервала ненулевую производную . Тогда обратная функция дифференцируема во всех точках интервала и для любого ее производная равна

.