Well, I seem to have totally forgotten how to use the half angle formulae Can someone explain how to prove (sin(x/2)-cos(x/2))^2 -1 = -sinx