Skip to content

Mathematics · Ch 8 — Differentiation

Derivatives of Standard Inverse Trigonometric Composite Functions, Key Identities and Substitutions

8.2.6

Derivatives of Standard Inverse Trigonometric Composite Functions, Key Identities and Substitutions

The six inverse-trig derivatives generalise to a composite argument f(x)f(x) by the chain rule (Table 1.2.2), exactly the way the ordinary trig functions generalised in section 1.1.3 — every formula picks up an extra factor of f′(x)f'(x). Table 1.2.3 lists the identities used throughout this section's examples to simplify an inverse-trig expression before differentiating (in particular the 'undoing' identities like sin⁡−1(sin⁡θ)=θ\sin^{-1}(\sin\theta)=\theta, the complementary-angle identities, and the tangent addition/subtraction formulas), and Table 1.2.4 lists the standard trigonometric substitutions (x=sin⁡θx=\sin\theta, x=tan⁡θx=\tan\theta, x=sec⁡θx=\sec\theta, x=acos⁡2θx=a\cos2\theta, etc.) that collapse a recurring surd or rational shape down to a single multiple angle. The general strategy in nearly every worked example below is: (1) recognise the shape, (2) substitute the matching trig variable, (3) use a double/triple-angle identity to reduce the whole expression to θ\theta or a small multiple of it, (4) differentiate that simple result, (5) substitute the inverse substitution back to express the answer in xx.

Worked Example 1. Prove sin⁡−1x+cos⁡−1x=π2\sin^{-1}x+\cos^{-1}x=\dfrac\pi2 using derivatives. Let f(x)=sin⁡−1x+cos⁡−1xf(x)=\sin^{-1}x+\cos^{-1}x. Differentiating, f′(x)=11−x2−11−x2=0f'(x)=\dfrac1{\sqrt{1-x^2}}-\dfrac1{\sqrt{1-x^2}}=0, so f(x)f(x) is a constant function. Evaluating at the convenient point x=0x=0: f(0)=sin⁡−10+cos⁡−10=0+π2=π2f(0)=\sin^{-1}0+\cos^{-1}0=0+\dfrac\pi2=\dfrac\pi2. Since ff is constant and equals π2\dfrac\pi2 at one point, f(x)=π2f(x)=\dfrac\pi2 for every xx in the domain — proving the identity.

Worked Example 2 — differentiate w.r.t. x:

  1. sin⁡−1(x3)\sin^{-1}(x^3): dydx=3x21−x6\dfrac{dy}{dx}=\dfrac{3x^2}{\sqrt{1-x^6}}.
  2. cos⁡−1(2x2−x)\cos^{-1}(2x^2-x): writing cos⁡y=2x2−x\cos y=2x^2-x and differentiating implicitly, −sin⁡ydydx=4x−1-\sin y\dfrac{dy}{dx}=4x-1, so dydx=1−4xsin⁡y=1−4x1−(2x2−x)2\dfrac{dy}{dx}=\dfrac{1-4x}{\sin y}=\dfrac{1-4x}{\sqrt{1-(2x^2-x)^2}} (equivalently reached directly via the chain rule on cos⁡−1u\cos^{-1}u).
  3. sin⁡−1(2x)\sin^{-1}(2x): dydx=2xlog⁡2⋅…\dfrac{dy}{dx}=\dfrac{2^x\log2\cdot\ldots}{} — more precisely, differentiating sin⁡−1(2x)\sin^{-1}(2^x) (the base-22 exponential form used in this part) gives dydx=2xlog⁡21−4x\dfrac{dy}{dx}=\dfrac{2^x\log2}{\sqrt{1-4^x}}.
  4. cot⁡−11x2=tan⁡−1(x2)\cot^{-1}\dfrac1{x^2}=\tan^{-1}(x^2) (using the reciprocal identity): dydx=2x1+x4\dfrac{dy}{dx}=\dfrac{2x}{1+x^4}.
  5. cos⁡−11+x2\cos^{-1}\sqrt{\dfrac{1+x}{2}}: this is the half-angle form of cos⁡−1x\cos^{-1}x, i.e. it equals 12cos⁡−1x\dfrac12\cos^{-1}x, so dydx=−121−x2\dfrac{dy}{dx}=-\dfrac1{2\sqrt{1-x^2}}.
  6. sin⁡2[sin⁡−1(x2)]\sin^2[\sin^{-1}(x^2)]: since sin⁡[sin⁡−1u]=u\sin[\sin^{-1}u]=u, this simplifies first to (x2)2=x4(x^2)^2=x^4, so dydx=4x3\dfrac{dy}{dx}=4x^3. Worked Example 3 — differentiate w.r.t. x (each collapses via a triple- or double-angle identity to a linear function of xx, so every derivative below is a constant):

