cos(a+pi/3)=a ,根号3sina-cosa=