Skip to content

Mathematics · Ch 2 — Inverse Trigonometric Functions

Basic Concepts

2.2

Basic Concepts

2.2 Basic Concepts — Inverse Trigonometric Functions

From Functions to Inverse Functions

In Class XI the six trigonometric functions were studied as mappings on subsets of R\mathbb{R}, each with a specific domain and range:

  • Sine: sin⁡:R→[−1,1]\sin : \mathbb{R} \to [-1, 1]
  • Cosine: cos⁡:R→[−1,1]\cos : \mathbb{R} \to [-1, 1]
  • Tangent: tan⁡:R−{x:x=(2n+1)π2,n∈Z}→R\tan : \mathbb{R} - \{ x : x = (2n+1)\frac{\pi}{2}, n \in \mathbb{Z} \} \to \mathbb{R}
  • Cotangent: cot⁡:R−{x:x=nπ,n∈Z}→R\cot : \mathbb{R} - \{ x : x = n\pi, n \in \mathbb{Z} \} \to \mathbb{R}
  • Secant: sec⁡:R−{x:x=(2n+1)π2,n∈Z}→R−(−1,1)\sec : \mathbb{R} - \{ x : x = (2n+1)\frac{\pi}{2}, n \in \mathbb{Z} \} \to \mathbb{R} - (-1, 1)
  • Cosecant: csc⁡:R−{x:x=nπ,n∈Z}→R−(−1,1)\csc : \mathbb{R} - \{ x : x = n\pi, n \in \mathbb{Z} \} \to \mathbb{R} - (-1, 1)

Recall from Chapter 1: if f:X→Yf : X \to Y is one-one and onto, there is a unique inverse g=f−1:Y→Xg = f^{-1} : Y \to X with g(y)=xg(y) = x where y=f(x)y = f(x); the domain of gg is the range of ff and its range is the domain of ff. Then gg too is one-one and onto and (f−1)−1=f(f^{-1})^{-1} = f, with the composition relations

(f−1∘f)(x)=x,(f∘f−1)(y)=y.(f^{-1} \circ f)(x) = x, \qquad (f \circ f^{-1})(y) = y.

Important

For a function to have an inverse it must be bijective. Trigonometric functions are periodic, hence not one-one over their natural domains, so to define their inverses we restrict their domains to intervals where they become one-one and onto.


Inverse Sine Function (sin⁡−1\sin^{-1})

Sine has domain R\mathbb{R} and range [−1,1][-1, 1]. Restricted to [−π2,π2]\left[-\frac{\pi}{2}, \frac{\pi}{2}\right] it becomes one-one and onto with range [−1,1][-1, 1]. In fact sine is one-one on each of [−3π2,−π2]\left[-\frac{3\pi}{2}, -\frac{\pi}{2}\right], [−π2,π2]\left[-\frac{\pi}{2}, \frac{\pi}{2}\right], [π2,3π2]\left[\frac{\pi}{2}, \frac{3\pi}{2}\right], etc., each with range [−1,1][-1, 1], so an inverse can be defined on each — giving a branch of sin⁡−1\sin^{-1}.

We denote the inverse by sin⁡−1\sin^{-1} ("arc sine"), a function with domain [−1,1][-1, 1]. The branch with range [−π2,π2]\left[-\frac{\pi}{2}, \frac{\pi}{2}\right] is the principal value branch, and unless stated otherwise sin⁡−1\sin^{-1} means

sin⁡−1:[−1,1]→[−π2,π2].\sin^{-1} : [-1, 1] \to \left[-\frac{\pi}{2}, \frac{\pi}{2}\right].

Hence sin⁡(sin⁡−1x)=x\sin(\sin^{-1} x) = x for −1≤x≤1-1 \leq x \leq 1, and sin⁡−1(sin⁡x)=x\sin^{-1}(\sin x) = x for −π2≤x≤π2-\frac{\pi}{2} \leq x \leq \frac{\pi}{2}; equivalently, if y=sin⁡−1xy = \sin^{-1} x then sin⁡y=x\sin y = x.

Watch out

sin⁡−1x\sin^{-1} x is not the same as (sin⁡x)−1=1sin⁡x=csc⁡x(\sin x)^{-1} = \frac{1}{\sin x} = \csc x. The notation sin⁡−1x\sin^{-1} x denotes the inverse function, not the reciprocal.

Graph of y=sin⁡−1xy = \sin^{-1} x

