Unit 5, lesson 60

Inverse Tangent and Reciprocal Trigonometric Functions

Why arctangent accepts every real number and always returns an angle smaller than a right angle in size, and how inverse cotangent, secant and cosecant depend on a stated choice of branch.

  • Theory part 119
  • Practice part 120
  • Inverse Trigonometric Functions

A road sign warns of an 8 percent grade, so the road climbs 8 meters for every 100 meters across. The angle of the road is the angle whose tangent is 0.080.08, about 4.6∘4.6^\circ. Unlike sine and cosine, tangent takes every real value, so this question has an answer for any slope at all. The inverse tangent gives that answer, and the inverses of cotangent, secant and cosecant follow the same pattern with a few extra choices that have to be spelled out.

Key terms

Arctangent

Definition Tangent restricted to the open interval (−π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right) is increasing and takes every real value exactly once. For every real number xx, the arctangent of xx, written arctan⁡x\arctan x or tan⁡−1x\tan^{-1} x, is the unique number yy in (−π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right) with tan⁡y=x\tan y = x. In symbols

y=arctan⁡x⟺tan⁡y=x  and  −π2<y<π2.\begin{gathered} y = \arctan x \\[0.4em] \Longleftrightarrow \\[0.4em] \tan y = x \ \text{ and } \ -\frac{\pi}{2} < y < \frac{\pi}{2}. \end{gathered}

Arctangent is the inverse of this restricted tangent, so

tan⁡(arctan⁡x)=xfor every real x,arctan⁡(tan⁡y)=yfor −π2<y<π2.\begin{gathered} \tan(\arctan x) = x \\[0.4em] \text{for every real } x, \\[0.8em] \arctan(\tan y) = y \\[0.4em] \text{for } -\frac{\pi}{2} < y < \frac{\pi}{2}. \end{gathered}

It is increasing and odd, arctan⁡(−x)=−arctan⁡x\arctan(-x) = -\arctan x for every real xx.

In plain words The arctangent of xx is the angle strictly between −π2-\frac{\pi}{2} and π2\frac{\pi}{2} whose tangent is xx. Since the tangent of an angle is the slope of its terminal ray, arctangent turns a slope back into an angle.

Example Since tan⁡π3=3\tan \frac{\pi}{3} = \sqrt{3}, the value of arctan⁡3\arctan \sqrt{3} is π3\frac{\pi}{3}, and in the same way arctan⁡(−1)=−π4\arctan(-1) = -\frac{\pi}{4}. As with arcsine, the second cancellation rule needs the angle to lie in the branch,

arctan⁡(tan⁡3π4)=arctan⁡(−1)=−π4.\begin{aligned} \arctan\left(\tan\frac{3\pi}{4}\right) &= \arctan(-1) \\[0.8em] &= -\frac{\pi}{4}. \end{aligned}

The result differs from 3π4\frac{3\pi}{4} by π\pi, the period of tangent.

Real input and principal range

Definition The domain of arctan⁡\arctan is all real numbers, because the range of tangent is all real numbers. Its range is the open interval (−π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right). The endpoints are never reached, since tangent is undefined at ±π2\pm\frac{\pi}{2}. Instead

arctan⁡x→π2  as x→∞,arctan⁡x→−π2  as x→−∞,\begin{gathered} \arctan x \to \frac{\pi}{2} \ \text{ as } x \to \infty, \\[0.8em] \arctan x \to -\frac{\pi}{2} \ \text{ as } x \to -\infty, \end{gathered}

so the lines y=π2y = \frac{\pi}{2} and y=−π2y = -\frac{\pi}{2} are horizontal asymptotes of the graph of y=arctan⁡xy = \arctan x. That graph is the reflection across the line y=xy = x of the tangent branch between the vertical asymptotes x=−π2x = -\frac{\pi}{2} and x=π2x = \frac{\pi}{2}.

In plain words You can feed arctangent any number at all. The answer always stays strictly between −π2-\frac{\pi}{2} and π2\frac{\pi}{2} and creeps toward one end as the input grows in size.

