Mascot image.
#Math#Differentiation

Implicit Differentiation and Related Rates

Lesson 4AM closed with the chain rule and a small toolkit for time rates of change: pick an inner variable that depends on tt, an outer quantity that depends on the inner variable, and multiply the two derivatives. Every example there shared a structural feature — the relationship between the variables was given by an honest function, V=43πr3V = \frac{4}{3} \pi r^3, R=0.002x2+86xR = -0{.}002 \, x^2 + 86 \, x, and so on. The slope formula came out of differentiating that function once.

Plenty of curves in geometry and economics are not given as a function. The circle x2+y2=4x^2 + y^2 = 4 assigns two values of yy to most xx in (2,2)(-2, 2), and so fails the vertical-line test from Lesson 1AM. The production isoquant 60x3/4y1/4=324060 \, x^{3/4} y^{1/4} = 3240 that an economist scrawls on a board is a curve in the plane, but solving for yy algebraically is rarely what one wants to do. These equations implicitly define a relationship; the question is whether the slope of that relationship can be read off without first untangling yy from xx.

The chain rule (already in hand) handles the job, and it lets us answer two different questions about the same equation. Treating yy as an unknown function y=g(x)y = g(x) and differentiating with respect to xx produces a linear equation in dydx\frac{dy}{dx}, solvable by ordinary algebra. Treating both xx and yy as unknown functions of a third variable tt (typically time) and differentiating with respect to tt produces a linear equation in dxdt\frac{dx}{dt} and dydt\frac{dy}{dt}, expressing the related rates of two quantities tied together by the curve. The first half of this lesson develops the static slope picture; the second half upgrades it to motion.

Curves That Aren’t Function Graphs

Consider the circle

x2+y2=4.(1)x^2 + y^2 = 4. \tag{1}

Its graph (Fig. 1) is the set of points two units from the origin. Because there are two points with xx-coordinate 11, namely (1,3)(1, \sqrt{3}) and (1,3)(1, -\sqrt{3}), the relation is not the graph of any function y=f(x)y = f(x).

Locally, however, it behaves like one. Stay near (1,3)(1, \sqrt{3}): the upper half of the circle close to that point is the graph of y=4x2y = \sqrt{4 - x^2}, a perfectly good function on (2,2)(-2, 2). Stay near (1,3)(1, -\sqrt{3}) and the relevant local function is y=4x2y = -\sqrt{4 - x^2}. Wherever the tangent line is not vertical, the curve looks like a function graph in a small enough neighborhood, and the slope of the curve at (a,b)(a, b) is the slope of that local function at x=ax = a. Standard notation isolates the point at which the slope is read:

dydxx=ay=b.\left. \frac{dy}{dx} \right|_{\substack{x = a\\ y = b}}.

Both coordinates appear because, on a curve like the circle, the slope at x=1x = 1 is ambiguous until we say which of (1,3)(1, \sqrt{3}) or (1,3)(1, -\sqrt{3}) we mean.

Definition 35 (Implicit function)

An equation F(x,y)=0F(x, y) = 0 is said to define yy implicitly as a function of xx near a point (a,b)(a, b) on the curve F(x,y)=0F(x, y) = 0 if there is a function gg, defined on an open interval around aa, such that g(a)=bg(a) = b and F(x,g(x))=0F(x, g(x)) = 0 for every xx in that interval. The slope dydx(a,b)\frac{dy}{dx}\big|_{(a, b)} is the derivative g(a)g'(a).

Circle x² + y² = 4 with the points (1, √3) and (1, -√3) marked. Tangent lines drawn at each point, with the upper tangent sloping at -1/√3 and the lower tangent sloping at +1/√3.

The figure shows the two tangent slopes that this lesson is about to compute. Throughout, we assume the equation in question implicitly defines a differentiable function near every point we sample; the points where this fails (the leftmost and rightmost points of the circle, where the tangent is vertical) appear as the points at which the slope formula divides by zero.

The Implicit Differentiation Move

Treat yy as an unspecified differentiable function of xx, write y=g(x)y = g(x) in your head, and apply the chain rule whenever a power or composition of yy is differentiated. Every other rule from the toolkit table at the end of Lesson 4AM applies as before.

The single new pattern is this: differentiating yry^r with respect to xx is not the same as differentiating it with respect to yy. The general power rule, with g(x)g(x) playing the role of the inner function, gives

ddx[g(x)]r=r[g(x)]r1g(x).\frac{d}{dx}\bigl[ g(x) \bigr]^r = r \, [g(x)]^{r-1} \, g'(x).

Substituting y=g(x)y = g(x) and g(x)=dydxg'(x) = \frac{dy}{dx} yields the working form.

Theorem 16 (Differentiating a power of yy with respect to xx)

If yy is a differentiable function of xx and rr is a constant for which yr1y^{r-1} makes sense at the point in question, then

ddxyr=ryr1dydx.(2)\frac{d}{dx} y^r = r \, y^{r-1} \, \frac{dy}{dx}. \tag{2}
Proof

Set g(x)=yg(x) = y and f(u)=urf(u) = u^r. The composition f(g(x))=yrf(g(x)) = y^r is differentiated by the chain rule of Lesson 4AM:

ddxyr=f(g(x))g(x)=r[g(x)]r1g(x)=ryr1dydx.\frac{d}{dx} y^r = f'(g(x)) \cdot g'(x) = r [g(x)]^{r-1} \cdot g'(x) = r \, y^{r-1} \, \frac{dy}{dx}.

