12.4.6 两角和的三角函数公式