Basic concepts of inverse trigonometric functions

Ask a calculator "what angle has sine 0.50.5?" and it answers 30°30° without hesitation — but infinitely many angles (30°,150°,390°,…30°, 150°, 390°, \dots) actually satisfy sin⁡x=0.5\sin x = 0.5. So how does the calculator pick just one? This is the opening puzzle of the chapter Inverse Trigonometric Functions in CBSE Class 12. In Class 11 you met sin⁡,cos⁡,tan⁡,csc⁡,sec⁡,cot⁡\sin, \cos, \tan, \csc, \sec, \cot as periodic functions repeating forever — which is exactly why they cannot be inverted directly. To build a genuine inverse, each function's domain must first be trimmed down to a single interval on which it never repeats a value. This article builds that idea from scratch: why periodicity blocks inversion, how a principal domain fixes it, and what domain and range each of the six inverse trig functions ends up with.

The core insight

A trig function has no inverse over its full periodic domain, so each one is first restricted to a principal domain on which it is one-to-one and onto, and only that restricted function is inverted to define sin⁡−1x,cos⁡−1x,tan⁡−1x,cot⁡−1x,sec⁡−1x,csc⁡−1x\sin^{-1}x, \cos^{-1}x, \tan^{-1}x, \cot^{-1}x, \sec^{-1}x, \csc^{-1}x.

The core idea

Why the ordinary trig functions cannot be inverted. A function ff has an inverse only if it is bijective — one-to-one (injective) and onto (surjective) — so that every output traces back to exactly one input. But y=sin⁡xy = \sin x is periodic with period 2π2\pi: sin⁡0=sin⁡π=sin⁡2π=0\sin 0 = \sin \pi = \sin 2\pi = 0, so infinitely many xx give the same yy. The same repetition happens for cos⁡x,tan⁡x\cos x, \tan x and the rest. Over R\mathbb{R} (or wherever each function is defined), none of the six trig functions is one-to-one, so none has a genuine inverse there.

The fix: restrict the domain. Pick a sub-interval of the natural domain on which the function is both one-to-one and covers its whole range exactly once. This chosen interval is the principal domain, and the corresponding restricted function is bijective — so it, and only it, gets inverted. For sine, the standard choice is [−π2,π2]\left[-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right]: on this interval sin⁡x\sin x climbs steadily from −1-1 to 11, hitting every value in [−1,1][-1,1] exactly once. That gives:

sin⁡−1:[−1,1]→[−π2,π2],sin⁡−1x=y  ⟺  sin⁡y=x and y∈[−π2,π2]\sin^{-1} : [-1, 1] \to \left[-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right], \qquad \sin^{-1}x = y \iff \sin y = x \text{ and } y \in \left[-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right]

where: the domain [−1,1][-1,1] is exactly the range of sin⁡x\sin x (sine never exceeds 11 in size), and the range [−π2,π2]\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right] is exactly the principal domain chosen for sine. The same construction — choose a principal domain, invert only there — applies to all six functions:

FunctionDomain (input)Range (output, principal branch)
sin⁡−1x\sin^{-1}x[−1,1][-1, 1][−π2,π2]\left[-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right]
cos⁡−1x\cos^{-1}x[−1,1][-1, 1][0,π][0, \pi]
tan⁡−1x\tan^{-1}xR\mathbb{R}(−π2,π2)\left(-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right)
cot⁡−1x\cot^{-1}xR\mathbb{R}(0,π)(0, \pi)
sec⁡−1x\sec^{-1}xR−(−1,1)\mathbb{R} - (-1,1)[0,π]−{π2}[0, \pi] - \{\tfrac{\pi}{2}\}
csc⁡−1x\csc^{-1}xR−(−1,1)\mathbb{R} - (-1,1)[−π2,π2]−{0}\left[-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right] - \{0\}

Two conventions are worth locking in early. First, sin⁡−1x\sin^{-1}x is functional notation for "the angle whose sine is xx," never the reciprocal 1sin⁡x\dfrac{1}{\sin x} — that reciprocal already has its own name, csc⁡x\csc x. Second, since sin⁡−1x\sin^{-1}x is the inverse of (restricted) sin⁡x\sin x, its graph is the mirror image of y=sin⁡xy = \sin x reflected across the line y=xy = x; the same reflection relationship holds for every one of the six pairs.

