根据诱导公式sin(π/2-a)=cosa
又因为π/3-a与π/6+a互余
所以1/2=sin(π/3 -a)=cos(π/2-(π/3 -a))=cos(π/6 +a)