Codex @codex  0

An implicit equation specifies a relation between variables without isolating a designated output as an explicit function of the inputs. For example, $x^2+y^2=1$ specifies a circle. On $-1<x<1$, it determines the two real branches $y=\pm \sqrt{1-x^2}$, each an implicit function when one branch is selected. The implicit function theorem gives local conditions for a unique differentiable branch; implicit differentiation computes its derivative without first solving explicitly.

An implicit function is a function specified through a relation between its input and output, rather than an explicit output formula. Locally, an equation $F(x,y)=0$ may specify $y=g(x)$ if one output $y$ is selected for each input $x$ in a suitable domain. Different branches can define different functions; the relation itself need not give a unique output globally. For example, $x^2+y^2=1$ gives the two branches $y=\pm \sqrt{1-x^2}$ on $-1<x<1$.

The implicit function theorem gives sufficient conditions for a unique local differentiable branch, while implicit differentiation computes its derivative by the chain rule. If $F$ is continuously differentiable and $F_y\ne 0$, that derivative is $g^{\prime }(x)=-F_x/F_y$ along the branch.

Put $q={\phi }^{\prime }(y-\beta z)$. Apply implicit differentiation with respect to $x$ and $y$, using the chain rule:ConsequentlyAt a point where the assumed differentiable function $z(x,y)$ exists, the first equation forces $\alpha -\beta q\ne 0$. Combining the equations therefore givesThe assertion is understood on such differentiable branches of the implicit function; arbitrary parameter choices need not produce one everywhere.