和差化积
可以把A=(A+C)/2+(A-C)/2
C=(A+C)/2-(A-C)/2
代入左边,展开后,cos[(A+C)/2]sin[(A-C)/2]两项异号这项消去
sin[(A+C)/2]cos[(A-C)/2]两项同号变成两倍