想不明白的一个定积分为什么:积分号下限0上限丌/2,sin^2(t)dt=1/2乘丌/2,求详解