y=sin(2x+派/2)=1是否等于y=2sin^2x,怎么化的?