trigonometric identity relating sums of trigonometric functions to products of trigonometric functions