1.05h, 1.05i, 1.05k - Reciprocal and inverse trigonometric functions

1.05h, 1.05i, 1.05k - Reciprocal and inverse trigonometric functions

Distinguish a reciprocal value from an inverse function. The definitions in 1.05h lead to the graphs, domains and principal branches in 1.05i; the identities in 1.05k then connect exact reciprocal values without losing their signs.

Reciprocal functions and their domains

Does sin⁡−1(1/2)\sin^{-1}(1/2) mean 22 or an angle? The notation looks like a negative power, but on a calculator it asks for an inverse function. Compare 1/sin⁡(π/6)=21/\sin(\pi/6)=2 with arcsin⁡(1/2)=π/6\arcsin(1/2)=\pi/6. One answer is a reciprocal value; the other is an angle. We will make that distinction precise.

You already know

Sine and cosine are signed unit-circle coordinates. Tangent is sin⁡θ/cos⁡θ\sin\theta/\cos\theta when cos⁡θ≠0\cos\theta\ne0. Reciprocating a nonzero number keeps its sign.

The new reciprocal functions have their own names, which remove the ambiguity of the inverse notation.

Reciprocal trigonometric functions

Where the indicated denominators are nonzero,

sec⁡θ=1cos⁡θcosec⁡θ=1sin⁡θcot⁡θ=cos⁡θsin⁡θ\sec\theta=\frac1{\cos\theta} \qquad \operatorname{cosec}\theta=\frac1{\sin\theta} \qquad \cot\theta=\frac{\cos\theta}{\sin\theta}

Secant is undefined at θ=π/2+kπ\theta=\pi/2+k\pi; cosecant and cotangent are undefined at θ=kπ\theta=k\pi, for integer kk. In degrees these are 90∘+180∘k90^\circ+180^\circ k and 180∘k180^\circ k. These definitions are not in the formula sheet: learn them.

Where tangent is defined and nonzero, cot⁡θ=1/tan⁡θ\cot\theta=1/\tan\theta. Surprisingly, cotangent is also defined at π/2\pi/2: it equals 0/1=00/1=0, even though tangent is undefined there. The cosine-over-sine definition keeps that valid input.

Worked example 1: a quadrant-II angle

Question. Find sec⁡θ\sec\theta, cosec⁡θ\operatorname{cosec}\theta and cot⁡θ\cot\theta exactly when θ=2π/3\theta=2\pi/3.

Plan. Find the signed sine and cosine, then apply the three definitions.

sin⁡θ=32,cos⁡θ=−12quadrant IIsec⁡θ=−2reciprocal of cosinecosec⁡θ=23=233rationalisecot⁡θ=−1/23/2=−33cosine over sine\begin{aligned} \sin\theta&=\frac{\sqrt3}{2},\quad\cos\theta=-\frac12 && \text{quadrant II}\\ \sec\theta&=-2 && \text{reciprocal of cosine}\\ \operatorname{cosec}\theta&=\frac2{\sqrt3}=\frac{2\sqrt3}{3} && \text{rationalise}\\ \cot\theta&=\frac{-1/2}{\sqrt3/2}=-\frac{\sqrt3}{3} && \text{cosine over sine} \end{aligned}

Why this step? Finding signed coordinates first prevents a correct magnitude being given the wrong quadrant sign.

Answer. sec⁡θ=−2\sec\theta=-2, cosec⁡θ=23/3\operatorname{cosec}\theta=2\sqrt3/3, cot⁡θ=−3/3\cot\theta=-\sqrt3/3.

Check. sec⁡θcos⁡θ=1\sec\theta\cos\theta=1, cosec⁡θsin⁡θ=1\operatorname{cosec}\theta\sin\theta=1 and cot⁡θsin⁡θ=cos⁡θ\cot\theta\sin\theta=\cos\theta.

Move to quadrant III without changing the reference angle. Only the signs of the relevant coordinates change.

Worked example 2: the same reference angle in quadrant III

Question. Find the same three values when θ=4π/3\theta=4\pi/3.

Plan. Use the same definitions with the quadrant-III coordinates.

sin⁡θ=−32,cos⁡θ=−12both negativesec⁡θ=−2invert cosinecosec⁡θ=−233invert sinecot⁡θ=−1/2−3/2=33divide the coordinates\begin{aligned} \sin\theta&=-\frac{\sqrt3}{2},\quad\cos\theta=-\frac12 && \text{both negative}\\ \sec\theta&=-2 && \text{invert cosine}\\ \operatorname{cosec}\theta&=-\frac{2\sqrt3}{3} && \text{invert sine}\\ \cot\theta&=\frac{-1/2}{-\sqrt3/2}=\frac{\sqrt3}{3} && \text{divide the coordinates} \end{aligned}

Why this step? Cotangent is positive when sine and cosine have the same sign.

Answer. −2-2, −23/3-2\sqrt3/3 and 3/3\sqrt3/3, respectively.

Check. None of the denominators is zero, and multiplying each reciprocal by its defining denominator recovers the required numerator.

The exponent 22 in sin⁡2θ\sin^2\theta means a square. The conventional notation sin⁡−1x\sin^{-1}x, however, means arcsine, not cosecant.

Watch out

