sin²tcos²t为什么等于1/4sin²2t