Active Calculus · 2: Computing Derivatives

2.7: Derivatives of Functions Given Implicitly

Motivating Questions
  • What does it mean to say that a curve is an implicit function of x,x\text{,} rather than an explicit function of x?x\text{?}
  • How does implicit differentiation enable us to find a formula for dydx\frac{dy}{dx} when yy is an implicit function of x?x\text{?}
  • In the context of an implicit curve, how can we use dydx\frac{dy}{dx} to answer important questions about the tangent line to the curve?

In all of our studies with derivatives so far, we have worked with functions whose formula is given explicitly in terms of x.x\text{.} But there are many interesting curves whose equations involving xx and yy are impossible to solve for yy in terms of x.x\text{.}

2_7_Intro.svg

Figure 2.7.12.7.1 . At left, the circle given by x2+y2=16.x^2 + y^2 = 16\text{.} In the middle, the portion of the circle x2+y2=16x^2 + y^2 = 16 that has been highlighted in the box at left. And at right, the curve given by x3−y3=6xy.x^3 - y^3 = 6xy\text{.}

Perhaps the simplest and most natural of all such curves are circles. Because of the circle's symmetry, for each xx value strictly between the endpoints of the horizontal diameter, there are two corresponding yy-values. For instance, in Figure 2.7.12.7.1 , we have labeled A=(−3,7)A = (-3,\sqrt{7}) and B=(−3,−7),B = (-3,-\sqrt{7})\text{,} and these points demonstrate that the circle fails the vertical line test. Hence, it is impossible to represent the circle through a single function of the form y=f(x).y = f(x)\text{.} But portions of the circle can be represented explicitly as a function of x,x\text{,} such as the highlighted arc that is magnified in the center of Figure 2.7.12.7.1  Moreover, it is evident that the circle is locally linear, so we ought to be able to find a tangent line to the curve at every point. Thus, it makes sense to wonder if we can compute dydx\frac{dy}{dx} at any point on the circle, even though we cannot write yy explicitly as a function of x.x\text{.}

We say that the equation x2+y2=16x^2 + y^2 = 16 defines yy implicitly as a function of x.x\text{.} The graph of the equation can be broken into pieces where each piece can be defined by an explicit function of x.x\text{.} For the circle, we could choose to take the top half as one function of x,x\text{,} namely y=16−x2y = \sqrt{16 - x^2} and the bottom half as y=−16−x2.y = -\sqrt{16 - x^2}\text{.} The equation for the circle defines two implicit functions of x.x\text{.}

The righthand curve in Figure 2.7.12.7.1 is called a lemniscate and is just one of many fascinating possibilities for implicitly given curves.

How can we find an equation for dydx\frac{dy}{dx} without an explicit formula for yy in terms of x?x\text{?} The following preview activity reminds us of some ways we can compute derivatives of functions in settings where the function's formula is not known.

Preview Activity 2.7.12.7.1

Let ff be a differentiable function of xx (whose formula is not known) and recall that ddx[f(x)]\frac{d}{dx}[f(x)] and f′(x)f'(x) are interchangeable notations. Determine each of the following derivatives of combinations of explicit functions of x,x\text{,} the unknown function f,f\text{,} and an arbitrary constant c.c\text{.}

  1. ddx[x2+f(x)]\displaystyle \frac{d}{dx} \left[ x^2 + f(x) \right]
  2. ddx[x2f(x)]\displaystyle \frac{d}{dx} \left[ x^2 f(x) \right]
  3. ddx[c+x+f(x)2]\displaystyle \frac{d}{dx} \left[ c + x + f(x)^2 \right]
  4. ddx[f(x2)]\displaystyle \frac{d}{dx} \left[ f(x^2) \right]
  5. ddx[xf(x)+f(cx)+cf(x)]\displaystyle \frac{d}{dx} \left[ xf(x) + f(cx) + cf(x) \right]

Implicit Differentiation

We begin our exploration of implicit differentiation with the example of the circle given by x2+y2=16.x^2 + y^2 = 16\text{.} How can we find a formula for dydx?\frac{dy}{dx}\text{?}

