Part 3 · Chapter 14

Inverse Trigonometric Functions

Running the ratios backwards — from a value to the angle that produced it, once we agree on which angle to pick

Fundamentals of Mathematics Prof. Mithun Mondal Reading time ≈ 40 min
i What you'll learn
  • Why the ratios must be restricted before they can be inverted, and what a principal value is.
  • The domain, range and graph of each of the six inverse functions.
  • The self-composition rules — when \(\sin^{-1}(\sin\theta)=\theta\) and when it does not.
  • The negative-argument, reciprocal and complementary identities.
  • How to interconvert between the inverse functions.
  • The addition and multiple-angle formulae — and the conditions that guard them.
Section 14-1

Why Restrict the Domain

A function can be inverted only if it is one-to-one. But \(\sin\theta\) takes the value \(\tfrac12\) at \(\tfrac{\pi}{6}\), at \(\tfrac{5\pi}{6}\), and at infinitely many more angles — far from one-to-one. To recover a genuine inverse we agree to return just one of those angles, the principal value, by restricting each ratio to an interval on which it rises or falls without repeating.

The convention, not a theorem. The principal-value ranges below are a choice mathematicians have standardised. They are picked so each interval is as close to the origin as possible while still covering every output value exactly once.
Section 14-2

Domains & Principal Ranges

These six rows are the foundation of the entire chapter; every later identity respects them.

Table 14-1 · Domain and principal range of each inverse function
FunctionDomainPrincipal range
\(\sin^{-1}x\)\([-1,1]\)\(\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right]\)
\(\cos^{-1}x\)\([-1,1]\)\([0,\pi]\)
\(\tan^{-1}x\)\(\mathbb{R}\)\(\left(-\tfrac{\pi}{2},\tfrac{\pi}{2}\right)\)
\(\cot^{-1}x\)\(\mathbb{R}\)\((0,\pi)\)
\(\sec^{-1}x\)\(|x|\ge1\)\([0,\pi]\setminus\left\{\tfrac{\pi}{2}\right\}\)
\(\csc^{-1}x\)\(|x|\ge1\)\(\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right]\setminus\{0\}\)
Two families to keep straight. The "sine family" (\(\sin^{-1},\tan^{-1},\csc^{-1}\)) lands in \(\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right]\) and is odd; the "cosine family" (\(\cos^{-1},\cot^{-1},\sec^{-1}\)) lands in \([0,\pi]\) and is not.
Section 14-3

The Graphs

Each inverse graph is the reflection of the restricted ratio in the line \(y=x\). The arcsine rises across \([-1,1]\); the arccosine falls over the same domain; the arctangent climbs over all of \(\mathbb{R}\) between two horizontal asymptotes.

π/2 −π/2
\(y=\sin^{-1}x\)
π π/2
\(y=\cos^{-1}x\)
π/2 −π/2
\(y=\tan^{-1}x\)
Section 14-4

Self-Composition

Feeding a function into its own inverse almost cancels — but only when the inner angle already sits inside the principal range.

! The two directions are not symmetric

\(\sin\!\left(\sin^{-1}x\right)=x\) for every \(x\in[-1,1]\) — clean and unconditional. But \(\sin^{-1}(\sin\theta)=\theta\) only when \(\theta\in\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right]\). For a \(\theta\) outside that band, first reduce it to an equivalent angle inside the principal range using allied-angle rules, then read off the answer.

Section 14-5

Negative Arguments & Reciprocals

The "sine family" is odd; the "cosine family" reflects through \(\pi\). Reciprocal arguments swap a function for its co-named partner.

Table 14-2 · Sign and reciprocal rules
Negative argumentReciprocal argument
\(\sin^{-1}(-x)=-\sin^{-1}x\)\(\csc^{-1}x=\sin^{-1}\dfrac{1}{x},\ |x|\ge1\)
\(\tan^{-1}(-x)=-\tan^{-1}x\)\(\sec^{-1}x=\cos^{-1}\dfrac{1}{x},\ |x|\ge1\)
\(\cos^{-1}(-x)=\pi-\cos^{-1}x\)\(\cot^{-1}x=\tan^{-1}\dfrac{1}{x},\ x>0\)
\(\cot^{-1}(-x)=\pi-\cot^{-1}x\)\(\cot^{-1}x=\pi+\tan^{-1}\dfrac{1}{x},\ x<0\)
Section 14-6

The Complementary Pairs

Each co-function pair adds to a right angle across its shared domain — three of the most-used identities in the chapter.

Three complementary identities
\[ \sin^{-1}x+\cos^{-1}x=\frac{\pi}{2}\ \ (|x|\le1) \]
\[ \tan^{-1}x+\cot^{-1}x=\frac{\pi}{2}\ \ (x\in\mathbb{R}),\qquad \sec^{-1}x+\csc^{-1}x=\frac{\pi}{2}\ \ (|x|\ge1) \]
Because the two members of each pair are complementary angles whose ratios coincide, their inverses must sum to \(\tfrac{\pi}{2}\).
Section 14-7

