The formula is .

Consider .

Apply product-to-sum property : .

Since cosine is an even function, rewrite the above equation as .

When integrate from a negative number to its positive(in this case, it is from to ), we will have .

This applies for all functions of cosine.

Thus, .

.