Skip to content

Mathematics · Ch 2 — Inverse Trigonometric Functions

Summary

Summary

Definition and principal branch. A trigonometric function is not one-one on its full domain (periodicity), so its inverse is defined only after restricting to a branch on which it is bijective; the conventional choice is the principal value branch, and sin⁡−1x\sin^{-1}x etc. always means the value on this branch, never (sin⁡x)−1(\sin x)^{-1}.

Principal value branches.

sin⁡−1x:[−π2,π2],cos⁡−1x:[0,π],tan⁡−1x:(−π2,π2),\sin^{-1}x:\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right],\quad \cos^{-1}x:[0,\pi],\quad \tan^{-1}x:\left(-\tfrac{\pi}{2},\tfrac{\pi}{2}\right),

cot⁡−1x:(0,π),sec⁡−1x:[0,π]−{π2},cosec−1x:[−π2,π2]−{0}.\cot^{-1}x:(0,\pi),\quad \sec^{-1}x:[0,\pi]-\{\tfrac{\pi}{2}\},\quad \text{cosec}^{-1}x:\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right]-\{0\}.

Domain and range. sin⁡−1x,cos⁡−1x\sin^{-1}x,\cos^{-1}x: domain [−1,1][-1,1] (sine and cosine never exceed 11 in magnitude). tan⁡−1x,cot⁡−1x\tan^{-1}x,\cot^{-1}x: domain R\mathbb{R} (tangent and cotangent take every real value). sec⁡−1x,cosec−1x\sec^{-1}x,\text{cosec}^{-1}x: domain R−(−1,1)\mathbb{R}-(-1,1) (secant and cosecant never lie strictly between −1-1 and 11, from sec⁡2θ≥1\sec^2\theta\ge1).

Graphs. Each inverse trigonometric function's graph is the reflection, in the line y=xy=x, of the corresponding trigonometric function's graph restricted to its principal branch. sin⁡−1x\sin^{-1}x and tan⁡−1x\tan^{-1}x are strictly increasing and odd; cos⁡−1x\cos^{-1}x is strictly decreasing; tan⁡−1x\tan^{-1}x has horizontal asymptotes y=±π2y=\pm\tfrac{\pi}{2}.

Elementary properties.

sin⁡−1 ⁣(1x)=cosec−1x,cos⁡−1 ⁣(1x)=sec⁡−1x,tan⁡−1 ⁣(1x)=cot⁡−1x (x>0);\sin^{-1}\!\left(\tfrac1x\right)=\text{cosec}^{-1}x,\quad \cos^{-1}\!\left(\tfrac1x\right)=\sec^{-1}x,\quad \tan^{-1}\!\left(\tfrac1x\right)=\cot^{-1}x\ (x>0);

sin⁡−1(−x)=−sin⁡−1x,tan⁡−1(−x)=−tan⁡−1x,cosec−1(−x)=−cosec−1x;\sin^{-1}(-x)=-\sin^{-1}x,\quad \tan^{-1}(-x)=-\tan^{-1}x,\quad \text{cosec}^{-1}(-x)=-\text{cosec}^{-1}x;

cos⁡−1(−x)=π−cos⁡−1x,sec⁡−1(−x)=π−sec⁡−1x,cot⁡−1(−x)=π−cot⁡−1x;\cos^{-1}(-x)=\pi-\cos^{-1}x,\quad \sec^{-1}(-x)=\pi-\sec^{-1}x,\quad \cot^{-1}(-x)=\pi-\cot^{-1}x;

sin⁡−1x+cos⁡−1x=π2,tan⁡−1x+cot⁡−1x=π2,sec⁡−1x+cosec−1x=π2;\sin^{-1}x+\cos^{-1}x=\tfrac{\pi}{2},\quad \tan^{-1}x+\cot^{-1}x=\tfrac{\pi}{2},\quad \sec^{-1}x+\text{cosec}^{-1}x=\tfrac{\pi}{2}; …