If y=f(x)y = f(x) is invertible then x=f−1(y)x = f^{-1}(y), so the graph of sin⁡−1\sin^{-1} is obtained from the graph of sine by interchanging the xx and yy axes: a point (a,b)(a, b) on the sine graph becomes (b,a)(b, a). Equivalently, it is the mirror image (reflection) of the sine graph in the line y=xy = x. The dark portion of the graph represents the principal value branch.


Inverse Cosine Function (cos⁡−1\cos^{-1})

Cosine has domain R\mathbb{R} and range [−1,1][-1, 1]. Restricted to [0,π][0, \pi] it is one-one and onto with range [−1,1][-1, 1] (and likewise on [−π,0][-\pi, 0], [π,2π][\pi, 2\pi], etc., giving branches). The principal value branch has range [0,π][0, \pi]:

cos⁡−1:[−1,1]→[0,π].\cos^{-1} : [-1, 1] \to [0, \pi].

The graph of y=cos⁡−1xy = \cos^{-1} x is obtained, as for sin⁡−1\sin^{-1}, by reflecting y=cos⁡xy = \cos x in the line y=xy = x.


Inverse Cosecant Function (csc⁡−1\csc^{-1})

Since csc⁡x=1sin⁡x\csc x = \frac{1}{\sin x}, cosecant has domain {x:x∈R,x≠nπ,n∈Z}\{x : x \in \mathbb{R}, x \neq n\pi, n \in \mathbb{Z}\} and range R−(−1,1)\mathbb{R} - (-1, 1), i.e. all real values except −1<y<1-1 < y < 1, and is undefined at integral multiples of π\pi. Restricted to [−π2,π2]−{0}\left[-\frac{\pi}{2}, \frac{\pi}{2}\right] - \{0\} it is one-one and onto with range R−(−1,1)\mathbb{R} - (-1, 1) (other branches use [−3π2,−π2]−{−π}\left[-\frac{3\pi}{2}, -\frac{\pi}{2}\right] - \{-\pi\}, [π2,3π2]−{π}\left[\frac{\pi}{2}, \frac{3\pi}{2}\right] - \{\pi\}, etc.). The principal value branch gives

csc⁡−1:R−(−1,1)→[−π2,π2]−{0}.\csc^{-1} : \mathbb{R} - (-1, 1) \to \left[-\frac{\pi}{2}, \frac{\pi}{2}\right] - \{0\}.


Inverse Secant Function (sec⁡−1\sec^{-1})

Since sec⁡x=1cos⁡x\sec x = \frac{1}{\cos x}, secant has domain R−{x:x=(2n+1)π2,n∈Z}\mathbb{R} - \{x : x = (2n+1)\frac{\pi}{2}, n \in \mathbb{Z}\} and range R−(−1,1)\mathbb{R} - (-1, 1), and is undefined at odd multiples of π2\frac{\pi}{2}. Restricted to [0,π]−{π2}[0, \pi] - \{\frac{\pi}{2}\} it is one-one and onto with range R−(−1,1)\mathbb{R} - (-1, 1) (other branches: [−π,0]−{−π2}[-\pi, 0] - \{-\frac{\pi}{2}\}, [π,2π]−{3π2}[\pi, 2\pi] - \{\frac{3\pi}{2}\}, etc.). The principal value branch gives

sec⁡−1:R−(−1,1)→[0,π]−{π2}.\sec^{-1} : \mathbb{R} - (-1, 1) \to [0, \pi] - \left\{\frac{\pi}{2}\right\}.


Inverse Tangent Function (tan⁡−1\tan^{-1})

Tangent has domain {x:x∈R,x≠(2n+1)π2,n∈Z}\{x : x \in \mathbb{R}, x \neq (2n+1)\frac{\pi}{2}, n \in \mathbb{Z}\} and range R\mathbb{R}, and is undefined at odd multiples of π2\frac{\pi}{2}. Restricted to (−π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right) it is one-one and onto with range R\mathbb{R} (other branches: (−3π2,−π2)\left(-\frac{3\pi}{2}, -\frac{\pi}{2}\right), (π2,3π2)\left(\frac{\pi}{2}, \frac{3\pi}{2}\right), etc.). The principal value branch gives

tan⁡−1:R→(−π2,π2).\tan^{-1} : \mathbb{R} \to \left(-\frac{\pi}{2}, \frac{\pi}{2}\right).

Note

The range of tan⁡−1\tan^{-1} is the open interval (−π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right), not a closed one, because tan⁡x\tan x is undefined at x=±π2x = \pm\frac{\pi}{2}.


Inverse Cotangent Function (cot⁡−1\cot^{-1})

