Spherical trigonometric identities