Example Large inputs come close to π2≈1.5708\frac{\pi}{2} \approx 1.5708 without reaching it.

xx11101010010010001000
arctan⁡x\arctan x0.78540.78541.47111.47111.56081.56081.56981.5698

For a line of positive slope mm, the angle between the line and the positive xx-axis is arctan⁡m\arctan m. A line of slope 22 makes the angle arctan⁡2≈1.1071\arctan 2 \approx 1.1071, about 63.43∘63.43^\circ.

Inverse cotangent

Definition Cotangent restricted to the open interval (0,π)(0, \pi) is decreasing and takes every real value exactly once. For every real number xx, the inverse cotangent of xx, written arccot⁡x\operatorname{arccot} x or cot⁡−1x\cot^{-1} x, is the unique number yy in (0,π)(0, \pi) with cot⁡y=x\cot y = x. Its domain is all real numbers and its range is (0,π)(0, \pi). For every real xx

arccot⁡x=π2−arctan⁡x.\operatorname{arccot} x = \frac{\pi}{2} - \arctan x.

The reason is that θ=arctan⁡x\theta = \arctan x lies in (−π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right), so π2−θ\frac{\pi}{2} - \theta lies in (0,π)(0, \pi). Using cot⁡u=−tan⁡(u−π2)\cot u = -\tan\left(u - \frac{\pi}{2}\right) from graphs of tangent and cotangent and the fact that tangent is odd,

cot⁡(π2−θ)=−tan⁡(−θ)=tan⁡θ=x.\begin{aligned} \cot\left(\frac{\pi}{2} - \theta\right) &= -\tan(-\theta) \\[0.8em] &= \tan \theta = x. \end{aligned}

In plain words The inverse cotangent uses the single unbroken cotangent branch between 00 and π\pi. Its outputs are always positive, which is the main difference from arctangent.

Example The value of arccot⁡(−1)\operatorname{arccot}(-1) is 3π4\frac{3\pi}{4}, since cot⁡3π4=−1\cot \frac{3\pi}{4} = -1 and 3π4\frac{3\pi}{4} lies in (0,π)(0, \pi). The formula agrees,

π2−arctan⁡(−1)=π2+π4=3π4.\frac{\pi}{2} - \arctan(-1) = \frac{\pi}{2} + \frac{\pi}{4} = \frac{3\pi}{4}.

Similarly arccot⁡3=π6\operatorname{arccot} \sqrt{3} = \frac{\pi}{6} and arccot⁡0=π2\operatorname{arccot} 0 = \frac{\pi}{2}.

Inverse secant

Definition Secant restricted to [0,π2)∪(π2,π]\left[0, \frac{\pi}{2}\right) \cup \left(\frac{\pi}{2}, \pi\right] is one-to-one and takes every value in (−∞,−1]∪[1,∞)(-\infty, -1] \cup [1, \infty) exactly once. For every real xx with ∣x∣≥1\lvert x \rvert \ge 1, the inverse secant of xx, written arcsec⁡x\operatorname{arcsec} x or sec⁡−1x\sec^{-1} x, is the unique number yy in [0,π2)∪(π2,π]\left[0, \frac{\pi}{2}\right) \cup \left(\frac{\pi}{2}, \pi\right] with sec⁡y=x\sec y = x. Equivalently

arcsec⁡x=arccos⁡1x,∣x∣≥1.\operatorname{arcsec} x = \arccos\frac{1}{x}, \qquad \lvert x \rvert \ge 1.

This works because sec⁡y=x\sec y = x exactly when cos⁡y=1x\cos y = \frac{1}{x}, and the branch is the principal branch of cosine, on [0,π][0, \pi], with the single point π2\frac{\pi}{2} removed, where cosine is 00 and secant is undefined.

In plain words To find the inverse secant of xx, take the reciprocal of xx and then the inverse cosine. The reciprocal goes on the input, not on the answer.

Example The formula gives

