解：sin(a-π)=2cos(2π-a)-sin(π-a)=2cos(2π-a)-sina=2cosasina/cosa=-2tana=-2
三角函数的性质，正弦函数sinα=-sin（α±π），余弦函数是偶函数，周期是2π，cosα=cos（-α）=cos（-α+2π），然后就有两端变形相等
