三角函数异名化同名 aSIN(X)+bCOS(X)=(鈭歛^+b^)SIN(X+尾) TAN尾=