Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
28
Добавлен:
11.05.2014
Размер:
71.23 Кб
Скачать

27. Теорема о производной обратной функции.

Докажем теорему, позволяющую находить производную функции y=f(x), зная производную обратной функции.

Теорема. Если для функции y=f(x) существует обратная функция x=g(y), которая в некоторой точке у0 имеет производную g '(y0), отличную от нуля, то в соответствующей точке x0=g(x0) функция y=f(x) имеет производную f '(x0),

равную

1

, т.е. справедлива формула f ' x =

1

.

g ' y0

g ' y

 

 

 

Доказательство. Т.к. x=g(y) дифференциируема в точке y0,

то x=g(y) непрерывна в этой точке, поэтому функция y=f(x) непрерывна в точке x0=g(y0). Следовательно, при Δx→0 Δy→0.

Покажем, что lim

Δx

= lim

Δx .

 

 

 

Δx 0

Δy

Δy 0

Δy

 

 

Пусть lim

Δx =b . Тогда по свойству предела

Δx

=b a Δx . Перейдем в

Δx 0

Δy

 

 

 

Δy

 

этом равенстве к пределу при Δy→0. Тогда Δx→0 и α(Δx)→0, т.е. lim Δx =b .

Δy 0 Δy

Следовательно,

 

Δy

 

 

1

 

 

1

 

 

1

 

f ' x = lim

= lim

 

Δx

 

=

 

=

,

 

 

 

 

 

 

Δx 0

Δx

Δx 0

Δy

 

 

lim

Δx

 

g ' y

 

 

 

 

 

 

 

 

Δx 0

Δy

 

 

 

что и требовалось доказать.

Эту формулу можно записать в виде y ' x= x1' y .

Функция sin.

y = arcsin x. Рассмотрим обратную функцию x = sin y. Эта функция в интервале

– π/2<y<π/2 монотонна. Ее производная x ' = cos y не обращается в этом интервале в нуль. Следовательно, по теореме о производной обратной функции

y ' x= x1' y = cos1 y .

Но на (–π/2; π/2) cos y= 1sin2 y= 1x2 . Поэтому

arcsin x

' =

1

 

 

 

 

 

 

1x2

 

arccos x ' =−

1

 

- доказывается аналогично

 

 

 

1x2

Функция tg.

y = arctg x. Эта функция по определению удовлетворяет условию существования обратной функции на интервале –π/2< y < π/2. При этом обратная функция x = tg

y монотонна. По ранее доказанному x ' = cos12 y .

Следовательно, y ' = cos2 y . Но

cos2 y=

 

1

 

=

1

 

.

 

2

y

1 x

2

 

 

1 tg

 

 

 

 

Поэтому

 

 

 

 

 

 

 

 

 

arctg x ' =

1

 

 

 

 

 

 

1 x2

 

 

 

 

 

 

 

 

 

 

 

 

 

Функция e.

y = ex. Обратной для этой функции является функция x= ln y. Мы уже доказали, что x ' y= ln y ' = 1y . Поэтому согласно сформулированной выше теореме

y ' x= x1' y = y=ex

Итак, ex ' =e x

Соседние файлы в папке шпоры по матану