5. Elementary Properties and Identities
(A) Reciprocal identities. Since cosecθ=sinθ1, if x=cosecθ then x1=sinθ, so
sin−1(x1)=cosec−1x,x≥1 or x≤−1,
and by the identical argument,
cos−1(x1)=sec−1x,x≥1 or x≤−1,tan−1(x1)=cot−1x,x>0.
(B) Negative-argument identities.
Odd-type (Proof for sin−1). Let y=sin−1x, so x=siny with y∈[−2π,2π]. Then −x=−siny=sin(−y), and since y∈[−2π,2π], so is −y. Hence −y is the principal value of sin−1(−x), i.e.
sin−1(−x)=−y=−sin−1x,x∈[−1,1].■
The same argument (using that each branch is symmetric about the origin) gives
tan−1(−x)=−tan−1x (x∈R),cosec−1(−x)=−cosec−1x (∣x∣≥1).
π-shift-type (Proof for cos−1). Let y=cos−1x, so x=cosy with y∈[0,π]. Then −x=−cosy=cos(π−y), and since y∈[0,π], so is π−y (as y runs from 0 to π, π−y runs from π to 0). Hence π−y is the principal value of cos−1(−x):
cos−1(−x)=π−y=π−cos−1x,x∈[−1,1].■
Because their branches [0,π] and (0,π) are likewise not symmetric about the origin,
sec−1(−x)=π−sec−1x (∣x∣≥1),cot−1(−x)=π−cot−1x (x∈R).
(C) Complementary-angle sum identities.
Theorem. sin−1x+cos−1x=2π for every x∈[−1,1].
Proof. Let y=sin−1x, so x=siny with y∈[−2π,2π]. By the co-function relation siny=cos(2π−y),
x=cos(2π−y).
For this to identify 2π−y as the principal value of cos−1x, it must lie in [0,π]. Since y∈[−2π,2π], multiplying by −1 and adding 2π gives 2π−y∈[0,π] exactly (at y=−2π, 2π−y=π; at y=2π, 2π−y=0). So 2π−y is the principal value of cos−1x:
cos−1x=2π−y=2π−sin−1x⟹sin−1x+cos−1x=2π.■
The identical co-function argument (using tany=cot(2π−y) and secy=cosec(2π−y), and checking the shifted angle lands in the right branch each time) proves the two companion identities:
tan−1x+cot−1x=2π (x∈R),sec−1x+cosec−1x=2π (∣x∣≥1).
(D) Addition formula for tan−1. Let α=tan−1x, β=tan−1y, so x=tanα, y=tanβ. By the tangent sum formula (Class XI),
tan(α+β)=1−tanαtanβtanα+tanβ=1−xyx+y.
Provided xy<1 (which keeps α+β inside (−2π,2π), the principal branch of tan−1), taking tan−1 of both sides is valid and gives
tan−1x+tan−1y=tan−1(1−xyx+y),xy<1. …