- −1;
- 21;
- 1+4x2x+1log2 for x≤0, and −1+4x2x+1log2 for x>0 (not differentiable at x=0).
Each part simplifies the inverse-trig argument with an identity first, then differentiates the simplified form — the efficient route, rather than differentiating the inverse-trig composition directly.
(i) cos−1(sinx)
Using the complementary-angle identity sinx=cos(2π−x):
cos−1(sinx)=cos−1[cos(2π−x)]=2π−x
on the principal range. Differentiating,
dxd(2π−x)=−1.
(ii) tan−1(1+cosxsinx)
Using half-angle identities sinx=2sin2xcos2x and 1+cosx=2cos22x:
1+cosxsinx=2cos22x2sin2xcos2x=tan2x.
So the function is tan−1(tan2x)=2x on the principal range, and
dxd(2x)=21.
(iii) sin−1(1+4x2x+1)
Put t=2x (so t>0 for every real x); then 4x=t2 and 2x+1=2t, so the argument becomes 1+t22t.
This is where care is needed. Write t=tanθ with θ∈(0,2π) (possible since t>0). Then 1+t22t=sin2θ, so the expression is sin−1(sin2θ) — but sin−1(siny)=y only when y lies in [−2π,2π]; otherwise it equals π−y.
Since θ∈(0,2π), 2θ∈(0,π), which is not always inside sin−1's principal range — so the simplification genuinely splits into two cases depending on the sign of x (which controls whether t=2x≶1, i.e. whether θ≶4π):
- If x≤0: t=2x≤1, so θ≤4π and 2θ≤2π, which IS inside the principal range. Then
sin−1(sin2θ)=2θ=2tan−1t=2tan−1(2x).
Differentiating (using dxd2x=2xlog2):
dxd2tan−1(2x)=2⋅1+4x1⋅2xlog2=1+4x2x+1log2.
- If x>0: t=2x>1, so θ>4π and 2θ>2π, OUTSIDE the principal range. Then
sin−1(sin2θ)=π−2θ=π−2tan−1(2x).
Differentiating:
dxd[π−2tan−1(2x)]=−1+4x2x+1log2.
So the derivative is genuinely piecewise, flipping sign at x=0 — a well-known trap in this exercise. (The function value itself is continuous at x=0, but the two one-sided derivatives there are +log2 and −log2, so y is not differentiable at x=0.)
A very common mistake is to quote only the x≤0 branch, 1+4x2x+1log2, as if it held unconditionally for all x — but for x>0 the correct value is the negative of that expression.
✓Final answer
- −1;
- 21;
- 1+4x2x+1log2 for x≤0, and −1+4x2x+1log2 for x>0 (not differentiable at x=0).