Lagrange's trigonometric identities