Implicit function theorem

In multivariable calculus, the implicit function theorem is a theorem that provides sufficient conditions under which a planar curve specified by F ( x , y ) = 0 {\displaystyle F(x,y)=0} can also be specified as the graph of a function f {\displaystyle f} , so that for each point ( x , y ) {\displaystyle (x,y)} on part of the curve, one has y = f ( x ) {\displaystyle y=f(x)} . An example is the unit circle, whose points ( x , y ) {\displaystyle (x,y)} satisfy x 2 + y 2 − 1 = 0 {\displaystyle x^{2}+y^{2}-1=0} , which can locally be solved (if y > 0 {\displaystyle y>0} ) by y = 1 − x 2 {\displaystyle y={\sqrt {1-x^{2}}}} , expressing the top semicircle as a graph. It is not always possible to solve the equation F ( x , y ) = 0 {\displaystyle F(x,y)=0} for y {\displaystyle y} algebraically, and the implicit function theorem gives analytic conditions under which there exists a function f {\displaystyle f} whose graph belongs to the given curve, and, in some formulations, also gives a way of constructing approximations to f {\displaystyle f} . More generally, given a system of m equations fi (x1, ..., xn, y1, ..., ym) = 0, i = 1, ..., m (often abbreviated into F(x, y) = 0), the theorem states that, under a mild condition on the partial derivatives (with respect to each yi ) at a point, the m variables yi are differentiable functions of the xj in some neighbourhood of the point. As these functions generally cannot be expressed in closed form, they are implicitly defined by the equations, and this motivated the name of the theorem. In other words, under a mild condition on the partial derivatives, the set of...