cos−112x2+1−x21−x24=cos−1x2−cos−1x holds for
x∈[−1, 1]
x∈R
x∈[0, 1]
x∈[−1, 0]
We observe that
x22+1−x21−x24 is positive and defined for all x∈[−1, 1]
∴ cos−1x22+1−x21−x24∈0,π2
Now, RHS of the given relation is defined for
x2≤1 and |x|≤1 i,e. for x∈[−1, 1]
Also, LHS ≥0
⇒ cos−1x2−cos−1x≥0⇒cos−1x2≥cos−1x⇒x∈[0,1]
Hence, LHS = RHS for x∈[0, 1].