how to verify trigonometric identities