$$
\int _{0}^{{\frac {\pi }{2}}}\!\sqrt {1-\cos(2
\,x)}{dx}=\sqrt {2}
$$
