Product to Sum Identities

These identities are used to express the product of two trigonometric functions in terms of the sum or difference of those functions.