∫(π/2→0)(cosx/2-sinx/2)^2dx