3sin^2 x+cos^2 x=2-cos2x怎么来的三角函数公式过程