The three trigonometric identities