sina+sin3a为什么等于2sin2acosa?