prove the identity
cos(A+B+C)=cosAcosBcosC-cosAsinBsinC-sinAcosBcosC-sinAsinBcosC