Wrong: declare cot⁡(π/2)\cot(\pi/2) undefined because tan⁡(π/2)\tan(\pi/2) is undefined. Right: use cos⁡(π/2)/sin⁡(π/2)=0\cos(\pi/2)/\sin(\pi/2)=0. Check the denominator in the defining expression.

Try a third quadrant location with the same reference angle.

Reading reciprocal graphs

Build reciprocal graphs from zeros, signs and the values 11 and −1-1, rather than trying to join calculator points across missing inputs.

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

A nonzero sine or cosine has magnitude at most 11; its reciprocal therefore has magnitude at least 11. Their zeros become vertical asymptotes, while values 11 and −1-1 stay fixed.

FunctionRangePeriodSymmetryVertical asymptotes
sec⁡x\sec x(−∞,−1]∪[1,∞)( -\infty,-1]\cup[1,\infty)2π2\pievenx=π/2+kπx=\pi/2+k\pi
cosec⁡x\operatorname{cosec}x(−∞,−1]∪[1,∞)( -\infty,-1]\cup[1,\infty)2π2\pioddx=kπx=k\pi
cot⁡x\cot xR\mathbb Rπ\pioddx=kπx=k\pi

Here kk is any integer; each domain excludes its asymptote inputs. On (0,π)(0,\pi), cosecant has minimum 11 at π/2\pi/2. On (π,2π)(\pi,2\pi), it has maximum −1-1 at 3π/23\pi/2. Cotangent decreases from arbitrarily large positive to arbitrarily large negative values on (0,π)(0,\pi), crossing zero at π/2\pi/2. Its zeros repeat at π/2+kπ\pi/2+k\pi. These graph facts are not in the formula sheet: learn them through the definitions.

Worked example 3: a compressed cosecant graph

Question. State the vertical asymptotes and period of y=cosec⁡(2x)y=\operatorname{cosec}(2x), and describe its branches on 0≤x≤π0\le x\le\pi.

Plan. Find zeros of the denominator sin⁡(2x)\sin(2x) and map the sine's extrema.

sin⁡(2x)=0  ⟺  2x=kπexcluded arguments  ⟺  x=kπ/2divide by 22(x+T)=2x+2π  ⟹  T=πone full period\begin{aligned} \sin(2x)=0&\iff2x=k\pi && \text{excluded arguments}\\ &\iff x=k\pi/2 && \text{divide by }2\\ 2(x+T)=2x+2\pi&\implies T=\pi && \text{one full period} \end{aligned}

Why this step? The zeros of the sine, rather than the zeros of cosecant, locate the asymptotes; cosecant itself has no zero.

Answer. On the interval the asymptotes are x=0,π/2,πx=0,\pi/2,\pi. The first branch is positive with minimum 11 at x=π/4x=\pi/4; the second is negative with maximum −1-1 at x=3π/4x=3\pi/4. The period is π\pi.

Check. At x=π/4x=\pi/4, sin⁡(2x)=1\sin(2x)=1, so the reciprocal equals 11.

Change only the argument multiplier to 33. More branches now fit into the same interval.

Worked example 4: fitting an extra branch

Question. Give the corresponding features for y=cosec⁡(3x)y=\operatorname{cosec}(3x) on 0≤x≤π0\le x\le\pi.

Plan. Solve sin⁡(3x)=0\sin(3x)=0, then use successive sine extrema.

3x=kπ  ⟹  x=kπ/3asymptotes3T=2π  ⟹  T=2π/3period3x=π/2,3π/2,5π/2  ⟹  x=π/6,π/2,5π/6branch vertices\begin{aligned} 3x=k\pi&\implies x=k\pi/3 && \text{asymptotes}\\ 3T=2\pi&\implies T=2\pi/3 && \text{period}\\ 3x=\pi/2,3\pi/2,5\pi/2&\implies x=\pi/6,\pi/2,5\pi/6 && \text{branch vertices} \end{aligned}

Why this step? Map the arguments before sketching, so the middle negative branch is not missed.

Answer. Asymptotes: 0,π/3,2π/3,π0,\pi/3,2\pi/3,\pi. The three branches have vertices (π/6,1)(\pi/6,1), (π/2,−1)(\pi/2,-1), (5π/6,1)(5\pi/6,1); the period is 2π/32\pi/3.

Check. Their signs alternate positive, negative, positive, matching sin⁡(3x)\sin(3x).

A sketch should show separate branches and dashed asymptotes. Never draw a connecting segment through an excluded input.

Watch out

Wrong: give a reciprocal sine graph range [−1,1][-1,1]. Right: the values between −1-1 and 11 are excluded, except the endpoints; reciprocating small nonzero values produces large magnitudes.

Change the multiplier once more.

Identities with reciprocal functions

The unit-circle identity produces two reciprocal identities when you divide by an allowed squared denominator.

Divide sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1 by cos⁡2θ\cos^2\theta to obtain the first, and by sin⁡2θ\sin^2\theta to obtain the second.

Reciprocal identities

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

Not in the formula sheet: learn it.

The derivation explains both the identities and their restrictions. An identity agrees throughout its common domain; it does not supply a missing value at an excluded angle. It also shows why a real secant or cosecant cannot equal 1/21/2: its square must be at least 11.

Continue this lesson.

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

Create free account