三角函数的一个转换cos(a+5π/12)是怎样转换成sin(π/12-a)的?