By viewing yy as an implicit function of x,x\text{,} we think of yy as some function whose formula f(x)f(x) is unknown, but which we can differentiate. Just as yy represents an unknown formula, so too its derivative with respect to x,x\text{,} dydx,\frac{dy}{dx}\text{,} will be (at least temporarily) unknown.

So we view yy as an unknown differentiable function of xx and differentiate both sides of the equation with respect to x.x\text{.}

ddx[x2+y2]=ddx[16]. \frac{d}{dx} \left[ x^2 + y^2 \right] = \frac{d}{dx} \left[ 16 \right]\text{.}

On the right, the derivative of the constant 1616 is 0,0\text{,} and on the left we can apply the sum rule, so it follows that

ddx[x2]+ddx[y2]=0. \frac{d}{dx} \left[ x^2 \right] + \frac{d}{dx} \left[ y^2 \right] = 0\text{.}

Note carefully the different roles being played by xx and y.y\text{.} Because xx is the independent variable, ddx[x2]=2x.\frac{d}{dx} \left[x^2\right] = 2x\text{.} But yy is the dependent variable and yy is an implicit function of x.x\text{.} Recall Preview Activity 2.7.12.7.1 , where we computed ddx[f(x)2].\frac{d}{dx}[f(x)^2]\text{.} Computing ddx[y2]\frac{d}{dx}[y^2] is the same, and requires the chain rule, by which we find that ddx[y2]=2y1dydx.\frac{d}{dx}[y^2] = 2y^1 \frac{dy}{dx}\text{.} We now have that

2x+2ydydx=0. 2x + 2y \frac{dy}{dx} = 0\text{.}

We solve this equation for dydx\frac{dy}{dx} by subtracting 2x2x from both sides and dividing by 2y.2y\text{.}

dydx=−2x2y=−xy. \frac{dy}{dx} = -\frac{2x}{2y} = -\frac{x}{y}\text{.}

There are several important things to observe about the result that dydx=−xy.\frac{dy}{dx} = -\frac{x}{y}\text{.} First, this expression for the derivative involves both xx and y.y\text{.} This makes sense because there are two corresponding points on the circle for each value of xx between −4-4 and 4,4\text{,} and the slope of the tangent line is different at each of these points.

Second, this formula is entirely consistent with our understanding of circles. The slope of the radius from the origin to the point (a,b)(a,b) is mr=ba.m_r = \frac{b}{a}\text{.} The tangent line to the circle at (a,b)(a,b) is perpendicular to the radius, and thus has slope mt=−ab,m_t = -\frac{a}{b}\text{,} as shown in Figure 2.7.22.7.2 . In particular, the slope of the tangent line is zero at (0,4)(0,4) and (0,−4),(0,-4)\text{,} and is undefined at (−4,0)(-4,0) and (4,0).(4,0)\text{.} All of these values are consistent with the formula dydx=−xy.\frac{dy}{dx} = -\frac{x}{y}\text{.}

2_7_Circle.svg

Figure 2.7.22.7.2 . The circle given by x2+y2=16x^2 + y^2 = 16 with point (a,b)(a,b) on the circle and the tangent line at that point, with labeled slopes of the radial line, mr,m_r\text{,} and tangent line, mt.m_t\text{.}
Example 2.7.12.7.1

For the curve given implicitly by x3+y2−2xy=2,x^3 + y^2 - 2xy = 2\text{,} shown in Figure 2.7.32.7.3 , find the slope of the tangent line at (−1,1).(-1,1)\text{.}

2_7_Ex1.svg

Figure 2.7.32.7.3 . The curve x3+y2−2xy=2.x^3 + y^2 - 2xy = 2\text{.}
Answer

We begin by differentiating the curve's equation implicitly. Taking the derivative of each side with respect to x,x\text{,}

ddx[x3+y2−2xy]=ddx[2], \frac{d}{dx}\left[ x^3 + y^2 - 2xy \right] = \frac{d}{dx} \left[ 2 \right]\text{,}

by the sum rule and the fact that the derivative of a constant is zero, we have

ddx[x3]+ddx[y2]−ddx[2xy]=0. \frac{d}{dx}[x^3] + \frac{d}{dx}[y^2] - \frac{d}{dx}[2xy] = 0\text{.}

For the three derivatives we now must execute, the first uses the simple power rule, the second requires the chain rule (since yy is an implicit function of xx), and the third necessitates the product rule (again since yy is a function of xx). Applying these rules, we now find that

