是公式,你将a=(a-b)/2+(a+b)/2,b=(a+b)/2-(a-b)/2替换进左式,然后用平时的三角函数的公式化简就能得到右式了