The last equality only restates g(x)=yg(x) = y and g(x)=dydxg'(x) = \frac{dy}{dx}.

The factor dydx\frac{dy}{dx} is the bookkeeping that distinguishes a yy-power from an xx-power: an xx-power gets no such factor because dxdx=1\frac{dx}{dx} = 1. Forgetting it is the single most common error, and every implicit differentiation in the rest of this lesson contains at least one application of (2)(2).

A First Slope: The Circle

Example 123 (Tangent slopes on the radius-2 circle)

Use implicit differentiation to find dydx\dfrac{dy}{dx} for the circle x2+y2=4x^2 + y^2 = 4 from (1)(1). Then evaluate the slope at the points (1,3)(1, \sqrt{3}) and (1,3)(1, -\sqrt{3}).

Differentiate both sides of x2+y2=4x^2 + y^2 = 4 with respect to xx. The left side splits by the sum rule. The first piece x2x^2 has derivative 2x2 x as usual. The second piece y2y^2 is a power of yy, so by (2)(2),

ddxy2=2ydydx.\frac{d}{dx} y^2 = 2 y \, \frac{dy}{dx}.

The right side, the constant 44, has derivative 00. Thus

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

Solving for dydx\frac{dy}{dx} when y0y \neq 0,

2ydydx=2x.2 y \, \frac{dy}{dx} = -2 x.

Dividing both sides by 2y2y gives

dydx=xy.(3)\frac{dy}{dx} = -\frac{x}{y}. \tag{3}

Equation (3)(3) depends on both coordinates, which is exactly right: the slope at x=1x = 1 is genuinely two-valued on the circle, and the formula resolves the ambiguity by asking for yy as well.

At (1,3)(1, \sqrt{3}):

dydxx=1y=3=13.\left. \frac{dy}{dx} \right|_{\substack{x = 1\\ y = \sqrt{3}}} = -\frac{1}{\sqrt{3}}.

At (1,3)(1, -\sqrt{3}):

dydxx=1y=3=13=13.\left. \frac{dy}{dx} \right|_{\substack{x = 1\\ y = -\sqrt{3}}} = -\frac{1}{-\sqrt{3}} = \frac{1}{\sqrt{3}}.

The two slopes are negatives of each other; geometrically, the upper and lower tangents reflect across the xx-axis, and their slopes flip sign. The slope formula (3)(3) fails at the points (±2,0)(\pm 2, 0) because the denominator yy vanishes there; those are precisely the two points at which the tangent is vertical and the slope is undefined.

The same answer is obtained, with more work, by solving (1)(1) for yy on each half of the circle and differentiating the explicit formula. On the upper half y=4x2y = \sqrt{4 - x^2}, the chain rule gives

dydx=x4x2=xy.\frac{dy}{dx} = \frac{-x}{\sqrt{4 - x^2}} = -\frac{x}{y}.

The implicit answer x/y-x/y contains both halves at once. Two cases collapse into one expression — that is the structural payoff.

Example 124 (A tangent line from the implicit slope)

Find the tangent line to the circle

x2+y2=4x^2+y^2=4

at the point (1,3)(1,\sqrt{3}).

The slope formula from (3)(3) gives

dydxx=1y=3=13.\left.\frac{dy}{dx}\right|_{\substack{x=1\\ y=\sqrt{3}}}=-\frac{1}{\sqrt{3}}.

The tangent line is the line through (1,3)(1,\sqrt{3}) with this slope, so the point-slope form is

y3=13(x1).y-\sqrt{3}=-\frac{1}{\sqrt{3}}(x-1).

If desired, multiply through by 3\sqrt{3} to remove the fraction:

3y3=(x1),\sqrt{3}\,y-3=-(x-1),

or equivalently

x+3y=4.x+\sqrt{3}\,y=4.

The final form has a geometric reading: the radius from the origin to (1,3)(1,\sqrt{3}) has slope 3\sqrt{3}, while the tangent slope is 1/3-1/\sqrt{3}, so the radius and tangent are perpendicular.

Problem 127

For the ellipse x29+y24=1\dfrac{x^2}{9} + \dfrac{y^2}{4} = 1:

  1. Use implicit differentiation to find dydx\dfrac{dy}{dx}.
  2. Compute the slopes of the tangent lines at (32,3)\left(\tfrac{3}{2}, \sqrt{3}\right) and (32,3)\left(\tfrac{3}{2}, -\sqrt{3}\right). Confirm they are negatives of each other and explain why geometrically.
  3. Locate the points at which the tangent is horizontal and the points at which it is vertical, by reading off when the numerator and denominator of dydx\dfrac{dy}{dx} vanish.

Products, Sums, and Mixed Terms

Two short examples cover the rest of the technique. Whenever yy multiplies xx, the product rule applies; whenever yy is raised to a power, (2)(2) applies; and the two combine without surprises.

Example 125 (A two-factor implicit equation)

Use implicit differentiation to compute dydx\dfrac{dy}{dx} for x2y6=1x^2 y^6 = 1.

Differentiate each side with respect to xx. The left side is a product, so the product rule supplies

x2ddx(y6)+y6ddx(x2)=ddx(1).x^2 \cdot \frac{d}{dx} (y^6) + y^6 \cdot \frac{d}{dx} (x^2) = \frac{d}{dx}(1).