3x2+2ydydx−[2xdydx+2y]=0. 3x^2 + 2y\frac{dy}{dx} - [2x \frac{dy}{dx} + 2y] = 0\text{.}

We want to solve this equation for dydx.\frac{dy}{dx}\text{.} To do so, we first collect all of the terms involving dydx\frac{dy}{dx} on one side of the equation.

2ydydx−2xdydx=2y−3x2. 2y\frac{dy}{dx} - 2x \frac{dy}{dx}= 2y - 3x^2\text{.}

Then we factor the left side to isolate dydx.\frac{dy}{dx}\text{.}

dydx(2y−2x)=2y−3x2. \frac{dy}{dx}(2y - 2x) = 2y - 3x^2\text{.}

Finally, we divide both sides by (2y−2x)(2y - 2x) and conclude that

dydx=2y−3x22y−2x. \frac{dy}{dx} = \frac{2y-3x^2}{2y-2x}\text{.}

Note that the expression for dydx\frac{dy}{dx} depends on both xx and y.y\text{.} To find the slope of the tangent line at (−1,1),(-1,1)\text{,} we substitute the coordinates into the formula for dydx,\frac{dy}{dx}\text{,} using the notation

dydx∣(−1,1)=2(1)−3(−1)22(1)−2(−1)=−14. \left. \frac{dy}{dx} \right|_{(-1,1)} = \frac{2(1)-3(-1)^2}{2(1)-2(-1)} = -\frac14\text{.}

This value matches our visual estimate of the slope of the tangent line shown in Figure 2.7.32.7.3 .

Example 2.7.32.7.3 shows that it is possible when differentiating implicitly to have multiple terms involving dydx.\frac{dy}{dx}\text{.} We use addition and subtraction to collect all terms involving dydx\frac{dy}{dx} on one side of the equation, then factor to get a single term of dydx.\frac{dy}{dx}\text{.} Finally, we divide to solve for dydx.\frac{dy}{dx}\text{.}

We use the notation

dydx∣(a,b) \left. \frac{dy}{dx} \right|_{(a,b)}

to denote the evaluation of dydx\frac{dy}{dx} at the point (a,b).(a,b)\text{.} This is analogous to writing f′(a)f'(a) when f′f' depends on a single variable.

There is a big difference between writing ddx\frac{d}{dx} and dydx.\frac{dy}{dx}\text{.} For example,

ddx[x2+y2] \frac{d}{dx}[x^2 + y^2]

gives an instruction to take the derivative with respect to xx of the quantity x2+y2,x^2 + y^2\text{,} presumably where yy is a function of x.x\text{.} On the other hand,

dydx(x2+y2) \frac{dy}{dx}(x^2 + y^2)

means the product of the derivative of yy with respect to xx with the quantity x2+y2.x^2 + y^2\text{.} Understanding this notational subtlety is essential.

Activity 2.7.12.7.1

Consider the curve defined by the equation x=y5−5y3+4y,x = y^5 - 5y^3 + 4y\text{,} whose graph is pictured in Figure 2.7.42.7.4 .

  1. Explain why it is not possible to express yy as an explicit function of x.x\text{.}
  2. Use implicit differentiation to find a formula for dy/dx.dy/dx\text{.}
  3. Use your result from part (b) to find an equation of the line tangent to the graph of x=y5−5y3+4yx = y^5 - 5y^3 + 4y at the point (0,1).(0, 1)\text{.}
  4. Use your result from part (b) to determine all of the points at which the graph of x=y5−5y3+4yx = y^5 - 5y^3 + 4y has a vertical tangent line.

2_7_Act1.svg

Figure 2.7.42.7.4 . The curve x=y5−5y3+4y.x = y^5 - 5y^3 + 4y\text{.}

It is natural to ask where the tangent line to a curve is vertical or horizontal. The slope of a horizontal tangent line must be zero, while the slope of a vertical tangent line is undefined. Often the formula for dydx\frac{dy}{dx} is expressed as a quotient of functions of xx and y,y\text{,} say

dydx=p(x,y)q(x,y). \frac{dy}{dx} = \frac{p(x,y)}{q(x,y)}\text{.}

