
шпоры по матану / 46407690-27
.pdf
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= 1−sin2 y= 1−x2 . Поэтому

arcsin x |
' = |
1 |
|
|
||||
|
|
|
|
|||||
1−x2 |
|
|||||||
arccos x ' =− |
1 |
|
- доказывается аналогично |
|||||
|
|
|
||||||
1−x2 |
Функция 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