Implicit Differentiation

Example. The Folium of Descrates is given by the equation . Picture:

The graph consists of all points which satisfy the equation. For example, is on the graph, because , , satisfies the equation.

Observe, however, that the graph is not the graph of a function. Some values of x give rise to multiple values for y. (Geomtrically, this means you can draw vertical lines which hit the graph more than once.)

Moreover, it would be difficult to solve the equation for y in terms of x (unless you happen to know the general cubic formula).

However, small pieces of the graph do look like function graphs. You only need to be careful not to take a piece which is so large that it violates the vertical line criterion. For such a piece, the equation defines a function implicitly. "Implicitly" means that y may not be solved for in terms of x, but a given x still "produces" a unique y.

On such a small piece of the graph, it would make sense to ask for the derivative . Since it's difficult to solve for y, it's not clear how to compute the derivative.

The idea is to differentiate the equation as is, making careful use of the Chain Rule. This produces another equation, from which you can get (perhaps implicitly as well).

Differentiate term-by-term with respect to x. First, the derivative of with respect to x is :

The derivative of with respect to y would be , but I'm differentiating with respect to x, so I use the Chain Rule. Differentiate the cubing function, holding the inner thing (y) fixed. Then differentiate the inner thing. I obtain

Finally, differentiate the right side . The 3 is constant, but is a product: Use the Product Rule. Remember, however, that the derivative of the second factor (y) is !

I can solve this equation for :

This may seem strange --- I've found in terms of y --- but I can use this expression for the derivative as I normally would.

For example, I'll find the points where the graph has a horizontal tangent. As usual, set . I get , so . Plug this back into the original equation (because I'm looking for points on this curve):

Therefore, or . gives . gives the equation

which has the approximate solutions , , . From the picture, you can see that the horizontal tangent occurs at the highest of these values, i.e. at the point .

Example. Consider the equation .

This equation defines y implicitly as a function of x on small neighborhoods of point in the top or bottom pieces. In other words, as long as you stay with the top or the bottom, the graph looks like the graph of a function.

In fact, , is the top piece. This function is defined implicitly by the equation, since it satisfies the equation:

The equation does not define a function implicitly on any neighborhood of the point , or on any neighborhood of the point . Consider , for instance. Any neighborhood of the point will contain points from both the top piece and the bottom piece; such a curve cannot be the graph of a function, since some vertical lines will hit it twice.

I'll find the equation of the tangent line to the curve at the point . Differentiate implicitly:

Instead of solving for , I'll plug in , , now:

(Plugging in the numbers makes solving for easy.) The equation of the tangent line is

You can also find implicitly. First, . Now take the equation and differentiate implicitly:

Plug in :

Simplify and solve for :

Example. Find the equation of the tangent line to

at the point .

Differentiate implicitly:

If you have a point to plug in, it's best to plug the point in before solving for :

Therefore, the tangent line is

Example. Find the equation of the tangent line to

at the point .

Differentiate implicitly:

Let and :

Therefore, the tangent line is

Example. Find the points on the following curve where the tangent line is horizontal:

Differentiate implicitly:

I want the horizontal tangents, so set and solve for x:

To get the y-coordinates, plug into the original equation and solve for y:

This gives and .

The points are and .

Example. The arctangent function satisfies

It is the inverse function to the tangent function: roughly, a function which "undoes" the effect of the tangent function.

I'll use implicit differentiation to compute the derivative of . Take the tangent of both sides: . Now differentiate implicitly:

I want to express the right side in terms of x. means that I have the following triangle:

Therefore, , and . Hence,

Example. Find at for

Differentiate implicitly:

Plug in and and solve for :

Next, differentiate (*) implicitly:

Note that I used the Product Rule to differentiate the term .

Now plug in , , and and solve for :