Not every relationship arrives as y=f(x). In x−y−π=0 we could solve for y; in x+sin(xy)−y=0 we cannot — yet y still depends on ximplicitly. Implicit differentiation extracts dxdy without ever solving:
Differentiate both sides with respect to x, remembering that y is a function of x — so every appearance of y triggers the chain rule and produces a dxdy factor. E.g. dxd(y2)=2ydxdy and dxd(siny)=cosydxdy.
Collect the dxdy terms on one side.
Solve — the answer may legitimately contain both x and y.
Worked instantly:y+siny=cosx gives dxdy+cosydxdy=−sinx, so
dxdy=−1+cosysinx,y=(2n+1)π
Derivatives of Inverse Trigonometric Functions
The same idea — differentiate the defining relation — produces the inverse-trig table. For y=sin−1x: write x=siny and differentiate: 1=cosydxdy, so dxdy=cosy1=1−x21 (cosine is positive on the principal branch).
f(x)
f′(x)
valid for
sin−1x
1−x21
−1<x<1
cos−1x
−1−x21
−1<x<1
tan−1x
1+x21
all real x
Note the pairing: sin−1 and cos−1 have opposite derivatives — consistent with sin−1x+cos−1x=2π, whose derivative must be 0.
Simplify first — the substitution reflex
When the argument of an inverse-trig function looks like a double-angle formula, substitute before differentiating:
sin−1(1+x22x): put x=tanθ; the argument becomes sin2θ, so the function is 2tan−1x (for ∣x∣<1) — derivative 1+x22 in one line.
Differentiating these by brute quotient-and-chain is a page of algebra; the substitution makes each a one-liner. Watch the stated interval — the clean identity holds only on the branch the problem specifies.
Solved Examples
Example 1 — Implicit warm-up
Find dxdy if 2x+3y=sinx.
Step 1 — differentiate both sides:2+3dxdy=cosx.
Step 2 — solve:dxdy=3cosx−2.
Answer: as above — the simplest implicit pattern: y appears linearly, so one rearrangement finishes it.
Example 2 — Chain rule inside the implicit step
Find dxdy if y+siny=cosx.
Step 1 — differentiate, chain rule on siny:dxdy+cosydxdy=−sinx.
Step 2 — factor and solve:(1+cosy)dxdy=−sinx, so
dxdy=−1+cosysinx,y=(2n+1)π
Answer: as displayed — the exclusion keeps the denominator nonzero, and the answer properly involves both variables.
Example 3 — A symmetric polynomial relation
Find dxdy if x2+xy+y2=100.
Step 1 — differentiate (product rule on xy):2x+(y+xdxdy)+2ydxdy=0.
Step 2 — collect:(x+2y)dxdy=−(2x+y).
Answer:dxdy=−x+2y2x+y — the xy term feeds both sides of the collection, one piece with dxdy and one without.
Example 4 — Deriving the sin−1 formula
Find the derivative of f(x)=sin−1x, assuming it exists.
Step 1 — invert the relation:y=sin−1x means x=siny with y∈[−2π,2π].
Step 2 — differentiate implicitly:1=cosydxdy.
Step 3 — return to x: on the principal branch cosy≥0, so cosy=1−sin2y=1−x2.
Answer:dxdy=1−x21, valid for −1<x<1 — the endpoints are excluded because cosy=0 there.
Example 5 — The substitution reflex in action
Differentiate y=sin−1(1+x22x) for ∣x∣<1.
Step 1 — substitute x=tanθ: then 1+x22x=1+tan2θ2tanθ=sin2θ.
Step 2 — collapse:y=sin−1(sin2θ)=2θ=2tan−1x (the interval ∣x∣<1 keeps 2θ inside the principal branch).
Step 3 — differentiate the simplified form:dxdy=1+x22.
Answer:1+x22 — three lines, against a page of quotient-rule algebra without the substitution.
Example 6 — The triple-angle cousin
Differentiate y=tan−1(1−3x23x−x3) for ∣x∣<31.
Step 1 — recognise the pattern: with x=tanθ, the argument is exactly tan3θ.
Step 2 — collapse:y=3θ=3tan−1x on the given interval.
Step 3 — differentiate:dxdy=1+x23.
Answer:1+x23. The whole family — double angle, triple angle, 1+x21−x2 — yields to the same three-line script.
Ready to test your knowledge?
Take a quick interactive quiz on this topic —
free, works without login.