Substitute x=tanθ so both sides reduce to 2θ; separately, sin−1(−1/2)=−π/6 gives the numeric value 1.
Proof of 2tan−1x=sin−11+x22x for x∈[−1,1]:
Let x=tanθ, so θ=tan−1x. Since x∈[−1,1], we have θ∈[−4π,4π].
Then
sin−11+x22x=sin−11+tan2θ2tanθ=sin−1(sin2θ).
Since θ∈[−4π,4π], we have 2θ∈[−2π,2π], which is exactly the principal value range of sin−1. So sin−1(sin2θ)=2θ=2tan−1x. This proves
2tan−1x=sin−11+x22x.
Value of sin(3π−sin−1(−21)):
sin−1(−21)=−6π (since sin(−π/6)=−1/2 and −π/6∈[−π/2,π/2]).
So the expression becomes sin(3π−(−6π))=sin(3π+6π)=sin2π=1.
OR: Show sin−11312+cos−154+tan−11663=π.
Let A=sin−11312, so sinA=1312, cosA=135 (positive, A acute), so tanA=512.
Let B=cos−154, so cosB=54, sinB=53, so tanB=43.
Using the tangent addition formula: …