The first ddx\frac{d}{dx} is a power of yy, evaluated by (2)(2) with r=6r = 6, giving 6y5dydx6 y^5 \, \frac{dy}{dx}. The second is the ordinary power rule, giving 2x2 x. The right side has derivative 00. Combining,

6x2y5dydx+2xy6=0.6 \, x^2 y^5 \, \frac{dy}{dx} + 2 x \, y^6 = 0.

Move the term without dydx\frac{dy}{dx} to the right and divide by the coefficient of dydx\frac{dy}{dx}:

6x2y5dydx=2xy6.6 \, x^2 y^5 \, \frac{dy}{dx} = -2 x \, y^6.

Dividing both sides by 6x2y56x^2y^5 and simplifying,

dydx=2xy66x2y5=y3x.\frac{dy}{dx} = -\frac{2 x \, y^6}{6 \, x^2 y^5} = -\frac{y}{3 x}.

Provided x0x \neq 0 and y0y \neq 0 — both forced by the original constraint x2y6=1x^2 y^6 = 1 — the slope is given by a tidy ratio. No part of the calculation required isolating yy as a function of xx.

Example 126 (A four-term mixture)

Use implicit differentiation to find dydx\dfrac{dy}{dx} when x2y+xy33x=5x^2 y + x y^3 - 3 x = 5.

Differentiate term by term. Both x2yx^2 y and xy3x y^3 are products and need the product rule. The term 3x-3 x contributes 3-3, and the constant 55 contributes 00:

x2dydx+y2xfrom x2y+x3y2dydx+y31from xy33=0.\underbrace{x^2 \cdot \frac{dy}{dx} + y \cdot 2 x}_{\text{from } x^2 y} + \underbrace{x \cdot 3 y^2 \frac{dy}{dx} + y^3 \cdot 1}_{\text{from } x y^3} - 3 = 0.

That is the entire calculus content of the calculation. What remains is algebra: collect dydx\frac{dy}{dx} on the left, send everything else to the right, and divide.

Step 1 — keep the dydx\frac{dy}{dx} terms together:

x2dydx+3xy2dydx=3y32xy.x^2 \frac{dy}{dx} + 3 x y^2 \frac{dy}{dx} = 3 - y^3 - 2 x y.

Step 2 — factor out dydx\frac{dy}{dx}:

(x2+3xy2)dydx=3y32xy.(x^2 + 3 x y^2) \frac{dy}{dx} = 3 - y^3 - 2 x y.

Step 3 — divide by the coefficient:

dydx=3y32xyx2+3xy2.\frac{dy}{dx} = \frac{3 - y^3 - 2 x y}{x^2 + 3 x y^2}.

The answer mixes xx and yy, just as (3)(3) did for the circle. The original equation does not factor; the slope formula is forced to depend on both coordinates because the curve does.

Note (The procedure)

Three of these calculations are enough to pull out the procedure that runs them all.

  1. Differentiate every term of the equation with respect to xx. Use the product rule for any term that contains both xx and yy as factors. Use (2)(2) for any pure power of yy.
  2. Move every term containing dydx\frac{dy}{dx} to one side and every term without it to the other.
  3. Factor dydx\frac{dy}{dx} out of the side it lives on.
  4. Divide by the factor that multiplies dydx\frac{dy}{dx}.

The end product is a formula for dydx\frac{dy}{dx} in terms of xx and yy. To evaluate the slope at a specific point, substitute both coordinates of that point.

Problem 128

Find dydx\dfrac{dy}{dx} for each curve and state the points (if any) at which the formula breaks down.

  1. x3+y3=9x^3 + y^3 = 9.
  2. xy2x2y=6x y^2 - x^2 y = 6.
  3. x+y=4\sqrt{x} + \sqrt{y} = 4.
  4. x22xy+3y2=8x^2 - 2 x y + 3 y^2 = 8.
Problem 129

The curve y2=x33x+3y^2 = x^3 - 3 x + 3 is an elliptic curve (a class central to modern number theory and cryptography).

  1. Use implicit differentiation to express dydx\dfrac{dy}{dx} in terms of xx and yy.
  2. The point (1,1)(1, 1) lies on the curve. Find the equation of the tangent line at (1,1)(1, 1).
  3. Find every point on the curve at which the tangent is horizontal.
Problem 130

Two curves are orthogonal at a point of intersection if their tangent lines there are perpendicular — equivalently, if the product of their slopes is 1-1. Show that the family of circles x2+y2=c2x^2 + y^2 = c^2 (c>0c > 0) and the family of lines y=mxy = m x (m0m \neq 0) are orthogonal at every point where they cross. Use implicit differentiation on the circle and explicit differentiation on the line.

Problem 131

Consider the curve

y3+y=x2.()y^{3} + y = x^{2}. \tag{$\star$}
  1. Show that for every real xx, equation ()(\star) has exactly one real solution yy. (Hint: the function φ(y)=y3+y\varphi(y) = y^{3} + y is strictly increasing for every real yy — verify with its derivative — and takes every real value, so it is invertible.) Conclude that ()(\star) defines yy implicitly as a function of xx at every real xx.
  2. Use implicit differentiation to find dydx\dfrac{dy}{dx} in terms of xx and yy.
  3. Show that dydx>0\dfrac{dy}{dx} > 0 for x>0x > 0 and dydx<0\dfrac{dy}{dx} < 0 for x<0x < 0, and identify the unique point on the curve at which dydx=0\dfrac{dy}{dx} = 0. Tie the sign-change picture to the symmetry xxx \mapsto -x of equation ()(\star).

