Zeigen Sie für beliebige m,n ∈ℝ:
\( \int \limits_{0}^{2 \pi} \cos (m x) \cos (n x) d x=\left\{\begin{array}{cc}\pi & \text { falls } m=n \\ 0 & \text { falls } m \neq n\end{array}\right. \)
Als Hinweis ist angegeben, dass die doppelte partielle Integration benötigt wird.
