Pc5 - Differentiating inverse trigonometric functions

Pc5 - Differentiating inverse trigonometric functions

Differentiate arcsin⁡x\arcsin x, arccos⁡x\arccos x and arctan⁡x\arctan x, then combine their derivatives with the chain and product rules. Pc5 explains the signs and domains from the principal inverse-function branches, so the formulae have a reason behind them.

Arcsine and the positive square root

Why does arctan⁡x+arctan⁡(1/x)\arctan x+\arctan(1/x) stay constant as xx varies over the positive numbers? Its two angles change, but their rates of change cancel. We will prove that after finding the inverse-trigonometric derivatives.

You already know

Inverse functions reverse an input-output relationship on a suitable restricted domain. The principal ranges are [−π/2,π/2][-\pi/2,\pi/2] for arcsin⁡\arcsin, [0,π][0,\pi] for arccos⁡\arccos, and (−π/2,π/2)(-\pi/2,\pi/2) for arctan⁡\arctan. Angles in differentiation are in radians.

Let y=arcsin⁡xy=\arcsin x. Then sin⁡y=x\sin y=x. Implicit differentiation gives cos⁡y dy/dx=1\cos y\,dy/dx=1. On the interior of the arcsine range, cos⁡y>0\cos y>0, so cos⁡y=1−sin⁡2y=1−x2\cos y=\sqrt{1-\sin^2y}=\sqrt{1-x^2}, with the positive square root.

[DIAGRAM: asset_name: Arcsine steepens near its endpoints; asset_slug: h645_b039_arcsine; caption: The inverse-sine branch has positive slope, growing without bound near plus or minus one; description: A graph of y equals arcsin x on minus one to one marks endpoint values minus pi over two and pi over two. A tangent at x equals zero has gradient one. Two additional short tangents near the endpoints are much steeper. A side panel gives the derivative one over square root of one minus x squared and its domain minus one less than x less than one.]
The inverse-sine branch has positive slope, growing without bound near plus or minus one

Derivative of arcsine

For −1<x<1-1<x<1,

ddx(arcsin⁡x)=11−x2\frac{d}{dx}(\arcsin x)=\frac1{\sqrt{1-x^2}}

Thus, where ∣u(x)∣<1|u(x)|<1 and uu is differentiable,