arcsec⁡2=arccos⁡12=π3,arcsec⁡(−2)=arccos⁡(−12)=3π4.\begin{aligned} \operatorname{arcsec} 2 &= \arccos\frac{1}{2} = \frac{\pi}{3}, \\[0.8em] \operatorname{arcsec}\left(-\sqrt{2}\right) &= \arccos\left(-\frac{1}{\sqrt{2}}\right) \\[0.8em] &= \frac{3\pi}{4}. \end{aligned}

As a check,

sec⁡3π4=1cos⁡3π4=1−22=−2.\sec \frac{3\pi}{4} = \frac{1}{\cos \frac{3\pi}{4}} = \frac{1}{-\frac{\sqrt{2}}{2}} = -\sqrt{2}.

The value arcsec⁡12\operatorname{arcsec} \frac{1}{2} does not exist, because no angle has secant 12\frac{1}{2}.

Inverse cosecant

Definition Cosecant restricted to [−π2,0)∪(0,π2]\left[-\frac{\pi}{2}, 0\right) \cup \left(0, \frac{\pi}{2}\right] is one-to-one and takes every value in (−∞,−1]∪[1,∞)(-\infty, -1] \cup [1, \infty) exactly once. For every real xx with ∣x∣≥1\lvert x \rvert \ge 1, the inverse cosecant of xx, written arccsc⁡x\operatorname{arccsc} x or csc⁡−1x\csc^{-1} x, is the unique number yy in [−π2,0)∪(0,π2]\left[-\frac{\pi}{2}, 0\right) \cup \left(0, \frac{\pi}{2}\right] with csc⁡y=x\csc y = x. Equivalently

arccsc⁡x=arcsin⁡1x,∣x∣≥1.\operatorname{arccsc} x = \arcsin\frac{1}{x}, \qquad \lvert x \rvert \ge 1.

The branch is the principal branch of sine with the single point 00 removed, where sine is 00 and cosecant is undefined.

In plain words Inverse cosecant is the reciprocal of the input followed by inverse sine. Its answers lie between −π2-\frac{\pi}{2} and π2\frac{\pi}{2}, but never at 00.

Example The formula gives

arccsc⁡(−2)=arcsin⁡(−12)=−π6,arccsc⁡23=arcsin⁡32=π3.\begin{gathered} \operatorname{arccsc}(-2) = \arcsin\left(-\frac{1}{2}\right) = -\frac{\pi}{6}, \\[0.8em] \operatorname{arccsc}\frac{2}{\sqrt{3}} = \arcsin\frac{\sqrt{3}}{2} = \frac{\pi}{3}. \end{gathered}

As a check,

csc⁡(−π6)=1sin⁡(−π6)=1−12=−2.\begin{aligned} \csc\left(-\frac{\pi}{6}\right) &= \frac{1}{\sin\left(-\frac{\pi}{6}\right)} \\[0.8em] &= \frac{1}{-\frac{1}{2}} = -2. \end{aligned}

Reciprocal-function domains

Definition Secant and cosecant never take values strictly between −1-1 and 11, since ∣sec⁡y∣=1∣cos⁡y∣≥1\lvert \sec y \rvert = \frac{1}{\lvert \cos y \rvert} \ge 1 and ∣csc⁡y∣=1∣sin⁡y∣≥1\lvert \csc y \rvert = \frac{1}{\lvert \sin y \rvert} \ge 1 wherever they are defined. So the domain of arcsec⁡\operatorname{arcsec} and of arccsc⁡\operatorname{arccsc} is

(−∞,−1]∪[1,∞)={x∣∣x∣≥1},(-\infty, -1] \cup [1, \infty) = \{x \mid \lvert x \rvert \ge 1\},

