4.1.21 · D5Calculus I — Limits & Derivatives

Question bank — Derivatives of inverse trig functions — all six

1,434 words7 min readBack to topic

True or false — justify

Every symbol here means: etc., so is an angle and is a ratio the trig function of that angle produces.

False. decreases — a bigger ratio maps to a smaller angle — so its slope must be negative: .
and have the exact same derivative up to sign
True. Both share ; just carries the minus. That is why has zero derivative and is constant .
The derivative of is defined for every real
True. Its denominator is never zero, so exists for all — unlike 's, which dies at .
False. The is mandatory. increases on both branches ( and ), so its derivative must be positive everywhere; only (always ) enforces that.
is largest (steepest) near
False. At the denominator , giving slope . As the denominator and the slope blows up to — the graph is steepest at the edges, flattest in the middle.
and have graphs that are reflections, so their derivatives are opposite in sign
True. decreases while increases; their derivatives are , exact negatives of each other.
Because , we may always write with the positive root
True — but only for . Its range keeps . For a different inverse with a different range you must recheck the sign; the positive root is earned, not automatic.

Spot the error

Each line states a "solution" someone wrote. Find and fix the mistake.

""
Missing chain-rule factor. The formula applies to ; here so you still owe . Correct: .
""
Two errors. The inside is , so (not ) under the root, and you must multiply by . Correct: .
"Since , differentiating needs a square root at the end."
No root needed. . The is already — that clean cancellation is exactly why 's derivative has no square root.
" at equals ."
Domain violation. only exists for ; there is no angle whose sine is . The question itself is meaningless, not just the arithmetic.
", and I differentiated to get , so ."
Wrong sign on the root. has range , where , so . Then — the minus comes from the algebra, not from the root.
" by the power rule on ."
Power rule does not apply to because of the inner . Read it backwards instead: it's exactly , so the integral is . See Integration by Inverse Trig.
" at is ."
Domain violation. needs ; there's no angle whose secant is (secant never lands strictly between and ). The expression under the root is negative for a reason.

Why questions

Why do the derivations start by writing instead of differentiating directly?
Because we can't differentiate from a known rule, but we can differentiate . Rewriting as turns an unknown into a known relation we can implicitly differentiate and solve. See Implicit Differentiation.
Why does get the tidy while gets an ugly square root?
Because the identity that converts back to differs. uses (a root), while uses — a polynomial, no root — so its derivative stays rational.
Why must every "co-" function's derivative be negative?
Each co-function (, , ) is decreasing on its range: as the ratio grows, the angle shrinks. A decreasing function has negative slope everywhere it's differentiable.
Why does the appear only in and , never in the other four?
Because carries a sign that flips between the two secant branches, yet increases on both. The absorbs that sign flip so the derivative stays positive on both branches. The other four live on a single monotone piece, so no absolute value is needed.
Why does the slope of explode to infinity as ?
Geometrically, near a ratio of a tiny change in the ratio corresponds to a huge change in the angle (the triangle nearly degenerates). Algebraically, the adjacent side , so .
Why do we need the range restriction of the inverse function at all?
Because (and every trig function) repeats, so "" has infinitely many solutions . Restricting the range picks one branch, which then pins down the sign of , , or — and hence the sign of the derivative. See Inverse Functions and their Domains.
Why does knowing these six derivatives instantly give a family of integrals?
A derivative rule read right-to-left is an antiderivative. If , then by definition. Each formula donates its own integral.

Edge cases

What is exactly at ?
Undefined (vertical tangent). The denominator there, so the slope is infinite. is continuous at but not differentiable — its graph has a vertical tangent.
Is ever zero or negative?
Never. is strictly positive for all real ; it approaches as but never reaches it. So is strictly increasing but flattens at the tails.
At , do and have the same slope?
Yes, both equal . and . Near the origin both curves hug the line ; they only diverge as grows.
What happens to as ?
It . Both and grow without bound, so levels off toward its horizontal asymptotes.
Can you evaluate at ?
No. there, so the derivative is infinite (vertical tangent). are the boundary points where the two branches begin.
Is true for all valid , and how does calculus prove it?
Yes, for all . Their derivatives are exact negatives, so the sum has derivative and is constant. Evaluating at gives , fixing the constant.
What is the sign of 's derivative, and does that ever change across its domain?
Always negative, never changes. for every real , so is strictly decreasing on its whole domain with no sign flip.

Recall One-line summary of every trap

Sign traps come from monotonicity (co-functions decrease), root-sign traps from range restrictions, traps from two-branch functions, chain-rule traps from forgotten inner derivatives, and domain traps from plugging in ratios the function can't produce. Name the category and the fix follows.

Connections