求定积分∫(0到π/2)[cos(x/2)-sin(x/2)]^2dx