Inverse trigonometric identities combine familiar trigonometric relationships with the principal branches of arcsine, arccosine and arctangent. The algebra can look simple, but the branch conditions are part of the mathematics.
A formula that is correct for ordinary tangent may need a ±π correction after arctangent is applied. A square root may need a sign justified by a principal range. A composition may undo exactly in one order but fold angles back into a restricted interval in the other.
On this page
Inverse identities are branch-sensitive
An inverse identity must return a value in the chosen principal range. The conditions on the input and output are part of the result, not optional notes.
The identities below use real inputs and radian outputs. Arcsine returns , arccosine returns , and arctangent returns .
Direct compositions
A trig function applied after its inverse returns the input on the inverse function’s domain:
The reverse compositions equal x only on the principal ranges: arcsin(sin x) = x for x in [−π/2, π/2], arccos(cos x) = x for x in [0, π], and arctan(tan x) = x for x in (−π/2, π/2).
For a second explanation, see OpenStax’s treatment of inverse compositions.
What reverse composition returns
A reverse composition returns the principal angle with the same trigonometric value. It need not return an angle coterminal with the original one. For example,
The two angles differ by , not by a whole turn, so they are not coterminal. Their sines agree because they are supplementary.
On the interval , the folding can be written exactly:
Extend this result periodically for other inputs. For , first exclude ; tangent is undefined there, so the composition cannot assign a value.
Complement and parity identities
For −1 ≤ x ≤ 1, arcsine and arccosine are complementary:
Arcsine and arctangent are odd:
Arccosine instead satisfies arccos(−x) = π − arccos x because its principal outputs lie in [0, π].
Radical composition identities
The Pythagorean identity gives several useful compositions. Let θ = arcsin x. Since θ is in [−π/2, π/2], cosine is non-negative, so
Similarly,
For |x| < 1,
and for every real x,
Converting between inverse functions
A radical composition can convert one inverse function to another. For |x| < 1,
Both sides lie in (−π/2, π/2), so the branch choice agrees. At x = ±1, the arcsine side is defined while the displayed arctangent expression has a zero denominator, so the endpoints require separate treatment.
The reciprocal arctangent identity
The familiar identity involving arctan x and arctan(1/x) depends on the sign of x:
There is no x = 0 case because 1/x is undefined. The sign condition is not optional; it is what keeps the result inside the correct branch geometry.
Arctangent addition needs branch corrections
Let and , with real . Both angles lie between and , so their sum lies between and . When , define
The principal value must sometimes be adjusted:
Why these cases are necessary
The denominator is positive. When , the cosine of the sum is positive; since the sum is between and , it is already in the principal arctangent range. When , the cosine is negative, and the sign of chooses the required upper or lower quadrant. When , the cosine is zero and the sine sign chooses or . This establishes the cases for all real inputs, not merely for a few numerical examples.
For and , . Its principal arctangent is , but the sum of the two positive angles is , so adding is essential.
The branch chosen by arctangent
The graph’s restricted output range explains why a sum of inverse tangents may need a correction.
Arctangent.svg · Geek3; SVG correction by Tiger66 · CC BY-SA 4.0.
Diagram explained
For positive inputs the curve lies above zero; for negative inputs it lies below zero. It approaches the horizontal limits minus pi/2 and pi/2 but never reaches them at a finite input. A sum of two outputs can leave this interval even though each output lies inside it.
Chart values and boundaries
| Input | Arctangent |
|---|---|
| Approaches ; never reaches it |
No simple distribution over sums
Inverse trigonometric functions do not distribute over addition. In general, arcsin(u + v) is not arcsin u + arcsin v, and arccos(uv) is not arccos u · arccos v. These functions are non-linear.
If an expression contains a sum or product inside an inverse trig function, use a valid angle formula or a geometric substitution rather than inventing a distribution rule.
Using triangles to derive identities
For with unrestricted real , use the signed coordinate . Its distance from the origin is . The horizontal coordinate is positive, so cosine is positive; the sign of sine is the sign of .
An ordinary reference triangle uses side lengths , and . Restore the sign from the coordinate quadrant after using its lengths. At the reference triangle is degenerate, but the coordinate formulas still give sine zero and cosine one.
For example, . Treating the opposite side as a negative physical length would hide the distinction between geometry and signed coordinates.
Related topics
Use these branch-aware relationships when simplifying inverse-trig expressions, solving equations or converting coordinate directions. For the non-inverse identity families, return to Trigonometric Identities.
Practice questions
- Find .
- Find .
- Evaluate .
Check your answers
- , using the coordinate .
- . Cosine is non-negative on the arcsine range.
- . Both inputs are positive and their product is one.
Sources and further reading
Further explanations of the definitions and conventions used here:
- OpenStax, Precalculus 2e: Principal inverse functions.
- OpenStax, Precalculus 2e: Angle-sum identities.
- Wolfram ArcCot: branch convention; Wolfram ArcTan: one- and two-argument forms.
- Wolfram Language: Trigonometric Functions. Used for checking exact values, expressions and solutions.

