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)
Rigorous notation, full derivation, hypotheses
Definition and Implicit Function Theorem
Motivation
A plane curve can be given by without it being possible, or convenient, to isolate explicitly. The circle and the Folium of Descartes are canonical examples. Implicit differentiation bypasses the obstacle.
Formal Recipe
Let be an equation defining as a function of in a neighborhood of a point .
Canonical Example: Circle
Differentiating: , whence (valid for ).
Table of Classic Curves
| Curve | Equation | |
|---|---|---|
| Circle | ||
| Ellipse | ||
| Hyperbola | ||
| Folium of Descartes |
"If the equation relating and cannot be solved for explicitly, we can still find by differentiating the equation implicitly." — OpenStax Calculus Volume 1, §3.8
Implicit Function Theorem (1D version)
When it fails. If , the curve may have a vertical tangent at that point, or it may not define a function locally. Example: the circle at points — there.
Implicit Second Derivative
Apply again to , using the quotient rule and remembering that depends on .
Solved Examples
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 54.1Application
For the circle , find .
- Ex. 54.2Application
For the ellipse , calculate .
- Ex. 54.3Application
For , calculate via implicit differentiation. Verify it matches differentiating explicitly.
- Ex. 54.4Application
For the hyperbola , calculate .
- Ex. 54.5ApplicationAnswer key
For , calculate .
- Ex. 54.6Application
For , calculate .
- Ex. 54.7Application
For , calculate .
- Ex. 54.8Application
For , calculate . Interpret the result as the derivative of .
- Ex. 54.9ApplicationAnswer key
For , calculate .
- Ex. 54.10ApplicationAnswer key
For , calculate .
- Ex. 54.11Application
For , calculate and evaluate at the point .
- Ex. 54.12Application
For , calculate .
- Ex. 54.13ApplicationAnswer key
For , calculate .
- Ex. 54.14Application
For , calculate and discuss whether the derivative exists at all points.
- Ex. 54.15ApplicationAnswer key
Find the tangent line to the circle at the point .
- Ex. 54.16Application
For the ellipse , find the tangent line at the point .
- Ex. 54.17Application
For , find the tangent line at .
- Ex. 54.18Application
For , find the tangent line at .
- Ex. 54.19Application
For , calculate .
- Ex. 54.20Application
For the circle , determine all points of horizontal and vertical tangency.
- Ex. 54.21Application
For the Folium of Descartes , calculate and determine the points of horizontal tangency.
- Ex. 54.22Application
For the Folium of Descartes , find the tangent at the point .
- Ex. 54.23Modeling
The ideal gas law states . Holding constant, use implicit differentiation to find .
- Ex. 54.24ModelingAnswer key
For the curve , determine if there are any points of horizontal or vertical tangency.
- Ex. 54.25Modeling
In microeconomics, the indifference curve describes combinations of two goods that leave the consumer indifferent. Using implicit differentiation, find — the marginal rate of substitution.
- Ex. 54.26Modeling
For the lemniscate , calculate at the point .
- Ex. 54.27ModelingAnswer key
Use logarithmic differentiation to find if ().
- Ex. 54.28ModelingAnswer key
Use logarithmic differentiation to find if (). Evaluate at .
- Ex. 54.29Modeling
For , find in terms of , , and . Interpret the sign of for .
- Ex. 54.30Modeling
For the ellipse , calculate and .
- Ex. 54.31Understanding
Why is the condition necessary to apply the Implicit Function Theorem?
- Ex. 54.32Understanding
What is the main advantage of implicit differentiation over isolating and differentiating explicitly?
- Ex. 54.33Understanding
Use implicit differentiation to show that the tangent to the circle is always perpendicular to the radius at the point of tangency.
- Ex. 54.34UnderstandingAnswer key
For a curve , explain the conditions under which the tangent line exists, possibly vertical, and when the point is singular.
- Ex. 54.35Understanding
Verify that differentiating implicitly gives the same result as differentiating explicitly.
- Ex. 54.36UnderstandingAnswer key
When implicitly differentiating with respect to , what is ? Why is it not simply ?
- Ex. 54.37Challenge
For the curve , find all points of horizontal and vertical tangency.
- Ex. 54.38Challenge
For the ellipse , calculate implicitly and simplify using the ellipse's equation. (Ans: .)
- Ex. 54.39Challenge
For , calculate at . Explain why the point is singular for the direct formula.
- Ex. 54.40Proof
Proof. Prove that for arbitrary (), using and the chain rule. Explain why the proof covers the case of irrational .
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.