4.1.22 · D5Calculus I — Limits & Derivatives
Question bank — Implicit differentiation — technique, applications
True or false — justify
Every -term in a differentiated equation carries a factor of .
True — by the Chain Rule, differentiating anything containing w.r.t. produces the "toll" , because 's inside-rate-of-change with respect to is , not .
An implicit equation always defines exactly one function .
False — defines two branches (upper and lower semicircle); implicit differentiation quietly handles whichever branch your point lies on, since takes the correct sign from the sign of .
If you can solve the equation for explicitly, implicit differentiation gives a different derivative.
False — because both methods describe the same curve, they must give the same slope at each point; the implicit answer is merely written in mixed form. On the circle's top branch , substituting this into gives exactly — the explicit derivative — so the two agree line-for-line.
The formula works everywhere on the curve .
False — it fails wherever (division by zero); that is precisely where the tangent is vertical and the Implicit Function Theorem no longer guarantees as a function of .
Differentiating a true equation w.r.t. keeps it a true equation.
True — both sides are equal functions of , so their derivatives are equal; this is why we're allowed to differentiate both sides at once, constants and all.
The tangent line to at has a slope found from .
False — at we'd divide by ; the tangent is vertical (undefined slope), which the formula signals by blowing up rather than giving a number.
Logarithmic differentiation is a separate rule from implicit differentiation.
False — Logarithmic Differentiation is implicit differentiation applied to ; the on the left is just the chain-rule toll on .
The second derivative of an implicit curve may still legitimately contain in the final answer.
False — is supposed to be a function of the position alone, so that you can plug in a point and get a number; but is not an independent quantity — it is itself the known expression . Leaving in means your answer secretly still contains an unevaluated derivative, so it isn't yet a usable function of — substituting it back is what makes it one.
Spot the error
"." — what's wrong?
The chain-rule toll is missing; is a function of , so , not . It only looks like because both are squares.
"." — what's wrong?
is a product of two functions, so the Product Rule applies: . Treating as "one lump" throws away both terms.
"." — what's wrong?
A constant has rate of change zero, so ; the balance of the equation is preserved precisely because constants vanish.
"For , first solve for , then differentiate." — what's wrong?
You cannot solve for in closed form, so there is nothing explicit to differentiate; implicit differentiation is the only available route.
"." — what's wrong?
The outer chain rule is only half done — you must multiply by , giving . The inside is a function of , so its derivative isn't .
" is also valid." — what's wrong?
On the range of , namely , , so only the positive root is correct: , valid on the domain (see Derivatives of Inverse Functions).
", use the power rule: ." — what's wrong?
The power rule needs a constant exponent; here the exponent is the variable , so the rule doesn't apply. Log first: , giving .
"After getting , plug in before solving for to save a step." — what's wrong?
You can plug the point in early, but you must still isolate : gives ; skipping the isolation leaves undetermined.
Why questions
Why does get a toll factor but does not?
Because we differentiate with respect to : changes at rate with itself (), while changes at rate , an unknown we're solving for.
Why is implicit differentiation "free of branches"?
We never split the curve into and ; the single formula automatically carries the right sign from whichever -value the point has, covering both branches at once (see the branch figure below).

Why must for to hold?
means the curve is locally vertical, so can't be written as a function of there (Implicit Function Theorem); the division by zero is the algebra warning you of a vertical tangent.
Why does logging before differentiating help for ?
turns exponents into multipliers and products into sums (), converting a case no elementary rule covers into a product the Product Rule handles.
Why is the arcsin derivative obtained by implicit differentiation rather than a formula lookup?
We derive the formula: setting and differentiating implicitly is the general machine that produces every inverse-function derivative — memorising the result skips understanding why it's on .
Why do related rates use instead of ?
In Related Rates both and are functions of time, so we differentiate w.r.t. ; each variable then pays a toll ( or ) — same chain-rule logic, different independent variable.
Why can the normal line's slope be found immediately once we have the tangent slope?
The normal is perpendicular to the tangent, so its slope is (see Tangent and Normal Lines); implicit differentiation supplies even when can't be written.
Edge cases
At a point where the tangent is vertical, what does report?
It blows up (denominator ), which is the correct signal that the slope is undefined/vertical, not a mistake — geometry and algebra agree (see the vertical-tangent figure above).
What happens to at but too (if such a point were on the curve)?
You'd get , an indeterminate form flagging a singular point (like the crossing of the folium of Descartes at the origin), where more than one tangent may exist and the simple formula fails.
For , why must we assume before taking logs?
and are only real-valued (in the usual sense) for ; taking of a non-positive base is undefined, so the logarithmic method is restricted to that domain.
On the circle, why does still misbehave at ?
At (the points ) the tangent is vertical and isn't locally a function of , so both and are undefined there — the in the denominator makes this explicit.
If the equation is , what does implicit differentiation give?
The steps still run formally to , but the equation has no real solutions, so there is no real curve and hence no real tangent — always check the locus is nonempty before trusting a derivative.
What is the slope from if both and at a point?
The slope is exactly — a horizontal tangent — which is perfectly valid; only a zero denominator () causes trouble, not a zero numerator.