sin2x+cos2x 怎么得出等于 根号2sin(2x+派/4)