Здесь
связан с
не явно, а посредством равенства, то есть
это неявно заданная функция аргумента
.
Если
неявно заданная функция от
посредством равенства
, тогда
В данном случае
.
В итоге получаем
.
Соотношение
задает неявную функцию в точке
только при определенных условиях.
Например, окружность задается уравнением
. Можно считать, что
неявно зависит от
. Причем
можно выразить и явно:
для верхней полуокружности и
для нижней. Но ни в какой окрестности точки
нельзя выразить
однозначно.
Поэтому требуют, чтобы
. Это условие обеспечивает однозначность функции
в окрестности точки
. Подробнее о существовании неявной функции и ее производной см. Фихтенгольц. Курс дифференциального и интегрального исчисления, том 1, параграф 2, теорема 2 (стр 447-452).
В данном случае условие, что производная по
не обращается в 0, выглядит так:
то есть