Mt9, Mt13–Mt15 - Reciprocal and inverse trigonometric functions

Mt9, Mt13–Mt15 - Reciprocal and inverse trigonometric functions

Use the inverse functions in Mt9 and the reciprocal definitions in Mt13 without confusing their notation. Mt14 connects their graphs, domains and ranges to sine, cosine and tangent; Mt15 supplies two squared identities for exact values and algebra.

Reciprocal functions and their domains

Can cotangent exist where tangent does not? At 90∘90^\circ, sine is 11 and cosine is 00. Tangent divides by zero, but cosine divided by sine is 00. That is the value of cotangent. A careful definition reveals a valid value that a careless reciprocal button sequence would miss.

You already know

A quotient is defined only when its denominator is nonzero. Sine and cosine are signed coordinates on the unit circle, and tan⁡θ=sin⁡θ/cos⁡θ\tan\theta=\sin\theta/\cos\theta on its domain.

The three reciprocal functions are defined using those coordinates.

Secant, cosecant and cotangent

sec⁡θ=1cos⁡θ(cos⁡θ≠0)\sec\theta=\frac1{\cos\theta}\qquad(\cos\theta\ne0) cosec⁡θ=1sin⁡θcot⁡θ=cos⁡θsin⁡θ(sin⁡θ≠0)\operatorname{cosec}\theta=\frac1{\sin\theta}\qquad \cot\theta=\frac{\cos\theta}{\sin\theta} \qquad(\sin\theta\ne0)

For integer kk, secant excludes π/2+kπ\pi/2+k\pi, while cosecant and cotangent exclude kπk\pi. In degrees the exclusions are 90∘+180∘k90^\circ+180^\circ k and 180∘k180^\circ k. These definitions are not in the formula sheet: learn them.

On the common domain where tangent is nonzero and defined, cotangent also equals 1/tan⁡θ1/\tan\theta. That shorter expression has a smaller domain than the cosine-over-sine definition: at π/2\pi/2, cotangent equals zero. Do not throw that point away.

Worked example 1: exact reciprocals in quadrant II

Question. Find sec⁡(3π/4)\sec(3\pi/4), cosec⁡(3π/4)\operatorname{cosec}(3\pi/4) and cot⁡(3π/4)\cot(3\pi/4) exactly.

Plan. Use the signed sine and cosine values before taking reciprocals or their ratio.

sin⁡(3π/4)=22,cos⁡(3π/4)=−22unit-circle valuessec⁡(3π/4)=−22=−2invert cosinecosec⁡(3π/4)=2invert sinecot⁡(3π/4)=−1cosine over sine\begin{aligned} \sin(3\pi/4)&=\frac{\sqrt2}{2},\quad\cos(3\pi/4)=-\frac{\sqrt2}{2} && \text{unit-circle values}\\ \sec(3\pi/4)&=-\frac2{\sqrt2}=-\sqrt2 && \text{invert cosine}\\ \operatorname{cosec}(3\pi/4)&=\sqrt2 && \text{invert sine}\\ \cot(3\pi/4)&=-1 && \text{cosine over sine} \end{aligned}

Why this step? The reciprocal retains the sign of the value inverted; the reference angle alone does not determine that sign.

Answer. The three values are −2-\sqrt2, 2\sqrt2 and −1-1.

Check. The reciprocal products with cosine and sine equal 11; cotangent times sine equals cosine.

Keep the reference angle but move to quadrant III. This changes sine's sign while cosine stays negative.

Worked example 2: changing the quadrant

Question. Find the three values for θ=5π/4\theta=5\pi/4.

Plan. Apply the definitions to two negative coordinates of equal magnitude.