(i) cos⁡−1(4cos⁡3x−3cos⁡x)=cos⁡−1(cos⁡3x)=3x\cos^{-1}(4\cos^3x-3\cos x)=\cos^{-1}(\cos3x)=3x, so dydx=3\dfrac{dy}{dx}=3.

(ii) cos⁡−1[sin⁡(4x)]=cos⁡−1 ⁣[cos⁡ ⁣(π2−4x)]=π2−4x\cos^{-1}[\sin(4x)]=\cos^{-1}\!\left[\cos\!\left(\frac\pi2-4x\right)\right]=\frac\pi2-4x, so dydx=−4\dfrac{dy}{dx}=-4.

(iii) sin⁡−11−cos⁡x2=sin⁡−1 ⁣(sin⁡x2)=x2\sin^{-1}\sqrt{\dfrac{1-\cos x}{2}}=\sin^{-1}\!\left(\sin\dfrac x2\right)=\dfrac x2, so dydx=12\dfrac{dy}{dx}=\dfrac12.

(iv) tan⁡−11−cos⁡3xsin⁡3x=tan⁡−1 ⁣(tan⁡3x2)=3x2\tan^{-1}\dfrac{1-\cos3x}{\sin3x}=\tan^{-1}\!\left(\tan\dfrac{3x}2\right)=\dfrac{3x}2, so dydx=32\dfrac{dy}{dx}=\dfrac32.

(v) cot⁡−1cos⁡x1+sin⁡x=tan⁡−11+sin⁡xcos⁡x\cot^{-1}\dfrac{\cos x}{1+\sin x}=\tan^{-1}\dfrac{1+\sin x}{\cos x}, which (dividing numerator and denominator by cos⁡x2\cos\frac x2 after a half-angle expansion) reduces to π4+x2\dfrac\pi4+\dfrac x2, so dydx=12\dfrac{dy}{dx}=\dfrac12.

Worked Example 4 — differentiate w.r.t. x (each is put into the form sin⁡αcos⁡x+cos⁡αsin⁡x=sin⁡(x+α)\sin\alpha\cos x+\cos\alpha\sin x=\sin(x+\alpha) or similar, by matching the given coefficients to sin⁡α,cos⁡α\sin\alpha,\cos\alpha of a suitable auxiliary angle α=tan⁡−1(ratio)\alpha=\tan^{-1}(\text{ratio}), which is then a constant that vanishes on differentiating):

(i) sin⁡−12cos⁡x+3sin⁡x13\sin^{-1}\dfrac{2\cos x+3\sin x}{\sqrt{13}}: put 213=sin⁡α, 313=cos⁡α\frac2{\sqrt{13}}=\sin\alpha,\ \frac3{\sqrt{13}}=\cos\alpha (checked sin⁡2α+cos⁡2α=1\sin^2\alpha+\cos^2\alpha=1); the expression becomes sin⁡−1[sin⁡(x+α)]=x+α\sin^{-1}[\sin(x+\alpha)]=x+\alpha, a linear function of xx plus a constant, so dydx=1\dfrac{dy}{dx}=1.

(ii) cos⁡−13sin⁡x2+4cos⁡x25\cos^{-1}\dfrac{3\sin x^2+4\cos x^2}{5}: similarly reduces to x2−tan⁡−134x^2-\tan^{-1}\frac34, so dydx=2x\dfrac{dy}{dx}=2x.

(iii) sin⁡−1acos⁡x−bsin⁡xa2+b2\sin^{-1}\dfrac{a\cos x-b\sin x}{\sqrt{a^2+b^2}}: reduces to tan⁡−1ab−x\tan^{-1}\frac ab-x, so dydx=−1\dfrac{dy}{dx}=-1.

Worked Example 5 — differentiate w.r.t. x (each uses a trig substitution from Table 1.2.4 and a double/triple-angle identity):

(i) sin⁡−12x1+x2\sin^{-1}\dfrac{2x}{1+x^2}: put x=tan⁡θx=\tan\theta; the expression becomes sin⁡−1(sin⁡2θ)=2θ=2tan⁡−1x\sin^{-1}(\sin2\theta)=2\theta=2\tan^{-1}x, so dydx=21+x2\dfrac{dy}{dx}=\dfrac2{1+x^2}.

(ii) cos⁡−1(2x1−x2)\cos^{-1}(2x\sqrt{1-x^2}): put x=sin⁡θx=\sin\theta; reduces to π2−2sin⁡−1x\frac\pi2-2\sin^{-1}x, so dydx=−21−x2\dfrac{dy}{dx}=-\dfrac2{\sqrt{1-x^2}}.

