三角函数对偶式

当给出$A\sin a+B\cos a=C$时，此三角函数有对偶式$A\cos a-B\sin a=x$

原式变换为对偶式的方式：正弦改余弦，余弦改正弦，加减互变，结果设为未知数。

三角函数对偶式与原式联立后，有结论：

$A^2+B^2=C^2+x^2$

该结论可用于解题以计算$\tan a$。