Production Isoquants and the Marginal Rate of Substitution

Two production inputs — labor xx and capital yy, say — combine through a Cobb–Douglas technology to produce a fixed level of output. Holding the output constant traces out a curve in the (x,y)(x, y)-plane called an isoquant: every (x,y)(x, y) on the curve produces the same total. The slope of the isoquant tells the firm how much of one input must be sacrificed to gain one extra unit of the other while keeping output unchanged.

Example 127 (Isoquant slope and the marginal rate of substitution)

A production process satisfies

60x3/4y1/4=3240,(4)60 \, x^{3/4} y^{1/4} = 3240, \tag{4}

where xx and yy are the amounts of two basic inputs and 32403240 is the fixed output level. Find the slope of the isoquant at the point (81,16)(81, 16), and interpret the answer economically.

Differentiate (4)(4) with respect to xx. The left side is a product of 60x3/460 \, x^{3/4} and y1/4y^{1/4}, so the product rule gives

60x3/4ddx(y1/4)+y1/4ddx(60x3/4)=0.60 \, x^{3/4} \cdot \frac{d}{dx}(y^{1/4}) + y^{1/4} \cdot \frac{d}{dx}(60 \, x^{3/4}) = 0.

The two derivatives:

ddx(y1/4)=14y3/4dydx,ddx(60x3/4)=6034x1/4=45x1/4.\frac{d}{dx}(y^{1/4}) = \frac{1}{4} y^{-3/4} \, \frac{dy}{dx}, \qquad \frac{d}{dx}(60 \, x^{3/4}) = 60 \cdot \frac{3}{4} x^{-1/4} = 45 \, x^{-1/4}.

Substituting,

60x3/414y3/4dydx+y1/445x1/4=0,60 \, x^{3/4} \cdot \frac{1}{4} y^{-3/4} \frac{dy}{dx} + y^{1/4} \cdot 45 \, x^{-1/4} = 0,

which tidies to

15x3/4y3/4dydx=45x1/4y1/4.15 \, x^{3/4} y^{-3/4} \, \frac{dy}{dx} = -45 \, x^{-1/4} y^{1/4}.

Dividing,

dydx=45x1/4y1/415x3/4y3/4=3x1y=3yx.(5)\frac{dy}{dx} = \frac{-45 \, x^{-1/4} y^{1/4}}{15 \, x^{3/4} y^{-3/4}} = -3 \, x^{-1} y = -\frac{3 \, y}{x}. \tag{5}

Plugging in (81,16)(81, 16):

dydxx=81y=16=31681=16270.593.\left. \frac{dy}{dx} \right|_{\substack{x = 81\\ y = 16}} = -\frac{3 \cdot 16}{81} = -\frac{16}{27} \approx -0{.}593.

The economic reading is direct. Increasing input xx by one unit while staying on the isoquant requires decreasing input yy by approximately 1627\tfrac{16}{27} unit, since the slope is negative. The absolute value dy/dx=1627|dy/dx| = \tfrac{16}{27} is the marginal rate of substitution of the first input for the second. It depends on the current mix (x,y)(x, y): at higher levels of yy relative to xx, the curve is steeper and a small extra unit of xx frees up more yy.

Production isoquant 60 x^(3/4) y^(1/4) = 3240 plotted as y against x. The curve falls steeply for small x and flattens as x grows. The point (81, 16) is marked with the tangent line of slope -16/27.

The curve slopes down everywhere — increasing one input lets you reduce the other — and is convex toward the origin. Convexity has a direct economic translation: replacing each unit of input yy requires more and more of input xx as yy becomes scarce, exactly the diminishing-returns behavior the Cobb–Douglas exponent split 3/4+1/4=13/4 + 1/4 = 1 is designed to capture. The slope formula (5)(5) encodes this. As yy falls and xx rises along the isoquant, the ratio 3y/x3y/x shrinks, so dy/dx|dy/dx| shrinks — each additional unit of xx buys back less and less of yy.

Problem 132

A bakery’s daily output (in dozens) of bread depends on flour xx (in kilograms) and oven-hours yy via the Cobb–Douglas relation

20x1/2y1/2=360.20 \, x^{1/2} y^{1/2} = 360.
  1. Use implicit differentiation to find dydx\dfrac{dy}{dx} as a function of xx and yy.
  2. Compute the marginal rate of substitution at (x,y)=(16,81)(x, y) = (16, 81) and interpret in plain English.
  3. Confirm part (1) by solving the equation explicitly for yy and differentiating, and check that the two answers agree on the curve.
Problem 133

A consumer’s preferences are summarized by the indifference curve

x2y=50,x,y>0,x^{2} y = 50, \qquad x, y > 0,

where xx is the quantity of one good and yy is the quantity of another. Use implicit differentiation to compute dydx\dfrac{dy}{dx} and find the marginal rate of substitution at the bundle (5,2)(5, 2). State, in plain English, what the answer says about the consumer’s willingness to swap goods.

A Curve from the 17th Century

Implicit differentiation is older than the limit-based theory of derivatives. Descartes communicated the curve below to Fermat in 1638, asking for its tangent at a non-trivial point, and the answer is a single line of implicit differentiation today.

Example 128 (Folium of Descartes)

The folium of Descartes is the curve

x3+y3=3xy.(6)x^3 + y^3 = 3 \, x \, y. \tag{6}