Interconversion

Any one inverse function can be rewritten as any other by drawing a right triangle whose acute angle is the given inverse. For \(x\ge0\) the whole family lines up.

🔁
One angle, six names (for \(0\le x\le1\))
\(\sin^{-1}x=\cos^{-1}\!\sqrt{1-x^{2}}=\tan^{-1}\dfrac{x}{\sqrt{1-x^{2}}}\)

Set \(\theta=\sin^{-1}x\), so \(\sin\theta=x\) and \(\cos\theta=\sqrt{1-x^2}\); every other ratio of \(\theta\) — and hence every other inverse name — follows from this single triangle. Mind the sign of the surd when \(x<0\).

Section 14-8

Sum & Difference Formulae

The tangent addition law from Chapter 11 transfers to inverses — but because the result must land back in the principal range, a correction of \(\pm\pi\) is sometimes needed.

The arctangent addition law
\[ \tan^{-1}x+\tan^{-1}y=\tan^{-1}\frac{x+y}{1-xy},\qquad xy<1 \]
\[ \tan^{-1}x-\tan^{-1}y=\tan^{-1}\frac{x-y}{1+xy},\qquad xy>-1 \]
For the sum with \(x,y>0\) and \(xy>1\), add \(\pi\); with \(x,y<0\) and \(xy>1\), subtract \(\pi\).
! Always check \(xy\) against \(1\)

Skipping the condition is the single most common error here. For example \(\tan^{-1}2+\tan^{-1}3\) has \(xy=6>1\), so the bare formula gives \(\tan^{-1}(-1)=-\tfrac{\pi}{4}\) — wrong. The correct value adds \(\pi\): the answer is \(\tfrac{3\pi}{4}\).

The arcsine and arccosine sums
\[ \sin^{-1}x+\sin^{-1}y=\sin^{-1}\!\left(x\sqrt{1-y^{2}}+y\sqrt{1-x^{2}}\right),\qquad x^{2}+y^{2}\le1 \]
\[ \cos^{-1}x+\cos^{-1}y=\cos^{-1}\!\left(xy-\sqrt{1-x^{2}}\sqrt{1-y^{2}}\right),\qquad x+y\ge0 \]
Outside the stated conditions, the right side is replaced by its supplement — reduce carefully or work from a triangle.
Section 14-9

Multiple-Angle Formulae

Setting \(y=x\) in the addition laws gives the double-angle results; pushing once more gives the triple-angle versions. Each carries its own validity window.

Table 14-3 · Double and triple angles
ExpressionEqualsValid for
\(2\tan^{-1}x\)\(\tan^{-1}\dfrac{2x}{1-x^{2}}\)\(|x|<1\)
\(2\tan^{-1}x\)\(\sin^{-1}\dfrac{2x}{1+x^{2}}\)\(|x|\le1\)
\(2\tan^{-1}x\)\(\cos^{-1}\dfrac{1-x^{2}}{1+x^{2}}\)\(x\ge0\)
\(3\sin^{-1}x\)\(\sin^{-1}(3x-4x^{3})\)\(|x|\le\tfrac12\)
\(3\cos^{-1}x\)\(\cos^{-1}(4x^{3}-3x)\)\(\tfrac12\le x\le1\)
Worked Examples

Putting It to Work

1 A composition outside the branch

Problem. Evaluate \(\sin^{-1}\!\left(\sin\dfrac{2\pi}{3}\right)\).

Solution. Since \(\tfrac{2\pi}{3}\notin\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right]\), reduce: \(\sin\tfrac{2\pi}{3}=\sin\!\left(\pi-\tfrac{2\pi}{3}\right)=\sin\tfrac{\pi}{3}\).

Working
\[ \sin^{-1}\!\left(\sin\tfrac{2\pi}{3}\right)=\sin^{-1}\!\left(\sin\tfrac{\pi}{3}\right)=\frac{\pi}{3} \]
2 Arccosine of a large angle

Problem. Evaluate \(\cos^{-1}\!\left(\cos\dfrac{7\pi}{6}\right)\).

Solution. Here \(\tfrac{7\pi}{6}\in[\pi,2\pi]\), where \(\cos^{-1}(\cos\theta)=2\pi-\theta\):

Working
\[ \cos^{-1}\!\left(\cos\tfrac{7\pi}{6}\right)=2\pi-\frac{7\pi}{6}=\frac{5\pi}{6} \]
3 Arctangent addition

Problem. Prove \(\tan^{-1}\dfrac{1}{2}+\tan^{-1}\dfrac{1}{3}=\dfrac{\pi}{4}\).

Solution. Here \(xy=\tfrac16<1\), so the bare formula applies:

