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

Theorem

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

Also see

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