Inverse Trigonometric Functions

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
y = arcsin x [ 1 , 1 ] [ π 2 , π 2 ]
y = arccos x [ 1 , 1 ] [ 0 , π ]
y = arctan x ( , ) ( π 2 , π 2 )

Why Domain Restriction Is Necessary

Trigonometric functions are periodic, so they are not one-to-one on all of . For example, sin 0 = sin ( ± π ) = sin ( ± 2 π ) = 0 . 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 [ π 2 , π 2 ] .
  • We make the cosine function one-to-one by restricting its domain to [ 0 , π ] .
  • We make the tangent function one-to-one by restricting its domain to ( π 2 , π 2 ) .

The inverses of the restricted sine, cosine, and tangent functions are denoted sin 1 x , cos 1 x , tan 1 x , or equivalently arcsin x , arccos x , arctan x .

Important: sin 1 x , cos 1 x , tan 1 x are the inverse functions, not the reciprocals. The reciprocal of sin x is csc x , not sin 1 x . (This is the exception to the usual convention where sin n x means ( sin x ) n .)

Definitions and Cancellation Equations

arcsin x = y sin y = x and π 2 y π 2 arccos x = y cos y = x and 0 y π arctan x = y tan y = x and π 2 < y < π 2

Graphs of Inverse Trig Functions

The graphs are obtained by reflecting the restricted trigonometric functions in the line y = x .

Graph of y = arcsin(x) as the reflection of restricted sine in y = x, with domain [-1,1] and range [-pi/2, pi/2]

The graph of y = arcsin x is obtained by reflecting the graph of y = sin x restricted to [ π 2 , π 2 ] in the line y = x .

Graph of y = arccos(x) as the reflection of restricted cosine in y = x, with domain [-1,1] and range [0, pi]

The graph of y = arccos x is obtained by reflecting the graph of y = cos x restricted to [ 0 , π ] in the line y = x .

Graph of y = arctan(x) as the reflection of restricted tangent in y = x, with domain all reals and range (-pi/2, pi/2)

The graph of y = arctan x is obtained by reflecting the graph of y = tan x restricted to ( π 2 , π 2 ) in the line y = x .

Properties of the Inverse Trig Functions

Recall: if f and g are inverses, then f ( g ( x ) ) = x and g ( f ( x ) ) = x for x 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
y = arcsin x [ 1 , 1 ] [ π 2 , π 2 ] sin ( arcsin x ) = x for 1 x 1 ; arcsin ( sin x ) = x for π 2 x π 2
y = arccos x [ 1 , 1 ] [ 0 , π ] cos ( arccos x ) = x for 1 x 1 ; arccos ( cos x ) = x for 0 x π
y = arctan x ( , ) ( π 2 , π 2 ) tan ( arctan x ) = x for all x ; arctan ( tan x ) = x for π 2 < x < π 2

Frequently Asked Questions

What is arcsin ( sin ( 3 π / 4 ) ) ? Be careful: 3 π / 4 is not in the restricted domain [ π / 2 , π / 2 ] of arcsine. So arcsin ( sin ( 3 π / 4 ) ) 3 π / 4 . Instead, compute sin ( 3 π / 4 ) = sin ( π π / 4 ) = sin ( π / 4 ) = 2 / 2 . Then arcsin ( 2 / 2 ) = π / 4 (since π / 4 [ π / 2 , π / 2 ] ). Answer: π / 4 .

What are the derivatives of the inverse trig functions? These are some of the most important results in differential calculus: d d x arcsin x = 1 1 x 2 , d d x arccos x = 1 1 x 2 , d d x arctan x = 1 1 + x 2 . Note that arctan is defined on all of , so its derivative 1 1 + x 2 is defined everywhere.

Why does arccosine have range [ 0 , π ] rather than [ π / 2 , π / 2 ] ? We need cosine to be one-to-one on the chosen interval. Cosine is not one-to-one on [ π / 2 , π / 2 ] (for example, cos ( π / 4 ) = cos ( π / 4 ) ). It is one-to-one on [ 0 , π ] , which is the standard choice. The range [ 0 , π ] also means that arccos x always returns a non-negative angle, which is consistent with the way angles are usually measured.