Composite and implicit functions
Some quantities are not handed to you as a single explicit formula but are built by composing functions — a temperature where the position itself moves along a path — or are tangled up in an equation like that never gets solved for at all. The multivariable chain rule tells you how changes as changes without ever writing as an explicit function of , and the implicit-function rule tells you the slope of a curve without ever solving for . Both tools sit right after the total differential in MA10001's Differential Calculus of Several Variables unit, and both are really the same idea in two disguises: differentiate the total differential and divide.
Differentiating the total differential along a path, or along the implicit constraint , converts a several-variable derivative problem into one algebraic equation you solve for the rate you want.
The core idea
One parameter, one path. If is differentiable and both , trace out a path as varies, then becomes, indirectly, a function of alone, and its rate of change is a weighted sum of the two partial rates of , weighted by how fast and themselves move:
where: and are the partial derivatives of held at the current point, and , are the ordinary derivatives of the path coordinates. This is nothing but the total differential divided through by .
Several parameters, a dependency tree. If and every is itself a function of variables , the same idea sums over every route from down to a given :
where: the sum runs over every intermediate variable that both depends on and feeds into ; skipping a branch of the tree is the most common way to lose a term. The picture below shows why: sits at the top, each is a middle node, each a bottom node, and adds up one product per path connecting top to bottom.
Implicit differentiation. Suppose is defined only implicitly by — say , which never mentions alone. Near any point where this equation still pins down as some function , even without an explicit formula, and the chain rule above (applied to , a composite of with itself and with ) gives a shortcut for directly from the partial derivatives of — worked out fully in the derivation below.
The goal is to find for a curve whenever an explicit formula for in terms of is inconvenient, impossible to write in closed form, or simply not worth the algebra — by treating as a composite function of the single variable and applying the one-parameter chain rule from above to differentiate straight through it, rather than solving for first.
Step 1. Treat as an unknown function of , so is, along the curve, a composite of with itself and with — exactly the one-parameter chain-rule setup with the roles , and "" , where the first branch trivially has and the second branch is .
Step 2. Because identically along the curve, its derivative with respect to must also be zero. Apply the chain rule from the core idea, term by term:
Step 3. Solve this single algebraic equation for the one unknown rate, , by isolating it on one side:
Step 4. Note the one restriction that survives: the division requires . Geometrically, wherever (with ) the level curve has a vertical tangent, so no finite slope can exist there — the formula's blow-up is a genuine feature of the curve, not a defect of the method.
Worked example
Find the slope at the point on the curve defined implicitly by , then use that slope to write the tangent line at .
Step 1 — verify the point lies on the curve. . Confirmed, so is a genuine point of the curve and the implicit-differentiation formula applies there.
Step 2 — compute the partial derivatives .
Step 3 — evaluate at .
Step 4 — apply the formula from the derivation.
So the curve has slope at , found without ever solving the cubic relation explicitly for . The slope at is .
Competitive stretch
With the slope in hand, the tangent line at is , i.e. , i.e. . As a quick cross-check, compare with the single-parameter chain rule from the core idea: for with , the same machinery gave at — a reminder that both the ordinary chain rule and implicit differentiation reduce to the same algebraic step of substituting partial derivatives into a linear combination. This pattern — differentiate an identity, then solve one algebraic equation for the rate you actually want — is the single most reusable trick in this part of the syllabus: it is exactly how the age-of-a-curve slope above was found, and it generalizes without change to surfaces , where the same steps give and .
Common traps
- Dropping a branch of the dependency tree. With three or more intermediate variables, every one of them contributes a term ; skipping a branch silently throws away part of the answer.
- Writing instead of . When with functions of one variable , the result is a total (ordinary) derivative, even though the calculation uses the partial derivatives of .
- Forgetting on -terms when differentiating directly. Differentiating with respect to gives , not — every -term needs the extra factor because .
- Using without checking . At points where , the tangent is vertical and the formula is undefined — not a computational slip but a real geometric feature of the curve.
Ask the tutor: if a multi-step chain-rule computation with several intermediate variables gets tangled, or an implicit-differentiation slope is not simplifying the way you expect, ask the AI tutor to walk through the dependency tree with you step by step.
Why does implicit differentiation work even when I cannot solve F(x,y)=0 for y explicitly?
Because the argument never actually needs an explicit formula for — it only assumes such a function exists locally (true whenever , by the implicit function theorem you take on faith at this stage) and then applies the ordinary chain rule to the identity . Differentiating an identity that is zero everywhere along the curve gives another identity that is zero, and that second identity is exactly the equation you solve for the slope — no explicit ever appears.
How is the multivariable chain rule different from the one I learned in single-variable calculus?
It is the same principle with more bookkeeping. The single-variable chain rule has one path into ; here has two (or more) routes in, through and through , so you add a term for each route. The total differential makes this transparent: dividing by turns each differential into a rate, and you simply sum both contributions instead of having only one.
What actually goes wrong at a point where F_y equals zero?
Geometrically the curve's tangent there is vertical, so no ordinary slope exists — a vertical line has infinite or undefined slope in the usual sense. Algebraically the formula literally divides by zero at that point, which is the algebra correctly flagging the geometric fact. If you also had there, the point may instead be a singular point of the curve (a cusp or self-intersection), which needs separate, more careful analysis.