trig reduction, where did the negative sign come from?

Printable View