三角函数辅助角公式问题!√2/2【1/2sin(π/4-x)+√6/4cos(π/4-x)】=-√2/2sin(x-7π