Trigonometric functions are not one-to-one on their full domain because their values repeat periodically. By restricting the domain to a carefully chosen interval, each trig function becomes one-to-one and therefore invertible. The resulting inverse functions appear as antiderivatives of certain algebraic expressions, making them indispensable in integration.
| Function | Domain | Range |
|---|---|---|
Why Domain Restriction Is Necessary
Trigonometric functions are periodic, so they are not one-to-one on all of . For example, . Without a restricted domain, the "inverse" would be multi-valued and not a function.
- We make the sine function one-to-one by restricting its domain to .
- We make the cosine function one-to-one by restricting its domain to .
- We make the tangent function one-to-one by restricting its domain to .
The inverses of the restricted sine, cosine, and tangent functions are denoted , , , or equivalently , , .
Important: , , are the inverse functions, not the reciprocals. The reciprocal of is , not . (This is the exception to the usual convention where means .)
Definitions and Cancellation Equations
Graphs of Inverse Trig Functions
The graphs are obtained by reflecting the restricted trigonometric functions in the line .
![Graph of y = arcsin(x) as the reflection of restricted sine in y = x, with domain [-1,1] and range [-pi/2, pi/2]](https://adaptivebooks.org/book-images/calculus1/Ch0-Trig-ArcSin.png)
The graph of is obtained by reflecting the graph of restricted to in the line .
![Graph of y = arccos(x) as the reflection of restricted cosine in y = x, with domain [-1,1] and range [0, pi]](https://adaptivebooks.org/book-images/calculus1/Ch0-Trig-ArcCos.png)
The graph of is obtained by reflecting the graph of restricted to in the line .

The graph of is obtained by reflecting the graph of restricted to in the line .
Properties of the Inverse Trig Functions
Recall: if and are inverses, then and for in the domain of the inner function. The table below summarizes the cancellation equations (note: these hold only on the restricted domains).
| Function | Domain | Range | Cancellation equations |
|---|---|---|---|
| for ; for | |||
| for ; for | |||
| for all ; for |