sin⁡θ=−22,cos⁡θ=−22quadrant IIIsec⁡θ=−2invert cosinecosec⁡θ=−2invert sinecot⁡θ=1equal negative coordinates\begin{aligned} \sin\theta&=-\frac{\sqrt2}{2},\quad\cos\theta=-\frac{\sqrt2}{2} && \text{quadrant III}\\ \sec\theta&=-\sqrt2 && \text{invert cosine}\\ \operatorname{cosec}\theta&=-\sqrt2 && \text{invert sine}\\ \cot\theta&=1 && \text{equal negative coordinates} \end{aligned}

Why this step? A quotient of two negative values is positive, even though both reciprocal values are negative.

Answer. −2-\sqrt2, −2-\sqrt2 and 11, respectively.

Check. Neither coordinate is zero, and each result meets its defining equation.

Another notation needs separating: sin⁡2θ\sin^2\theta means (sin⁡θ)2(\sin\theta)^2, whereas sin⁡−1x\sin^{-1}x conventionally means an inverse function, not 1/sin⁡x1/\sin x.

Watch out

Wrong: use 1/tan⁡(π/2)1/\tan(\pi/2) to conclude that cotangent is undefined. Right: evaluate cos⁡(π/2)/sin⁡(π/2)=0\cos(\pi/2)/\sin(\pi/2)=0. The defining denominator is sine.

Move the same reference angle into quadrant IV.

Reading reciprocal graphs

A reciprocal graph keeps the sign of the denominator, becomes large near its zeros and retains its values 11 and −1-1.

Secant and cosecant follow reciprocal values, while cotangent decreases between its excluded arguments

For secant and cosecant the range is (−∞,−1]∪[1,∞)( -\infty,-1]\cup[1,\infty), because reciprocating a nonzero value with magnitude at most 11 gives magnitude at least 11. Both have period 2π2\pi and no zero. Secant is even; cosecant is odd. Their excluded inputs and vertical asymptotes are π/2+kπ\pi/2+k\pi and kπk\pi, respectively.

Cosecant has a minimum 11 at π/2\pi/2 on (0,π)(0,\pi), and a maximum −1-1 at 3π/23\pi/2 on (π,2π)(\pi,2\pi). Secant has sec⁡0=1\sec0=1 and sec⁡π=−1\sec\pi=-1, with branches separated by the zeros of cosine.

Cotangent has domain x≠kπx\ne k\pi, range R\mathbb R, period π\pi and odd symmetry. On (0,π)(0,\pi) it decreases from arbitrarily large positive to arbitrarily large negative values and crosses zero at π/2\pi/2. Its zeros are π/2+kπ\pi/2+k\pi. Where both are defined, tangent and cotangent are reciprocals, but their excluded inputs differ. These graph properties are not in the formula sheet: rebuild them from the definitions.

Worked example 3: using the denominator's graph

Question. Describe the asymptotes, period and branch vertices of y=cosec⁡(2x)y=\operatorname{cosec}(2x) on 0≤x≤π0\le x\le\pi.

Plan. Map zeros and extrema of sin⁡(2x)\sin(2x) to reciprocal features.

sin⁡(2x)=0  ⟺  x=kπ/2vertical asymptotes2T=2π  ⟹  T=πperiodsin⁡(2x)=1,−1 at x=π/4,3π/4fixed reciprocal values\begin{aligned} \sin(2x)=0&\iff x=k\pi/2 && \text{vertical asymptotes}\\ 2T=2\pi&\implies T=\pi && \text{period}\\ \sin(2x)=1,-1&\text{ at }x=\pi/4,3\pi/4 && \text{fixed reciprocal values} \end{aligned}

Why this step? Zeros of the denominator locate missing inputs; the reciprocal function itself never crosses zero.

Answer. Asymptotes occur at 0,π/2,π0,\pi/2,\pi. The branches have vertices (π/4,1)(\pi/4,1) and (3π/4,−1)(3\pi/4,-1), with period π\pi.

Check. The signs are positive on (0,π/2)(0,\pi/2) and negative on (π/2,π)(\pi/2,\pi), just as for sin⁡(2x)\sin(2x).

