Здесь

связан с

не явно, а посредством равенства, то есть

это неявно заданная функция аргумента
.
Если

неявно заданная функция от

посредством равенства
, тогда
В данном случае
.
В итоге получаем
.
Соотношение

задает неявную функцию в точке

только при определенных условиях.
Например, окружность задается уравнением
. Можно считать, что

неявно зависит от
. Причем

можно выразить и явно:

для верхней полуокружности и

для нижней. Но ни в какой окрестности точки

нельзя выразить

однозначно.
Поэтому требуют, чтобы
. Это условие обеспечивает однозначность функции

в окрестности точки
. Подробнее о существовании неявной функции и ее производной см. Фихтенгольц. Курс дифференциального и интегрального исчисления, том 1, параграф 2, теорема 2 (стр 447-452).
В данном случае условие, что производная по

не обращается в 0, выглядит так:
то есть