求证sin(3π/2-a)=-cosa