Find dydx\dfrac{dy}{dx} in terms of xx and yy, and use it to determine the slope at the point (32,32)\left(\tfrac{3}{2}, \tfrac{3}{2}\right).

Differentiate (6)(6) with respect to xx. The left side is a sum, so each term yields its own derivative; y3y^3 uses (2)(2). The right side 3xy3 x y is a product:

3x2+3y2dydx=3 ⁣(xdydx+y1).3 x^2 + 3 y^2 \frac{dy}{dx} = 3 \! \left(x \cdot \frac{dy}{dx} + y \cdot 1\right).

Cancel the common factor 33:

x2+y2dydx=xdydx+y.x^2 + y^2 \frac{dy}{dx} = x \, \frac{dy}{dx} + y.

Move dydx\frac{dy}{dx} terms to one side:

y2dydxxdydx=yx2.y^2 \frac{dy}{dx} - x \, \frac{dy}{dx} = y - x^2.

Factoring out dydx\frac{dy}{dx} gives

(y2x)dydx=yx2.(y^2 - x) \frac{dy}{dx} = y - x^2.

Therefore

dydx=yx2y2x.(7)\frac{dy}{dx} = \frac{y - x^2}{y^2 - x}. \tag{7}

At (32,32)\left(\tfrac{3}{2}, \tfrac{3}{2}\right):

dydx=32949432=3434=1.\frac{dy}{dx} = \frac{\tfrac{3}{2} - \tfrac{9}{4}}{\tfrac{9}{4} - \tfrac{3}{2}} = \frac{-\tfrac{3}{4}}{\tfrac{3}{4}} = -1.

The tangent at (32,32)\left(\tfrac{3}{2}, \tfrac{3}{2}\right) has slope 1-1, which agrees with the symmetry of the curve under the swap (x,y)(y,x)(x, y) \leftrightarrow (y, x): the line y=xy = x is an axis of symmetry, and the tangent at any point on that axis must be perpendicular to it, hence slope 1-1.

Folium of Descartes x³ + y³ = 3xy. A loop sits in the first quadrant; two wings extend into the second and fourth quadrants and approach the line y = -x - 1 asymptotically. The point (3/2, 3/2) is marked at the tip of the loop with a tangent line of slope -1.

Two structural features of the folium are visible in the picture and explained by (7)(7). The numerator yx2y - x^2 vanishes when y=x2y = x^2, giving horizontal tangents; the denominator y2xy^2 - x vanishes when x=y2x = y^2, giving vertical tangents. The point (0,0)(0, 0) is special — both vanish at once, so (7)(7) degenerates to 0/00/0 there and the curve has two distinct tangent directions through the origin (visible in the figure as the curve crossing itself).

Problem 134

For the folium x3+y3=3xyx^3 + y^3 = 3 x y:

  1. Find every nonsingular point on the curve at which the tangent is horizontal. Combine the equations y=x2y = x^2 (numerator zero) and x3+y3=3xyx^3 + y^3 = 3 x y, excluding the origin for now.
  2. Find every nonsingular point at which the tangent is vertical, by combining x=y2x = y^2 with the curve equation, again excluding the origin for now.
  3. The point (0,0)(0, 0) is on the curve. Substitute y=mxy = m x to find the non-vertical tangent direction at the origin, then use symmetry or substitute x=nyx = n y to find the vertical tangent direction. State the two tangent lines.
Problem 135

The lemniscate of Bernoulli is the curve

2(x2+y2)2=25(x2y2).2 (x^2 + y^2)^2 = 25 (x^2 - y^2).
  1. Use implicit differentiation to find dydx\dfrac{dy}{dx}.
  2. The point (3,1)(3, 1) lies on the lemniscate (verify). Find the slope of the tangent line at (3,1)(3, 1) and write the equation of that tangent in point-slope form.
Problem 136

The circle x2+y2=4x^{2} + y^{2} = 4 and the parabola y=x22y = x^{2} - 2 intersect at the points (±3,1)\bigl(\pm\sqrt{3},\, 1\bigr) — verify by substituting.

  1. Use implicit differentiation on the circle and the power rule on the parabola to find both tangent slopes at (3,1)\bigl(\sqrt{3},\, 1\bigr).
  2. Two curves are orthogonal at a common point if their tangent slopes m1,m2m_{1}, m_{2} there satisfy m1m2=1m_{1} m_{2} = -1. Decide whether the circle and the parabola meet orthogonally at (3,1)\bigl(\sqrt{3},\, 1\bigr).
  3. Without further computation, state the corresponding result at (3,1)\bigl(-\sqrt{3},\, 1\bigr), citing the symmetry xxx \mapsto -x shared by both curves.

In the work so far, yy has been a function of xx. In many applications the natural independent variable is neither — it is time. A point traces an ellipse as tt advances; a market drifts along a demand curve as the price slowly slips; a chemical reaction moves a system along a constraint surface in concentration space. In each case, xx and yy are both functions of tt, neither is given by a formula, and the only relation we have is an equation in xx and yy that holds at every instant.

The same chain rule that powered implicit differentiation handles this. Differentiating an equation F(x,y)=cF(x, y) = c with respect to tt, and treating xx and yy as unknown functions x(t)x(t) and y(t)y(t), produces a linear equation in the two rates dxdt\dfrac{dx}{dt} and dydt\dfrac{dy}{dt}. The equation says nothing about the size of either rate on its own — both can be large or small — but it constrains how they relate. Hence the name: dxdt\dfrac{dx}{dt} and dydt\dfrac{dy}{dt} are related rates.

