The Timpson Lyceum · Calculus 1 (2024)
Chain Rule and Implicit Differentiation - Lecture 10 (Calculus 1)
Overview
This lecture introduces the chain rule, the differentiation rule for composite functions (a function nested inside another function), and then applies the same idea to implicit differentiation. The chain rule is the last of the core differentiation rules — after the power, sum, product, and quotient rules — and it is the one students forget to apply most often. It lets you differentiate expressions like or without expanding them, and it underpins implicit differentiation, where is defined implicitly by an equation rather than solved for explicitly. By the end you can find slopes, tangent lines, and normal lines for curves like circles and other implicit relations.
Key Concepts
Review of the basic rules
- Constant: .
- Power rule: .
- Sum rule: the derivative of a sum is the sum of the derivatives.
- Product rule: ("first times derivative of the second plus second times derivative of the first").
- Quotient rule: ("low d-high minus high d-low, over the bottom squared").
The chain rule
- For a composition , the derivative is the derivative of the outside (evaluated at the inside) times the derivative of the inside:
- Leibniz form: if and , then
- In practice you do not relabel everything as and ; you just read it as "derivative of the outer shell derivative of what's inside," working from the outermost operation inward.
- Note that the outer function itself does not appear in the answer — only evaluated at and do.
Why the proof works (sketch)
- Since is differentiable at , it is continuous there, so as , .
- Starting from the limit definition and multiplying top and bottom by , the difference quotient splits into two factors whose limits are and respectively. In Leibniz notation this is the intuitive (though not literally a fraction) cancellation .
Chained compositions
- For three nested functions , , :
- The chain extends to any depth; you can even view a "plain" derivative as a chain rule whose inner derivative is (e.g. ).
Common chain-rule trick for quotients/roots
- Rewrite as and as , then apply the chain rule to avoid the quotient rule. For example .
Implicit functions and implicit differentiation
- An implicit function is one defined by an equation that implies in terms of without giving explicitly. Example: implies (two outputs per input).
- Implicit differentiation: differentiate both sides of the equation with respect to , treating as a function of . Every time you differentiate a -term you must apply the chain rule, attaching a factor of (written ).
- Key contrast: , but is not — it is the unknown you solve for. After differentiating, collect all terms on one side, factor out , and divide.
- Tangent and normal lines: the tangent line at a point has slope there; the normal line is perpendicular, with slope (negative reciprocal). Use point-slope form for each.
Worked Example
Chain rule. Using , differentiate with outer and inner :
which matches expanding first and differentiating directly.
Implicit differentiation. Find the slope of the circle at the point . Differentiate both sides with respect to , applying the chain rule to the term, then solve for :
So the curve has slope at . The tangent line is , and the normal line (negative reciprocal slope ) is .
Summary
- The chain rule differentiates a composite function as the derivative of the outside (at the inside) times the derivative of the inside: , or .
- Apply it from the outermost operation inward; it lets you differentiate powers, roots, and trig of complicated expressions without expanding (e.g. ).
- The chain rule extends to any depth of nesting: .
- Rewriting reciprocals and roots as powers (e.g. , ) often replaces a messy quotient rule with a cleaner chain rule.
- Implicit differentiation differentiates both sides with respect to , attaching a factor (via the chain rule) to every -term, then solves algebraically for .
- Use the resulting slope for the tangent line and its negative reciprocal for the normal line, each through the given point in point-slope form.