Change only the reciprocal family, from cosecant to secant. The argument and interval stay fixed, but the denominator's zeros move.

Worked example 4: changing sine to cosine

Question. Give the corresponding features of y=sec⁡(2x)y=\sec(2x) on 0≤x≤π0\le x\le\pi.

Plan. Use zeros and extrema of cos⁡(2x)\cos(2x).

2x=π/2+kπ  ⟹  x=π/4+kπ/2excluded inputs2T=2π  ⟹  T=πsame periodcos⁡(2x)=1,−1,1 at x=0,π/2,πreciprocal values\begin{aligned} 2x=\pi/2+k\pi&\implies x=\pi/4+k\pi/2 && \text{excluded inputs}\\ 2T=2\pi&\implies T=\pi && \text{same period}\\ \cos(2x)=1,-1,1&\text{ at }x=0,\pi/2,\pi && \text{reciprocal values} \end{aligned}

Why this step? The period stays the same, but using the sine's zeros would place every asymptote incorrectly.

Answer. The asymptotes are x=π/4,3π/4x=\pi/4,3\pi/4. There are positive branch portions at the included endpoints (0,1)(0,1) and (π,1)(\pi,1), and a negative branch with vertex (π/2,−1)(\pi/2,-1). The period is π\pi.

Check. At the centre, cos⁡π=−1\cos\pi=-1, so its reciprocal is −1-1.

When sketching, draw separate branches beside dashed asymptotes. A finite line joining across an asymptote would assert values at excluded inputs.

Watch out

Wrong: reciprocal sine and reciprocal cosine still have range [−1,1][-1,1]. Right: their values have magnitude at least 11; the gap between −1-1 and 11 contains no curve.

Apply the same denominator reasoning to cotangent, whose period differs.

Identities with reciprocal functions

Divide the unit-circle identity by a nonzero square to turn it into a reciprocal identity, retaining the division condition.

For example, dividing sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1 by sin⁡2θ\sin^2\theta gives 1+cos⁡2θ/sin⁡2θ=1/sin⁡2θ1+\cos^2\theta/\sin^2\theta=1/\sin^2\theta. Division by cosine squared gives the other form.

Squared reciprocal identities

tan⁡2θ+1=sec⁡2θ(cos⁡θ≠0)\tan^2\theta+1=\sec^2\theta\qquad(\cos\theta\ne0) cot⁡2θ+1=cosec⁡2θ(sin⁡θ≠0)\cot^2\theta+1=\operatorname{cosec}^2\theta\qquad(\sin\theta\ne0)

Not in the formula sheet: learn it.

The squares determine magnitudes. A quadrant or interval is still needed to determine an unsquared value. They also show why sec⁡θ=1/2\sec\theta=1/2 is impossible for real θ\theta: its square would be below 11.

Worked example 5: recovering a positive cosecant

Question. Given cot⁡θ=−3\cot\theta=-3 and π/2<θ<π\pi/2<\theta<\pi, find cosec⁡θ\operatorname{cosec}\theta exactly.

Plan. Use the cotangent identity and choose the sign from sine's quadrant.

cosec⁡2θ=1+(−3)2=10squared identitycosec⁡θ=10sine positive in II\begin{aligned} \operatorname{cosec}^2\theta&=1+(-3)^2=10 && \text{squared identity}\\ \operatorname{cosec}\theta&=\sqrt{10} && \text{sine positive in II} \end{aligned}

Why this step? Negative cotangent does not mean negative cosecant; cotangent is the ratio of two signed values.

Answer. cosec⁡θ=10\operatorname{cosec}\theta=\sqrt{10}.

Check. Take sin⁡θ=1/10\sin\theta=1/\sqrt{10}, cos⁡θ=−3/10\cos\theta=-3/\sqrt{10}. Their squares sum to 11 and their ratio is −3-3.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account