Definite integral of the product of cosines. The integral of cos(mt) * cos(nt) = 0, except for the special case when m = n. When m = n, the integral evaluates to pi.
License: CC BY-NC-SA by Khan Academy