Производная обратной функции
Рассмотрим функцию \(f\left( x \right)\), которая является строго монотонной на некотором интервале \(\left( {a,b} \right)\).
Если в этом интервале существует точка \({x_0}\), такая, что \(f'\left( {{x_0}} \right) \ne 0\), то функция
\(x = \varphi \left( y \right)\), обратная
к функции \(y = f\left( x \right)\), также дифференцируема в точке \({y_0} = f\left( {{x_0}} \right)\) и ее производная равна
\[\varphi '\left( {{y_0}} \right) = \frac{1}{{f'\left( {{x_0}} \right)}}.\]
Докажем приведенную теорему о производной обратной функции.
Пусть переменная \(y\) получает в точке \({y_0}\) приращение \(\Delta y \ne 0\). Соответствующее ему приращение переменной
\(x\) в точке \({x_0}\) обозначим как \(\Delta x\), причем \(\Delta x \ne 0\) в силу строгой монотонности функции
\(y = f\left( x \right)\). Запишем отношение приращений в виде
\[\frac{{\Delta x}}{{\Delta y}} = \frac{1}{{\frac{{\Delta y}}{{\Delta x}}}}.\]
Допустим, что \(\Delta y \to 0\). Тогда \(\Delta x \to 0\), поскольку обратная функция \(x = \varphi \left( y \right)\) является непрерывной в точке
\({y_0}\). В пределе, при \(\Delta x \to 0\), правая часть записанного соотношения становится равной
\[
{\lim\limits_{\Delta x \to 0} \frac{1}{{\frac{{\Delta y}}{{\Delta x}}}} = \frac{1}{{\lim\limits_{\Delta x \to 0} \frac{{\Delta y}}{{\Delta x}}}} }
= {\frac{1}{{f'\left( {{x_0}} \right)}}.}
\]
В таком случае левая часть также стремится к пределу, который по определению равен производной обратной функции:
\[\lim\limits_{\Delta y \to 0} \frac{{\Delta x}}{{\Delta y}} = \varphi '\left( {{y_0}} \right).\]
Таким образом,
\[\varphi '\left( {{y_0}} \right) = \frac{1}{{f'\left( {{x_0}} \right)}},\]
то есть производная обратной функции равна обратной величине производной исходной функции.
В приведенных ниже примерах найти производную заданной функции \(y = f\left( x \right)\) с помощью производной обратной функции \(x = \varphi \left( y \right)\).
Пример 1
\[y = \sqrt[\large n\normalsize]{x}\]
Решение.
Определим сначала обратную функцию для заданной функции \(y = \sqrt[\large n\normalsize]{x}\). Для этого выразим переменную
\(x\) через \(y\):
\[
{y = f\left( x \right) = \sqrt[\large n\normalsize]{x},}\;\;
{\Rightarrow {y^n} = {\left( {\sqrt[\large n\normalsize]{x}} \right)^n},}\;\;
{\Rightarrow x = \varphi \left( y \right) = {y^n}.}
\]
По теореме о производной обратной функции можно записать:
\[
{{\left( {\sqrt[\large n\normalsize]{x}} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {{y^n}} \right)}^\prime }}} }
= {\frac{1}{{n{y^{n - 1}}}}.}
\]
Теперь вместо \(y\) подставляем \(y = \sqrt[\large n\normalsize]{x}\). В результате получаем выражение для
производной заданной функции:
\[
{{\left( {\sqrt[\large n\normalsize]{x}} \right)^\prime } = \frac{1}{{n{y^{n - 1}}}} }
= {\frac{1}{{n{{\left( {\sqrt[\large n\normalsize]{x}} \right)}^{n - 1}}}} }
= {\frac{1}{{n\sqrt[\large n\normalsize]{{{x^{n - 1}}}}}}\;\;\left( {x>0} \right).}
\]
Пример 2
\[y = \arcsin x\]
Решение.
Функция арксинус является обратной к функции синус. Поэтому \(x = \varphi \left( y \right) = \sin y.\)
Тогда производная арксинуса равна
\[
{{\left( {\arcsin x} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {\sin y} \right)}^\prime }}} }
= {\frac{1}{{\cos y}} }
= {\frac{1}{{\sqrt {1 - {{\sin }^2}y} }} }
= {\frac{1}{{\sqrt {1 - {{\sin }^2}\left( {\arcsin x} \right)} }} }
= {\frac{1}{{\sqrt {1 - {x^2}} }},}
\]
где \(-1<x<1\).
Пример 3
\[y = \ln x\]
Решение.
Натуральный логарифм и экспоненциальная функция являются взаимно-обратными функциями. Следовательно,
\(x = \varphi \left( y \right) = {e^y}\), где \(x>0\), \(y \in \mathbb{R}\).
Производную натурального логарифма легко вычислить через производную экспоненциальной функции:
\[
{{\left( {\ln x} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {{e^y}} \right)}^\prime }}} }
= {\frac{1}{{{e^y}}} }
= {\frac{1}{{{e^{\ln x}}}} }
= {\frac{1}{x}}
\]
Здесь мы воспользовались основным логарифмическим тождеством,
согласно которому
\[{e^{\ln x}} = x.\]
Пример 4
\[y = \sqrt[\large 3\normalsize]{{x + 1}}\]
Решение.
Найдем сначала обратную функцию \(x = \varphi \left( y \right)\) для заданной функции \(y = f\left( x \right)\),
которая является монотонно возрастающей при любых \(x \in \mathbb{R}\). Выразим \(x\) через \(y\):
\[
{y = \sqrt[\large 3\normalsize]{{x + 1}},}\;\;
{\Rightarrow {y^3} = x + 1,}\;\;
{\Rightarrow x = {y^3} - 1.}
\]
Теперь найдем производную \(f'\left( x \right)\):
\[
{{\left( {\sqrt[\large 3\normalsize]{{x + 1}}} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {{y^3} - 1} \right)}^\prime }}} }
= {\frac{1}{{3{y^2}}} }
= {\frac{1}{{3\sqrt[\large 3\normalsize]{{{{\left( {x + 1} \right)}^2}}}}}\;\;\left( {x \ne 1} \right).}
\]
Пример 5
\[y = \arccos \left( {1 - 2x} \right)\]
Решение.
Функция арккосинус определена и монотонна на отрезке \(\left[ { - 1,1} \right]\).
Следовательно, область определения исходной функции имеет вид:
\[
{ - 1 \le 1 - 2x \le 1,\;\; \Rightarrow - 2 \le - 2x \le 0,}\;\;
{\Rightarrow 0 \le x \le 1.}
\]
Запишем обратную функцию \(x = \varphi \left( y \right)\):
\[
{y = \arccos \left( {1 - 2x} \right),}\;\;
{\Rightarrow 1 - 2x = \cos y,}\;\;
{\Rightarrow 2x = 1 - \cos y,}\;\;
{\Rightarrow x = \frac{1}{2} - \frac{1}{2}\cos y.}
\]
Вычислим производную исходной функции через производную обратной функции:
\[\require{cancel}
{{\left( {\arccos \left( {1 - 2x} \right)} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {\frac{1}{2} - \frac{1}{2}\cos y} \right)}^\prime }}} }
= {\frac{1}{{\frac{1}{2}\sin y}} = \frac{2}{{\sin y}} }
= {\frac{2}{{\sqrt {1 - {\cos^2}y} }} }
= {\frac{2}{{\sqrt {1 - {\cos^2}\left( {\arccos \left( {1 - 2x} \right)} \right)} }} }
= {\frac{2}{{\sqrt {1 - {{\left( {1 - 2x} \right)}^2}} }} }
= {\frac{2}{{\sqrt {1 - \left( {1 - 4x + 4{x^2}} \right)} }} }
= {\frac{2}{{\sqrt {\cancel{1} - \cancel{1} + 4x - 4{x^2}} }} }
= {\frac{\cancel{2}}{{\cancel{2}\sqrt {x - {x^2}} }} }
= {\frac{1}{{\sqrt {x - {x^2}} }}.}
\]
Заметим, что производная не определена в граничных точках \(x = 0\) и \(x = 1\)
области определения функции \(y = f\left( x \right)\).
Пример 6
\[y = \sqrt {1 + \sqrt x } \]
Решение.
Данная функция определена и монотонно возрастает при \(x>0\). Поэтому на этом интервале можно построить обратную функцию.
Выразим \(x\) через \(y\):
\[
{y = \sqrt {1 + \sqrt x } ,}\;\;
{\Rightarrow {y^2} = 1 + \sqrt x ,}\;\;
{\Rightarrow \sqrt x = {y^2} - 1,}\;\;
{\Rightarrow x = {\left( {{y^2} - 1} \right)^2}.}
\]
Теперь определим производную заданной функции \(y = f\left( x \right)\), используя теорему о производной обратной функции:
\[
{{\left( {\sqrt {1 + \sqrt x } } \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left[ {{{\left( {{y^2} - 1} \right)}^2}} \right]}^\prime }}} }
= {\frac{1}{{2\left( {{y^2} - 1} \right) \cdot {{\left( {{y^2} - 1} \right)}^\prime }}} }
= {\frac{1}{{2\left( {{y^2} - 1} \right) \cdot 2y}} }
= {\frac{1}{{4y\left( {{y^2} - 1} \right)}}.}\qquad
\]
Подставим вместо \(y\) выражение для исходной функции:
\[
{{\left( {\sqrt {1 + \sqrt x } } \right)^\prime } = \frac{1}{{4y\left( {{y^2} - 1} \right)}} }
= {\frac{1}{{4\sqrt {1 + \sqrt x } \left( {{{\left( {\sqrt {1 + \sqrt x } } \right)}^2} - 1} \right)}} }
= {\frac{1}{{4\sqrt {1 + \sqrt x } \left( {\cancel{1} + \sqrt x - \cancel{1}} \right)}} }
= {\frac{1}{{4\sqrt x \sqrt {1 + \sqrt x } }}\;\;\left( {x>0} \right).}
\]
Пример 7
\[y = \arctan \frac{1}{x}\]
Решение.
Обратная функция для данной функции имеет такой вид:
\[
{y = \arctan \frac{1}{x},}\;\;
{\Rightarrow \frac{1}{x} = \tan y,}\;\;
{\Rightarrow x = \frac{1}{{\tan y}},\;\;\text{где}\;\;x \ne 0.}
\]
Найдем производную исходной функции \(y = f\left( x \right)\):
\[
{{\left( {\arctan \frac{1}{x}} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {\frac{1}{{\tan y}}} \right)}^\prime }}} }
= {\frac{1}{{\left( { - \frac{1}{{{{\tan }^2}y}}} \right) \cdot \frac{1}{{{{\cos }^2}y}}}} }
= { - \frac{{{{\tan }^2}y}}{{\frac{1}{{{{\cos }^2}y}}}}.}
\]
Воспользуемся тригонометрическим тождеством
\[\frac{1}{{{{\cos }^2}y}} = 1 + {\tan ^2}y.\]
Тогда
\[
{{\left( {\arctan \frac{1}{x}} \right)^\prime } = - \frac{{{{\tan }^2}y}}{{\frac{1}{{{{\cos }^2}y}}}} }
= { - \frac{{{{\tan }^2}y}}{{1 + {{\tan }^2}y}} }
= { - \frac{{{{\tan }^2}\left( {\arctan \frac{1}{x}} \right)}}{{1 + {{\tan }^2}\left( {\arctan \frac{1}{x}} \right)}} }
= { - \frac{{{{\left( {\frac{1}{x}} \right)}^2}}}{{1 + {{\left( {\frac{1}{x}} \right)}^2}}} }
= { - \frac{{\frac{1}{{{x^2}}}}}{{\frac{{{x^2} + 1}}{{{x^2}}}}} }
= { - \frac{1}{{1 + {x^2}}}.}
\]
Видно, что производная функции \(y = \arctan \large\frac{1}{x}\normalsize\) отличается лишь знаком от производной функции
\(y = \arctan x\).
Пример 8
\[y = \sqrt x \]
Решение.
Данная функция является обратной к квадратичной функции \(x = \varphi \left( y \right) = {y^2}.\) Поэтому ее производная равна
\[
{\sqrt x = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {{y^2}} \right)}^\prime }}} }
= {\frac{1}{{2y}} }
= {\frac{1}{{2\sqrt x }}\;\;\left( {x>0} \right).}
\]
Пример 9
\[y = 2x + 4\]
Решение.
Запишем функцию \(x = \varphi \left( y \right)\), обратную к заданной функции \(y = f\left( x \right)\):
\[
{y = 2x + 4,\;\; \Rightarrow 2x = y - 4,}\;\;
{\Rightarrow x = \frac{y}{2} - 2.}
\]
Тогда производная \(f'\left( x \right)\) имеет следующий вид:
\[
{{\left( {2x + 4} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {\frac{y}{2} - 2} \right)}^\prime }}} }
= {\frac{1}{{1/2}} = 2.}
\]
Пример 10
Дана функция \(y = {x^5} + 2{x^3} + 3x\). Найти производную обратной функции в точке \(x = 1\).
Решение.
В данном примере прямое вычисление обратной функции и ее производной будет слишком громоздким. Поэтому мы вычислим значение производной
исходной функции в заданной точке и затем найдем обратную величину.
\[
{y' = f'\left( x \right) }
= {{\left( {{x^5} + 2{x^3} + 3x} \right)^\prime } }
= {5{x^4} + 6{x^2} + 3.}
\]
Значение производной \(f'\left( x \right)\) при \(x = 1\) равно:
\[f'\left( {x = 1} \right) = 5 \cdot {1^4} + 6 \cdot {1^2} + 3 = 14.\]
Сама функция в точке \(x = 1\) принимает значение, равное
\[y\left( {x = 1} \right) = {1^5} + 2 \cdot {1^3} + 3 \cdot 1 = 6.\]
По теореме о производной обратной функции получаем
\[
{\varphi '\left( {y = 6} \right) }
= {\frac{1}{{f'\left( {x = 1} \right)}} = \frac{1}{{14}}.}
\]
Пример 11
Дана функция \(y = {x^2} - x\). Найти производную обратной функции при \(x = 1\).
Решение.
Найдем производную исходной функции
\[
{y' = f'\left( x \right) }
= {{\left( {{x^2} - x} \right)^\prime } }
= {2x - 1.}
\]
Заметим, что точка \(x = \large\frac{1}{2}\normalsize\) разделяет области убывания (\(x<\large\frac{1}{2}\normalsize\))
и возрастания (\(x>\large\frac{1}{2}\normalsize\)) исходной функции. Каждому интервалу монотонности соответствует своя обратная функция, которые обозначим как
\({\varphi _1}\left( y \right)\) и \({\varphi _2}\left( y \right).\) Выражения для этих функций можно получить в явном виде, решив уравнение
\(y = f\left( x \right)\) относительно \(x\):
\[
{y = {x^2} - x,}\;\;
{\Rightarrow {x^2} - x - y = 0,}\;\;
{\Rightarrow D = 1 + 4y,}\;\;
{\Rightarrow {\varphi _{1,2}}\left( y \right) }
= {\frac{{1 \pm \sqrt {1 + 4y} }}{2}.}
\]
Производная обратной функции определяется по формуле
\[
{\varphi '\left( y \right) = \frac{1}{{f'\left( x \right)}} }
= {\frac{1}{{2x - 1}}}\;\;
{\left( {x \ne \frac{1}{2}} \right).}
\]
Подставляя явные выражения \(x = {\varphi _1}\left( y \right)\) и \(x = {\varphi _2}\left( y \right)\) для обеих ветвей обратной функции, имеем:
\[
{{\varphi _1}^\prime \left( y \right) = \frac{1}{{2 \left( {\frac{{1 + \sqrt {1 + 4y} }}{2}} \right) - 1}} }
= {\frac{1}{{\cancel{1} + \sqrt {1 + 4y} - \cancel{1}}} }
= {\frac{1}{{\sqrt {1 + 4y} }},}
\]
\[
{{\varphi _2}^\prime \left( y \right) = \frac{1}{{2 \left( {\frac{{1 - \sqrt {1 + 4y} }}{2}} \right) - 1}} }
= {\frac{1}{{\cancel{1} - \sqrt {1 + 4y} - \cancel{1}}} }
= {-\frac{1}{{\sqrt {1 + 4y} }}.}
\]
Точка \(x = 1\) соответствует значению \(y = {1^2} - 1 = 0\) и находится на ветви \({\varphi _2}\left( y \right)\) обратной функции.
Производная обратной функции в этой точке составляет
\[
{{\varphi _2}^\prime \left( {x = 1} \right) = {\varphi _2}^\prime \left( {y = 0} \right) }
= { - \frac{1}{{\sqrt {1 + 4 \cdot 0} }} = - 1.}
\]
Пример 12
Дана функция \(y = {e^x} + 2x + 1\). Найти производную обратной функции при \(x = 0\).
Решение.
При \(x = 0\) заданная функция принимает значение
\[y\left( {x = 0} \right) = {e^0} + 2 \cdot 0 + 1 = 2.\]
Производная функции \(y = f\left( x \right)\) и ее значение в точке \(x = 0\) равны
\[
{y' = f'\left( x \right) = {\left( {{e^x} + 2x + 1} \right)^\prime } }
= {{e^x} + 2,}
\]
\[
{y'\left( {x = 0} \right) = f'\left( {x = 0} \right) }
= {{e^0} + 2 = 3.}
\]
По теореме о производной обратной функции находим
\[\varphi '\left( {y = 2} \right) = \frac{1}{{f'\left( {x = 0} \right)}} = \frac{1}{3}.\]
Пример 13
Для функции \(y = \sin \left( {x - 1} \right) + {x^2}\) найти производную обратной функции в точке \(x = 1\).
Решение.
Вычислим значение исходной функции и ее производной при \(x = 1\):
\[y\left( {x = 1} \right) = \sin 0 + {1^2} = 1,\]
\[
{y'\left( x \right) = f'\left( x \right) }
= {\left[ {\sin \left( {x - 1} \right) + {x^2}} \right] }
= {\cos \left( {x - 1} \right) + 2x,}
\]
\[
{y'\left( {x = 1} \right) = f'\left( {x = 1} \right) }
= {\cos 0 + 2 \cdot 1 = 3.}
\]
Отсюда находим значение производной обратной функции \(x = \varphi \left( y \right)\):
\[
{\varphi '\left( {y = 1} \right) = \frac{1}{{f'\left( {x = 1} \right)}} }
={ \frac{1}{3}.}
\]
Пример 14
Найти производную обратной функции для \(y = {x^2} + 2\ln x\) и вычислить ее значение в точке \(x = 1\).
Решение.
Исходная функция \(y = f\left( x \right)\) определена при \(x>0\).
В этой области ее производная положительна:
\[
{y' = f'\left( x \right) = {\left( {{x^2} + 2\ln x} \right)^\prime } }
= {2x + \frac{2}{x}>0\;\;\text{при}\;\;x>0.}
\]
Следовательно, функция является монотонно возрастающей и для нее существует обратная функция.
По теореме о производной обратной функции имеем
\[
{\varphi '\left( y \right) = \frac{1}{{f'\left( x \right)}} }
= {\frac{1}{{2x + \frac{2}{x}}} }
= {\frac{1}{{\frac{{2{x^2} + 2}}{x}}} }
= {\frac{x}{{2\left( {{x^2} + 1} \right)}}.}
\]
В данном случае зависимость \(x\left( y \right)\) невозможно выразить в явном виде. Однако из полученной формулы легко определить значение производной
обратной функции при \(x = 1\). Предварительно вычислим соответствующее значение \(y\):
\[y\left( {x = 1} \right) = {1^2} + 2\ln 1 = 1 + 0 = 1.\]
Тогда
\[
{\varphi '\left( {y = 1} \right) = \frac{1}{{f'\left( {x = 1} \right)}} }
= {\frac{1}{{2\left( {{1^2} + 1} \right)}} = \frac{1}{4}.}
\]
Пример 15
Найти производную обратной функции для \(y = {x^3} - 3x\) и вычислить ее значение при \(x = -2\).
Решение.
Судя по производной:
\[
{y' = f'\left( x \right) = {\left( {{x^3} - 3x} \right)^\prime } }
= {3{x^2} - 3 = 3\left( {{x^2} - 1} \right),}
\]
функция имеет три интервала монотонности:
- \(x \in \left( { - \infty , - 1} \right)\)− функция возрастает;
- \(x \in \left( { - 1, 1} \right)\)− функция убывает;
- \(x \in \left( {1, \infty} \right)\)− функция возрастает.
Пример 16
Найти производную обратной функции для \(y = 2{x^3} - 1\) и вычислить ее значение при \(x = 2\).
Решение.
Вычислим производную заданной функции:
\[
{y' = f'\left( x \right) }
= {{\left( {2{x^3} - 1} \right)^\prime } = 6x.}
\]
Видно, что производная меняет знак при переходе через точку \(x = 0\), т.е. функция убывает при \(x<0\)
и возрастает при \(x>0\). Далее мы рассмотрим ветвь, включающую точку \(x = 2\). В этой области существует обратная функция. Ее производная
определяется по формуле
\[\varphi '\left( y \right) = \frac{1}{{f'\left( x \right)}}.\]
Учитывая, что \(y\left( {x = 2} \right) = 2 \cdot {2^3} - 1 = 15,\) получаем
\[
{\varphi '\left( {y = 15} \right) = \frac{1}{{f'\left( {x = 2} \right)}} }
= {\frac{1}{{6 \cdot 2}} = \frac{1}{{12}}.}
\]
Пример 17
\[y = {\log _2}\left( {\frac{x}{3}} \right)\]
Решение.
Функция \(y = f\left( x \right) = {\log _2}\left( {\frac{x}{3}} \right)\) определена при \(x>0\)
и монотонно возрастает на этом интервале. Следовательно, она имеет обратную функцию \(x = \varphi \left( y \right)\):
\[
{y = {\log _2}\left( {\frac{x}{3}} \right),}\;\;
{\Rightarrow \frac{x}{3} = {2^y},}\;\;
{\Rightarrow x = 3 \cdot {2^y}.}
\]
По теореме о производной обратной функции находим:
\[
{{\left[ {{{\log }_2}\left( {\frac{x}{3}} \right)} \right]^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {3 \cdot {2^y}} \right)}^\prime }}} }
= {\frac{1}{{3 \cdot {2^y} \cdot \ln 2}} }
= {\frac{1}{{3\ln 2 \cdot {2^{{{\log }_2}\left( {\large\frac{x}{3}\normalsize} \right)}}}} }
= {\frac{1}{{3\ln 2 \cdot \frac{x}{3}}} = \frac{1}{{x\ln 2}}.}
\]
Здесь мы использовали
основное логарифмическое тождество
\[{a^{{{\log }_a}x}} = x.\]
Пример 18
Найти значение производной арксеканса \(y = \text{arcsec }x\) при \(x = \sqrt 2 \).
Решение.
Воспользуемся тем, что арксеканс является обратной функцией для секанса. Будем считать, что выражение для
производной секанса
известно:
\[
{{\left( {\sec y} \right)^\prime } = \tan y\sec y }
= {\frac{{\sin y}}{{{{\cos }^2}y}}.}
\]
Учтем, что секанс принимает значение \(\sqrt 2 \) в точке \(y = \large\frac{\pi }{4}\normalsize\):
\[
{\sec \left( {y = \frac{\pi }{4}} \right) }
= {\frac{1}{{\cos \frac{\pi }{4}}} }
= {\frac{1}{{\frac{{\sqrt 2 }}{2}}} = \sqrt 2.}
\]
Тогда по теореме о производной обратной функции получаем
\[
{{\left( {\text{arcsec }x} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {\sec y} \right)}^\prime }}} }
= {\frac{1}{{\tan y\sec y}} }
= {\frac{{{{\cos }^2}y}}{{\sin y}}.}
\]
Соответственно, значение производной арксеканса в точке \(x = \sqrt 2 \) равно:
\[
{f'\left( {x = \sqrt 2 } \right) }
= {\frac{1}{{\varphi '\left( {y = \frac{\pi }{4}} \right)}} }
= {\frac{{{{\cos }^2}\frac{\pi }{4}}}{{\sin \frac{\pi }{4}}} }
= {\frac{{{{\left( {\frac{{\sqrt 2 }}{2}} \right)}^2}}}{{\left( {\frac{{\sqrt 2 }}{2}} \right)}} }
= {\frac{{\sqrt 2 }}{2}.}
\]
Пример 19
Найти производную функции обратной к функции \(y = x \cdot {3^x}\) при условии \(x>0\).
Решение.
Вычислим производную заданной функции:
\[
{y' = f'\left( x \right) = {\left( {x \cdot {3^x}} \right)^\prime } }
= {x' \cdot {3^x} + x \cdot {\left( {{3^x}} \right)^\prime } }
= {1 \cdot {3^x} + x \cdot {3^x}\ln 3 }
= {{3^x}\left( {1 + x\ln 3} \right).}
\]
Видно, что производная положительна при \(x>0\). Следовательно,
в этой области функция монотонно возрастает и для нее существует обратная функция
\(x = \varphi \left( y \right)\). Производная обратной функции выражается формулой
\[
{\varphi '\left( y \right) = \frac{1}{{f'\left( x \right)}} }
= {\frac{1}{{{3^x}\left( {1 + x\ln 3} \right)}}.}
\]
Пример 20
Найти производную функции \(y = \text{arcsinh } x\)
(обратный гиперболический синус).
Решение.
Функции \(y = \text{arcsinh } x\) (обратный гиперболический синус) и \(x = \sinh y\) (гиперболический синус) являются
взаимно-обратными. Поэтому, по теореме о производной обратной функции имеем:
\[
{{\left( {\text{arcsinh }x} \right)^\prime } = f'\left( x \right) }
= {\frac{1}{{\varphi '\left( y \right)}} }
= {\frac{1}{{{{\left( {\sinh y} \right)}^\prime }}} }
= {\frac{1}{{\cosh y}}.}
\]
Выразим \(\cosh x\) через \(\sinh x\), используя соотношение
\[{\cosh ^2}y - {\sinh ^2}y = 1\]
(аналог основного тригонометрического тождества для гиперболических функций).
Отсюда находим
\[
{{\cosh ^2}y = 1 + {\sinh ^2}y,}\;\;
{\Rightarrow \cosh y }
= {\sqrt {1 + {{\sinh }^2}y} }
\]
Учитывая, что \(\sinh \left( {\text{arcsinh }x} \right) = x,\) получаем
следующее выражение для производной обратного гиперболического синуса:
\[
{{\left( {\text{arcsinh }x} \right)^\prime } = \frac{1}{{\cosh y}} }
= {\frac{1}{{\sqrt {1 + {{\sinh }^2}y} }} }
= {\frac{1}{{\sqrt {1 + {{\sinh }^2}\left( {\text{arcsinh }x} \right)} }} }
= {\frac{1}{{\sqrt {1 + {x^2}} }}.}
\]