Math ClubMath Club
v1 · padrão canônico

Lesson 54 — Implicit Differentiation

Differentiate y defined implicitly by equation F(x, y) = 0. Chain rule, tangent to implicit curves, implicit second derivative.

Used in: Japanese Equiv. Math III (implicit + inverse functions) · German Klasse 11 LK Equiv. · Singapore H2 Math (derivatives of curves)

ddx[F(x,y)]=0    dydx=F/xF/y\frac{d}{dx}\bigl[F(x,y)\bigr] = 0 \;\Longrightarrow\; \frac{dy}{dx} = -\frac{\partial F/\partial x}{\partial F/\partial y}
Choose your door

Rigorous notation, full derivation, hypotheses

Definition and Implicit Function Theorem

Motivation

A plane curve can be given by F(x,y)=0F(x, y) = 0 without it being possible, or convenient, to isolate yy explicitly. The circle x2+y2=r2x^2 + y^2 = r^2 and the Folium of Descartes x3+y3=3axyx^3 + y^3 = 3axy are canonical examples. Implicit differentiation bypasses the obstacle.

Formal Recipe

Let F(x,y)=0F(x, y) = 0 be an equation defining yy as a function of xx in a neighborhood of a point (a,b)(a, b).

Canonical Example: Circle

x2+y2=r2x^2 + y^2 = r^2

Differentiating: 2x+2yy=02x + 2y\,y' = 0, whence y=xyy' = -\dfrac{x}{y} (valid for y0y \neq 0).

Table of Classic Curves

CurveEquation F(x,y)=0F(x,y)=0dy/dxdy/dx
Circlex2+y2r2=0x^2 + y^2 - r^2 = 0x/y-x/y
Ellipsex2/a2+y2/b21=0x^2/a^2 + y^2/b^2 - 1 = 0(b2x)/(a2y)-(b^2 x)/(a^2 y)
Hyperbolax2/a2y2/b21=0x^2/a^2 - y^2/b^2 - 1 = 0(b2x)/(a2y)(b^2 x)/(a^2 y)
Folium of Descartesx3+y33axy=0x^3 + y^3 - 3axy = 0(ayx2)/(y2ax)(ay - x^2)/(y^2 - ax)

"If the equation relating xx and yy cannot be solved for yy explicitly, we can still find yy' by differentiating the equation implicitly." — OpenStax Calculus Volume 1, §3.8

Implicit Function Theorem (1D version)

When it fails. If Fy(a,b)=0F_y(a, b) = 0, the curve may have a vertical tangent at that point, or it may not define a function locally. Example: the circle at points (±r,0)(\pm r, 0)Fy=2y=0F_y = 2y = 0 there.

Implicit Second Derivative

Apply ddx\tfrac{d}{dx} again to y=Fx/Fyy' = -F_x/F_y, using the quotient rule and remembering that yy depends on xx.

Solved Examples

Exercise list

40 exercises · 10 with worked solution (25%)

