← Back to learning objective

Differentiability of arcsin(x) at the domain endpoint x = 1

Consider the function f(x)=arcsin⁡(x)f(x) = \arcsin(x), whose domain is the closed interval [−1,1][-1, 1]. Its graph is shown below.

\begin{aligned}\end{aligned}

Differentiability of arcsin(x) at the domain endpoint x = 1 graph

Using the limit definition f′(a)=lim⁡x→af(x)−f(a)x−af'(a) = \lim_{x \to a} \dfrac{f(x) - f(a)}{x-a}, determine whether f(x)=arcsin⁡(x)f(x) = \arcsin(x) is differentiable at x=1x = 1. State whether f′(1)f'(1) exists, and if it does not exist, explain why by describing the behavior of the difference quotient (or the tangent line) as x→1−x \to 1^-.

Hint

Set up the difference quotient arcsin⁡(x)−arcsin⁡(1)x−1\dfrac{\arcsin(x) - \arcsin(1)}{x - 1} and think about what happens to it as x→1−x \to 1^- (recall arcsin⁡(1)=π/2\arcsin(1) = \pi/2). Recall that the derivative of arcsin⁡(x)\arcsin(x) is 11−x2\dfrac{1}{\sqrt{1-x^2}}. What happens to this derivative as x→1−x \to 1^-?

Step-by-step solution

The difference quotient at a=1a=1 is arcsin⁡(x)−π/2x−1\dfrac{\arcsin(x) - \pi/2}{x-1}, and since the domain of arcsin⁡\arcsin is [−1,1][-1,1], only x→1−x \to 1^- can be considered. As x→1−x \to 1^-, the numerator arcsin⁡(x)−π/2→0−\arcsin(x) - \pi/2 \to 0^- while the denominator x−1→0−x - 1 \to 0^-, giving a quotient of the form 0−0−\frac{0^-}{0^-}, which is indeterminate.

To analyze this rigorously, we use the known derivative formula: ddx[arcsin⁡(x)]=11−x2\dfrac{d}{dx}[\arcsin(x)] = \dfrac{1}{\sqrt{1-x^2}}. As x→1−x \to 1^-, we have 1−x2→0+1 - x^2 \to 0^+, so 1−x2→0+\sqrt{1-x^2} \to 0^+, and therefore 11−x2→+∞\dfrac{1}{\sqrt{1-x^2}} \to +\infty. This means lim⁡x→1−arcsin⁡(x)−π/2x−1=+∞\lim_{x\to 1^-} \dfrac{\arcsin(x)-\pi/2}{x-1} = +\infty. Since the limit does not exist as a finite number, f′(1)f'(1) does not exist. Graphically, this corresponds to the tangent line at x=1x=1 being vertical, which is a classic case where a function fails to be differentiable despite being continuous there.

Differentiability of arcsin(x) at the domain endpoint x = -1

Now consider the other endpoint of the domain. Using the same reasoning as before, determine whether f(x)=arcsin⁡(x)f(x) = \arcsin(x) is differentiable at x=−1x = -1. State whether f′(−1)f'(-1) exists, and justify your conclusion in terms of the limit of the difference quotient (or the shape of the graph) as x→−1+x \to -1^+.

Hint

Since x=−1x=-1 is the left endpoint of the domain, only values x→−1+x \to -1^+ make sense. Analyze arcsin⁡(x)−arcsin⁡(−1)x−(−1)\dfrac{\arcsin(x) - \arcsin(-1)}{x-(-1)} as x→−1+x \to -1^+. Use the derivative formula ddx[arcsin⁡(x)]=11−x2\dfrac{d}{dx}[\arcsin(x)] = \dfrac{1}{\sqrt{1-x^2}} to understand the behavior.

Step-by-step solution

At a=−1a = -1, the difference quotient is arcsin⁡(x)−(−π/2)x−(−1)=arcsin⁡(x)+π/2x+1\dfrac{\arcsin(x) - (-\pi/2)}{x-(-1)} = \dfrac{\arcsin(x)+\pi/2}{x+1}, and only x→−1+x \to -1^+ is meaningful since the domain excludes x<−1x < -1. As x→−1+x \to -1^+, we have numerator arcsin⁡(x)+π/2→0+\arcsin(x) + \pi/2 \to 0^+ (since arcsin⁡(x)→−π/2\arcsin(x) \to -\pi/2 from above) and denominator x+1→0+x + 1 \to 0^+, giving an indeterminate form 0+0+\frac{0^+}{0^+}.

Using the derivative formula ddx[arcsin⁡(x)]=11−x2\dfrac{d}{dx}[\arcsin(x)] = \dfrac{1}{\sqrt{1-x^2}}, as x→−1+x \to -1^+ we have 1−x2→0+1 - x^2 \to 0^+, so 1−x2→0+\sqrt{1-x^2} \to 0^+, and therefore 11−x2→+∞\dfrac{1}{\sqrt{1-x^2}} \to +\infty. Thus lim⁡x→−1+arcsin⁡(x)+π/2x+1=+∞\lim_{x \to -1^+} \dfrac{\arcsin(x)+\pi/2}{x+1} = +\infty, so the one-sided limit is infinite and f′(−1)f'(-1) does not exist. This matches the graph, which shows a vertical tangent line at x=−1x=-1 just as it did at x=1x=1, so ff is not differentiable at either endpoint of its domain.

Graphical feature shared by both domain endpoints

Hint
Step-by-step solution

The tangent line is vertical at both x equals one and x equals negative one. This happened because the difference quotient grew without bound at each endpoint, meaning the slope approached infinity rather than a finite value. A vertical tangent line is a classic graphical signal that a function is not differentiable at that point, even though the function remains continuous there.

Related problems

Practice similar Calculus problems interactively.

Start Closing the Gap