Lagrange’s trigonometric identity