Questions tagged [trigreduce]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
1answer
96 views

Simplifying a difficult trigonometric sum

As this video shows, $$\tan \left( \frac{3 \pi}{11} \right) + 4 \sin \left( \frac{2 \pi}{11} \right) = \sqrt{11} .$$ The direct and obvious methods for Mathematica to find this solution do not work: <...