Пусть гладкая функция неявно определяется из уравнения
, (**)
где – некоторая функция от двух переменных. Это значит, что если в (**) вместо подставить , то получим тождество
. (***)
Для общего уравнения (**) поставим задачу найти производную , не разрешая его относительно .
Предположим, что существуют непрерывные частные производные , и рассмотрим тождество (***). Левую часть этого тождества можно рассматривать как сложную функцию, зависящую от и непосредственно, и через второй аргумент. Причем из (***) следует, что эта функция тождественно равна нулю. Следовательно, и производная от нее по должна быть равна нулю. Находя производную по формуле (4), получим
,
откуда, если , имеем
. (6)
Пример 4. Найти , если функция задана неявно уравнением .
Решение.
Здесь . Найдем частные производные этой функции:
, .
Следовательно, используя формулу (5.6), получаем:
.