Unit 6, lesson 51

The Cosecant Function

How cosecant comes from flipping nonzero sine heights, how its excluded inputs and odd symmetry differ from secant, and how to sketch one scaled cycle from sine landmarks.

  • Theory part 101
  • Practice part 102
  • The Six Trigonometric Functions

Sine and cosine have the same shape, one shifted from the other, so their reciprocals look alike too. The differences are in the details. Cosecant breaks down at different inputs than secant, and it is odd where secant is even, and those details decide whether a calculus answer is right.

Key terms

Cosecant as reciprocal sine

Definition For a real number xx, measured in radians, with sin⁡x≠0\sin x \ne 0, the cosecant of xx is

csc⁡x=1sin⁡x.\csc x = \frac{1}{\sin x}.

Cosecant has the same sign as sine, positive where the unit circle point lies above the horizontal axis and negative where it lies below.

In plain words Find the sine of the angle and take one over it. The sign does not change, only the size.

Example At x=π6x = \frac{\pi}{6} the sine is 12\frac{1}{2}, so csc⁡π6=2\csc \frac{\pi}{6} = 2. At x=4π3x = \frac{4\pi}{3} the sine is negative,

csc⁡4π3=1−3/2=−23=−233.\begin{aligned} \csc \frac{4\pi}{3} &= \frac{1}{-\sqrt{3}/2} \\[0.4em] &= -\frac{2}{\sqrt{3}} = -\frac{2\sqrt{3}}{3}. \end{aligned}

Excluded inputs

Definition Cosecant is defined exactly when sin⁡x≠0\sin x \ne 0, that is, when x≠kπx \ne k\pi for every integer kk. Its domain is

{ x∈R∣x≠kπ for every integer k }.\begin{gathered} \{\, x \in \mathbb{R} \mid x \ne k\pi \\[0.4em] \text{ for every integer } k \,\}. \end{gathered}

These are not the inputs excluded for secant. Secant loses π2+kπ\frac{\pi}{2} + k\pi, where cosine is zero, and cosecant loses kπk\pi, where sine is zero.

In plain words Cosecant fails where the unit circle point sits on the horizontal axis, at 00, ±π\pm\pi, ±2π\pm 2\pi and so on.

Example At x=π2x = \frac{\pi}{2} the sine is 11, so csc⁡π2=1\csc \frac{\pi}{2} = 1, while sec⁡π2\sec \frac{\pi}{2} is undefined. At x=2πx = 2\pi the sine is 00, so csc⁡2π\csc 2\pi is undefined, while sec⁡2π=1\sec 2\pi = 1.

Range

Definition The range of cosecant is

(−∞,−1]∪[1,∞).(-\infty, -1] \cup [1, \infty).

For every xx in the domain, 0<∣sin⁡x∣≤10 < \lvert \sin x \rvert \le 1, so ∣csc⁡x∣=1∣sin⁡x∣≥1\lvert \csc x \rvert = \frac{1}{\lvert \sin x \rvert} \ge 1. Conversely, if ∣y∣≥1\lvert y \rvert \ge 1 then 1y\frac{1}{y} is a nonzero number in [−1,1][-1, 1], so some xx has sin⁡x=1y\sin x = \frac{1}{y} and then csc⁡x=y\csc x = y. Cosecant has no zeros, because its numerator is 11.

In plain words Cosecant shares the range of secant. It never takes a value strictly between −1-1 and 11, and it never crosses the horizontal axis.

Example The value −1-1 is reached at x=3π2x = \frac{3\pi}{2}, where sin⁡x=−1\sin x = -1. The equation csc⁡x=3\csc x = 3 has solutions, because sin⁡x=13\sin x = \frac{1}{3} has solutions. The equation csc⁡x=−0.5\csc x = -0.5 has none, because it would need sin⁡x=−2\sin x = -2.

Vertical asymptotes

Definition The line x=ax = a is a vertical asymptote of the graph of ff if f(x)f(x) grows without bound, toward ∞\infty or −∞-\infty, as xx approaches aa from at least one side. Cosecant has a vertical asymptote at every excluded input x=kπx = k\pi, because sine approaches 00 there. Sine changes sign at each multiple of π\pi, so cosecant goes to ∞\infty on the side where sine is positive and to −∞-\infty on the side where sine is negative. The branches on the two sides are separate and must not be joined.

In plain words Each zero of sine splits the cosecant graph. The graph runs off to the top on one side of the split and to the bottom on the other.

Example Near x=0x = 0 and x=πx = \pi the values behave like this.

xxsin⁡x\sin xcsc⁡x\csc x
−0.1-0.1about −0.0998-0.0998about −10.02-10.02
0.10.1about 0.09980.0998about 10.0210.02
π−0.1\pi - 0.1about 0.09980.0998about 10.0210.02
π+0.1\pi + 0.1about −0.0998-0.0998about −10.02-10.02

Odd symmetry

Definition For every xx in the domain, −x-x is also in the domain and

csc⁡(−x)=1sin⁡(−x)=1−sin⁡x=−csc⁡x.\begin{aligned} \csc(-x) &= \frac{1}{\sin(-x)} \\[0.4em] &= \frac{1}{-\sin x} = -\csc x. \end{aligned}

So cosecant is an odd function, and its graph is symmetric about the origin. Secant, by contrast, is even.

In plain words Reflecting the angle across the horizontal axis flips the sign of sine, and so it flips the sign of cosecant too.

