Chapter 7: Implicit Functions and Implicit Differentiation

Implicit Functions

We have seen that not all functions [Maple Math] are given by formulas. Sometimes a function is determined by interpolating a table of experimentally determined data (drawing a smooth curve between the points). Another way a function can be determined is implicitly. That means that we have a formula which [Maple Math] and [Maple Math] together must satisfy. The equation may take the form [Maple Math] , or perhaps [Maple Math] .

Example 7.1: Some implicit Functions

(a) The circle can be written [Maple Math] , which is actually the implicit equation of two functions at the same time: the upper semicircle function y = [Maple Math] and the lower semicircle function [Maple Math] .

(b) We can avoid fractional powers [Maple Math] by raising both sides to the [Maple Math] power and writing the implicit equation [Maple Math] .

(c) We can avoid negative powers by writing [Maple Math] in the form [Maple Math] .

(d) The points (x,y) on an ellipse with focii at ( [Maple Math] ) and ( [Maple Math] ) and semimajor axis a satisfy the geometrical property:

[distance from (x,y) to ( [Maple Math] )] + [distance from (x,y) to ( [Maple Math] )] = [Maple Math]

which leads to the following implicit equation for the ellipse:


[Maple Math] .


(e) In the case when the ellipse's axes of symmetry are parallel to the x- and y-axes, a simpler implicit equation can be given, namely

[Maple Math] .

With many implicit equations, it is possible to solve for y in terms of x. For example, we can do this for the circle.

In that case we have the choice of whether to use the explicit form [Maple Math] or the implicit form F(x,y) = constant. However, there are other examples where it is impossible to solve algebraically for y in terms of x, and we have no choice but to work with the implicit equation.

Implicit Differentiation

Suppose we want to find the derivative [Maple Math] at a point (x,y) of an implicitly defined curve. What you do is: (1) take [Maple Math] of both sides of the equation; (2) separate the terms involving [Maple Math] to one side of the equation and the terms without [Maple Math] to the other side; and (3) solve for [Maple Math] . In step (1), it is important to remember that you are differentiating with respect to x (or whatever letter is playing the role of the x-variable), and so the chain rule must be used for expressions like [Maple Math] . In other words, the letter y stands for a certain function of x, and so taking [Maple Math] of [Maple Math] is just like taking [Maple Math] of [Maple Math] : [Maple Math] [Maple Math] = [Maple Math] .

Example 7.2:

Find [Maple Math] at the point ( [Maple Math] ) for each implicitly defined function in Example 7.1

(a) When we take [Maple Math] of both sides of [Maple Math] , remember that (1) the derivative of [Maple Math] is not [Maple Math] but rather [Maple Math] , and (2) the derivative of [Maple Math] is not [Maple Math] but rather [Maple Math] , since r' = 0 as r is a constant.

Thus, taking
[Maple Math] of both sides gives:

[Maple Math] .

We next move the [Maple Math] to the right, and divide both sides by [Maple Math] t o solve for [Maple Math] :

[Maple Math] = [Maple Math] .

This answer agrees with our earlier formula for the derivative of [Maple Math] , namely, [Maple Math] , since y and [Maple Math] are the same.

Notice that when you differentiate an explicit function y = f(x) your answer is a formula in terms of x, whereas implicit differentiation generally leads to a formula involving (it both y and x).

Note that if we take the
lower semicircle function [Maple Math] , the expression for [Maple Math] becomes [Maple Math] which is a different formula. However, the formula [Maple Math] is still the same! Thus the implicit differentiation not only avoids the solution process for y in terms of x, but also gives the right answer for all possible solutions at once.

Parts (b) and (c) of this example will show us how to derive the nx^(n-1) rule when the power of x is a fraction [Maple Math] or [Maple Math] , where l and m are positive integers. (In the section on the product rule, we already saw how to get the [Maple Math] rule for any positive integer n.)

(b) We take [Maple Math] of both sides of [Maple Math] , and then solve for [Maple Math] :
[Maple Math] , so that [Maple Math] .

The last ratio simplifies algebraically, if we use the fact that [Maple Math] = [Maple Math] . That is,

[Maple Math] = [Maple Math] = [Maple Math] (here n = [Maple Math] ).

(c) We take [Maple Math] of both sides of [Maple Math] (using the product rule), and then solve for [Maple Math] :


[Maple Math] , so that [Maple Math] .


Canceling
[Maple Math] from the numerator and denominator in the last expression, we obtain:


[Maple Math] = [Maple Math] = [Maple Math] , where [Maple Math] .


(d) When we take
[Maple Math] of both sides, we must use the chain rule several times, first with the square root as the outside function and then when we find the derivative of [Maple Math] , etc. The result is:


[Maple Math] .


Solving for
[Maple Math] is not difficult, but the expression we end up with is rather messy, so we shall omit it. If we had specific values for the foci ( [Maple Math] ) and ( [Maple Math] ), and if we wanted to find the slope y' at a particular point (x,y), then we could substitute all of these numerical values in place of x, y, [Maple Math] , ending up with an equation of the form [Maple Math] y' = 0 (where [Maple Math] comes from bringing together all of the terms with [Maple Math] and [Maple Math] comes from bringing together all the terms without [Maple Math] ). Such an equation has solution simply [Maple Math] . We will see such situations later in the story problems.

(e) Here we get: [Maple Math] . Solving for [Maple Math] , we obtain


[Maple Math] .

Example 7.3:

If you know that the curve [Maple Math] (where C is a constant) passes through the point ( [Maple Math] ), find the y-coordinate of the point ( [Maple Math] , ?) on the curve near ( [Maple Math] ). Use the tangent line approximation.

( Note: ) The constant [Maple Math] is not given. We could easily compute it from the fact that the point ( [Maple Math] ) satisfies the equation. However, we will never need to know the value of C , so we won't bother to compute it.)

In this problem there is no way you can find an exact expression for the y-coordinate corresponding to [Maple Math] , because when you substitute [Maple Math] you get an equation for [Maple Math] that cannot be solved algebraically. The equation for [Maple Math] could be solved by an approximation method that we'll learn later Newton's method . In the meantime, the best we can do is to use the tangent line approximation to find the y-coordinate. In this problem we know that the implicitly defined [Maple Math] has value 2 when [Maple Math] (this is what it means to say that the curve passes through the point ( [Maple Math] )). We want to know [Maple Math] . According to the tangent line approximation , [Maple Math] approx [Maple Math] = [Maple Math] , where [Maple Math] denotes the derivative at the point ( [Maple Math] ). To find that derivative we first take [Maple Math] of both sides of our implicit equation . We use the chain rule and the product rule to find [Maple Math] [Maple Math] , and on the right we get [Maple Math] (the derivative of any constant is [Maple Math] ):

[Maple Math] .


Once we've taken
[Maple Math] we can substitute the particular [Maple Math] and [Maple Math] values of the point where we want the derivative. After that our equation will look a lot simpler --- just some numbers together with the unknown [Maple Math] :


[Maple Math] ,


(i.e., )
[Maple Math] ,


(i.e., )
[Maple Math] = [Maple Math] .

Finally, substituting this value of [Maple Math] in the tangent line approximation
gives the y-coodinate as
[Maple Math] .

Example 7.4:

Suppose that the ellipse in Example 7.1(d) has foci at the points ( [Maple Math] ) and ( [Maple Math] ), and passes through the point ( [Maple Math] ). Find the [Maple Math] -coordinate of the point ( [Maple Math] ,?) through which it passes. Use the tangent line approximation.

The tangent line approximation tells us that [Maple Math] = approx [Maple Math] ) = [Maple Math] , where [Maple Math] is the derivative at the point ( [Maple Math] ). The implicit differentiation of the equation of this ellipse has already been carried out, so it remains just to substitute the particular values we're given: [Maple Math] , [Maple Math] , [Maple Math] , [Maple Math] , x = 2, y = 3:

[Maple Math] , so that [Maple Math] ,

i.e., [Maple Math] . Thus, [Maple Math] = [Maple Math] , and so [Maple Math] = approx [Maple Math] .

Example 7.5:

You are standing at ( [Maple Math] ) and receiving light from two sources: source A located at ( [Maple Math] ) and source B located at ( [Maple Math] ). You want to start walking in the direction which keeps the total index( light intensity) light intensity from the two sources as constant as possible. Assume that light intensity from a source is proportional to the strength of the source and inversely proportional to the square of the distance from the source. (a) If A and B are equally strong, show that you should walk horizontally, i.e., set out along the line [Maple Math] . (b) If B is twice as strong as A, find the line along which you should move.

We are interested here in the curve of constant total light intensity passing through the point (0,1). That is, we want an equation satisfied by all points ( [Maple Math] ) where the light intensity from A plus the light intensity from B remains constant. Since light intensity is inversely proportional to the square of the distance from the source, this means that


[Maple Math] + [Maple Math] .

Here the proportionality constant K depends on the strength of the source; since A and B have the same strength in part (a), the constants are the same. In part (b) we change the second K to 2*K, because B is twice as strong as A.

Next, we use the distance formula in the denominators: the square of the
distance from (
[Maple Math] ) to ( [Maple Math] ) is [Maple Math] , and the square of the distance from ( [Maple Math] ) to ( [Maple Math] ) is [Maple Math] . For convenience, we also divide through by K, so that there are no unknown constants on the left. The result is

[Maple Math] .


The question asks for the direction to go in from the point (
[Maple Math] ) that best keeps to the curve of constant total light intensity. This amounts to asking for the tangent line to the curve at ( [Maple Math] ). To find [Maple Math] , we take [Maple Math] of both sides, and then substitute the point ( [Maple Math] ) = ( [Maple Math] ) where we want to find [Maple Math] . It is important to note that the fact that you happen to be walking from the point ( [Maple Math] ) is not used until (it after) performing the implicit differentiation. When we take [Maple Math] , we use the chain rule, writing the first term on the left as [Maple Math] , and similarly for the second term on the left (it is more efficient to use the rule for [Maple Math] [Maple Math] than to use the quotient rule):

[Maple Math] .


(Notice that the constants C and K have disappeared, because the derivative of any constant is 0.) Substituting x = 0, y = 1 gives:


[Maple Math] .

Solving this, we find that [Maple Math] , i.e., the curve of constant total light intensity has horizontal tangent line at the point (0,1).

(b) When the source B is twice as strong as the source A, the effect is to replace the second [Maple Math] by [Maple Math] , and this means having a [Maple Math] rather than [Maple Math] always in the numerator of the second term on the left. Our last equation is now

[Maple Math] .

We can clear denominators by multiplying through by [Maple Math] , obtaining:


[Maple Math] , i.e., [Maple Math] .

Thus, the tangent line has slope [Maple Math] and y-intercept [Maple Math] , so its equation is [Maple Math] .

table of contents