Cotangent has domain {x:x∈R,x≠nπ,n∈Z}\{x : x \in \mathbb{R}, x \neq n\pi, n \in \mathbb{Z}\} and range R\mathbb{R}, and is undefined at integral multiples of π\pi. Restricted to (0,π)(0, \pi) it is one-one and onto with range R\mathbb{R} (other branches: (−π,0)(-\pi, 0), (π,2π)(\pi, 2\pi), etc.). The principal value branch gives

cot⁡−1:R→(0,π).\cot^{-1} : \mathbb{R} \to (0, \pi).


Summary Table: Principal Value Branches

Inverse FunctionDomainRange (Principal Value Branch)
sin⁡−1\sin^{-1}[−1,1][-1, 1][−π2,π2]\left[-\frac{\pi}{2}, \frac{\pi}{2}\right]
cos⁡−1\cos^{-1}[−1,1][-1, 1][0,π][0, \pi]
csc⁡−1\csc^{-1}R−(−1,1)\mathbb{R} - (-1, 1)[−π2,π2]−{0}\left[-\frac{\pi}{2}, \frac{\pi}{2}\right] - \{0\}
Figure 2.1Graphs of y = sin x, y = sin⁻¹ x and the line y = x
Fig. 2.1 — Graphs of y = sin x, y = sin⁻¹ x and the line y = x

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

What Fig. 2.1 Shows

The figure is arranged as three separate coordinate panels that together tell the story of how the inverse sine function is constructed from the sine function.

Panel (i) — top centre — shows the familiar graph of y=sin⁡xy = \sin x. The xx-axis is marked at intervals of π/2\pi/2 from −5π/2-5\pi/2 to 5π/25\pi/2, and the yy-axis shows the range [−1,1][-1, 1]. The curve oscillates as a smooth wave between y=1y = 1 and y=−1y = -1. A thicker, darker segment of this curve is highlighted over the interval [−π/2,π/2][-\pi/2, \pi/2] on the xx-axis. This dark portion is the principal-value branch of the sine function — the restricted domain on which sine becomes one-to-one.

Panel (ii) — bottom left — shows y=sin⁡−1xy = \sin^{-1} x. This graph is obtained by reflecting the sine curve across the line y=xy = x. The domain is now [−1,1][-1, 1] on the xx-axis, and the yy-axis runs through multiples of π/2\pi/2 up to ±5π/2\pm 5\pi/2. The curve rises vertically from (−1,−π/2)(-1, -\pi/2) to (1,π/2)(1, \pi/2), then continues in repeating vertical segments. The dark portion of this curve lies between y=−π/2y = -\pi/2 and y=π/2y = \pi/2 — this is the principal value branch of sin⁡−1\sin^{-1}.

Panel (iii) — bottom right — superimposes three graphs on the same axes: y=sin⁡xy = \sin x, y=sin⁡−1xy = \sin^{-1} x, and the straight line y=xy = x (drawn with arrows at both ends). The two curves are mirror images of each other across this line. Each curve has its principal branch darkened, making the reflection relationship visually immediate.

The Core Idea

The figure teaches a fundamental principle: the graph of an inverse function is the reflection of the original function's graph across the line y=xy = x. This works because if (a,b)(a, b) lies on the graph of ff, then (b,a)(b, a) lies on the graph of f−1f^{-1}. Swapping coordinates is equivalent to reflecting across y=xy = x.

But sine is not one-to-one on its entire domain R\mathbb{R}. To define an inverse, we must restrict sine to an interval where it is one-to-one and onto [−1,1][-1, 1]. The standard choice is [−π/2,π/2][-\pi/2, \pi/2], shown as the dark segment in panel (i). This restricted sine is then reflected to give the principal branch of sin⁡−1\sin^{-1} in panel (ii), with range [−π/2,π/2][-\pi/2, \pi/2].

Important

The principal value branch of sin⁡−1\sin^{-1} has domain [−1,1][-1, 1] and range [−π/2,π/2][-\pi/2, \pi/2]. This is the only branch used unless otherwise specified.

Key Formulas Illustrated

The figure directly supports these defining relationships:

y=sin⁡−1x⟺sin⁡y=x,where −π2≤y≤π2 and −1≤x≤1y = \sin^{-1} x \quad \Longleftrightarrow \quad \sin y = x, \quad \text{where } -\frac{\pi}{2} \leq y \leq \frac{\pi}{2} \text{ and } -1 \leq x \leq 1

From this, two composition identities follow:

sin⁡(sin⁡−1x)=xfor −1≤x≤1\sin(\sin^{-1} x) = x \quad \text{for } -1 \leq x \leq 1

sin⁡−1(sin⁡x)=xfor −π2≤x≤π2\sin^{-1}(\sin x) = x \quad \text{for } -\frac{\pi}{2} \leq x \leq \frac{\pi}{2}

The second identity holds only when xx lies in the principal value range. If xx is outside [−π/2,π/2][-\pi/2, \pi/2], then sin⁡−1(sin⁡x)\sin^{-1}(\sin x) gives the angle in [−π/2,π/2][-\pi/2, \pi/2] that has the same sine as xx — not xx itself.

Watch out

Do not confuse sin⁡−1x\sin^{-1} x with (sin⁡x)−1(\sin x)^{-1}. The notation sin⁡−1x\sin^{-1} x means the inverse sine function (arcsine), while (sin⁡x)−1=1sin⁡x=csc⁡x(\sin x)^{-1} = \frac{1}{\sin x} = \csc x. They are completely different. …

Figure 2.2Graphs of y = cos x and y = cos⁻¹ x
Fig. 2.2 — Graphs of y = cos x and y = cos⁻¹ x

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Understanding Fig. 2.2: The Graphs of y=cos⁡xy = \cos x and y=cos⁡−1xy = \cos^{-1} x

The figure presents two panels side by side, showing how the cosine function and its inverse are related through reflection and domain restriction.

Panel (i): y=cos⁡xy = \cos x