Example Since csc⁡π6=2\csc \frac{\pi}{6} = 2, oddness gives csc⁡(−π6)=−2\csc\left(-\frac{\pi}{6}\right) = -2. A direct check agrees, since sin⁡(−π6)=−12\sin\left(-\frac{\pi}{6}\right) = -\frac{1}{2}.

Period

Definition For every xx in the domain, x+2πx + 2\pi is in the domain and csc⁡(x+2π)=csc⁡x\csc(x + 2\pi) = \csc x, because sin⁡(x+2π)=sin⁡x\sin(x + 2\pi) = \sin x. The least positive period is 2π2\pi. If some pp with 0<p<2π0 < p < 2\pi were a period, then π2+p\frac{\pi}{2} + p would be in the domain because π2\frac{\pi}{2} is, and csc⁡(π2+p)=csc⁡π2=1\csc\left(\frac{\pi}{2} + p\right) = \csc \frac{\pi}{2} = 1, which needs sin⁡(π2+p)=1\sin\left(\frac{\pi}{2} + p\right) = 1. The only inputs with sine 11 are π2+2πn\frac{\pi}{2} + 2\pi n for integers nn, and π2+p\frac{\pi}{2} + p lies strictly between π2\frac{\pi}{2} and 5π2\frac{5\pi}{2}, so no such pp exists.

In plain words Cosecant repeats every full turn, the same period as sine.

Example Since 13π6=π6+2π\frac{13\pi}{6} = \frac{\pi}{6} + 2\pi, the period gives csc⁡13π6=csc⁡π6=2\csc \frac{13\pi}{6} = \csc \frac{\pi}{6} = 2.

The cosecant graph

Definition The graph of y=csc⁡xy = \csc x is made of separate branches on the open intervals (kπ,(k+1)π)(k\pi, (k+1)\pi) between consecutive asymptotes. On (0,π)(0, \pi) the sine satisfies 0<sin⁡x≤10 < \sin x \le 1, with sin⁡x=1\sin x = 1 only at x=π2x = \frac{\pi}{2}, so csc⁡x≥1\csc x \ge 1 there, with lowest point (π2,1)\left(\frac{\pi}{2}, 1\right). On (π,2π)(\pi, 2\pi) the sine satisfies −1≤sin⁡x<0-1 \le \sin x < 0, so csc⁡x≤−1\csc x \le -1, with highest point (3π2,−1)\left(\frac{3\pi}{2}, -1\right). These two branches make one full cycle.

For a positive constant AA, the graph of y=Acsc⁡xy = A\csc x has the same asymptotes, every height is multiplied by AA, and the range becomes

(−∞,−A]∪[A,∞).(-\infty, -A] \cup [A, \infty).

The band −A<y<A-A < y < A is never reached.

In plain words Where sine has a peak, cosecant has a valley, and where sine has a trough, cosecant has a hilltop. A vertical stretch by AA pushes the valleys and hilltops out to AA and −A-A and widens the empty band in the middle.

Example One cycle of y=2csc⁡xy = 2\csc x on (0,2π)(0, 2\pi), built from the sine landmarks at π6\frac{\pi}{6}, π2\frac{\pi}{2} and their partners.

xxπ6\frac{\pi}{6}π2\frac{\pi}{2}5π6\frac{5\pi}{6}7π6\frac{7\pi}{6}3π2\frac{3\pi}{2}11π6\frac{11\pi}{6}
2csc⁡x2\csc x442244−4-4−2-2−4-4

The upward branch on (0,π)(0, \pi) has its lowest point (π2,2)\left(\frac{\pi}{2}, 2\right), the downward branch on (π,2π)(\pi, 2\pi) has its highest point (3π2,−2)\left(\frac{3\pi}{2}, -2\right), and the asymptotes are x=0x = 0, x=πx = \pi and x=2πx = 2\pi. No point of the graph has −2<y<2-2 < y < 2.

Check yourself

  1. Find the exact values of csc⁡(−3π4)\csc\left(-\frac{3\pi}{4}\right) and csc⁡7π6\csc \frac{7\pi}{6}.
Show the answer

The sine of −3π4-\frac{3\pi}{4} is −22-\frac{\sqrt{2}}{2}, so the cosecant is −22=−2-\frac{2}{\sqrt{2}} = -\sqrt{2}. The sine of 7π6\frac{7\pi}{6} is −12-\frac{1}{2}, so the cosecant is −2-2.

  1. For y=3csc⁡xy = 3\csc x, give the range, the band of heights the graph never reaches, and the exact value at x=5π3x = \frac{5\pi}{3}.
Show the answer

The range is (−∞,−3]∪[3,∞)(-\infty, -3] \cup [3, \infty), so the band −3<y<3-3 < y < 3 is never reached. At x=5π3x = \frac{5\pi}{3} the sine is −32-\frac{\sqrt{3}}{2}, so

3csc⁡5π3=3⋅(−23)=−23.3\csc \frac{5\pi}{3} = 3 \cdot \left(-\frac{2}{\sqrt{3}}\right) = -2\sqrt{3}.
  1. Which of secant and cosecant is defined at x=π2x = \frac{\pi}{2}, and which at x=πx = \pi?
Show the answer

At x=π2x = \frac{\pi}{2} only cosecant is defined, with csc⁡π2=1\csc \frac{\pi}{2} = 1, because cos⁡π2=0\cos \frac{\pi}{2} = 0. At x=πx = \pi only secant is defined, with sec⁡π=−1\sec \pi = -1, because sin⁡π=0\sin \pi = 0.

How this lesson connects