while arccot⁡\operatorname{arccot}, like arctan⁡\arctan, accepts every real number. Under the reciprocal formulas, an input with ∣x∣≥1\lvert x \rvert \ge 1 becomes 1x\frac{1}{x} in [−1,0)∪(0,1][-1, 0) \cup (0, 1], which is the domain of arccosine and arcsine with 00 removed. That is why arcsec⁡\operatorname{arcsec} never takes the value arccos⁡0=π2\arccos 0 = \frac{\pi}{2} and arccsc⁡\operatorname{arccsc} never takes the value arcsin⁡0=0\arcsin 0 = 0. For a composite expression such as arcsec⁡(u(x))\operatorname{arcsec}\bigl(u(x)\bigr), the inner value must satisfy ∣u(x)∣≥1\lvert u(x) \rvert \ge 1.

In plain words An inverse can only accept what the original function puts out. Secant and cosecant skip the whole gap between −1-1 and 11, so their inverses have the same gap in their domains.

Example For f(x)=arcsec⁡(x−2)f(x) = \operatorname{arcsec}(x - 2), require ∣x−2∣≥1\lvert x - 2 \rvert \ge 1, that is x−2≤−1x - 2 \le -1 or x−2≥1x - 2 \ge 1. The domain is (−∞,1]∪[3,∞)(-\infty, 1] \cup [3, \infty). The values f(0)=arcsec⁡(−2)=2π3f(0) = \operatorname{arcsec}(-2) = \frac{2\pi}{3} and f(4)=arcsec⁡2=π3f(4) = \operatorname{arcsec} 2 = \frac{\pi}{3} exist, but f(2)=arcsec⁡0f(2) = \operatorname{arcsec} 0 does not.

Explicit branch conventions

Definition For arcsin⁡\arcsin, arccos⁡\arccos and arctan⁡\arctan every textbook and calculator uses the same principal ranges. For arccot⁡\operatorname{arccot}, arcsec⁡\operatorname{arcsec} and arccsc⁡\operatorname{arccsc} the ranges differ between books and software, so every statement that uses them must name its branch. This course, like the calculus course, uses the ranges in the third column of the table. The last column shows one common alternative.

FunctionDomainRange in this courseA common alternative
arccot⁡x\operatorname{arccot} xall real xx(0,π)(0, \pi)(−π2,0)∪(0,π2]\left(-\frac{\pi}{2}, 0\right) \cup \left(0, \frac{\pi}{2}\right]
arcsec⁡x\operatorname{arcsec} x∣x∣≥1\lvert x \rvert \ge 1[0,π2)∪(π2,π]\left[0, \frac{\pi}{2}\right) \cup \left(\frac{\pi}{2}, \pi\right][0,π2)∪[π,3π2)\left[0, \frac{\pi}{2}\right) \cup \left[\pi, \frac{3\pi}{2}\right)
arccsc⁡x\operatorname{arccsc} x∣x∣≥1\lvert x \rvert \ge 1[−π2,0)∪(0,π2]\left[-\frac{\pi}{2}, 0\right) \cup \left(0, \frac{\pi}{2}\right](0,π2]∪(π,3π2]\left(0, \frac{\pi}{2}\right] \cup \left(\pi, \frac{3\pi}{2}\right]

With the alternative range, arccot⁡x=arctan⁡1x\operatorname{arccot} x = \arctan \frac{1}{x} for x≠0x \ne 0. For positive inputs, and for arccot⁡0=π2\operatorname{arccot} 0 = \frac{\pi}{2}, both conventions give the same value. They can differ only for negative inputs, and they do differ at every negative input except one, since arcsec⁡(−1)=π\operatorname{arcsec}(-1) = \pi in both.

In plain words For positive inputs the two conventions in the table give the same answer. For a negative input, find out which branch your book or software uses before you trust a value.

Example In each row below the input is negative, and the two conventions give different angles.

ExpressionThis courseAlternative
arccot⁡(−1)\operatorname{arccot}(-1)3π4\frac{3\pi}{4}−π4-\frac{\pi}{4}
arcsec⁡(−2)\operatorname{arcsec}(-2)2π3\frac{2\pi}{3}4π3\frac{4\pi}{3}
arccsc⁡(−2)\operatorname{arccsc}(-2)−π6-\frac{\pi}{6}7π6\frac{7\pi}{6}

