Inverse Trigonometric Functions

Basis
Last updated: Tags: Elementary Function

Prerequisites

You already know from Trigonometric Functions that sin\sin, cos\cos, and tan\tan each map an angle to a ratio. The natural inverse question is: given a ratio, which angle produced it? Answering it requires inverse trigonometric functions — but there is a catch. Because sine and cosine are periodic, they repeat every 2π2\pi and are therefore not injective on all of R\mathbb{R}; a function with repeated outputs cannot be inverted globally. The standard remedy is to restrict each function to a smaller domain where it is strictly monotone and hence injective, and then invert it there.

Arcsine

On the interval [π2, π2]\left[-\dfrac{\pi}{2},\ \dfrac{\pi}{2}\right], the sine function is strictly increasing from 1-1 to 11 — every value in [1,1][-1, 1] is achieved exactly once. This restriction is injective, so it has an inverse.

Arcsine is defined as

arcsin:[1, 1][π2, π2],\arcsin : [-1,\ 1] \to \left[-\frac{\pi}{2},\ \frac{\pi}{2}\right],

where arcsinx\arcsin x is the unique angle θ[π2,π2]\theta \in \left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right] satisfying sinθ=x\sin\theta = x.

The inverse relationship yields two composition identities:

sin(arcsinx)=xfor all x[1, 1],\sin(\arcsin x) = x \quad \text{for all } x \in [-1,\ 1], arcsin(sinθ)=θfor all θ[π2, π2].\arcsin(\sin\theta) = \theta \quad \text{for all } \theta \in \left[-\frac{\pi}{2},\ \frac{\pi}{2}\right].

The second identity holds only on the restricted interval. Outside it, arcsin(sinθ)\arcsin(\sin\theta) gives the representative of θ\theta inside [π2,π2]\left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right], not θ\theta itself.

Derivative of arcsine

Let θ=arcsinx\theta = \arcsin x, so x=sinθx = \sin\theta with θ[π2,π2]\theta \in \left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right]. Differentiating both sides with respect to xx:

1=cosθdθdx.1 = \cos\theta \cdot \frac{d\theta}{dx}.

On [π2,π2]\left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right], cosine is non-negative, so cosθ=1sin2θ=1x2\cos\theta = \sqrt{1 - \sin^2\theta} = \sqrt{1 - x^2}. Solving for dθdx\dfrac{d\theta}{dx}:

arcsin(x)=11x2,x(1, 1).\arcsin'(x) = \frac{1}{\sqrt{1 - x^2}}, \qquad x \in (-1,\ 1).

The derivative is undefined at the endpoints x=±1x = \pm 1, where the graph of arcsin\arcsin has a vertical tangent.

Arccosine

On the interval [0,π][0, \pi], the cosine function is strictly decreasing from 11 to 1-1. The restriction is injective.

Arccosine is defined as

arccos:[1, 1][0, π],\arccos : [-1,\ 1] \to [0,\ \pi],

where arccosx\arccos x is the unique angle θ[0,π]\theta \in [0, \pi] satisfying cosθ=x\cos\theta = x.

Derivative of arccosine

Let θ=arccosx\theta = \arccos x, so x=cosθx = \cos\theta. Differentiating with respect to xx gives 1=sinθdθdx1 = -\sin\theta \cdot \dfrac{d\theta}{dx}. On [0,π][0, \pi], sine is non-negative, so sinθ=1cos2θ=1x2\sin\theta = \sqrt{1 - \cos^2\theta} = \sqrt{1 - x^2}. Solving:

arccos(x)=11x2,x(1, 1).\arccos'(x) = -\frac{1}{\sqrt{1 - x^2}}, \qquad x \in (-1,\ 1).

The negative sign reflects the fact that arccos\arccos is strictly decreasing.

The arcsin–arccos identity

For all x[1,1]x \in [-1, 1]:

arcsinx+arccosx=π2.\arcsin x + \arccos x = \frac{\pi}{2}.

Proof. Let α=arcsinx\alpha = \arcsin x, so sinα=x\sin\alpha = x and α[π2,π2]\alpha \in \left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right]. Then

cos ⁣(π2α)=sinα=x,\cos\!\left(\frac{\pi}{2} - \alpha\right) = \sin\alpha = x,

and π2α[0,π]\dfrac{\pi}{2} - \alpha \in [0, \pi]. By the uniqueness in the definition of arccos\arccos, it follows that arccosx=π2α\arccos x = \dfrac{\pi}{2} - \alpha, which rearranges to the claimed identity. \square

This identity lets you convert between arcsin\arcsin and arccos\arccos without any recomputation, and it also explains why their derivatives are negatives of each other.

Arctangent

On the open interval (π2,π2)\left(-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right), the tangent function is strictly increasing and takes every real value exactly once. (The endpoints are excluded because tan\tan is undefined there.)

Arctangent is defined as

arctan:R(π2, π2),\arctan : \mathbb{R} \to \left(-\frac{\pi}{2},\ \frac{\pi}{2}\right),

where arctanx\arctan x is the unique angle θ(π2,π2)\theta \in \left(-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right) satisfying tanθ=x\tan\theta = x.

