How do you use the double angle or half angle formulas to prove #sin(pi+x) = - sinx#?