这个其实直接用辅助角公式就可以求出来了：
acosx-bsinx=√(a²+b²)*cos(x+φ) (其中tanφ=b/a)
cos5π/12-√3sin5π/12
=2cos(5π/12+π/3)
=2cos3π/4
=-√2可以用sin的辅助角公式写一遍吗 谢谢！嗯可以 公式是这个：asinx-bcosx=√(a²+b²)*sin(x-φ)(其中tanφ=b/a)步骤如下：cos5π/12-√3sin5π/12=-(√3sin5π/12-cos5π/12)=-2sin(5π/12-π/6)=-2sinπ/4=-√2。 我明白了辅助角公式sin系数必须是正？cos5π/12-√3sin5π/12这两项互换了下位置 得cos5π/12-√3sin5π/12+cos5π/12然后提了一个负号出来。。得：-(√3sin5π/12-cos5π/12)