ddx(arcsin⁡u)=u′1−u2\frac{d}{dx}(\arcsin u)=\frac{u'}{\sqrt{1-u^2}}

The function exists at x=±1x=\pm1, but its finite derivative does not exist there.

In the formula booklet.

The booklet gives the basic derivative; the composed form comes from the chain rule. An inverse function is not a reciprocal: arcsin⁡x\arcsin x and 1/sin⁡x1/\sin x mean different things.

Worked example 1: a scaled input

Question. Differentiate y=arcsin⁡(2x)y=\arcsin(2x) and state the open interval on which the derivative formula applies.

Plan. Use inner function u=2xu=2x, include u′=2u'=2, and require ∣u∣<1|u|<1.

u=2x,u′=2inner functiondydx=21−(2x)2chain rule=21−4x2∣2x∣<1 ⟺ −12<x<12derivative domain\begin{aligned} u&=2x,\qquad u'=2 && \text{inner function} \\ \frac{dy}{dx}&=\frac2{\sqrt{1-(2x)^2}} && \text{chain rule} \\ &=\frac2{\sqrt{1-4x^2}} \\ |2x|<1&\ \Longleftrightarrow\ -\frac12<x<\frac12 && \text{derivative domain} \end{aligned}

Why this step? The outside function differentiates with respect to its input 2x2x; multiplying by 22 converts that rate to a rate with respect to xx.

Answer. dy/dx=2/1−4x2dy/dx=2/\sqrt{1-4x^2}, for −1/2<x<1/2-1/2<x<1/2.

Check. At x=0x=0, the gradient is 22, twice the gradient of arcsin⁡x\arcsin x at the origin, as horizontal compression suggests.

Change only the input's translation, from 2x2x to 2x−12x-1. The inner derivative stays 22, but the valid interval moves.

Worked example 2: a shifted input

Question. Differentiate y=arcsin⁡(2x−1)y=\arcsin(2x-1) and state where its derivative formula applies.

Plan. Keep the chain factor 22 and solve the strict inequality for the new input.

dydx=21−(2x−1)2chain rule−1<2x−1<1 ⟺ 0<x<1input lies inside (−1,1)\begin{aligned} \frac{dy}{dx}&=\frac2{\sqrt{1-(2x-1)^2}} && \text{chain rule} \\ -1<2x-1<1&\ \Longleftrightarrow\ 0<x<1 && \text{input lies inside }(-1,1) \end{aligned}

Why this step? A translation changes where the input reaches ±1\pm1, even though its rate of change remains the same.

Answer. dy/dx=2/1−(2x−1)2dy/dx=2/\sqrt{1-(2x-1)^2}, for 0<x<10<x<1.

Check. At x=1/2x=1/2, the input is zero, giving gradient 22, matching the centre of the shifted curve.

Near the endpoints, the denominator tends to zero through positive values. That explains the increasingly steep inverse-sine graph, without changing its domain to include an invalid square root.

Watch out

Wrong: ddxarcsin⁡(2x−1)=1/1−(2x−1)2\dfrac d{dx}\arcsin(2x-1)=1/\sqrt{1-(2x-1)^2}.

Right: the numerator is 22, from the inner derivative. Write the inner function and its derivative before substituting into a composed formula.

Change the scale factor again and track both its effects: one in the numerator and one in the valid interval.

Arccosine has the opposite sign

For y=arccos⁡xy=\arccos x, the inverse relation is cos⁡y=x\cos y=x. Differentiation gives −sin⁡y dy/dx=1-\sin y\,dy/dx=1. On 0<y<π0<y<\pi, sine is positive, so sin⁡y=1−x2\sin y=\sqrt{1-x^2}, giving a negative derivative.

This sign matches the graph: as a cosine value increases from −1-1 to 11, its principal angle decreases from π\pi to 00. You can also use arcsin⁡x+arccos⁡x=π/2\arcsin x+\arccos x=\pi/2 on [−1,1][-1,1]; differentiating a constant sum makes their derivatives opposites.

Derivative of arccosine

For −1<x<1-1<x<1,

ddx(arccos⁡x)=−11−x2\frac{d}{dx}(\arccos x)=-\frac1{\sqrt{1-x^2}}

Where ∣u(x)∣<1|u(x)|<1 and uu is differentiable,

ddx(arccos⁡u)=−u′1−u2\frac{d}{dx}(\arccos u)=-\frac{u'}{\sqrt{1-u^2}}

The basic derivative is supplied; the composed form uses the chain rule.

In the formula booklet.

For a scaled input, simplify square roots carefully. With ∣x∣<3|x|<3, for example, 1−x2/9=9−x2/3\sqrt{1-x^2/9}=\sqrt{9-x^2}/3, because the scaling constant 33 is positive.

Worked example 3: simplifying the square root

Question. Differentiate y=arccos⁡(x/3)y=\arccos(x/3).

Plan. Include the inner derivative 1/31/3, then simplify the denominator.

dydx=−1/31−x2/9chain rule=−1/39−x2/3positive scaling factor=−19−x2−3<x<3\begin{aligned} \frac{dy}{dx}&=-\frac{1/3}{\sqrt{1-x^2/9}} && \text{chain rule} \\ &=-\frac{1/3}{\sqrt{9-x^2}/3} && \text{positive scaling factor} \\ &=-\frac1{\sqrt{9-x^2}} && -3<x<3 \end{aligned}

Why this step? The 1/31/3 from the chain rule cancels the denominator's scale. It has not been omitted.

Answer. −1/9−x2-1/\sqrt{9-x^2}, for −3<x<3-3<x<3.

Check. At x=0x=0, the gradient is −1/3-1/3, consistent with stretching the arccos⁡x\arccos x graph horizontally by factor 33.

Change only the input's translation. The negative sign remains because the outer function is still arccosine.

Worked example 4: translating an arccosine

Question. Differentiate y=arccos⁡((x−1)/3)y=\arccos((x-1)/3).

Plan. Use inner derivative 1/31/3, simplify, and require the input to lie between −1-1 and 11.

dydx=−1/31−(x−1)2/9chain rule=−19−(x−1)2cancel scale factor−3<x−1<3 ⟺ −2<x<4valid interval\begin{aligned} \frac{dy}{dx}&=-\frac{1/3}{\sqrt{1-(x-1)^2/9}} && \text{chain rule} \\ &=-\frac1{\sqrt{9-(x-1)^2}} && \text{cancel scale factor} \\ -3<x-1<3&\ \Longleftrightarrow\ -2<x<4 && \text{valid interval} \end{aligned}

Why this step? The domain restriction belongs to the entire inner expression, not to xx alone.

Answer. −1/9−(x−1)2-1/\sqrt{9-(x-1)^2}, for −2<x<4-2<x<4.

Check. At the translated centre x=1x=1, the gradient is still −1/3-1/3.

The basic arccosine derivative is always negative, but a decreasing inner function can reverse the final sign. For instance, d(arccos⁡(−x))/dx=1/1−x2d(\arccos(-x))/dx=1/\sqrt{1-x^2}. The two minus signs have distinct sources.

Watch out

Wrong: 9−x2=3−x\sqrt{9-x^2}=3-x.

Right: the square root applies to the whole difference. Squaring 3−x3-x produces an extra −6x-6x term, so it cannot equal 9−x29-x^2 in general.

Use the same simplification for a new scale and translation.

Arctangent and a rational derivative

For y=arctan⁡xy=\arctan x, we have tan⁡y=x\tan y=x. Differentiation gives sec⁡2y dy/dx=1\sec^2y\,dy/dx=1, and sec⁡2y=1+tan⁡2y=1+x2\sec^2y=1+\tan^2y=1+x^2. No square root is needed, and the denominator is positive for every real xx.

Derivative of arctangent

For every real xx,

ddx(arctan⁡x)=11+x2\frac d{dx}(\arctan x)=\frac1{1+x^2}

For a differentiable real input uu,

ddx(arctan⁡u)=u′1+u2\frac d{dx}(\arctan u)=\frac{u'}{1+u^2}

The basic derivative is supplied; the composed form uses the chain rule.

In the formula booklet.

This rational derivative will reverse into an inverse-tangent integral in the next lesson. For now, it combines with familiar differentiation rules.

Worked example 5: a scaled arctangent

Question. Differentiate y=arctan⁡(3x)y=\arctan(3x).

Plan. Differentiate the outer arctangent, then multiply by 33.

u=3x,u′=3inner functiondydx=31+(3x)2chain rule=31+9x2square the whole input\begin{aligned} u&=3x,\qquad u'=3 && \text{inner function} \\ \frac{dy}{dx}&=\frac3{1+(3x)^2} && \text{chain rule} \\ &=\frac3{1+9x^2} && \text{square the whole input} \end{aligned}

Why this step? Squaring 3x3x squares the coefficient too. A denominator 1+3x21+3x^2 would differentiate a different function.

Answer. 3/(1+9x2)3/(1+9x^2), for all real xx.

Check. At x=0x=0, the gradient is 33, while it tends to zero as ∣x∣|x| grows, agreeing with the curve flattening towards its horizontal asymptotes.

Change the expression by multiplying it by xx. The inverse-trigonometric derivative stays the same, but the product rule adds a second contribution.

Worked example 6: combining product and chain rules

Question. Differentiate y=xarctan⁡(3x)y=x\arctan(3x).

Plan. Differentiate each factor once, retaining the other factor in each product-rule term.

dydx=1⋅arctan⁡(3x)+xddxarctan⁡(3x)product rule=arctan⁡(3x)+3x1+9x2chain-rule derivative\begin{aligned} \frac{dy}{dx} &=1\cdot\arctan(3x)+x\frac d{dx}\arctan(3x) && \text{product rule} \\ &=\arctan(3x)+\frac{3x}{1+9x^2} && \text{chain-rule derivative} \end{aligned}

Why this step? Differentiating both factors and multiplying would omit the original factors, which the product rule requires.

Answer. arctan⁡(3x)+3x/(1+9x2)\arctan(3x)+3x/(1+9x^2).

Check. The original function is even because both factors are odd. Its derivative is odd, as both terms in the answer are.

We can now settle the opening question. For x≠0x\ne0,

ddxarctan⁡(1/x)=−1/x21+1/x2=−11+x2ddx(arctan⁡x+arctan⁡(1/x))=0\begin{aligned} \frac d{dx}\arctan(1/x) &=\frac{-1/x^2}{1+1/x^2}=-\frac1{1+x^2} \\ \frac d{dx}\left(\arctan x+\arctan(1/x)\right)&=0 \end{aligned}

The sum is constant separately on x>0x>0 and x<0x<0. At x=1x=1, it is π/4+π/4=π/2\pi/4+\pi/4=\pi/2. At x=−1x=-1, it is −π/2-\pi/2. Thus a zero derivative does not force the same constant across a gap in the domain. This identity is not in the formula booklet: learn how the derivative and one value establish it.

Exam tip

Show the inner derivative explicitly when a reciprocal, scale factor or polynomial appears inside an inverse function. Keep brackets around that input until its square has been formed.

The final check changes only the scale inside the product from 33 to 22.

Watch out

Wrong: ddxarctan⁡(3x)=1/(1+9x2)\frac d{dx}\arctan(3x)=1/(1+9x^2). This omits the inner derivative. The correct line is ddxarctan⁡(3x)=3/(1+9x2)\frac d{dx}\arctan(3x)=3/(1+9x^2); retain that factor inside the product-rule term too.

Differentiate the inner input explicitly before assembling the two product-rule terms.

Quick Recap

  • Implicit differentiation of sin⁡y=x\sin y=x, cos⁡y=x\cos y=x and tan⁡y=x\tan y=x gives the three inverse derivatives.
  • The principal branches determine the square-root sign: arcsine has positive derivative and arccosine negative derivative on (−1,1)(-1,1).
  • Arctangent has derivative 1/(1+x2)1/(1+x^2) for every real xx.
  • For a composed input, multiply by its derivative and apply its domain restrictions; use product or quotient rules when other factors appear.

For x>0x>0, arctan⁡x+arctan⁡(1/x)=π/2\arctan x+\arctan(1/x)=\pi/2: the two rates cancel, and evaluating at x=1x=1 fixes the constant.