Application 22Understanding 6Modeling 8Challenge 3Proof 1
  1. Ex. 54.1Application

    For the circle x2+y2=1x^2 + y^2 = 1, find dy/dxdy/dx.

  2. Ex. 54.2Application

    For the ellipse x2/4+y2/9=1x^2/4 + y^2/9 = 1, calculate dy/dxdy/dx.

  3. Ex. 54.3Application

    For xy=1xy = 1, calculate dy/dxdy/dx via implicit differentiation. Verify it matches differentiating y=1/xy = 1/x explicitly.

  4. Ex. 54.4Application

    For the hyperbola x2/9y2/16=1x^2/9 - y^2/16 = 1, calculate dy/dxdy/dx.

  5. Ex. 54.5ApplicationAnswer key

    For x3+y3=6xyx^3 + y^3 = 6xy, calculate dy/dxdy/dx.

  6. Ex. 54.6Application

    For x22xy+3y2=1x^2 - 2xy + 3y^2 = 1, calculate dy/dxdy/dx.

  7. Ex. 54.7Application

    For x2y+xy2=6x^2 y + xy^2 = 6, calculate dy/dxdy/dx.

  8. Ex. 54.8Application

    For tany=x\tan y = x, calculate dy/dxdy/dx. Interpret the result as the derivative of arctanx\arctan x.

  9. Ex. 54.9ApplicationAnswer key

    For ey=xye^y = xy, calculate dy/dxdy/dx.

  10. Ex. 54.10ApplicationAnswer key

    For ln(xy)=x+y\ln(xy) = x + y, calculate dy/dxdy/dx.

  11. Ex. 54.11Application

    For x+y=4\sqrt{x} + \sqrt{y} = 4, calculate dy/dxdy/dx and evaluate at the point (1,9)(1, 9).

  12. Ex. 54.12Application

    For cos(x+y)=y\cos(x + y) = y, calculate dy/dxdy/dx.

  13. Ex. 54.13ApplicationAnswer key

    For sin(xy)=x\sin(xy) = x, calculate dy/dxdy/dx.

  14. Ex. 54.14Application

    For y3+3y=xy^3 + 3y = x, calculate dy/dxdy/dx and discuss whether the derivative exists at all points.

  15. Ex. 54.15ApplicationAnswer key

    Find the tangent line to the circle x2+y2=25x^2 + y^2 = 25 at the point (3,4)(3, 4).

  16. Ex. 54.16Application

    For the ellipse x2+4y2=16x^2 + 4y^2 = 16, find the tangent line at the point (2,3)(2, \sqrt{3}).

  17. Ex. 54.17Application

    For x2+xy+y2=7x^2 + xy + y^2 = 7, find the tangent line at (1,2)(1, 2).

  18. Ex. 54.18Application

    For x3+y3=9x^3 + y^3 = 9, find the tangent line at (1,2)(1, 2).

  19. Ex. 54.19Application

    For ysinx=xcosyy\sin x = x\cos y, calculate dy/dxdy/dx.

  20. Ex. 54.20Application

    For the circle x2+y2=1x^2 + y^2 = 1, determine all points of horizontal and vertical tangency.

  21. Ex. 54.21Application

    For the Folium of Descartes x3+y3=3xyx^3 + y^3 = 3xy, calculate dy/dxdy/dx and determine the points of horizontal tangency.

  22. Ex. 54.22Application

    For the Folium of Descartes x3+y3=3xyx^3 + y^3 = 3xy, find the tangent at the point (3/2,3/2)(3/2, 3/2).

  23. Ex. 54.23Modeling

    The ideal gas law states PV=nRTPV = nRT. Holding TT constant, use implicit differentiation to find dP/dVdP/dV.

  24. Ex. 54.24ModelingAnswer key

    For the curve y2+xy=12y^2 + xy = 12, determine if there are any points of horizontal or vertical tangency.

  25. Ex. 54.25Modeling

    In microeconomics, the indifference curve U(x1,x2)=UˉU(x_1, x_2) = \bar{U} describes combinations of two goods that leave the consumer indifferent. Using implicit differentiation, find dx2/dx1dx_2/dx_1 — the marginal rate of substitution.

  26. Ex. 54.26Modeling

    For the lemniscate (x2+y2)2=2(x2y2)(x^2+y^2)^2 = 2(x^2-y^2), calculate dy/dxdy/dx at the point (3/2,1/2)(\sqrt{3}/2, 1/2).

  27. Ex. 54.27ModelingAnswer key

    Use logarithmic differentiation to find yy' if y=xxy = x^x (x>0x > 0).

  28. Ex. 54.28ModelingAnswer key

    Use logarithmic differentiation to find yy' if y=xsinxy = x^{\sin x} (x>0x > 0). Evaluate at x=πx = \pi.

  29. Ex. 54.29Modeling

    For x2+y2=r2x^2 + y^2 = r^2, find d2y/dx2d^2y/dx^2 in terms of xx, yy, and rr. Interpret the sign of yy'' for y>0y > 0.

  30. Ex. 54.30Modeling

    For the ellipse x2/a2+y2/b2=1x^2/a^2 + y^2/b^2 = 1, calculate dy/dxdy/dx and d2y/dx2d^2y/dx^2.

  31. Ex. 54.31Understanding

    Why is the condition Fy0F_y \neq 0 necessary to apply the Implicit Function Theorem?

  32. Ex. 54.32Understanding

    What is the main advantage of implicit differentiation over isolating yy and differentiating explicitly?

  33. Ex. 54.33Understanding

    Use implicit differentiation to show that the tangent to the circle x2+y2=r2x^2 + y^2 = r^2 is always perpendicular to the radius at the point of tangency.

  34. Ex. 54.34UnderstandingAnswer key

    For a curve F(x,y)=0F(x,y)=0, explain the conditions under which the tangent line exists, possibly vertical, and when the point is singular.

  35. Ex. 54.35Understanding

    Verify that differentiating x2+y2=r2x^2 + y^2 = r^2 implicitly gives the same result as differentiating y=±r2x2y = \pm\sqrt{r^2-x^2} explicitly.

  36. Ex. 54.36UnderstandingAnswer key

    When implicitly differentiating exy=x+ye^{xy} = x + y with respect to xx, what is ddx[ey]\frac{d}{dx}[e^y]? Why is it not simply eye^y?

  37. Ex. 54.37Challenge

    For the curve x4+y4=1x^4 + y^4 = 1, find all points of horizontal and vertical tangency.

  38. Ex. 54.38Challenge

    For the ellipse x2/a2+y2/b2=1x^2/a^2 + y^2/b^2 = 1, calculate yy'' implicitly and simplify using the ellipse's equation. (Ans: y=b4/(a2y3)y'' = -b^4/(a^2 y^3).)

  39. Ex. 54.39Challenge

    For sin(xy)+cos(x+y)=1\sin(xy) + \cos(x+y) = 1, calculate dy/dxdy/dx at (0,0)(0, 0). Explain why the point is singular for the direct formula.

  40. Ex. 54.40Proof

    Proof. Prove that (xa)=axa1(x^a)' = ax^{a-1} for arbitrary aRa \in \mathbb{R} (x>0x > 0), using xa=ealnxx^a = e^{a\ln x} and the chain rule. Explain why the proof covers the case of irrational aa.

Sources

  • Active Calculus 2.0 — Boelkins · 2024 · §2.7 (Derivatives of Functions Given Implicitly). Primary source. CC-BY-NC-SA 4.0 license.
  • OpenStax Calculus Volume 1 — OpenStax · 2016 · §3.8 (Implicit Differentiation). CC-BY-NC-SA 4.0 license.
  • APEX Calculus — Hartman et al. · 2024 · v5 · §2.6 (Implicit Differentiation). CC-BY-NC 4.0 license.

Updated on 2024-05-15 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.