Mathematics · Ch 8 — Differentiation
Derivatives of Standard Inverse Trigonometric Composite Functions, Key Identities and Substitutions
Derivatives of Standard Inverse Trigonometric Composite Functions, Key Identities and Substitutions
The six inverse-trig derivatives generalise to a composite argument 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 . 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 , the complementary-angle identities, and the tangent addition/subtraction formulas), and Table 1.2.4 lists the standard trigonometric substitutions (, , , , 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 or a small multiple of it, (4) differentiate that simple result, (5) substitute the inverse substitution back to express the answer in .
Worked Example 1. Prove using derivatives. Let . Differentiating, , so is a constant function. Evaluating at the convenient point : . Since is constant and equals at one point, for every in the domain — proving the identity.
Worked Example 2 — differentiate w.r.t. x:
- : .
- : writing and differentiating implicitly, , so (equivalently reached directly via the chain rule on ).
- : — more precisely, differentiating (the base- exponential form used in this part) gives .
- (using the reciprocal identity): .
- : this is the half-angle form of , i.e. it equals , so .
- : since , this simplifies first to , so . Worked Example 3 — differentiate w.r.t. x (each collapses via a triple- or double-angle identity to a linear function of , so every derivative below is a constant):
(i) , so .
(ii) , so .
(iii) , so .
(iv) , so .
(v) , which (dividing numerator and denominator by after a half-angle expansion) reduces to , so .
Worked Example 4 — differentiate w.r.t. x (each is put into the form or similar, by matching the given coefficients to of a suitable auxiliary angle , which is then a constant that vanishes on differentiating):
(i) : put (checked ); the expression becomes , a linear function of plus a constant, so .
(ii) : similarly reduces to , so .
(iii) : reduces to , so .
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) : put ; the expression becomes , so .
(ii) : put ; reduces to , so .
(iii) : put ; reduces to , so .
(iv) : put ; reduces to , so .
(v) : put ; reduces to , so .
(vi) : put ; reduces to , so .
(vii) : put ; reduces to , so . …
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 …
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 …
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 …