Basic trigonometric identities