方程2cosx-sinx=1咋解(表示成arctanx=常数),