Unlike arcsin\arcsin and arccos\arccos, the domain of arctan\arctan is all of R\mathbb{R}. The output is bounded, however, so the function has two horizontal asymptotes:

limx+arctanx=π2,limxarctanx=π2.\lim_{x \to +\infty} \arctan x = \frac{\pi}{2}, \qquad \lim_{x \to -\infty} \arctan x = -\frac{\pi}{2}.

Derivative of arctangent

Let θ=arctanx\theta = \arctan x, so tanθ=x\tan\theta = x. Differentiating with respect to xx:

sec2 ⁣θdθdx=1.\sec^2\!\theta \cdot \frac{d\theta}{dx} = 1.

Using the Pythagorean identity sec2θ=1+tan2θ=1+x2\sec^2\theta = 1 + \tan^2\theta = 1 + x^2:

arctan(x)=11+x2,xR.\arctan'(x) = \frac{1}{1 + x^2}, \qquad x \in \mathbb{R}.

This is defined for all real xx and is always positive, confirming that arctan\arctan is strictly increasing on its entire domain.

Other inverse trigonometric functions

The remaining three inverse trigonometric functions are obtained by restricting cot\cot, sec\sec, and csc\csc to standard intervals of injectivity.

Arccotangent is the inverse of cot\cot restricted to (0,π)(0, \pi):

arccot:R(0, π).\operatorname{arccot} : \mathbb{R} \to (0,\ \pi).

Arcsecant is the inverse of sec\sec restricted to [0,π]{π2}[0, \pi] \setminus \left\{\dfrac{\pi}{2}\right\}:

arcsec:(,1][1,+)[0, π]{π2}.\operatorname{arcsec} : (-\infty, -1] \cup [1, +\infty) \to [0,\ \pi] \setminus \left\{\frac{\pi}{2}\right\}.

Arccosecant is the inverse of csc\csc restricted to [π2,π2]{0}\left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right] \setminus \{0\}:

arccsc:(,1][1,+)[π2, π2]{0}.\operatorname{arccsc} : (-\infty, -1] \cup [1, +\infty) \to \left[-\frac{\pi}{2},\ \frac{\pi}{2}\right] \setminus \{0\}.

These three arise less often in practice. When you encounter them, they can usually be rewritten in terms of arcsin\arcsin, arccos\arccos, or arctan\arctan.

Table of derivatives

The derivatives of all six inverse trigonometric functions, collected for reference:

FunctionDerivativeDomain of derivative
arcsinx\arcsin x11x2\dfrac{1}{\sqrt{1-x^2}}(1, 1)(-1,\ 1)
arccosx\arccos x11x2-\dfrac{1}{\sqrt{1-x^2}}(1, 1)(-1,\ 1)
arctanx\arctan x11+x2\dfrac{1}{1+x^2}R\mathbb{R}
arccotx\operatorname{arccot} x11+x2-\dfrac{1}{1+x^2}R\mathbb{R}
arcsecx\operatorname{arcsec} x1xx21\dfrac{1}{\lvert x \rvert\sqrt{x^2-1}}x>1\lvert x\rvert > 1
arccscx\operatorname{arccsc} x1xx21-\dfrac{1}{\lvert x \rvert \sqrt{x^2-1}}x>1\lvert x\rvert > 1

Notice the pattern: in each pair, arcsin\arcsin and arccos\arccos, arctan\arctan and arccot\operatorname{arccot}, arcsec\operatorname{arcsec} and arccsc\operatorname{arccsc}, the derivatives are negatives of each other. This reflects the complementary identities arcsinx+arccosx=π2\arcsin x + \arccos x = \dfrac{\pi}{2} and arctanx+arccotx=π2\arctan x + \operatorname{arccot} x = \dfrac{\pi}{2}.

Summary

  • Because sin\sin, cos\cos, and tan\tan are not injective on all of R\mathbb{R}, their inverses require restricting to a carefully chosen interval of strict monotonicity.
  • Arcsine: arcsin:[1,1][π2,π2]\arcsin : [-1, 1] \to \left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right], with derivative 11x2\dfrac{1}{\sqrt{1-x^2}} on (1,1)(-1, 1).
  • Arccosine: arccos:[1,1][0,π]\arccos : [-1, 1] \to [0, \pi], with derivative 11x2-\dfrac{1}{\sqrt{1-x^2}} on (1,1)(-1, 1); satisfies the identity arcsinx+arccosx=π2\arcsin x + \arccos x = \dfrac{\pi}{2}.
  • Arctangent: arctan:R(π2,π2)\arctan : \mathbb{R} \to \left(-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right), with derivative 11+x2\dfrac{1}{1+x^2} on R\mathbb{R}; has horizontal asymptotes ±π2\pm\dfrac{\pi}{2}.
  • The three additional inverses arccot\operatorname{arccot}, arcsec\operatorname{arcsec}, arccsc\operatorname{arccsc} follow the same pattern with analogous restricted domains.
  • All six derivatives are derived via the inverse function theorem (differentiate the defining identity f(θ)=xf(\theta) = x with respect to xx) and result in algebraic expressions, even though the original trigonometric functions are transcendental.