Предположим, что функции
и
имеют производные, причём
на некотором промежутке. Отсюда вытекает строгая монотонность функции
и, следовательно, однозначность обратной функции
. По теореме о производной обратной функции, функция
имеет производную
, а функция
по теореме о производной сложной функции имеет производную
. Следовательно
или
.
Выведенная формула даёт возможность находить производную
от функции, заданной параметрически, не находя выражения непосредственной зависимости у от х.
Пример. Пусть
Найти
.
Решение: имеем
,
, следовательно
, т.е.
.
В этом можно убедиться, найдя непосредственно зависимость у от х. Действительно,
. Тогда
. Отсюда
, т.е.
.
Если функция задана в неявном виде
, то для нахождения производной от у по х нет необходимости разрешать уравнение относительно у: достаточно продифференцировать это уравнение по х, рассматривая при этом у как функцию х, и полученное затем уравнение разрешить относительно
.
Производная неявной функции выражается через аргумент х и функцию у.
Пример. Найти производную функции, заданную уравнением
.
Решение. Функция у задана неявно. Дифференцируем по х равенство
. Из полученного соотношения

следует, что
, т.е.
.
Заключение.
Формулы и правила дифференцирования суммы, разности, произведения, частного и правило дифференцирования сложной функции являются основными формулами дифференциального исчисления. На основе правил и формул дифференцирования можно сделать важный вывод: производная любой элементарной функции также элементарная функция. Таким образом, операция дифференцирования не выводит из класса элементарных функций.






