Lagrange's trigonometric identities

Summary