求证(sina/2+cosa/2)^2=1+sina