Definite Integral from 0 to Half Pi of Square of Cosine x

Theorem

 * $\ds \int_0^{\frac \pi 2} \cos^2 x \rd x = \frac \pi 4$

Also see

 * Definite Integral from $0$ to $\dfrac \pi 2$ of $\sin^2 x$