Domain of Inverse Secant
To define secβ1x we ask: for which values of x does the equation secΞΈ=x have a solution? The answer is the domain of inverse secant, and it looks quite different from the domain of sinβ1 or cosβ1.
Why β£xβ£β₯1
Recall secΞΈ=cosΞΈ1β, and cosΞΈ always lies in [β1,1]. Taking reciprocals:
- when β£cosΞΈβ£β€1, we get β£secΞΈβ£β₯1.
So secant never outputs a value strictly between β1 and 1. There is simply no angle whose secant is, say, 0.5. Therefore
DomainΒ ofΒ secβ1x:β£xβ£β₯1,i.e.Β (ββ,β1]βͺ[1,β).
The interval (β1,1) is excluded β this is the single most-tested fact about inverse secant.
The matching range
Like every trig function, secant repeats, so we must restrict it to make it one-to-one before inverting. The conventional principal-value choice keeps ΞΈ in
[0,Ο]β{2Οβ}.
We remove ΞΈ=2Οβ because cos2Οβ=0, so sec2Οβ is undefined. On [0,2Οβ) secant runs from 1 up to +β, covering [1,β); on (2Οβ,Ο] it runs from ββ up to β1, covering (ββ,β1]. Together these give exactly β£xβ£β₯1 β matching the domain above. β¦