Tangent is not one-to-one over its full domain R∖{2π+kπ:k∈Z}, but tan:(−2π,2π)→R IS a bijection.
Definition 4.5. For any real x, tan−1x is the UNIQUE number y∈(−2π,2π) such that tany=x. In symbols, tan−1:R→(−2π,2π) is defined by tan−1(x)=y⟺tany=x and y∈(−2π,2π).
From the definition:
- y=tan−1x⟺x=tany, for x∈R and −2π<y<2π.
- tan(tan−1x)=x for EVERY real x — unlike sin−1/cos−1, there is no domain restriction here, since tan−1's own domain is already all of R; y=tan−1x is an odd function.
- tan−1(tanx)=x if and only if −2π<x<2π. NOTE: tan−1(tanπ)=0, NOT π.
Notes. tan:(−2π,2π)→R and tan−1:R→(−2π,2π). (−2π,2π) is called the principal domain of tangent, and the values of y=tan−1x are its principal values. …