Skip to content

Mathematics · Ch 2 — Inverse Trigonometric Functions

Domain and Range of Each Inverse Trigonometric Function

3

Domain and Range of Each Inverse Trigonometric Function

3. Domain and Range of Each Inverse Trigonometric Function

Because an inverse function's domain equals the range of the original function (restricted to its chosen branch), and its range equals that branch itself (Section 1), the domain and range of every inverse trigonometric function follow immediately once the branches of Section 2 are fixed.

Domain-range table.

FunctionDomainRange (principal value branch)
sin⁡−1x\sin^{-1}x[−1,1][-1,1][−π2,π2]\left[-\dfrac{\pi}{2},\dfrac{\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(-\dfrac{\pi}{2},\dfrac{\pi}{2}\right)
cot⁡−1x\cot^{-1}xR\mathbb{R}(0,π)(0,\pi)
sec⁡−1x\sec^{-1}xR−(−1,1)\mathbb{R}-(-1,1), i.e. x≤−1x\le-1 or x≥1x\ge1[0,π]−{π2}[0,\pi]-\left\{\dfrac{\pi}{2}\right\}
cosec−1x\text{cosec}^{-1}xR−(−1,1)\mathbb{R}-(-1,1), i.e. x≤−1x\le-1 or x≥1x\ge1[−π2,π2]−{0}\left[-\dfrac{\pi}{2},\dfrac{\pi}{2}\right]-\{0\}

Why sin⁡−1x\sin^{-1}x and cos⁡−1x\cos^{-1}x need x∈[−1,1]x\in[-1,1]. For every real θ\theta, the fundamental identity gives sin⁡2θ≤sin⁡2θ+cos⁡2θ=1\sin^2\theta\le\sin^2\theta+\cos^2\theta=1, so −1≤sin⁡θ≤1-1\le\sin\theta\le1 always -- sine never leaves [−1,1][-1,1], and the same bound holds for cosine. Consequently there is no real angle whose sine or cosine is, say, 32\dfrac{3}{2}, so sin⁡−1 ⁣(32)\sin^{-1}\!\left(\dfrac32\right) and cos⁡−1 ⁣(32)\cos^{-1}\!\left(\dfrac32\right) are simply undefined -- 32\dfrac32 is outside the domain, not merely "hard to compute".

Why sec⁡−1x\sec^{-1}x and cosec−1x\text{cosec}^{-1}x exclude (−1,1)(-1,1). From 1+tan⁡2θ=sec⁡2θ1+\tan^2\theta=\sec^2\theta (Class XI), sec⁡2θ≥1\sec^2\theta\ge1 for every θ\theta at which it is defined, so ∣sec⁡θ∣≥1|\sec\theta|\ge1 always; secant never takes a value strictly between −1-1 and 11. The same argument, using 1+cot⁡2θ=cosec2θ1+\cot^2\theta=\text{cosec}^2\theta, shows ∣cosec θ∣≥1|\text{cosec}\,\theta|\ge1. So the domain of sec⁡−1x\sec^{-1}x and cosec−1x\text{cosec}^{-1}x is exactly the set of real numbers outside the open interval (−1,1)(-1,1). …