Both angles in each row are correct for their branch, for instance cot⁡(−π4)=−1\cot\left(-\frac{\pi}{4}\right) = -1, sec⁡4π3=−2\sec \frac{4\pi}{3} = -2 and csc⁡7π6=−2\csc \frac{7\pi}{6} = -2. On a calculator without these keys, arccos⁡1x\arccos \frac{1}{x} and arcsin⁡1x\arcsin \frac{1}{x} give this course’s values of arcsec and arccsc. But arctan⁡1x\arctan \frac{1}{x} gives the alternative value of arccot when x<0x < 0, and you add π\pi to get the value in (0,π)(0, \pi).

Check yourself

  1. Using this course’s branches, evaluate arctan⁡(−3)\arctan\left(-\sqrt{3}\right), arccot⁡(−3)\operatorname{arccot}\left(-\sqrt{3}\right) and arcsec⁡(−2)\operatorname{arcsec}(-2).
Show the answer

The first is −π3-\frac{\pi}{3}, since tan⁡(−π3)=−3\tan\left(-\frac{\pi}{3}\right) = -\sqrt{3} and −π3-\frac{\pi}{3} lies in (−π2,π2)\left(-\frac{\pi}{2}, \frac{\pi}{2}\right). For the second,

arccot⁡(−3)=π2−arctan⁡(−3)=π2+π3=5π6,\begin{aligned} &\operatorname{arccot}\left(-\sqrt{3}\right) \\[0.4em] &\quad = \frac{\pi}{2} - \arctan\left(-\sqrt{3}\right) \\[0.8em] &\quad = \frac{\pi}{2} + \frac{\pi}{3} = \frac{5\pi}{6}, \end{aligned}

and indeed cot⁡5π6=−3\cot \frac{5\pi}{6} = -\sqrt{3}. The third is arccos⁡(−12)=2π3\arccos\left(-\frac{1}{2}\right) = \frac{2\pi}{3}.

  1. Find the domain and the range of h(x)=arccsc⁡(2x)h(x) = \operatorname{arccsc}(2x), and evaluate h(−1)h(-1).
Show the answer

The input must satisfy ∣2x∣≥1\lvert 2x \rvert \ge 1, that is ∣x∣≥12\lvert x \rvert \ge \frac{1}{2}, so the domain is (−∞,−12]∪[12,∞)\left(-\infty, -\frac{1}{2}\right] \cup \left[\frac{1}{2}, \infty\right). As xx runs over this set, 2x2x takes every value with absolute value at least 11, so the range is the full range [−π2,0)∪(0,π2]\left[-\frac{\pi}{2}, 0\right) \cup \left(0, \frac{\pi}{2}\right]. Finally

h(−1)=arccsc⁡(−2)=arcsin⁡(−12)=−π6.\begin{aligned} h(-1) &= \operatorname{arccsc}(-2) \\[0.4em] &= \arcsin\left(-\frac{1}{2}\right) = -\frac{\pi}{6}. \end{aligned}
  1. A calculator has no inverse cotangent key, so someone computes arccot⁡(−13)\operatorname{arccot}\left(-\frac{1}{\sqrt{3}}\right) as arctan⁡(−3)=−π3\arctan\left(-\sqrt{3}\right) = -\frac{\pi}{3}. What is the value with this course’s branch?
Show the answer

The value must lie in (0,π)(0, \pi), and the input is negative, so add π\pi to get −π3+π=2π3-\frac{\pi}{3} + \pi = \frac{2\pi}{3}. As a check,

cot⁡2π3=−1/23/2=−13,\cot \frac{2\pi}{3} = \frac{-1/2}{\sqrt{3}/2} = -\frac{1}{\sqrt{3}},

and the formula gives the same value,

π2−arctan⁡(−13)=π2+π6=2π3.\begin{aligned} \frac{\pi}{2} - \arctan\left(-\frac{1}{\sqrt{3}}\right) &= \frac{\pi}{2} + \frac{\pi}{6} \\[0.8em] &= \frac{2\pi}{3}. \end{aligned}

How this lesson connects