sin(11π/12-a)=sin[π-(a+π/12)] 这步怎么来的