logo
Немного по МАТАНУ

28 Производная обратной функции

Пусть -- непрерывная функция, монотонная на интервале. Тогда, как мы доказали в гл. 3, функцияимеет обратную функцию, которая также является непрерывной и монотонной функцией на интервале, в который функцияпереводит интервал. Пусть-- фиксированная точка и-- точка, ей соответствующая. Тогда.

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

(4.14)

Доказательство. Дадим аргументуприращение, такое что, и рассмотрим соответствующее приращение, определяемое равенством. Тогда, очевидно,; при этом, а из монотонности функцииследует, что. Поскольку как функция, так и функциянепрерывны, то условияиэквивалентны. Составим теперь разностное отношение для функциии запишем для него очевидное равенство:

Теперь перейдём в этом равенстве к пределу при и учтём, что при этомтоже стремится к 0:

что мы и хотели доказать.