verify that cos(90+A)=-sinA is an identity.

Use the Cosine addition formula:

Cos(A+B)=cosAcosB-sinAsinB

check that.