Concept understanding — Composite and Sum/Difference Identities of Inverse Trigonometric Functions
These are the working-formula properties (Properties VI–X) for combining or composing inverse trig functions, together with the reference-triangle technique for a raw composite like tan(sin−1x).
Composing a trig function with an unrelated inverse trig function (reference triangle). To evaluate f(g−1(x)) where f=g (e.g. cot(sin−1x)), let θ=g−1(x), build a right triangle encoding θ from the definition of g−1 (e.g. sinθ=x gives opposite =x, hypotenuse =1, so adjacent =1−x2 by Pythagoras — taking the adjacent side non-negative since θ∈[−2π,2π] keeps cosine ≥0 there), then read f(θ) straight off the triangle. This proves, e.g., tan(sin−1x)=1−x2x, −1<x<1.
Property VI (addition/subtraction formulas).
sin−1x+sin−1y=sin−1(x1−y2+y1−x2),if x2+y2≤1 or xy<0
with analogous subtraction forms for sine and cosine. Extending the tangent addition formula to three terms gives tan−1x+tan−1y+tan−1z=tan−1[1−xy−yz−zxx+y+z−xyz]; setting the left side equal to π and taking the tangent of both sides (which is 0) proves the classical identity x+y+z=xyz whenever tan−1x+tan−1y+tan−1z=π.
Property VII (double-angle-style formulas, from setting y=x in Property VI).
Property VIII.sin−1(2x1−x2)=2sin−1x for ∣x∣≤21, and sin−1(2x1−x2)=2cos−1x for 21≤x≤1 (the SAME left side splits into two different right sides depending on which half of [−1,1], i.e. which principal-range piece, x falls in). …
We prove the identity by converting the sum of two inverse sines into an inverse sine using the sine addition formula and checking the angle lies in the correct range. The result is sin−1178+sin−153=sin−18577.
The core idea here is that adding two angles and then taking the sine of their sum gives us a way to combine the inverse sine terms. But we must be careful: inverse sine returns an angle in [−π/2,π/2], so we need to verify that the sum of our two angles also falls in that range — otherwise the inverse sine on the right might give a different angle (like its supplement). This is a classic pitfall in inverse trigonometric identities.
Let’s denote:
A=sin−1178,B=sin−153
We want to show A+B=sin−18577.
Find cosA and cosB.
Since sinA=178 and A is in [−π/2,π/2], cosA≥0. Using sin2A+cos2A=1:
cosA=1−(178)2=1−28964=289225=1715
Similarly, sinB=53, so:
cosB=1−(53)2=1−259=2516=54
Apply the sine addition formula.
sin(A+B)=sinAcosB+cosAsinB=178⋅54+1715⋅53
=8532+8545=8577
So sin(A+B)=8577. This tells us that A+B is some angle whose sine is 8577. But it could be either sin−18577 or π−sin−18577, since sine is positive in both first and second quadrants.
Check the range of A+B.
We need to see whether A+B lies in [−π/2,π/2] (the principal range of sin−1).
A=sin−1178. Since 178≈0.4706, A is about 0.49 radians (28∘).
Mistake 1: Skipping the range check after finding sin(A+B)=8577.
Why it's wrong: sin(A+B)=8577 is consistent with both A+B and π−(A+B); without a check the proof is incomplete. Correct approach: confirm A+B∈[−2π,2π] (here A+B≈1.13<2π), so A+B=sin−18577.
Mistake 2: Taking a cosine negative.
Why it's wrong: since A,B∈[−2π,2π] with positive sines, both cosines are positive. Correct approach: cosA=1715, cosB=54, both taken with the + sign. …