Working
\[ \tan^{-1}\frac{\tfrac12+\tfrac13}{1-\tfrac16}=\tan^{-1}\frac{5/6}{5/6}=\tan^{-1}1=\frac{\pi}{4} \]
4 A double-angle value

Problem. Find \(\sin\!\left(2\tan^{-1}\dfrac{1}{3}\right)\).

Solution. Using \(2\tan^{-1}x=\sin^{-1}\dfrac{2x}{1+x^2}\) with \(x=\tfrac13\):

Working
\[ \sin\!\left(2\tan^{-1}\tfrac13\right)=\frac{2\cdot\tfrac13}{1+\tfrac19}=\frac{2/3}{10/9}=\frac{3}{5} \]
5 Arcsine addition

Problem. Prove \(\sin^{-1}\dfrac{3}{5}+\sin^{-1}\dfrac{8}{17}=\sin^{-1}\dfrac{77}{85}\).

Solution. With \(x=\tfrac35,\ y=\tfrac{8}{17}\) (and \(x^2+y^2\le1\)), use \(x\sqrt{1-y^2}+y\sqrt{1-x^2}\):

Working
\[ \frac35\cdot\frac{15}{17}+\frac{8}{17}\cdot\frac45=\frac{45}{85}+\frac{32}{85}=\frac{77}{85} \]
6 Solve an equation

Problem. Solve \(\tan^{-1}(x-1)+\tan^{-1}x+\tan^{-1}(x+1)=\tan^{-1}3x\).

Solution. Combine the outer two: \(\tan^{-1}(x-1)+\tan^{-1}(x+1)=\tan^{-1}\dfrac{2x}{2-x^2}\), then collect:

Working
\[ \tan^{-1}\frac{2x}{1+3x^2}=\tan^{-1}\frac{2x}{2-x^2}\ \Rightarrow\ x=0\ \text{or}\ 4x^2=1 \]

So \(x=0,\ \pm\tfrac12\).

Review

Chapter Summary

Branches

\(\sin^{-1},\tan^{-1},\csc^{-1}\to\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right]\); \(\cos^{-1},\cot^{-1},\sec^{-1}\to[0,\pi]\).

Composition

\(\sin(\sin^{-1}x)=x\) always; \(\sin^{-1}(\sin\theta)=\theta\) only on the branch.

Complementary

\(\sin^{-1}x+\cos^{-1}x=\tan^{-1}x+\cot^{-1}x=\tfrac{\pi}{2}\).

Addition

\(\tan^{-1}x+\tan^{-1}y=\tan^{-1}\tfrac{x+y}{1-xy}\) — check \(xy\lessgtr1\).

Multiples

\(2\tan^{-1}x\) in three forms; triple-angle \(3\sin^{-1}x,\,3\cos^{-1}x\).

Conditions

Every identity carries a validity window; verify it before applying.

Practice

Problems

Watch the principal ranges and the validity conditions. Difficulty rises down the list.

  1. Find the principal values of \(\sin^{-1}\!\left(-\tfrac12\right)\) and \(\cos^{-1}\!\left(-\tfrac{1}{\sqrt2}\right)\).
  2. Evaluate \(\tan^{-1}\!\left(\tan\dfrac{3\pi}{4}\right)\).
  3. Evaluate \(\sin^{-1}(\sin 5)\), where \(5\) is in radians.
  4. Prove \(\sin^{-1}x+\cos^{-1}x=\dfrac{\pi}{2}\).
  5. Prove \(\tan^{-1}\dfrac15+\tan^{-1}\dfrac17+\tan^{-1}\dfrac13+\tan^{-1}\dfrac18=\dfrac{\pi}{4}\).
  6. Show that \(2\tan^{-1}\dfrac13=\tan^{-1}\dfrac34\).
  7. Evaluate \(\cos\!\left(2\sin^{-1}\dfrac35\right)\).
  8. Solve \(\tan^{-1}(2x)+\tan^{-1}(3x)=\dfrac{\pi}{4}\).
  9. Show that \(2\tan^{-1}x=\cos^{-1}\dfrac{1-x^2}{1+x^2}\) for \(x\ge0\).
  10. Express \(\sin^{-1}\!\left(2x\sqrt{1-x^2}\right)\) in terms of \(\sin^{-1}x\) for \(-\tfrac{1}{\sqrt2}\le x\le\tfrac{1}{\sqrt2}\).
  11. Prove \(\tan^{-1}1+\tan^{-1}2+\tan^{-1}3=\pi\).
  12. Find all \(x\) for which \(\cos^{-1}x>\sin^{-1}x\).
Tip: two reflexes prevent most slips — when a composition's inner angle lies outside the principal branch, reduce it with allied-angle rules first; and before any arctangent addition, compare \(xy\) with \(1\) to decide whether a \(\pm\pi\) correction is required. When stuck, set \(\theta\) equal to the inverse and work from a right triangle.