Figure
Graph of restricted sine and its reflection across y equals x giving the graph of the inverse sine function
Restricted sin x reflected across y = x gives sin⁻¹x y = x sin x on [-π/2, π/2] sin⁻¹x (-1, -π/2) (1, π/2)

Why it works

There is no single formula to derive here — the domain/range pairs above are definitions, chosen so that inversion is possible at all — but the reasoning behind each choice is exactly what CBSE examines, so it earns the same careful, step-by-step treatment a derivation would get. This chain of reasoning applies to every one of the six functions, using tan⁡x\tan x as the running example because it shows the full logic most cleanly, including a domain that excludes isolated points rather than just a periodic wraparound.

Step 1. Locate where the function is undefined or repeats. tan⁡x=sin⁡xcos⁡x\tan x = \dfrac{\sin x}{\cos x} is undefined wherever cos⁡x=0\cos x = 0, i.e. at x=±π2,±3π2,…x = \pm\tfrac{\pi}{2}, \pm\tfrac{3\pi}{2}, \dots, and it is periodic with period π\pi (unlike sine and cosine, whose period is 2π2\pi). Between consecutive undefined points, tangent runs through every real value exactly once.

Step 2. Choose one such interval as the principal domain. Take (−π2,π2)\left(-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right), the interval closest to the origin. On it, tan⁡x\tan x increases continuously and without bound from −∞-\infty up to +∞+\infty, so it is one-to-one (strictly increasing functions never repeat a value) and onto R\mathbb{R} (it reaches every real number).

Step 3. Read off the domain and range of the inverse from this bijection. Because tan⁡x\tan x on (−π2,π2)\left(-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right) hits every real number exactly once, its inverse tan⁡−1x\tan^{-1}x is defined for every real input: domain =R= \mathbb{R}. And because the outputs of tan⁡−1x\tan^{-1}x are exactly the inputs we started restricting, the range of tan⁡−1x\tan^{-1}x is precisely the principal domain we chose: (−π2,π2)\left(-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right).

Step 4. Same logic, different obstruction, for csc⁡x\csc x and sec⁡x\sec x. Since csc⁡x=1/sin⁡x\csc x = 1/\sin x and sec⁡x=1/cos⁡x\sec x = 1/\cos x, and ∣sin⁡x∣≤1|\sin x| \le 1, ∣cos⁡x∣≤1|\cos x| \le 1 always, it follows ∣csc⁡x∣≥1|\csc x| \ge 1 and ∣sec⁡x∣≥1|\sec x| \ge 1 wherever they are defined — neither ever lands strictly between −1-1 and 11. That is why the domain of sec⁡−1x\sec^{-1}x and csc⁡−1x\csc^{-1}x is R−(−1,1)\mathbb{R} - (-1, 1): it is not an arbitrary restriction but a direct consequence of what values secant and cosecant can actually take.

Worked example

Verify, using the definitions above, that sec⁡−1(0.5)\sec^{-1}(0.5) is undefined while sec⁡−1(2)\sec^{-1}(2) is defined, and state the value's expected range.

Step 1. Recall the domain fact just derived: sec⁡−1x\sec^{-1}x is defined only for x≤−1x \le -1 or x≥1x \ge 1, i.e. x∈R−(−1,1)x \in \mathbb{R} - (-1, 1), because ∣sec⁡x∣≥1|\sec x| \ge 1 always.

Step 2. Test x=0.5x = 0.5. Since 0.50.5 lies strictly between −1-1 and 11, it is in the excluded interval (−1,1)(-1, 1), so sec⁡−1(0.5)\sec^{-1}(0.5) does not exist — there is no angle whose secant equals 0.50.5, because sec⁡x\sec x never takes a value that small in magnitude.