The single bookkeeping change from earlier in the lesson is what plays the role of dydx\dfrac{dy}{dx} in (2)(2). Now that the independent variable is tt, the chain rule applied to xrx^r and yry^r gives

ddtxr=rxr1dxdt,ddtyr=ryr1dydt,\frac{d}{dt} x^r = r \, x^{r-1} \, \frac{dx}{dt}, \qquad \frac{d}{dt} y^r = r \, y^{r-1} \, \frac{dy}{dt},

and the product rule applied to xyx \, y gives

ddt(xy)=xdydt+ydxdt.\frac{d}{dt}(x \, y) = x \, \frac{dy}{dt} + y \, \frac{dx}{dt}.

Both xx and yy now generate their own derivative factor, because both depend on tt.

Example 129 (A point moving along an ellipse)

The variables xx and yy are both differentiable functions of tt that satisfy

x2+5y2=36(8)x^2 + 5 \, y^2 = 36 \tag{8}

at every instant.

  1. Differentiate (8)(8) with respect to tt and solve for dydt\dfrac{dy}{dt}.

  2. Evaluate dydt\dfrac{dy}{dt} at the moment when x=4x = 4, y=2y = 2, and dxdt=5\dfrac{dx}{dt} = 5.

  3. Differentiating each term of (8)(8) with respect to tt, the chain rule supplies one factor of dxdt\dfrac{dx}{dt} for the x2x^2 term and one factor of dydt\dfrac{dy}{dt} for the 5y25 \, y^2 term:

ddt(x2)+ddt(5y2)=ddt(36),\frac{d}{dt}(x^2) + \frac{d}{dt}(5 \, y^2) = \frac{d}{dt}(36),2xdxdt+10ydydt=0.2 x \, \frac{dx}{dt} + 10 \, y \, \frac{dy}{dt} = 0.

Solving for dydt\dfrac{dy}{dt} (whenever y0y \neq 0),

dydt=x5ydxdt.(9)\frac{dy}{dt} = -\frac{x}{5 \, y} \, \frac{dx}{dt}. \tag{9}
  1. Substituting x=4x = 4, y=2y = 2, and dxdt=5\dfrac{dx}{dt} = 5:
dydt=4525=2.\frac{dy}{dt} = -\frac{4}{5 \cdot 2} \cdot 5 = -2.

At this instant, the point is moving so that its yy-coordinate is decreasing at 22 units per unit time while the xx-coordinate is increasing at 55 units per unit time. The signs encode direction along the curve.

Ellipse x² + 5y² = 36 with semi-axes 6 along x and 6/√5 along y. The point (4, 2) is marked, with a velocity arrow pointing down and to the right showing dx/dt = 5, dy/dt = -2.

The figure shows the ellipse with the velocity vector at (4,2)(4, 2). The vector points down-and-right because the point is in the upper half and moving clockwise; the slope of the velocity vector, 2/5-2/5, equals dydx\dfrac{dy}{dx} at (4,2)(4, 2) from the static implicit-differentiation calculation: differentiating (8)(8) with respect to xx gives 2x+10ydydx=02 x + 10 y \, \frac{dy}{dx} = 0, so dydx=x5y=25\dfrac{dy}{dx} = -\dfrac{x}{5 y} = -\dfrac{2}{5} at (4,2)(4, 2). The static slope and the related-rate ratio are not independent calculations; the related rate at any instant equals the slope times the rate of horizontal motion:

dydt=dydxdxdt.\frac{dy}{dt} = \frac{dy}{dx} \cdot \frac{dx}{dt}.

This is the chain rule in its bare form, and it is the conceptual fact that makes related rates related rather than free.

Example 130 (Weekly sales versus a falling price)

A commodity sells at the rate of xx thousand units per week when the unit price is pp pounds. The price–quantity pair satisfies the demand equation

p+2x+xp=38.(10)p + 2 x + x \, p = 38. \tag{10}

At a moment when x=4x = 4, p=6p = 6, and the price is falling at the rate of £0.40 per week, find the rate at which weekly sales are changing.

Treat xx and pp as differentiable functions of tt. Differentiate (10)(10) with respect to tt, applying the product rule to the xpx \, p term:

dpdt+2dxdt+ ⁣(xdpdt+pdxdt)=0.(11)\frac{dp}{dt} + 2 \, \frac{dx}{dt} + \! \left( x \, \frac{dp}{dt} + p \, \frac{dx}{dt} \right) = 0. \tag{11}

Equation (11)(11) is a linear equation in the two rates. Two routes are available: solve symbolically for dxdt\dfrac{dx}{dt} first, or substitute the given values now and solve the numerical equation. The values are concrete, so substitution first is faster:

(0.40)+2dxdt+4(0.40)+6dxdt=0,(-0{.}40) + 2 \, \frac{dx}{dt} + 4 \, (-0{.}40) + 6 \, \frac{dx}{dt} = 0,8dxdt=0.40+1.60=2,8 \, \frac{dx}{dt} = 0{.}40 + 1{.}60 = 2,dxdt=0.25.\frac{dx}{dt} = 0{.}25.

The weekly sales rate is increasing at 0.250{.}25 thousand units per week per week, equivalently 250 units per week each week, at the moment the price is at £6 and falling at £0.40 per week.

