Definite Integral from 0 to Half Pi of Square of Cosine x/Proof 2

Proof
We have:

So:

giving:


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