(iii) cosec−113x−4x3=sin⁡−1(3x−4x3)\text{cosec}^{-1}\dfrac1{3x-4x^3}=\sin^{-1}(3x-4x^3): put x=sin⁡θx=\sin\theta; reduces to 3sin⁡−1x3\sin^{-1}x, so dydx=31−x2\dfrac{dy}{dx}=\dfrac3{\sqrt{1-x^2}}.

(iv) tan⁡−12ex1−e2x\tan^{-1}\dfrac{2e^x}{1-e^{2x}}: put ex=tan⁡θe^x=\tan\theta; reduces to 2tan⁡−1(ex)2\tan^{-1}(e^x), so dydx=2ex1+e2x\dfrac{dy}{dx}=\dfrac{2e^x}{1+e^{2x}}.

(v) cos⁡−11−9x21+9x2\cos^{-1}\dfrac{1-9x^2}{1+9x^2}: put 3x=tan⁡θ3x=\tan\theta; reduces to 2tan⁡−1(3x)2\tan^{-1}(3x), so dydx=61+9x2\dfrac{dy}{dx}=\dfrac6{1+9x^2}.

(vi) cos⁡−12x−2−x2x+2−x\cos^{-1}\dfrac{2^x-2^{-x}}{2^x+2^{-x}}: put 2x=tan⁡θ2^x=\tan\theta; reduces to π−2tan⁡−1(2x)\pi-2\tan^{-1}(2^x), so dydx=−2x+1log⁡21+22x\dfrac{dy}{dx}=-\dfrac{2^{x+1}\log2}{1+2^{2x}}.

(vii) tan⁡−13−x3+x\tan^{-1}\sqrt{\dfrac{3-x}{3+x}}: put x=3cos⁡2θx=3\cos2\theta; reduces to θ=12cos⁡−1x3\theta=\frac12\cos^{-1}\frac x3, so dydx=−129−x2\dfrac{dy}{dx}=-\dfrac1{2\sqrt{9-x^2}}. …

Table 1Table 1.2.2 — composite inverse trig derivatives

y = sin^-1[f(x)] : dy/dx = f'(x)/sqrt(1-[f(x)]^2), |f(x)|<1

y = cos^-1[f(x)] : dy/dx = -f'(x)/sqrt(1-[f(x)]^2), |f(x)|<1

y = tan^-1[f(x)] : dy/dx = f'(x)/(1+[f(x)]^2)

y = cot^-1[f(x)] : dy/dx = -f'(x)/(1+[f(x)]^2)

y = sec^-1[f(x)] : dy/dx = f'(x)/(f(x) sqrt([f(x)]^2-1)), for |f(x)|>1 …

Table 2Table 1.2.3 — key inverse trigonometric identities

sin^-1(sin th)=th, sin(sin^-1 x)=x

cos^-1(cos th)=th, cos(cos^-1 x)=x

tan^-1(tan th)=th, tan(tan^-1 x)=x

cot^-1(cot th)=th, cot(cot^-1 x)=x

sec^-1(sec th)=th, sec(sec^-1 x)=x

cosec^-1(cosec th)=th, cosec(cosec^-1 x)=x

sin^-1(cos th) = pi/2 - th

cos^-1(sin th) = pi/2 - th

tan^-1(cot th) = pi/2 - th

cot^-1(tan th) = pi/2 - th

sec^-1(cosec th) = pi/2 - th

cosec^-1(sec th) = pi/2 - th

sin^-1(x) = cosec^-1(1/x)

cosec^-1(x) = sin^-1(1/x)

cos^-1(x) = sec^-1(1/x)

sec^-1(x) = cos^-1(1/x)

tan^-1(x) = cot^-1(1/x)

cot^-1(x) = tan^-1(1/x)

sin^-1 x + cos^-1 x = pi/2

tan^-1 x + cot^-1 x = pi/2 …

Table 3Table 1.2.4 — standard trigonometric substitutions

sqrt(1-x^2) : x = sin th or x = cos th

sqrt(1+x^2) : x = tan th or x = cot th

sqrt(x^2-1) : x = sec th or x = cosec th

sqrt((a+x)/(a-x)) or sqrt((a-x)/(a+x)) : x = a cos 2th or x = a cos th

sqrt((1+x)/(1-x)) or sqrt((1-x)/(1+x)) : x = cos 2th or x = cos th

sqrt((a+x^2)/(a-x^2)) or sqrt((a-x^2)/(a+x^2)) : x^2 = a cos 2th or x^2 = a cos th

2x/(1+x^2) : x = tan th

(1-x^2)/(1+x^2) : x = tan th

3x-4x^3 or 1-2x^2 : x = sin th

4x^3-3x or 2x^2-1 : x = cos th …