The first panel shows the familiar cosine wave plotted on the xx-yy plane. The horizontal axis (X′OXX'OX) carries xx-marks at intervals of π/2\pi/2, from −5π/2-5\pi/2 to 5π/25\pi/2. Two dashed horizontal guide lines run at y=1y = 1 and y=−1y = -1, marking the maximum and minimum values of cosine. The full curve oscillates between these bounds, crossing the xx-axis at odd multiples of π/2\pi/2.

What makes this figure special is the darkened, thicker arc drawn over the interval [0,π][0, \pi]. This arc runs from the point (0,1)(0, 1) down to (π,−1)(\pi, -1). This is the principal-value branch of the cosine function — the restricted portion that makes the function one-to-one. On this restricted domain [0,π][0, \pi], cos⁡x\cos x takes every value in [−1,1][-1, 1] exactly once, so it becomes invertible.

Panel (ii): y=cos⁡−1xy = \cos^{-1} x

The second panel shows the inverse cosine function, obtained by reflecting the cosine curve across the line y=xy = x. The domain is now [−1,1][-1, 1], indicated by dashed vertical lines at x=−1x = -1 and x=1x = 1. The yy-axis is marked at multiples of π/2\pi/2.

The darkened segment of this curve runs from (1,0)(1, 0) rising to (−1,π)(-1, \pi). This is the principal branch of cos⁡−1x\cos^{-1} x, with range [0,π][0, \pi]. Every point on this segment corresponds to a point on the darkened arc in panel (i), with coordinates swapped.

Important

The principal value branch of cos⁡−1\cos^{-1} is defined as:

cos⁡−1:[−1,1]→[0,π]\cos^{-1} : [-1, 1] \to [0, \pi]

This means: for any xx in [−1,1][-1, 1], cos⁡−1x\cos^{-1} x gives the unique angle yy in [0,π][0, \pi] such that cos⁡y=x\cos y = x.

The Physical Idea

The figure teaches a fundamental concept about invertibility. Trigonometric functions are periodic and therefore not one-to-one over their natural domains. To define an inverse, we must restrict the domain to an interval where the function is strictly monotonic (here, decreasing from 11 to −1-1). The inverse function then "undoes" the original: if y=cos⁡−1xy = \cos^{-1} x, then cos⁡y=x\cos y = x, provided yy lies in the principal range [0,π][0, \pi].

The reflection across y=xy = x is not just a geometric trick — it embodies the algebraic relationship between a function and its inverse. Every point (a,b)(a, b) on the cosine curve becomes (b,a)(b, a) on the inverse cosine curve.

Key Formulas Developed from This Figure

The textbook uses this graphical understanding to establish the fundamental identities:

Composition identities for cosine and its inverse

cos⁡(cos⁡−1x)=xfor all x∈[−1,1]\cos(\cos^{-1} x) = x \quad \text{for all } x \in [-1, 1]

cos⁡−1(cos⁡y)=yfor all y∈[0,π]\cos^{-1}(\cos y) = y \quad \text{for all } y \in [0, \pi]

The first identity says: take any xx in [−1,1][-1, 1], find its angle cos⁡−1x\cos^{-1} x in [0,π][0, \pi], then take the cosine of that angle — you get back xx. The second says: take any angle yy in [0,π][0, \pi], compute cos⁡y\cos y, then find the inverse cosine of that value — you get back yy.

Watch out

The second identity fails if yy is outside [0,π][0, \pi]. For example, cos⁡−1(cos⁡(2π))=0\cos^{-1}(\cos(2\pi)) = 0, not 2π2\pi, because 00 is the unique angle in [0,π][0, \pi] whose cosine equals 11. Always check that the angle lies in the principal range before applying this identity.

How This Connects to Other Inverse Trigonometric Functions …

Figure 2.3Graphs of y = cosec x and y = cosec⁻¹ x
Fig. 2.3 — Graphs of y = cosec x and y = cosec⁻¹ x

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Understanding Fig. 2.3: The Cosecant and Its Inverse

The figure presents two carefully aligned panels that show the relationship between y=csc⁡xy = \csc x and its inverse y=csc⁡−1xy = \csc^{-1} x. The left panel displays the cosecant function itself, while the right panel shows its inverse obtained by reflecting across the line y=xy = x. This visual pairing is the standard method for understanding any inverse function: if (a,b)(a,b) lies on the graph of y=csc⁡xy = \csc x, then (b,a)(b,a) lies on the graph of y=csc⁡−1xy = \csc^{-1} x.

The Left Panel: y=csc⁡xy = \csc x

The cosecant function is defined as csc⁡x=1sin⁡x\csc x = \frac{1}{\sin x}, so it inherits the vertical asymptotes of the reciprocal wherever sin⁡x=0\sin x = 0. These occur at x=nπx = n\pi for any integer nn, and the figure shows dashed vertical lines at x=−π,0,π,2πx = -\pi, 0, \pi, 2\pi to mark these forbidden values. Between each pair of asymptotes, the graph forms a U-shaped branch that opens upward or downward. The branches touch the lines y=1y = 1 and y=−1y = -1 at their minima and maxima respectively — these are the points where sin⁡x=±1\sin x = \pm 1, so csc⁡x=±1\csc x = \pm 1.

The axes are labelled with key points: the xx-axis shows −π,−π/2,π/2,π,3π/2,2π-\pi, -\pi/2, \pi/2, \pi, 3\pi/2, 2\pi, and the yy-axis shows 2,1,−1,−22, 1, -1, -2. The principal branch — the one chosen for defining the inverse — is darkened. This branch lies over the interval [−π/2,π/2][-\pi/2, \pi/2] with the point x=0x = 0 removed. On this branch, for xx in (0,π/2](0, \pi/2] we have y≥1y \geq 1, and for xx in [−π/2,0)[-\pi/2, 0) we have y≤−1y \leq -1.

The Right Panel: y=csc⁡−1xy = \csc^{-1} x

The inverse cosecant function is defined only for ∣x∣≥1|x| \geq 1, since the range of csc⁡x\csc x is (−∞,−1]∪[1,∞)(-\infty, -1] \cup [1, \infty). The graph shows horizontal dashed asymptotes at y=nπy = n\pi, which are the reflections of the vertical asymptotes from the left panel. The two darkened arcs correspond to the principal value branch: one arc lies in y∈(0,π/2]y \in (0, \pi/2] for x≥1x \geq 1, and the other lies in y∈[−π/2,0)y \in [-\pi/2, 0) for x≤−1x \leq -1.

Important

The principal value branch of csc⁡−1x\csc^{-1} x has range [−π/2,π/2]−{0}[-\pi/2, \pi/2] - \{0\}, which is exactly the same as the restricted domain chosen for csc⁡x\csc x to make it one-to-one. This symmetry is the entire point of the figure.

The Key Formula

The fundamental relationship that the figure illustrates is:

y=csc⁡−1x⟺csc⁡y=x,where ∣x∣≥1 and y∈[−π2,π2]−{0}y = \csc^{-1} x \quad \Longleftrightarrow \quad \csc y = x, \quad \text{where } |x| \geq 1 \text{ and } y \in \left[-\frac{\pi}{2}, \frac{\pi}{2}\right] - \{0\}

This means that finding csc⁡−1x\csc^{-1} x asks: "What angle yy in the principal range has cosecant equal to xx?" The figure makes this concrete by showing how each point on the darkened branch of csc⁡x\csc x maps to a corresponding point on the darkened branch of csc⁡−1x\csc^{-1} x through reflection across y=xy = x.

Why This Matters for Problem Solving

When you encounter csc⁡−1x\csc^{-1} x in an exam, the figure reminds you of three critical facts:

  • The domain is ∣x∣≥1|x| \geq 1 — never try to evaluate csc⁡−1x\csc^{-1} x for values between −1-1 and 11. …
Figure 2.4Graphs of y = sec x and y = sec⁻¹ x
Fig. 2.4 — Graphs of y = sec x and y = sec⁻¹ x

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Understanding Fig. 2.4: The secant and inverse secant pair

The figure presents two coordinated panels that show how the secant function and its inverse are related through reflection across the line y=xy = x. This visual relationship is the same geometric principle that connects any function with its inverse — a concept introduced in Chapter 1 and now applied to trigonometric functions.

Panel (i): y=sec⁡xy = \sec x

The secant function, defined as sec⁡x=1cos⁡x\sec x = \frac{1}{\cos x}, has a domain that excludes all odd multiples of π2\frac{\pi}{2} — these are the points where cos⁡x=0\cos x = 0. The graph shows vertical dashed asymptotes at x=−π2x = -\frac{\pi}{2}, x=π2x = \frac{\pi}{2}, and x=3π2x = \frac{3\pi}{2}, marking where the function blows up to ±∞\pm\infty.

The curve consists of repeating U-shaped branches. Each branch opens upward (touching y=1y = 1 at its minimum) or downward (touching y=−1y = -1 at its maximum), depending on the interval. The xx-axis is marked at −π-\pi, −π2-\frac{\pi}{2}, π2\frac{\pi}{2}, π\pi, 3π2\frac{3\pi}{2}, and 2π2\pi; the yy-axis shows 22, 11, −1-1, and −2-2.

The principal branch — the one we restrict to make the function one-to-one — is darkened. This branch lies over the interval [0,π][0, \pi] with the point π2\frac{\pi}{2} removed. On [0,π2)[0, \frac{\pi}{2}), the curve rises from y=1y = 1 upward toward the asymptote; on (π2,π](\frac{\pi}{2}, \pi], it rises from y=−1y = -1 upward (becoming less negative) toward the asymptote. This restricted secant function is one-to-one and covers all values ∣y∣≥1|y| \geq 1.

Panel (ii): y=sec⁡−1xy = \sec^{-1} x

The inverse secant function is obtained by reflecting the principal branch of y=sec⁡xy = \sec x across the line y=xy = x. Its domain is ∣x∣≥1|x| \geq 1, matching the range of the restricted secant. The range of sec⁡−1x\sec^{-1} x is [0,π]−{π2}[0, \pi] - \{\frac{\pi}{2}\}, which corresponds to the restricted domain of the secant.

The graph shows horizontal dashed asymptotes at y=π2y = \frac{\pi}{2}, y=3π2y = \frac{3\pi}{2}, and y=−π2y = -\frac{\pi}{2}, which are the reflections of the vertical asymptotes from the secant graph. The principal arcs are darkened: for x≥1x \geq 1, the curve lies in [0,π2)[0, \frac{\pi}{2}); for x≤−1x \leq -1, it lies in (π2,π](\frac{\pi}{2}, \pi].

Note

The key insight is that the principal value branch of sec⁡−1x\sec^{-1} x excludes π2\frac{\pi}{2} from its range, just as the principal branch of sec⁡x\sec x excludes π2\frac{\pi}{2} from its domain. This ensures the inverse function is well-defined and single-valued.

The central formula

The defining relationship between secant and its inverse is:

y=sec⁡−1x⟺sec⁡y=x,where y∈[0,π]−{π2} and ∣x∣≥1y = \sec^{-1} x \quad \Longleftrightarrow \quad \sec y = x, \quad \text{where } y \in [0, \pi] - \left\{\frac{\pi}{2}\right\} \text{ and } |x| \geq 1

Here, xx is any real number with magnitude at least 11, and yy is the angle (in radians) whose secant equals xx, taken from the principal value branch. The restriction y∈[0,π]−{π2}y \in [0, \pi] - \{\frac{\pi}{2}\} is what makes the correspondence one-to-one — without it, infinitely many angles would give the same secant value.

What the figure teaches …

Figure 2.5Graphs of y = tan x and y = tan⁻¹ x
Fig. 2.5 — Graphs of y = tan x and y = tan⁻¹ x

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

What Fig. 2.5 Shows

The figure is split into two panels placed side by side, showing how the tangent function and its inverse are related through reflection.

Panel (i): y=tan⁡xy = \tan x — the familiar repeating curve with vertical dashed asymptotes at x=−3π2x = -\frac{3\pi}{2}, −π2-\frac{\pi}{2}, π2\frac{\pi}{2}, 3π2\frac{3\pi}{2}. The xx-axis is marked at −π-\pi, −π2-\frac{\pi}{2}, π2\frac{\pi}{2}, π\pi, 3π2\frac{3\pi}{2}, 2π2\pi; the yy-axis at −2-2, −1-1, 11, 22. Each branch of the curve rises steeply from −∞-\infty to +∞+\infty between consecutive asymptotes. The central branch over (−π/2,π/2)(-\pi/2, \pi/2), passing through the origin, is drawn in a darker line — this is the principal branch chosen for inversion.

Panel (ii): y=tan⁡−1xy = \tan^{-1} x — the reflection of the principal branch across the line y=xy = x. It is an increasing S-shaped curve defined for all real xx, with horizontal dashed asymptotes at y=±π/2y = \pm \pi/2. The curve passes through the origin, and its range is exactly (−π/2,π/2)(-\pi/2, \pi/2). The other branches of tan⁡x\tan x (the lighter curves in panel i) reflect to corresponding branches of tan⁡−1x\tan^{-1} x at y=±3π/2y = \pm 3\pi/2, etc., but these are not part of the principal value.

The Core Idea

A function must be one-to-one to have an inverse. The tangent function on its full domain is not one-to-one — it repeats every π\pi and blows up at odd multiples of π/2\pi/2. By restricting tan⁡x\tan x to the open interval (−π/2,π/2)(-\pi/2, \pi/2), we obtain a bijection onto R\mathbb{R}. The inverse of this restricted function is tan⁡−1x\tan^{-1} x, also written arctan⁡x\arctan x.

The textbook defines the principal value branch as:

tan⁡−1:R→(−π2,π2)\tan^{-1} : \mathbb{R} \to \left(-\frac{\pi}{2}, \frac{\pi}{2}\right)

This means: for any real number xx, tan⁡−1x\tan^{-1} x is the unique angle yy in (−π/2,π/2)(-\pi/2, \pi/2) such that tan⁡y=x\tan y = x.

Key Relationships from the Figure

The reflection property gives two fundamental identities:

Important

tan⁡(tan⁡−1x)=xfor all x∈R\tan(\tan^{-1} x) = x \quad \text{for all } x \in \mathbb{R}

tan⁡−1(tan⁡y)=yif and only if y∈(−π2,π2)\tan^{-1}(\tan y) = y \quad \text{if and only if } y \in \left(-\frac{\pi}{2}, \frac{\pi}{2}\right)

The second identity is the reason the principal branch is chosen: it ensures that applying tan⁡−1\tan^{-1} after tan⁡\tan returns the original angle, but only when that angle lies in the restricted interval. If yy is outside (−π/2,π/2)(-\pi/2, \pi/2), tan⁡−1(tan⁡y)\tan^{-1}(\tan y) gives the angle in the principal branch that has the same tangent — not the original yy.

Watch out

A common mistake: tan⁡−1(tan⁡y)=y\tan^{-1}(\tan y) = y is not true for all yy. For example, tan⁡−1(tan⁡3π4)=−π4\tan^{-1}(\tan \frac{3\pi}{4}) = -\frac{\pi}{4}, not 3π4\frac{3\pi}{4}. Always check that the angle lies in (−π/2,π/2)(-\pi/2, \pi/2).

What the Asymptotes Tell Us …

Figure 2.6Graphs of y = cot x and y = cot⁻¹ x
Fig. 2.6 — Graphs of y = cot x and y = cot⁻¹ x

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

What Fig. 2.6 Shows

The figure has two panels, placed side by side, that together illustrate how the inverse cotangent function is constructed from the original cotangent function.

Panel (i): y=cot⁡xy = \cot x — the familiar cotangent curve. The horizontal axis is xx, the vertical axis is yy. The graph consists of infinitely many repeating branches, each decreasing from left to right. Vertical dashed lines (asymptotes) appear at every integer multiple of π\pi: x=−π,0,π,2πx = -\pi, 0, \pi, 2\pi. The curve crosses the xx-axis at x=−π/2, π/2, 3π/2x = -\pi/2,\ \pi/2,\ 3\pi/2. The axes are marked at x=−π/2, π/2, π, 3π/2, 2πx = -\pi/2,\ \pi/2,\ \pi,\ 3\pi/2,\ 2\pi and at y=−2, −1, 1, 2y = -2,\ -1,\ 1,\ 2. One particular branch — the one lying over the open interval (0,π)(0,\pi) — is drawn more darkly than the others. This darkened branch passes through the point (π/2, 0)(\pi/2,\ 0) and is called the principal branch of cot⁡x\cot x.

Panel (ii): y=cot⁡−1xy = \cot^{-1} x — the inverse cotangent function. This graph is obtained by reflecting the principal branch of cot⁡x\cot x across the line y=xy = x. The axes are now swapped: the horizontal axis is xx, the vertical axis is yy. The curve is defined for all real xx (the entire xx-axis) and is strictly decreasing. Horizontal dashed lines (asymptotes) appear at y=0, π, 2πy = 0,\ \pi,\ 2\pi. The darkened central branch — the one that corresponds to the reflection of the principal branch from panel (i) — runs between y=0y = 0 and y=πy = \pi, passing through the point (0, π/2)(0,\ \pi/2). This darkened branch is the principal value branch of cot⁡−1x\cot^{-1} x.

Important

The principal value branch of cot⁡−1x\cot^{-1} x is the only branch that is used as the standard inverse cotangent function. Its range is (0, π)(0,\ \pi), not including the endpoints.

The Physical Idea

The figure teaches a fundamental concept about inverse functions: to define an inverse for a periodic function like cot⁡x\cot x, we must first restrict the original function to an interval where it is one-to-one (bijective). The cotangent function on its full domain is not one-to-one — it repeats every π\pi units. But if we restrict it to the open interval (0, π)(0,\ \pi), it becomes strictly decreasing and covers every real number exactly once. This restricted function has an inverse, and that inverse is cot⁡−1x\cot^{-1} x.

The reflection across y=xy = x is the geometric way of swapping the roles of input and output. Every point (a, b)(a,\ b) on the principal branch of cot⁡x\cot x becomes the point (b, a)(b,\ a) on the principal value branch of cot⁡−1x\cot^{-1} x. For example, (π/2, 0)(\pi/2,\ 0) on cot⁡x\cot x becomes (0, π/2)(0,\ \pi/2) on cot⁡−1x\cot^{-1} x.

Key Formulas

The textbook establishes the following central relationships from this figure:

cot⁡−1:R→(0, π)\cot^{-1} : \mathbb{R} \to (0,\ \pi)

This notation means: the inverse cotangent function takes any real number as input and returns an angle in the open interval (0, π)(0,\ \pi) as output. The domain is all real numbers; the range (principal value branch) is (0, π)(0,\ \pi).

The defining relation is:

y=cot⁡−1x⟺cot⁡y=x,where y∈(0, π)y = \cot^{-1} x \quad \Longleftrightarrow \quad \cot y = x,\quad \text{where } y \in (0,\ \pi)

In words: if yy is the inverse cotangent of xx, then yy is the angle in (0, π)(0,\ \pi) whose cotangent equals xx.

Two important composition identities follow directly:

cot⁡(cot⁡−1x)=xfor all x∈R\cot(\cot^{-1} x) = x \quad \text{for all } x \in \mathbb{R}

cot⁡−1(cot⁡y)=yfor all y∈(0, π)\cot^{-1}(\cot y) = y \quad \text{for all } y \in (0,\ \pi)

The first says: take any real xx, find its inverse cotangent (an angle in (0, π)(0,\ \pi)), then take the cotangent of that angle — you get back xx. The second says: start with any angle yy in (0, π)(0,\ \pi), take its cotangent, then take the inverse cotangent of that result — you get back yy. …

TableDomains and Ranges of the Inverse Trigonometric Functions (Principal Value Branches)
FunctionDomainRange (principal value branch)
sin⁡−1\sin^{-1}[−1, 1][-1,\,1][−π2, π2]\left[-\dfrac{\pi}{2},\ \dfrac{\pi}{2}\right]
cos⁡−1\cos^{-1}[−1, 1][-1,\,1][0, π][0,\,\pi]
cosec⁡−1\operatorname{cosec}^{-1}R−(−1, 1)\mathbb{R}-(-1,\,1)[−π2, π2]−{0}\left[-\dfrac{\pi}{2},\ \dfrac{\pi}{2}\right]-\{0\}
sec⁡−1\sec^{-1}R−(−1, 1)\mathbb{R}-(-1,\,1)[0, π]−{π2}[0,\,\pi]-\left\{\dfrac{\pi}{2}\right\}