Implicit differentiation


In calculus, implicit differentiation is a method of finding the derivative of an implicit function using the chain rule.
To differentiate an implicit function, defined by an equation, it is generally possible to solve it explicitly for and then differentiate it. Instead, one can totally differentiate with respect to and and then solve the resulting linear equation for, to get the derivative explicitly in terms of and. Even when it is possible to explicitly solve the original equation, the formula resulting from total differentiation is, in general, much simpler and easier to use.

Formulation

If, the derivative of the implicit function is given by
where and indicate the partial derivatives of with respect to and.
The above formula comes from using the generalized chain rule to obtain the total derivative — with respect to — of both sides of :
hence
which, when solved for, gives the expression above.

Examples

Example 1

Consider
This equation is easy to solve for, giving
where the right side is the explicit form of the function. Differentiation then gives.
Alternatively, one can totally differentiate the original equation:
Solving for gives
the same answer as obtained previously.

Example 2

An example of an implicit function for which implicit differentiation is easier than using explicit differentiation is the function defined by the equation
To differentiate this explicitly with respect to, one has first to get
and then differentiate this function. This creates two derivatives: one for and another for.
It is substantially easier to implicitly differentiate the original equation:
giving

Example 3

Often, it is difficult or impossible to solve explicitly for, and implicit differentiation is the only feasible method of differentiation. An example is the equation
It is impossible to algebraically express explicitly as a function of, and therefore one cannot find by explicit differentiation. Using the implicit method, can be obtained by differentiating the equation to obtain
where. Factoring out shows that
which yields the result
which is defined for