Difference between revisions of "Trig identity"