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 arcsin⁡x\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⁡(arcsin⁡x)=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 θ=arcsin⁡x\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⁡θ=1−sin⁡2θ=1−x2\cos\theta = \sqrt{1 - \sin^2\theta} = \sqrt{1 - x^2}. Solving for dθdx\dfrac{d\theta}{dx}:

arcsin⁡′(x)=11−x2,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 arccos⁡x\arccos x is the unique angle θ∈[0,π]\theta \in [0, \pi] satisfying cos⁡θ=x\cos\theta = x.

Derivative of arccosine

Let θ=arccos⁡x\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⁡θ=1−cos⁡2θ=1−x2\sin\theta = \sqrt{1 - \cos^2\theta} = \sqrt{1 - x^2}. Solving:

arccos⁡′(x)=−11−x2,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]:

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

Proof. Let α=arcsin⁡x\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 arccos⁡x=π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 arctan⁡x\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:

lim⁡x→+∞arctan⁡x=π2,lim⁡x→−∞arctan⁡x=−π2.\lim_{x \to +\infty} \arctan x = \frac{\pi}{2}, \qquad \lim_{x \to -\infty} \arctan x = -\frac{\pi}{2}.

Derivative of arctangent

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

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

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

arctan⁡′(x)=11+x2,x∈R.\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
arcsin⁡x\arcsin x11−x2\dfrac{1}{\sqrt{1-x^2}}(−1, 1)(-1,\ 1)
arccos⁡x\arccos x−11−x2-\dfrac{1}{\sqrt{1-x^2}}(−1, 1)(-1,\ 1)
arctan⁡x\arctan x11+x2\dfrac{1}{1+x^2}R\mathbb{R}
arccot⁡x\operatorname{arccot} x−11+x2-\dfrac{1}{1+x^2}R\mathbb{R}
arcsec⁡x\operatorname{arcsec} x1∣x∣x2−1\dfrac{1}{\lvert x \rvert\sqrt{x^2-1}}∣x∣>1\lvert x\rvert > 1
arccsc⁡x\operatorname{arccsc} x−1∣x∣x2−1-\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 arcsin⁡x+arccos⁡x=π2\arcsin x + \arccos x = \dfrac{\pi}{2} and arctan⁡x+arccot⁡x=π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 11−x2\dfrac{1}{\sqrt{1-x^2}} on (−1,1)(-1, 1).
  • Arccosine: arccos⁡:[−1,1]→[0,π]\arccos : [-1, 1] \to [0, \pi], with derivative −11−x2-\dfrac{1}{\sqrt{1-x^2}} on (−1,1)(-1, 1); satisfies the identity arcsin⁡x+arccos⁡x=π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.