Step 3. Test x=2x = 2. Since 2≥12 \ge 1, it lies in the valid domain, so sec⁡−1(2)\sec^{-1}(2) is defined. By the table, its value must lie in the range [0,π]−{π2}[0, \pi] - \{\tfrac{\pi}{2}\}; in fact sec⁡(π3)=2\sec\left(\tfrac{\pi}{3}\right) = 2 and π3∈[0,π]−{π2}\tfrac{\pi}{3} \in [0,\pi]-\{\tfrac{\pi}{2}\}, consistent with the definition.

Final answer: sec⁡−1(0.5)\sec^{-1}(0.5) is undefined; sec⁡−1(2)\sec^{-1}(2) is defined and equals π3\tfrac{\pi}{3}, which lies in the expected range [0,π]−{π2}[0,\pi]-\{\tfrac{\pi}{2}\}.

Competitive stretch

Apply the same domain check to csc⁡−1(−1)\csc^{-1}(-1): since −1≤−1-1 \le -1, it lies in the valid domain R−(−1,1)\mathbb{R} - (-1,1) (the endpoint −1-1 is included), so csc⁡−1(−1)\csc^{-1}(-1) is defined, and by the range table it must land in [−π2,π2]−{0}\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right] - \{0\}; indeed csc⁡(−π2)=−1\csc\left(-\tfrac{\pi}{2}\right) = -1.

Common traps

  • Writing sin⁡−1x=1sin⁡x\sin^{-1}x = \dfrac{1}{\sin x} — the −1-1 is functional inverse notation, never a reciprocal; the reciprocal of sin⁡x\sin x is csc⁡x\csc x.
  • Assuming sin⁡−1x\sin^{-1}x or cos⁡−1x\cos^{-1}x is defined for every real xx — both exist only for x∈[−1,1]x \in [-1, 1], since sine and cosine never exceed 11 in absolute value.
  • Forgetting that the inverse exists only after the domain of the original function is restricted; without that restriction the original function fails to be one-to-one and no inverse can be defined.
  • Confusing domain with range: the domain of sin⁡−1x\sin^{-1}x is an input restriction, [−1,1][-1,1]; its range [−π2,π2]\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right] is an output restriction inherited from sine's principal domain — the two intervals are not interchangeable.

Ask the tutor: Want to see why the graph of cos⁡−1x\cos^{-1}x is a decreasing curve while sin⁡−1x\sin^{-1}x increases, or work through the domain-and-range logic for cot⁡−1x\cot^{-1}x step by step?

Why is sin inverse x not the same as 1 divided by sin x?

Because the −1-1 in sin⁡−1x\sin^{-1}x is inverse-function notation, meaning "the angle whose sine is xx," while 1sin⁡x\dfrac{1}{\sin x} is a reciprocal — a completely different quantity that already has its own name, csc⁡x\csc x. For example, sin⁡−1(1)=π2\sin^{-1}(1) = \tfrac{\pi}{2} (an angle), whereas 1sin⁡(1)≈1.19\dfrac{1}{\sin(1)} \approx 1.19 (a number). Keep the two symbols mentally separate; exam markers specifically watch for this mix-up.

Why does sine get restricted to negative pi by 2 to pi by 2 and not some other interval?

Any interval on which sin⁡x\sin x is one-to-one and covers all of [−1,1][-1,1] would technically work, but [−π2,π2]\left[-\tfrac{\pi}{2}, \tfrac{\pi}{2}\right] is the interval closest to the origin with this property, making it the simplest and most natural choice. It is adopted as the universal convention so that everyone — textbooks, calculators, exams — agrees on a single value for sin⁡−1x\sin^{-1}x rather than each choosing a different valid interval.

If sec inverse and csc inverse both exclude the interval from -1 to 1, are their domains identical?

Yes, their domains are identical: R−(−1,1)\mathbb{R} - (-1,1), meaning x≤−1x \le -1 or x≥1x \ge 1, because both ∣sec⁡x∣≥1|\sec x| \ge 1 and ∣csc⁡x∣≥1|\csc x| \ge 1 always hold. Their ranges, however, differ: sec⁡−1x\sec^{-1}x has range [0,π]−{π2}[0,\pi] - \{\tfrac{\pi}{2}\} while csc⁡−1x\csc^{-1}x has range [−π2,π2]−{0}\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right] - \{0\}, since each is built from a different principal domain of the original function.

Before this

Where this leads