The key is to rewrite each inverse tangent as an angle, then use double-angle and triple-angle formulas to express both sides as rational numbers. Both simplify to 2524, proving the equality.
We need to show that two trigonometric expressions, each built from inverse tangents, are equal. The natural instinct is to let each inverse tangent be an angle — say α=tan−171 and β=tan−131 — and then compute cos(2α) and sin(4β) using known identities. Since tanα and tanβ are simple fractions, we can find cos(2α) directly from tanα, and sin(4β) by first finding tan(2β) and then using the double-angle formula for sine. The whole thing reduces to checking whether both sides equal the same number.
-
Set up the angles.
Let α=tan−171 and β=tan−131.
Then tanα=71 and tanβ=31.
-
Compute cos(2α).
There is a direct formula linking cos(2θ) to tanθ:
cos(2θ)=1+tan2θ1−tan2θ.
This comes from cos(2θ)=cos2θ+sin2θcos2θ−sin2θ and dividing numerator and denominator by cos2θ.
So with tanα=71:
cos(2α)=1+(71)21−(71)2=1+4911−491=49504948=5048=2524.
- Compute sin(4β).
We need sin(4β). A good path: first find tan(2β), then use sin(4β)=2sin(2β)cos(2β), but we can also get sin(4β) directly from tan(2β) using another identity.
Let’s find tan(2β) first:
tan(2β)=1−tan2β2tanβ=1−(31)22⋅31=1−9132=9832=32⋅89=2418=43.
Now we have tan(2β)=43. This is a nice right-triangle ratio: opposite = 3, adjacent = 4, hypotenuse = 5. So:
sin(2β)=53,cos(2β)=54.
Then sin(4β)=2sin(2β)cos(2β)=2⋅53⋅54=2524. …