You already know from Trigonometric Functions that sin, cos, and 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π and are therefore not injective on all of 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π], the sine function is strictly increasing from −1 to 1 — every value in [−1,1] is achieved exactly once. This restriction is injective, so it has an inverse.
Arcsine is defined as
arcsin:[−1,1]→[−2π,2π],
where arcsinx is the unique angle θ∈[−2π,2π] satisfying sinθ=x.
The inverse relationship yields two composition identities:
sin(arcsinx)=xfor all x∈[−1,1],arcsin(sinθ)=θfor all θ∈[−2π,2π].
The second identity holds only on the restricted interval. Outside it, arcsin(sinθ) gives the representative of θ inside [−2π,2π], not θ itself.
Derivative of arcsine
Let θ=arcsinx, so x=sinθ with θ∈[−2π,2π]. Differentiating both sides with respect to x:
1=cosθ⋅dxdθ.
On [−2π,2π], cosine is non-negative, so cosθ=1−sin2θ=1−x2. Solving for dxdθ:
arcsin′(x)=1−x21,x∈(−1,1).
The derivative is undefined at the endpoints x=±1, where the graph of arcsin has a vertical tangent.
Arccosine
On the interval [0,π], the cosine function is strictly decreasing from 1 to −1. The restriction is injective.
Arccosine is defined as
arccos:[−1,1]→[0,π],
where arccosx is the unique angle θ∈[0,π] satisfying cosθ=x.
Derivative of arccosine
Let θ=arccosx, so x=cosθ. Differentiating with respect to x gives 1=−sinθ⋅dxdθ. On [0,π], sine is non-negative, so sinθ=1−cos2θ=1−x2. Solving:
arccos′(x)=−1−x21,x∈(−1,1).
The negative sign reflects the fact that arccos is strictly decreasing.
The arcsin–arccos identity
For all x∈[−1,1]:
arcsinx+arccosx=2π.
Proof. Let α=arcsinx, so sinα=x and α∈[−2π,2π]. Then
cos(2π−α)=sinα=x,
and 2π−α∈[0,π]. By the uniqueness in the definition of arccos, it follows that arccosx=2π−α, which rearranges to the claimed identity. □
This identity lets you convert between arcsin and arccos without any recomputation, and it also explains why their derivatives are negatives of each other.
Arctangent
On the open interval (−2π,2π), the tangent function is strictly increasing and takes every real value exactly once. (The endpoints are excluded because tan is undefined there.)
Arctangent is defined as
arctan:R→(−2π,2π),
where arctanx is the unique angle θ∈(−2π,2π) satisfying tanθ=x.
Unlike arcsin and arccos, the domain of arctan is all of R. The output is bounded, however, so the function has two horizontal asymptotes:
x→+∞limarctanx=2π,x→−∞limarctanx=−2π.
Derivative of arctangent
Let θ=arctanx, so tanθ=x. Differentiating with respect to x:
sec2θ⋅dxdθ=1.
Using the Pythagorean identity sec2θ=1+tan2θ=1+x2:
arctan′(x)=1+x21,x∈R.
This is defined for all real x and is always positive, confirming that arctan is strictly increasing on its entire domain.
Other inverse trigonometric functions
The remaining three inverse trigonometric functions are obtained by restricting cot, sec, and csc to standard intervals of injectivity.
Arccotangent is the inverse of cot restricted to (0,π):
arccot:R→(0,π).
Arcsecant is the inverse of sec restricted to [0,π]∖{2π}:
arcsec:(−∞,−1]∪[1,+∞)→[0,π]∖{2π}.
Arccosecant is the inverse of csc restricted to [−2π,2π]∖{0}:
arccsc:(−∞,−1]∪[1,+∞)→[−2π,2π]∖{0}.
These three arise less often in practice. When you encounter them, they can usually be rewritten in terms of arcsin, arccos, or arctan.
Table of derivatives
The derivatives of all six inverse trigonometric functions, collected for reference:
Function
Derivative
Domain of derivative
arcsinx
1−x21
(−1,1)
arccosx
−1−x21
(−1,1)
arctanx
1+x21
R
arccotx
−1+x21
R
arcsecx
∣x∣x2−11
∣x∣>1
arccscx
−∣x∣x2−11
∣x∣>1
Notice the pattern: in each pair, arcsin and arccos, arctan and arccot, arcsec and arccsc, the derivatives are negatives of each other. This reflects the complementary identities arcsinx+arccosx=2π and arctanx+arccotx=2π.
Summary
Because sin, cos, and tan are not injective on all of R, their inverses require restricting to a carefully chosen interval of strict monotonicity.
Arcsine: arcsin:[−1,1]→[−2π,2π], with derivative 1−x21 on (−1,1).
Arccosine: arccos:[−1,1]→[0,π], with derivative −1−x21 on (−1,1); satisfies the identity arcsinx+arccosx=2π.
Arctangent: arctan:R→(−2π,2π), with derivative 1+x21 on R; has horizontal asymptotes ±2π.
The three additional inverses arccot, arcsec, arccsc follow the same pattern with analogous restricted domains.
All six derivatives are derived via the inverse function theorem (differentiate the defining identity f(θ)=x with respect to x) and result in algebraic expressions, even though the original trigonometric functions are transcendental.