Demand curve p + 2x + xp = 38 plotted as p against x. The curve is steeply decreasing for small x and flattens for large x. The point (4, 6) is marked with reference dotted lines to the axes; an annotation indicates the price is falling at dp/dt = -0.40.

The economic reading of the answer comes from the sign and magnitude. The price drop pulls the market downward along the demand curve from (4,6)(4, 6) toward larger xx. The chain rule converts the price rate, in pounds per week, into a quantity rate, in thousand units per week. Because the demand curve’s slope at (4,6)(4, 6) is dpdx=1.6\dfrac{dp}{dx} = -1{.}6 (verifiable by implicit differentiation of (10)(10)), the conversion factor is dxdp=1/1.6=0.625\dfrac{dx}{dp} = -1/1{.}6 = -0{.}625, giving dxdt=0.625(0.40)=0.25\dfrac{dx}{dt} = -0{.}625 \cdot (-0{.}40) = 0{.}25, matching the calculation above.

Note (Procedure for related-rates problems)

A related-rates problem typically arrives in plain English with a geometric or economic configuration. Five steps turn it into the algebra of (11)(11).

  1. Sketch the configuration. Label every quantity that varies; do not label fixed numbers as variables.
  2. Name the variables and pick the independent one. Usually tt. Decide which of the named quantities are functions of tt and which are constants of the problem.
  3. Find one equation that relates the variables. Geometry, the demand law, the gas law — whatever ties the named quantities together at every instant.
  4. Differentiate the equation with respect to tt. Apply the chain rule to every power of a tt-dependent variable; apply the product rule to every product of two tt-dependent variables.
  5. Substitute the known values and solve for the unknown rate. Substituting before solving is usually faster than solving symbolically and substituting at the end, unless the same problem is asked at multiple instants.
Note (Differentiate before substituting)

The temptation to plug in numbers before differentiating is the single most common error in related-rates problems. Numerical values are true only at one instant; the differentiated equation must describe motion at nearby instants too.

For example, if a circle has radius r=5r=5 at one moment, replacing rr by 55 before differentiating would make rr look constant and would incorrectly give drdt=0\dfrac{dr}{dt}=0. Keep the variables as variables, differentiate the relation, and only then substitute the data for the particular instant.

Problem 137

A ladder 55 meters long leans against a vertical wall. The bottom of the ladder slides away from the wall at a rate of 0.30{.}3 meters per second. Let xx be the distance from the wall to the foot of the ladder and yy the height of the top of the ladder above the ground.

  1. State the equation that relates xx and yy at every instant. Differentiate it with respect to tt and solve symbolically for dydt\dfrac{dy}{dt} in terms of xx, yy, and dxdt\dfrac{dx}{dt}.
  2. Find dydt\dfrac{dy}{dt} at the moment when x=3x = 3 meters. Interpret the sign.
  3. Show that, as the foot of the ladder approaches x=5x = 5, the rate dydt\dfrac{dy}{dt} approaches -\infty. Tie this to the geometric statement that the top of the ladder hits the ground at y=0y = 0.
Problem 138

Pollution flows into a circular pond at a steady rate of 0.80{.}8 cubic meters per second, spreading uniformly so the surface remains a circle of constant depth 0.40{.}4 meters. Let rr denote the radius of the spill in meters at time tt in seconds.

  1. Express the volume VV of polluted water as a function of rr alone, using the constant-depth assumption.
  2. Use the chain rule to relate dVdt\dfrac{dV}{dt} to drdt\dfrac{dr}{dt}.
  3. Find drdt\dfrac{dr}{dt} at the instant the radius is 55 meters. Confirm that the rate decreases as rr grows, and explain in plain English why the spreading slows even though the inflow is steady.
Problem 139

The price pp (in pounds) and weekly sales xx (in thousands of units) of a commodity are tied by the demand equation

x2+4xp+p2=150.x^2 + 4 \, x \, p + p^2 = 150.

At a particular moment, x=5x = 5, p=5p = 5, and the manufacturer is raising the price at dpdt=0.10\dfrac{dp}{dt} = 0{.}10 pounds per week.

  1. Differentiate the demand equation with respect to tt and solve symbolically for dxdt\dfrac{dx}{dt} in terms of xx, pp, and dpdt\dfrac{dp}{dt}.
  2. Compute dxdt\dfrac{dx}{dt} at the given instant. State, in plain English, whether sales are rising or falling and by how much.
  3. The total weekly revenue is R=pxR = p \, x (in thousand pounds). Use the product rule to compute dRdt\dfrac{dR}{dt} at the same instant. Tie the answer to the time-rate machinery from Lesson 4AM.
Problem 140

A spherical balloon is being inflated so that the surface area increases at dSdt=12\dfrac{dS}{dt} = 12 square centimeters per second, where S=4πr2S = 4 \pi r^2. The balloon’s volume is V=43πr3V = \tfrac{4}{3} \pi r^3.

  1. Differentiate S=4πr2S = 4 \pi r^2 with respect to tt and write drdt\dfrac{dr}{dt} in terms of rr and dSdt\dfrac{dS}{dt}.
  2. Use the chain rule to find dVdt\dfrac{dV}{dt} in terms of rr and dSdt\dfrac{dS}{dt} alone (eliminate drdt\dfrac{dr}{dt}).
  3. Compute dVdt\dfrac{dV}{dt} when r=3r = 3 centimeters. Compare with the corresponding calculation in Lesson 4AM’s A balloon inflating example, where the input was drdt\dfrac{dr}{dt} rather than dSdt\dfrac{dS}{dt}.
