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

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

производную обратной функции.
Теорема. Если для функции y=f(x) существует обратная функция x=g(y),
которая в некоторой точке у0 имеет производную g '(y0), отличную от нуля, то в
соответствующей точке x0=g(x0) функция y=f(x) имеет производную f '(x0),
1 1
равную , т.е. справедлива формула f '  x= .
g '  y0  g '  y
Доказательство. Т.к. x=g(y) дифференциируема в точке y0,
то x=g(y) непрерывна в этой точке, поэтому функция y=f(x) непрерывна в
точке x0=g(y0). Следовательно, при Δx→0 Δy→0.
Δx Δx
Покажем, что lim = lim .
Δx 0 Δy Δy  0 Δy
Δx Δx
Пусть lim =b . Тогда по свойству предела =ba  Δx . Перейдем в
Δx 0 Δy Δy
Δx
этом равенстве к пределу при Δy→0. Тогда Δx→0 и α(Δx)→0, т.е. lim =b .
Δy 0 Δy

Следовательно,
1
Δy Δx 1 1
f '  x= lim = lim = = ,
Δx  0 Δx Δx  0 Δy Δx g '  y
lim
Δx 0 Δy
что и требовалось доказать.
1
Эту формулу можно записать в виде y ' x= .
x' y
Функция sin.
y = arcsin x. Рассмотрим обратную функцию x = sin y. Эта функция в интервале
– π/2<y<π/2 монотонна. Ее производная x ' = cos y не обращается в этом
интервале в нуль. Следовательно, по теореме о производной обратной функции
1 1
y ' x= = .
x ' y cos y

Но на (–π/2; π/2) cos y= 1−sin 2 y= 1− x 2 . 
Поэтому
 1
arcsin x' =
 1− x 2
1
arccos x ' =− - доказывается аналогично
 1− x 2

Функция tg.
y = arctg x. Эта функция по определению удовлетворяет условию существования
обратной функции на интервале –π/2< y < π/2. При этом обратная функция x = tg
1
y монотонна. По ранее доказанному x ' = 2 .
cos y
2 1 1
Следовательно, y ' = cos2 y . Но cos y= 2
= 2 .
1tg y 1 x
Поэтому
1
arctg x ' = 2
1 x

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