求sin2x在【0,pi/2】定积分,结果是不是1,