Evaluate: `int_0^(pi//2)sqrt(1-cos2x)dxdot`

Explanation

`\int_{0}^{\frac{\pi}{2}} \sqrt{1-\cos 2 {xdx}} `


`=\int_{0}^{\frac{\pi}{2}} \sqrt{1-1+2 \sin ^{2} {x}} d {x} `



`=\sqrt{2} \int_{0}^{\frac{\pi}{2}} \sin {xdx} `


`=-\sqrt{2}[\cos {x}]_{0}^{\pi / 2} `
...