Mathematics · Ch 5 — Continuity and Differentiability
Derivatives of Inverse Trigonometric Functions
5.3.3
Derivatives of Inverse Trigonometric Functions
Concept and Approach
Inverse trigonometric functions are continuous on their domains (accepted without proof). To differentiate them we combine the chain rule with implicit differentiation: if y=f−1(x) then x=f(y), and differentiating both sides w.r.t. x gives 1=f′(y)⋅dxdy, so dxdy=f′(y)1. The work lies in expressing this in terms of x using trigonometric identities and the domain restrictions of the inverse functions.
Derivative of sin−1x
Let y=sin−1x, so x=siny. Differentiating both sides with respect to x:
1=cosy⋅dxdy⇒dxdy=cosy1
This is defined only when cosy=0, i.e. y=±2π, so x=±1; the derivative exists for x∈(−1,1). Since siny=x,
cos2y=1−sin2y=1−x2
As y=sin−1x lies in (−2π,2π), cosy is positive, so cosy=1−x2. Therefore:
dxdy=1−x21,x∈(−1,1)
dxd(sin−1x)=1−x21,−1<x<1
Watch out
The derivative is not defined at x=±1 (the denominator is zero); sin−1x has vertical tangents there.
Derivative of cos−1x
Let y=cos−1x, so x=cosy. Differentiating with respect to x:
1=−siny⋅dxdy⇒dxdy=−siny1
This exists when siny=0, i.e. y=0,π, so x=±1 and the domain is x∈(−1,1). Since cosy=x, sin2y=1−x2; and on the range [0,π], siny is non-negative, so siny=1−x2. Therefore:
dxdy=−1−x21,x∈(−1,1)
dxd(cos−1x)=−1−x21,−1<x<1
Note
Note dxd(cos−1x)=−dxd(sin−1x), consistent with sin−1x+cos−1x=2π, which gives the same relationship on differentiation.
Derivative of tan−1x
Let y=tan−1x, so x=tany. Differentiating with respect to x:
1=sec2y⋅dxdy⇒dxdy=sec2y1
Using sec2y=1+tan2y=1+x2:
dxdy=1+x21
which is defined for all real x, since 1+x2>0.
dxd(tan−1x)=1+x21,x∈R
Derivative of cot−1x
Let y=cot−1x, so x=coty. Differentiating with respect to x:
1=−csc2y⋅dxdy⇒dxdy=−csc2y1
Using csc2y=1+cot2y=1+x2:
dxdy=−1+x21,x∈R
dxd(cot−1x)=−1+x21,x∈R
Important
Again dxd(cot−1x)=−dxd(tan−1x), consistent with tan−1x+cot−1x=2π.
Derivative of sec−1x
Let y=sec−1x, so x=secy. Differentiating with respect to x:
1=secytany⋅dxdy⇒dxdy=secytany1
This exists when secytany=0; for the range [0,π]∖{2π} this holds for ∣x∣>1. Since secy=x, tan2y=sec2y−1=x2−1, with the sign of tany depending on the quadrant:
If y∈[0,2π), then tany≥0, so tany=x2−1.
If y∈(2π,π], then tany≤0, so tany=−x2−1.
Both cases combine as:
dxdy=∣x∣x2−11,∣x∣>1
dxd(sec−1x)=∣x∣x2−11,∣x∣>1
Tip
An equivalent form is xx2−11 when x>1 and −xx2−11 when x<−1; the absolute value combines both.
Derivative of csc−1x
Let y=csc−1x, so x=cscy. Differentiating with respect to x:
1=−cscycoty⋅dxdy⇒dxdy=−cscycoty1
This exists when cscycoty=0; for the range [−2π,2π]∖{0} this holds for ∣x∣>1. Since cscy=x, cot2y=csc2y−1=x2−1, with:
If y∈(0,2π], then coty≥0, so coty=x2−1.
If y∈[−2π,0), then coty≤0, so coty=−x2−1.
Both cases combine as:
dxdy=−∣x∣x2−11,∣x∣>1
dxd(csc−1x)=−∣x∣x2−11,∣x∣>1
Note
As expected, dxd(csc−1x)=−dxd(sec−1x), consistent with sec−1x+csc−1x=2π.