Problem 141

A boat is being pulled toward a dock by a rope passing over a pulley fixed h=6h = 6 meters above the water level at the dock. The rope is reeled in at a steady dLdt=1\dfrac{dL}{dt} = -1 meter per second, where LL is the length of rope from the pulley to the boat (negative because the rope is shortening). Let xx be the horizontal distance from the boat to the dock, with x>0x > 0.

  1. Use the right triangle formed by the rope, the pulley height, and the horizontal distance to write the relation L2=x2+h2L^{2} = x^{2} + h^{2}. Differentiate with respect to tt and solve symbolically for dxdt\dfrac{dx}{dt} in terms of xx, LL, and dLdt\dfrac{dL}{dt}.
  2. Find dxdt\dfrac{dx}{dt} at the moment the boat is x=8x = 8 meters from the dock.
  3. Show that dxdt\dfrac{dx}{dt} \to -\infty as x0x \to 0 from the positive side. Reconcile this with physical reality: the boat does not actually accelerate to infinite speed at the dock, so where does the model break down?

Why It Works

Implicit differentiation has been used in this lesson without a separate justification, because there isn’t one to give beyond the chain rule of Lesson 4AM. A short derivation makes the reliance explicit.

Proof

Suppose an equation F(x,y)=0F(x, y) = 0 implicitly defines a differentiable function y=g(x)y = g(x) on an interval, in the sense of the Implicit function definition above. Substitute y=g(x)y = g(x) into the equation:

F(x,g(x))=0for every x in the interval.F(x, g(x)) = 0 \quad \text{for every } x \text{ in the interval.}

The left side is a function of xx alone, and it is the constant 00. Differentiate both sides with respect to xx. The right side gives 00. The left side, being a composition of FF with the pair (x,g(x))(x, g(x)), gets differentiated by the chain rule, producing a linear equation in the unknown g(x)=dydxg'(x) = \frac{dy}{dx}.

Concretely, every term of F(x,y)F(x, y) that contains yy alone or in a product with xx contributes a dydx\frac{dy}{dx} when differentiated, via the rule (2)(2) applied to powers of yy and the product rule applied to xyx \cdot y products. Every term containing only xx contributes nothing involving dydx\frac{dy}{dx}. Collecting and solving for dydx\frac{dy}{dx} — the move named Step 2 through Step 4 of the procedure — completes the calculation.

The full statement of the implicit function theorem — which says exactly when an equation F(x,y)=0F(x, y) = 0 defines yy as a differentiable function of xx near a given solution — is a multivariable result and is left to a later course. For every example in this lesson, the relevant condition holds at every point we sample, and the procedure above produces the slope.

The related-rates version uses the same machinery. If x=x(t)x = x(t) and y=y(t)y = y(t) are differentiable functions of tt that satisfy F(x(t),y(t))=cF(x(t), y(t)) = c at every instant, then differentiating both sides with respect to tt gives a linear equation in dxdt\dfrac{dx}{dt} and dydt\dfrac{dy}{dt}. Each yy-power and xx-power in FF contributes a chain-rule factor; each product xyx \, y contributes a product-rule pair. If dxdt\dfrac{dx}{dt} is nonzero, dividing the related-rates equation by dxdt\dfrac{dx}{dt} turns it back into the static slope equation for dydx\dfrac{dy}{dx}. There is no new content, only a different read of the same equation.

Problem 142

A spherical mirror is described by the equation x2+y2+z2=25x^2 + y^2 + z^2 = 25 in three dimensions. Holding z=3z = 3 fixed traces out the latitude curve x2+y2=16x^2 + y^2 = 16 at that height. Use implicit differentiation on the latitude curve to find dydx\dfrac{dy}{dx}, evaluate it at (2,23)(2, 2\sqrt{3}), and state the result as a tangent direction in the plane z=3z = 3.

Problem 143

A market’s demand and supply equilibrium for a luxury good is modeled by

p2+pq+q2=1200,p^2 + p q + q^2 = 1200,

where pp is the unit price in pounds and qq is the quantity sold per week. The curve traces the locus of (p,q)(p, q)-pairs at which the market clears.

  1. Use implicit differentiation to find dqdp\dfrac{dq}{dp} in terms of pp and qq. (Note the role swap: now pp is the independent variable.)
  2. The pair (p,q)=(20,20)(p, q) = (20, 20) lies on the curve. Compute dqdp(20,20)\dfrac{dq}{dp}\big|_{(20, 20)} and interpret it as a marginal sensitivity in plain English.
  3. State, without further computation, the value of dpdq\dfrac{dp}{dq} at the same point, by reciprocity.
Problem 144

For the curve x2xy+y2=7x^2 - x y + y^2 = 7:

  1. Find dydx\dfrac{dy}{dx} by implicit differentiation.
  2. Find the second derivative d2ydx2\dfrac{d^2 y}{dx^2} at the point (1,3)(1, 3), by differentiating your answer to part (1) implicitly a second time and substituting both dydx(1,3)\dfrac{dy}{dx}\big|_{(1, 3)} and the coordinates.
  3. Use the sign of d2ydx2\dfrac{d^2 y}{dx^2} at (1,3)(1, 3) to say whether the curve is concave up or concave down at that point. Tie the result to the Concavity discussion of Lesson 3AM.