The tangent line is horizontal precisely when the numerator is zero and the denominator is nonzero, making the slope of the tangent line zero. If we can solve the equation p(x,y)=0p(x,y) = 0 for either xx and yy in terms of the other, we can substitute that expression into the original equation for the curve. This gives an equation in a single variable, and if we can solve that equation we can find the point(s) on the curve where p(x,y)=0.p(x,y) = 0\text{.} At those points, the tangent line is horizontal.

Similarly, the tangent line is vertical whenever q(x,y)=0q(x,y) = 0 and p(x,y)≠0,p(x,y) \ne 0\text{,} making the slope undefined.

Activity 2.7.22.7.2

Consider the curve defined by the equation y(y2−1)(y−2)=x(x−1)(x−2),y(y^2-1)(y-2) = x(x-1)(x-2)\text{,} whose graph is pictured in Figure 2.7.52.7.5 . Through implicit differentiation, it can be shown that

dydx=(x−1)(x−2)+x(x−2)+x(x−1)(y2−1)(y−2)+2y2(y−2)+y(y2−1). \frac{dy}{dx} = \frac{(x-1)(x-2) + x(x-2) + x(x-1)}{(y^2-1)(y-2) + 2y^2(y-2) + y(y^2-1)}\text{.}

Use this fact to answer each of the following questions.

  1. Determine all points (x,y)(x,y) at which the tangent line to the curve is horizontal. (Use technology appropriately to find the needed zeros of the relevant polynomial function.)
  2. Determine all points (x,y)(x,y) at which the tangent line is vertical. (Use technology appropriately to find the needed zeros of the relevant polynomial function.)
  3. Find the equation of the tangent line to the curve at one of the points where x=1.x = 1\text{.}

2_7_Act2.svg

Figure 2.7.52.7.5 . y(y2−1)(y−2)=x(x−1)(x−2).y(y^2-1)(y-2) = x(x-1)(x-2)\text{.}
Activity 2.7.32.7.3

For each of the following curves, use implicit differentiation to find dy/dxdy/dx and determine the equation of the tangent line at the given point.

  1. x3−y3=6xy,x^3 - y^3 = 6xy\text{,} (−3,3)(-3,3)
  2. sin⁡(y)+y=x3+x,\sin(y) + y = x^3 + x\text{,} (0,0)(0,0)
  3. 3xe−xy=y2,3x e^{-xy} = y^2\text{,} (0.619061,1)(0.619061,1)

Summary

  • In an equation involving xx and yy where portions of the graph can be defined by explicit functions of x,x\text{,} we say that yy is an implicit function of x.x\text{.} A good example of such a curve is the unit circle.
  • We use implicit differentiation to differentiate an implicitly defined function. We differentiate both sides of the equation with respect to x,x\text{,} treating yy as a function of xx by applying the chain rule. If possible, we subsequently solve for dydx\frac{dy}{dx} using algebra.
  • While dydx\frac{dy}{dx} may now involve both the variables xx and y,y\text{,} dydx\frac{dy}{dx} still gives the slope of the tangent line to the curve. It may be used to decide where the tangent line is horizontal (dydx=0\frac{dy}{dx} = 0) or vertical (dydx\frac{dy}{dx} is undefined), or to find the equation of the tangent line at a particular point on the curve.

Credit and licence

This page titled 2.7: Derivatives of Functions Given Implicitly was last modified on Thu, 28 Sep 2023 16:37:55 GMT and is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Matthew Boelkins, David Austin, and Steven Schlicker ( ScholarWorks @Grand Valley State University ) via source content that was edited to the style and standards of the LibreTexts platform.

Source: https://math.libretexts.org/Bookshelves/Calculus/Active_Calculus_(Boelkins_et_al.)/02%3A_Computing_Derivatives/2.07%3A_Derivatives_of_Functions_Given_Implicitely

Licence: CC BY-SA 4.0 (creativecommons.org/licenses/by-sa/4.0/). You may share and adapt it under the same licence, with this credit. WorldClass adapted the formatting only: the text is the authors', with interactive parts and links to other sites left out.

Build status · Flash Infinity AI™ is a trademark of AI-Flash Inc.. WorldClass is not affiliated with, approved or accredited by any exam board, curriculum provider or university unless a page says so.